p s x x fac 0 s 0 fac s x times s x fac p s x p 1 s 1 fac 1 0 0 times 2 AC FULL ./TRS/AProVE_AC/AC53.trs