YES

          summary
**************************************************
SRS with 9 rules on 6 letters       weights
SRS with 8 rules on 6 letters       mirror
SRS with 8 rules on 6 letters       DP
SRS with 41 strict rules and 8 weak rules on 8 letters       weights
SRS with 28 strict rules and 8 weak rules on 8 letters       EDG
2 sub-proofs
  1 SRS with 3 strict rules and 8 weak rules on 7 letters       Matrix   { monotone = Weak, domain = Arctic, bits = 5, dim = 2, solver = Minisatapi, verbose = False, tracing = False}
  SRS with 2 strict rules and 8 weak rules on 7 letters       EDG
  SRS with 2 strict rules and 8 weak rules on 7 letters       Matrix   { monotone = Weak, domain = Arctic, bits = 5, dim = 2, solver = Minisatapi, verbose = False, tracing = False}
  SRS with 1 strict rules and 8 weak rules on 7 letters       EDG
  SRS with 1 strict rules and 8 weak rules on 7 letters       Matrix   { monotone = Weak, domain = Arctic, bits = 4, dim = 5, solver = Minisatapi, verbose = False, tracing = False}
  SRS with 0 strict rules and 8 weak rules on 6 letters       EDG
  
  2 SRS with 11 strict rules and 8 weak rules on 7 letters       Matrix   { monotone = Weak, domain = Arctic, bits = 5, dim = 2, solver = Minisatapi, verbose = False, tracing = False}
  SRS with 6 strict rules and 8 weak rules on 7 letters       EDG
  SRS with 6 strict rules and 8 weak rules on 7 letters       Matrix   { monotone = Weak, domain = Arctic, bits = 5, dim = 2, solver = Minisatapi, verbose = False, tracing = False}
  SRS with 2 strict rules and 8 weak rules on 7 letters       EDG
  SRS with 2 strict rules and 8 weak rules on 7 letters       Matrix   { monotone = Weak, domain = Arctic, bits = 4, dim = 3, solver = Minisatapi, verbose = False, tracing = False}
  SRS with 1 strict rules and 8 weak rules on 7 letters       EDG
  SRS with 1 strict rules and 8 weak rules on 7 letters       Matrix   { monotone = Weak, domain = Arctic, bits = 4, dim = 4, solver = Minisatapi, verbose = False, tracing = False}
  SRS with 0 strict rules and 8 weak rules on 6 letters       EDG
  
**************************************************