DPTrans [(Fun (Sharp "sixtimes") [Fun (Plain "0") [Var "x"]],Fun (Sharp "0") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]]), (Fun (Sharp "sixtimes") [Fun (Plain "0") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "0") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]), (Fun (Sharp "sixtimes") [Fun (Plain "0") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "0") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]]), (Fun (Sharp "sixtimes") [Fun (Plain "0") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]), (Fun (Sharp "sixtimes") [Fun (Plain "0") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Var "x"]]), (Fun (Sharp "sixtimes") [Fun (Plain "s") [Var "x"]],Fun (Sharp "sixtimes") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]]), (Fun (Sharp "sixtimes") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "sixtimes") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]), (Fun (Sharp "sixtimes") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "sixtimes") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]]]]]]]]]]]]), (Fun (Sharp "sixtimes") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]), (Fun (Sharp "sixtimes") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "sixtimes") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]]]), (Fun (Sharp "sixtimes") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]), (Fun (Sharp "sixtimes") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "sixtimes") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]]]]]]]]]]]]]), (Fun (Sharp "sixtimes") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]), (Fun (Sharp "sixtimes") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "sixtimes") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]]]]), (Fun (Sharp "sixtimes") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]), (Fun (Sharp "half") [Fun (Plain "0") [Var "x"]],Fun (Sharp "0") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]), (Fun (Sharp "half") [Fun (Plain "0") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "0") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]), (Fun (Sharp "half") [Fun (Plain "0") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]), (Fun (Sharp "half") [Fun (Plain "0") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "0") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]]]]), (Fun (Sharp "half") [Fun (Plain "0") [Var "x"]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "0") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]), (Fun (Sharp "half") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]],Fun (Sharp "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]), (Fun (Sharp "half") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]]), (Fun (Sharp "half") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]), (Fun (Sharp "half") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]]), (Fun (Sharp "half") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]]]]), (Fun (Sharp "half") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]],Fun (Sharp "p") [Fun (Plain "s") [Var "x"]]), (Fun (Sharp "half") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]]]), (Fun (Sharp "half") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]), (Fun (Sharp "half") [Fun (Plain "s") [Var "x"]],Fun (Sharp "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]), (Fun (Sharp "half") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]]), (Fun (Sharp "half") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]), (Fun (Sharp "half") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]]), (Fun (Sharp "half") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]]]]]), (Fun (Sharp "half") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Var "x"]]), (Fun (Sharp "half") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]]]), (Fun (Sharp "half") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]), (Fun (Sharp "half") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]]]), (Fun (Sharp "thrice") [Fun (Plain "0") [Var "x"]],Fun (Sharp "0") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]), (Fun (Sharp "thrice") [Fun (Plain "0") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "0") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]), (Fun (Sharp "thrice") [Fun (Plain "0") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]), (Fun (Sharp "thrice") [Fun (Plain "0") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "0") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]), (Fun (Sharp "thrice") [Fun (Plain "0") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Var "x"]]), (Fun (Sharp "thrice") [Fun (Plain "0") [Var "x"]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "0") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]]), (Fun (Sharp "thrice") [Fun (Plain "0") [Var "x"]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "0") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]]]), (Fun (Sharp "thrice") [Fun (Plain "s") [Var "x"]],Fun (Sharp "sixtimes") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]), (Fun (Sharp "thrice") [Fun (Plain "s") [Var "x"]],Fun (Sharp "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "sixtimes") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]]), (Fun (Sharp "thrice") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "sixtimes") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]]), (Fun (Sharp "thrice") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "sixtimes") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]]]]]), (Fun (Sharp "thrice") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "sixtimes") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]), (Fun (Sharp "thrice") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]), (Fun (Sharp "thrice") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]), (Fun (Sharp "thrice") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "sixtimes") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]]]]]]), (Fun (Sharp "thrice") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "sixtimes") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]), (Fun (Sharp "thrice") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]), (Fun (Sharp "p") [Fun (Plain "0") [Var "x"]],Fun (Sharp "0") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]), (Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]],Fun (Sharp "p") [Var "x"])] (DepGraphProc [(Nothing, [(Fun (Sharp "thrice") [Fun (Plain "s") [Var "x"]],Fun (Sharp "sixtimes") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]])]), (Just (PisEmpty),[(Fun (Sharp "sixtimes") [Fun (Plain "s") [Var "x"]],Fun (Sharp "sixtimes") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]])]), (Nothing, [(Fun (Sharp "sixtimes") [Fun (Plain "0") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Var "x"]])]), (Nothing, [(Fun (Sharp "thrice") [Fun (Plain "s") [Var "x"]],Fun (Sharp "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "sixtimes") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]])]), (Just ((DepGraphProc [(Just (PisEmpty),[(Fun (Sharp "half") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]],Fun (Sharp "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]])])])),[(Fun (Sharp "half") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]],Fun (Sharp "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]), (Fun (Sharp "half") [Fun (Plain "s") [Var "x"]],Fun (Sharp "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]])]), (Nothing, [(Fun (Sharp "half") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]],Fun (Sharp "p") [Fun (Plain "s") [Var "x"]])]), (Nothing, [(Fun (Sharp "half") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Var "x"]])]), (Nothing, [(Fun (Sharp "thrice") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "sixtimes") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]])]), (Nothing, [(Fun (Sharp "thrice") [Fun (Plain "0") [Var "x"]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "0") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]]])]), (Nothing, [(Fun (Sharp "half") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]]])]), (Nothing, [(Fun (Sharp "half") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]]])]), (Nothing, [(Fun (Sharp "half") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]])]), (Nothing, [(Fun (Sharp "sixtimes") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]])]), (Nothing, [(Fun (Sharp "sixtimes") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]])]), (Nothing, [(Fun (Sharp "sixtimes") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "sixtimes") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]]]]]]]]]]]]])]), (Nothing, [(Fun (Sharp "sixtimes") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "sixtimes") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]]]])]), (Nothing, [(Fun (Sharp "half") [Fun (Plain "0") [Var "x"]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "0") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]]]]])]), (Nothing, [(Fun (Sharp "half") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]]])]), (Nothing, [(Fun (Sharp "half") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]])]), (Nothing, [(Fun (Sharp "thrice") [Fun (Plain "0") [Var "x"]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "0") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]])]), (Nothing, [(Fun (Sharp "thrice") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "sixtimes") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]]]]]])]), (Nothing, [(Fun (Sharp "thrice") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]])]), (Just (PisEmpty),[(Fun (Sharp "p") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]],Fun (Sharp "p") [Var "x"])]), (Nothing, [(Fun (Sharp "p") [Fun (Plain "0") [Var "x"]],Fun (Sharp "0") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]])]), (Nothing, [(Fun (Sharp "sixtimes") [Fun (Plain "0") [Var "x"]],Fun (Sharp "0") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]])]), (Nothing, [(Fun (Sharp "sixtimes") [Fun (Plain "0") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "0") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]]]])]), (Nothing, [(Fun (Sharp "sixtimes") [Fun (Plain "0") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "0") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]])]), (Nothing, [(Fun (Sharp "sixtimes") [Fun (Plain "0") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]])]), (Nothing, [(Fun (Sharp "sixtimes") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "sixtimes") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]])]), (Nothing, [(Fun (Sharp "sixtimes") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "sixtimes") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]]]]]]]]]]]])]), (Nothing, [(Fun (Sharp "sixtimes") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]])]), (Nothing, [(Fun (Sharp "sixtimes") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "sixtimes") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]]])]), (Nothing, [(Fun (Sharp "sixtimes") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]])]), (Nothing, [(Fun (Sharp "half") [Fun (Plain "0") [Var "x"]],Fun (Sharp "0") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]])]), (Nothing, [(Fun (Sharp "half") [Fun (Plain "0") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "0") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]])]), (Nothing, [(Fun (Sharp "half") [Fun (Plain "0") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]])]), (Nothing, [(Fun (Sharp "half") [Fun (Plain "0") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "0") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]]]]]]]]]])]), (Nothing, [(Fun (Sharp "half") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]])]), (Nothing, [(Fun (Sharp "half") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]])]), (Nothing, [(Fun (Sharp "half") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]])]), (Nothing, [(Fun (Sharp "half") [Fun (Plain "s") [Fun (Plain "s") [Var "x"]]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]]]])]), (Nothing, [(Fun (Sharp "half") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]])]), (Nothing, [(Fun (Sharp "half") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]])]), (Nothing, [(Fun (Sharp "half") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]])]), (Nothing, [(Fun (Sharp "half") [Fun (Plain "s") [Var "x"]],Fun (Sharp "p") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "half") [Fun (Plain "p") [Fun (Plain "p") [Fun (Plain "s") [Fun (Plain "s") [Fun (Plain "p") [Fun (Plain "s") [Var "x"]]]]]]]]]]]]]]]]])])])