(VAR x)
(RULES
  a(b(x)) -> b(c(x))
  a(c(x)) -> c(a(x))
  b(b(x)) -> a(c(x))
  c(b(x)) -> b(c(x))
  c(b(x)) -> c(c(x))
  c(c(x)) -> c(b(x))
  P(x) -> Q(Q(p(x)))
  p(p(x)) -> q(q(x))
  p(Q(Q(x))) -> Q(Q(p(x)))
  Q(p(q(x))) -> q(p(Q(x)))
  q(q(p(x))) -> p(q(q(x)))
  q(Q(x)) -> x
  Q(q(x)) -> x
  p(P(x)) -> x
  P(p(x)) -> x
)
(COMMENT
submitted by: Raul Gutierrez
secret problem 2021
category: SRS
)