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