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