; @origtpdbfilename ./TRS/secret05/tpa3.trs ; @xtcfilename "./TRS_Standard/Secret_05_TRS/tpa3.xml" (format TRS) (fun - 2) (fun |0| 0) (fun s 1) (fun + 2) (fun * 2) (fun f 1) (rule (- x |0|) x) (rule (- (s x) (s y)) (- x y)) (rule (+ |0| y) y) (rule (+ (s x) y) (s (+ x y))) (rule (* x |0|) |0|) (rule (* x (s y)) (+ x (* x y))) (rule (f (s x)) (f (- (* (s (s |0|)) (s x)) (s (s x)))))