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