TIMEOUT
MAYBE
Trs:
 {f g -> g g f,
  f g -> g g g}
 Open