DPTrans [(Fun (Sharp "#") [Fun (Plain "0") [Var "x"]],Fun (Sharp "#") [Var "x"]), (Fun (Sharp "#") [Fun (Plain "0") [Var "x"]],Fun (Sharp "0") [Fun (Plain "#") [Var "x"]]), (Fun (Sharp "#") [Fun (Plain "1") [Var "x"]],Fun (Sharp "#") [Var "x"]), (Fun (Sharp "#") [Fun (Plain "1") [Var "x"]],Fun (Sharp "1") [Fun (Plain "#") [Var "x"]]), (Fun (Sharp "0") [Fun (Plain "*") [Var "x"]],Fun (Sharp "1") [Var "x"]), (Fun (Sharp "1") [Fun (Plain "*") [Var "x"]],Fun (Sharp "#") [Var "x"]), (Fun (Sharp "1") [Fun (Plain "*") [Var "x"]],Fun (Sharp "0") [Fun (Plain "#") [Var "x"]])] (DepGraphProc [(Just ((RedPairProc (Polo [((Plain "*"),(Zero_nat,[(Suc Zero_nat)])), ((Plain "1"),((Suc Zero_nat),[(Suc Zero_nat)])), ((Plain "0"),((Suc Zero_nat),[(Suc Zero_nat)])), ((Plain "#"),(Zero_nat,[(Suc Zero_nat)])), ((Plain "$"),(Zero_nat,[Zero_nat])), ((Sharp "1"),((Suc Zero_nat),[(Suc Zero_nat)])), ((Sharp "0"),((Suc Zero_nat),[(Suc Zero_nat)])), ((Sharp "#"),((Suc Zero_nat),[(Suc Zero_nat)]))]) [(Fun (Sharp "0") [Fun (Plain "*") [Var "x"]],Fun (Sharp "1") [Var "x"]), (Fun (Sharp "1") [Fun (Plain "*") [Var "x"]],Fun (Sharp "#") [Var "x"]), (Fun (Sharp "1") [Fun (Plain "*") [Var "x"]],Fun (Sharp "0") [Fun (Plain "#") [Var "x"]])] (DepGraphProc [(Just ((DepGraphProc [])),[(Fun (Sharp "0") [Fun (Plain "*") [Var "x"]],Fun (Sharp "1") [Var "x"]), (Fun (Sharp "1") [Fun (Plain "*") [Var "x"]],Fun (Sharp "0") [Fun (Plain "#") [Var "x"]])]), (Nothing, [(Fun (Sharp "1") [Fun (Plain "*") [Var "x"]],Fun (Sharp "#") [Var "x"])])]))),[(Fun (Sharp "#") [Fun (Plain "0") [Var "x"]],Fun (Sharp "#") [Var "x"]), (Fun (Sharp "#") [Fun (Plain "0") [Var "x"]],Fun (Sharp "0") [Fun (Plain "#") [Var "x"]]), (Fun (Sharp "#") [Fun (Plain "1") [Var "x"]],Fun (Sharp "#") [Var "x"]), (Fun (Sharp "#") [Fun (Plain "1") [Var "x"]],Fun (Sharp "1") [Fun (Plain "#") [Var "x"]]), (Fun (Sharp "0") [Fun (Plain "*") [Var "x"]],Fun (Sharp "1") [Var "x"]), (Fun (Sharp "1") [Fun (Plain "*") [Var "x"]],Fun (Sharp "#") [Var "x"]), (Fun (Sharp "1") [Fun (Plain "*") [Var "x"]],Fun (Sharp "0") [Fun (Plain "#") [Var "x"]])])])