; @origtpdbfilename ./TRS/Rubio/prov.trs
; @xtcfilename "./TRS_Standard/Rubio_04/prov.xml"
(format TRS)
(fun ackin 2)
(fun s 1)
(fun u21 2)
(fun ackout 1)
(fun u22 1)
(rule (ackin (s X) (s Y)) (u21 (ackin (s X) Y) X))
(rule (u21 (ackout X) Y) (u22 (ackin Y X)))