DPTrans [(Fun (Sharp "q") [Fun (Plain "q") [Fun (Plain "p") [Var "x"]]],Fun (Sharp "q") [Fun (Plain "q") [Var "x"]]), (Fun (Sharp "q") [Fun (Plain "q") [Fun (Plain "p") [Var "x"]]],Fun (Sharp "q") [Var "x"]), (Fun (Sharp "q") [Fun (Plain "q") [Fun (Plain "p") [Var "x"]]],Fun (Sharp "p") [Fun (Plain "q") [Fun (Plain "q") [Var "x"]]]), (Fun (Sharp "P") [Var "x"],Fun (Sharp "p") [Var "x"]), (Fun (Sharp "P") [Var "x"],Fun (Sharp "Q") [Fun (Plain "p") [Var "x"]]), (Fun (Sharp "P") [Var "x"],Fun (Sharp "Q") [Fun (Plain "Q") [Fun (Plain "p") [Var "x"]]]), (Fun (Sharp "p") [Fun (Plain "p") [Var "x"]],Fun (Sharp "q") [Fun (Plain "q") [Var "x"]]), (Fun (Sharp "p") [Fun (Plain "p") [Var "x"]],Fun (Sharp "q") [Var "x"]), (Fun (Sharp "p") [Fun (Plain "Q") [Fun (Plain "Q") [Var "x"]]],Fun (Sharp "p") [Var "x"]), (Fun (Sharp "p") [Fun (Plain "Q") [Fun (Plain "Q") [Var "x"]]],Fun (Sharp "Q") [Fun (Plain "p") [Var "x"]]), (Fun (Sharp "p") [Fun (Plain "Q") [Fun (Plain "Q") [Var "x"]]],Fun (Sharp "Q") [Fun (Plain "Q") [Fun (Plain "p") [Var "x"]]]), (Fun (Sharp "Q") [Fun (Plain "p") [Fun (Plain "q") [Var "x"]]],Fun (Sharp "q") [Fun (Plain "p") [Fun (Plain "Q") [Var "x"]]]), (Fun (Sharp "Q") [Fun (Plain "p") [Fun (Plain "q") [Var "x"]]],Fun (Sharp "p") [Fun (Plain "Q") [Var "x"]]), (Fun (Sharp "Q") [Fun (Plain "p") [Fun (Plain "q") [Var "x"]]],Fun (Sharp "Q") [Var "x"])] (DepGraphProc [(Nothing, [(Fun (Sharp "P") [Var "x"],Fun (Sharp "Q") [Fun (Plain "Q") [Fun (Plain "p") [Var "x"]]])]), (Nothing, [(Fun (Sharp "P") [Var "x"],Fun (Sharp "Q") [Fun (Plain "p") [Var "x"]])]), (Nothing, [(Fun (Sharp "P") [Var "x"],Fun (Sharp "p") [Var "x"])]), (Just ((RedPairProc (Polo [((Plain "Q"),((Suc (Suc Zero_nat)),[(Suc Zero_nat)])), ((Plain "p"),((Suc (Suc (Suc Zero_nat))),[(Suc Zero_nat)])), ((Plain "P"),(Zero_nat,[(Suc Zero_nat)])), ((Plain "q"),((Suc (Suc Zero_nat)),[(Suc Zero_nat)])), ((Sharp "Q"),(Zero_nat,[(Suc Zero_nat)])), ((Sharp "p"),((Suc Zero_nat),[(Suc Zero_nat)])), ((Sharp "q"),(Zero_nat,[(Suc Zero_nat)]))]) [(Fun (Sharp "q") [Fun (Plain "q") [Fun (Plain "p") [Var "x"]]],Fun (Sharp "p") [Fun (Plain "q") [Fun (Plain "q") [Var "x"]]]), (Fun (Sharp "p") [Fun (Plain "Q") [Fun (Plain "Q") [Var "x"]]],Fun (Sharp "Q") [Fun (Plain "Q") [Fun (Plain "p") [Var "x"]]]), (Fun (Sharp "Q") [Fun (Plain "p") [Fun (Plain "q") [Var "x"]]],Fun (Sharp "q") [Fun (Plain "p") [Fun (Plain "Q") [Var "x"]]])] (DepGraphProc [(Just ((DepGraphProc [])),[(Fun (Sharp "q") [Fun (Plain "q") [Fun (Plain "p") [Var "x"]]],Fun (Sharp "p") [Fun (Plain "q") [Fun (Plain "q") [Var "x"]]]), (Fun (Sharp "p") [Fun (Plain "Q") [Fun (Plain "Q") [Var "x"]]],Fun (Sharp "Q") [Fun (Plain "Q") [Fun (Plain "p") [Var "x"]]]), (Fun (Sharp "Q") [Fun (Plain "p") [Fun (Plain "q") [Var "x"]]],Fun (Sharp "q") [Fun (Plain "p") [Fun (Plain "Q") [Var "x"]]])])]))),[(Fun (Sharp "q") [Fun (Plain "q") [Fun (Plain "p") [Var "x"]]],Fun (Sharp "q") [Fun (Plain "q") [Var "x"]]), (Fun (Sharp "q") [Fun (Plain "q") [Fun (Plain "p") [Var "x"]]],Fun (Sharp "q") [Var "x"]), (Fun (Sharp "q") [Fun (Plain "q") [Fun (Plain "p") [Var "x"]]],Fun (Sharp "p") [Fun (Plain "q") [Fun (Plain "q") [Var "x"]]]), (Fun (Sharp "p") [Fun (Plain "p") [Var "x"]],Fun (Sharp "q") [Fun (Plain "q") [Var "x"]]), (Fun (Sharp "p") [Fun (Plain "p") [Var "x"]],Fun (Sharp "q") [Var "x"]), (Fun (Sharp "p") [Fun (Plain "Q") [Fun (Plain "Q") [Var "x"]]],Fun (Sharp "p") [Var "x"]), (Fun (Sharp "p") [Fun (Plain "Q") [Fun (Plain "Q") [Var "x"]]],Fun (Sharp "Q") [Fun (Plain "p") [Var "x"]]), (Fun (Sharp "p") [Fun (Plain "Q") [Fun (Plain "Q") [Var "x"]]],Fun (Sharp "Q") [Fun (Plain "Q") [Fun (Plain "p") [Var "x"]]]), (Fun (Sharp "Q") [Fun (Plain "p") [Fun (Plain "q") [Var "x"]]],Fun (Sharp "q") [Fun (Plain "p") [Fun (Plain "Q") [Var "x"]]]), (Fun (Sharp "Q") [Fun (Plain "p") [Fun (Plain "q") [Var "x"]]],Fun (Sharp "p") [Fun (Plain "Q") [Var "x"]]), (Fun (Sharp "Q") [Fun (Plain "p") [Fun (Plain "q") [Var "x"]]],Fun (Sharp "Q") [Var "x"])])])