DPTrans [(Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "b") [Var "x"]]]]]],Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "b") [Fun (Plain "a") [Var "x"]]]]), (Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "b") [Var "x"]]]]]],Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "b") [Fun (Plain "a") [Var "x"]]]]]]), (Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "b") [Var "x"]]]]]],Fun (Sharp "a") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "b") [Fun (Plain "a") [Var "x"]]]]]]]), (Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "b") [Var "x"]]]]]],Fun (Sharp "a") [Var "x"])] (DepGraphProc [(Just ((RedPairProc (Polo [((Plain "a"),(Zero_nat,[(Suc Zero_nat)])), ((Plain "b"),((Suc Zero_nat),[(Suc (Suc Zero_nat))])), ((Sharp "a"),(Zero_nat,[(Suc Zero_nat)]))]) [(Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "b") [Var "x"]]]]]],Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "b") [Fun (Plain "a") [Var "x"]]]]]]), (Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "b") [Var "x"]]]]]],Fun (Sharp "a") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "b") [Fun (Plain "a") [Var "x"]]]]]]])] (DepGraphProc [(Just ((RedPairProc (Polo [((Plain "a"),((Suc (Suc Zero_nat)),[Zero_nat])), ((Plain "b"),(Zero_nat,[(Suc (Suc Zero_nat))])), ((Sharp "a"),(Zero_nat,[(Suc (Suc Zero_nat))]))]) [(Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "b") [Var "x"]]]]]],Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "b") [Fun (Plain "a") [Var "x"]]]]]])] (DepGraphProc [(Just (PisEmpty),[(Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "b") [Var "x"]]]]]],Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "b") [Fun (Plain "a") [Var "x"]]]]]])])]))),[(Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "b") [Var "x"]]]]]],Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "b") [Fun (Plain "a") [Var "x"]]]]]]), (Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "b") [Var "x"]]]]]],Fun (Sharp "a") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "b") [Fun (Plain "a") [Var "x"]]]]]]])])]))),[(Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "b") [Var "x"]]]]]],Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "b") [Fun (Plain "a") [Var "x"]]]]]]), (Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "b") [Var "x"]]]]]],Fun (Sharp "a") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "b") [Fun (Plain "a") [Var "x"]]]]]]]), (Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "b") [Var "x"]]]]]],Fun (Sharp "a") [Var "x"])]), (Nothing, [(Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "a") [Fun (Plain "a") [Fun (Plain "b") [Fun (Plain "b") [Var "x"]]]]]],Fun (Sharp "a") [Fun (Plain "b") [Fun (Plain "b") [Fun (Plain "a") [Var "x"]]]])])])