; @author Christina Kohl
; @cops 1655
; secret problem 2022
(   format 
   TRS   )
(
    fun f 2)
(    fun
 g 1)
(fun a 0)
(
 fu
n b
 0)
( rule (f x1(g x2)) (f x1 (g x1) ))(rule ( f     (g  y
1) y2) (f (g 
    y1) (g y1)   ))
(    rule (g a) (g b ) )
(rule
 b a)