DPTrans [(Fun (Sharp "g") [Fun (Plain "g") [Var "x"]],Fun (Sharp "a") [Var "x"]), (Fun (Sharp "f") [Fun (Plain "f") [Var "x"]],Fun (Sharp "g") [Fun (Plain "a") [Var "x"]]), (Fun (Sharp "f") [Fun (Plain "f") [Var "x"]],Fun (Sharp "a") [Var "x"]), (Fun (Sharp "d") [Fun (Plain "d") [Var "x"]],Fun (Sharp "f") [Fun (Plain "f") [Fun (Plain "f") [Var "x"]]]), (Fun (Sharp "d") [Fun (Plain "d") [Var "x"]],Fun (Sharp "f") [Fun (Plain "f") [Var "x"]]), (Fun (Sharp "d") [Fun (Plain "d") [Var "x"]],Fun (Sharp "f") [Var "x"]), (Fun (Sharp "d") [Var "x"],Fun (Sharp "b") [Var "x"]), (Fun (Sharp "a") [Fun (Plain "a") [Var "x"]],Fun (Sharp "c") [Var "x"]), (Fun (Sharp "a") [Fun (Plain "a") [Var "x"]],Fun (Sharp "b") [Fun (Plain "c") [Var "x"]]), (Fun (Sharp "c") [Fun (Plain "c") [Var "x"]],Fun (Sharp "f") [Var "x"]), (Fun (Sharp "c") [Fun (Plain "c") [Var "x"]],Fun (Sharp "d") [Fun (Plain "f") [Var "x"]]), (Fun (Sharp "b") [Fun (Plain "b") [Var "x"]],Fun (Sharp "d") [Var "x"]), (Fun (Sharp "b") [Fun (Plain "b") [Var "x"]],Fun (Sharp "c") [Fun (Plain "d") [Var "x"]]), (Fun (Sharp "b") [Var "x"],Fun (Sharp "a") [Var "x"])] (DepGraphProc [(Just ((DepGraphProc [(Just ((DepGraphProc [(Just ((DepGraphProc [(Just ((DepGraphProc [(Just ((DepGraphProc [(Nothing, [(Fun (Sharp "f") [Fun (Plain "f") [Var "x"]],Fun (Sharp "a") [Var "x"])]), (Just ((DepGraphProc [(Nothing, [(Fun (Sharp "d") [Var "x"],Fun (Sharp "b") [Var "x"])]), (Just ((DepGraphProc [])),[(Fun (Sharp "a") [Fun (Plain "a") [Var "x"]],Fun (Sharp "b") [Fun (Plain "c") [Var "x"]]), (Fun (Sharp "b") [Var "x"],Fun (Sharp "a") [Var "x"])])])),[(Fun (Sharp "d") [Var "x"],Fun (Sharp "b") [Var "x"]), (Fun (Sharp "a") [Fun (Plain "a") [Var "x"]],Fun (Sharp "b") [Fun (Plain "c") [Var "x"]]), (Fun (Sharp "b") [Fun (Plain "b") [Var "x"]],Fun (Sharp "d") [Var "x"]), (Fun (Sharp "b") [Var "x"],Fun (Sharp "a") [Var "x"])]), (Nothing, [(Fun (Sharp "b") [Fun (Plain "b") [Var "x"]],Fun (Sharp "c") [Fun (Plain "d") [Var "x"]])])])),[(Fun (Sharp "f") [Fun (Plain "f") [Var "x"]],Fun (Sharp "a") [Var "x"]), (Fun (Sharp "d") [Var "x"],Fun (Sharp "b") [Var "x"]), (Fun (Sharp "a") [Fun (Plain "a") [Var "x"]],Fun (Sharp "b") [Fun (Plain "c") [Var "x"]]), (Fun (Sharp "c") [Fun (Plain "c") [Var "x"]],Fun (Sharp "f") [Var "x"]), (Fun (Sharp "b") [Fun (Plain "b") [Var "x"]],Fun (Sharp "d") [Var "x"]), (Fun (Sharp "b") [Fun (Plain "b") [Var "x"]],Fun (Sharp "c") [Fun (Plain "d") [Var "x"]]), (Fun (Sharp "b") [Var "x"],Fun (Sharp "a") [Var "x"])])])),[(Fun (Sharp "f") [Fun (Plain "f") [Var "x"]],Fun (Sharp "a") [Var "x"]), (Fun (Sharp "d") [Var "x"],Fun (Sharp "b") [Var "x"]), (Fun (Sharp "a") [Fun (Plain "a") [Var "x"]],Fun (Sharp "c") [Var "x"]), (Fun (Sharp "a") [Fun (Plain "a") [Var "x"]],Fun (Sharp "b") [Fun (Plain "c") [Var "x"]]), (Fun (Sharp "c") [Fun (Plain "c") [Var "x"]],Fun (Sharp "f") [Var "x"]), (Fun (Sharp "b") [Fun (Plain "b") [Var "x"]],Fun (Sharp "d") [Var "x"]), (Fun (Sharp "b") [Fun (Plain "b") [Var "x"]],Fun (Sharp "c") [Fun (Plain "d") [Var "x"]]), (Fun (Sharp "b") [Var "x"],Fun (Sharp "a") [Var "x"])])])),[(Fun (Sharp "f") [Fun (Plain "f") [Var "x"]],Fun (Sharp "a") [Var "x"]), (Fun (Sharp "d") [Fun (Plain "d") [Var "x"]],Fun (Sharp "f") [Fun (Plain "f") [Fun (Plain "f") [Var "x"]]]), (Fun (Sharp "d") [Fun (Plain "d") [Var "x"]],Fun (Sharp "f") [Fun (Plain "f") [Var "x"]]), (Fun (Sharp "d") [Fun (Plain "d") [Var "x"]],Fun (Sharp "f") [Var "x"]), (Fun (Sharp "d") [Var "x"],Fun (Sharp "b") [Var "x"]), (Fun (Sharp "a") [Fun (Plain "a") [Var "x"]],Fun (Sharp "c") [Var "x"]), (Fun (Sharp "a") [Fun (Plain "a") [Var "x"]],Fun (Sharp "b") [Fun (Plain "c") [Var "x"]]), (Fun (Sharp "c") [Fun (Plain "c") [Var "x"]],Fun (Sharp "f") [Var "x"]), (Fun (Sharp "b") [Fun (Plain "b") [Var "x"]],Fun (Sharp "d") [Var "x"]), (Fun (Sharp "b") [Fun (Plain "b") [Var "x"]],Fun (Sharp "c") [Fun (Plain "d") [Var "x"]]), (Fun (Sharp "b") [Var "x"],Fun (Sharp "a") [Var "x"])])])),[(Fun (Sharp "f") [Fun (Plain "f") [Var "x"]],Fun (Sharp "a") [Var "x"]), (Fun (Sharp "d") [Fun (Plain "d") [Var "x"]],Fun (Sharp "f") [Fun (Plain "f") [Fun (Plain "f") [Var "x"]]]), (Fun (Sharp "d") [Fun (Plain "d") [Var "x"]],Fun (Sharp "f") [Fun (Plain "f") [Var "x"]]), (Fun (Sharp "d") [Fun (Plain "d") [Var "x"]],Fun (Sharp "f") [Var "x"]), (Fun (Sharp "d") [Var "x"],Fun (Sharp "b") [Var "x"]), (Fun (Sharp "a") [Fun (Plain "a") [Var "x"]],Fun (Sharp "c") [Var "x"]), (Fun (Sharp "a") [Fun (Plain "a") [Var "x"]],Fun (Sharp "b") [Fun (Plain "c") [Var "x"]]), (Fun (Sharp "c") [Fun (Plain "c") [Var "x"]],Fun (Sharp "f") [Var "x"]), (Fun (Sharp "c") [Fun (Plain "c") [Var "x"]],Fun (Sharp "d") [Fun (Plain "f") [Var "x"]]), (Fun (Sharp "b") [Fun (Plain "b") [Var "x"]],Fun (Sharp "d") [Var "x"]), (Fun (Sharp "b") [Fun (Plain "b") [Var "x"]],Fun (Sharp "c") [Fun (Plain "d") [Var "x"]]), (Fun (Sharp "b") [Var "x"],Fun (Sharp "a") [Var "x"])]), (Nothing, [(Fun (Sharp "f") [Fun (Plain "f") [Var "x"]],Fun (Sharp "g") [Fun (Plain "a") [Var "x"]])])])),[(Fun (Sharp "g") [Fun (Plain "g") [Var "x"]],Fun (Sharp "a") [Var "x"]), (Fun (Sharp "f") [Fun (Plain "f") [Var "x"]],Fun (Sharp "g") [Fun (Plain "a") [Var "x"]]), (Fun (Sharp "f") [Fun (Plain "f") [Var "x"]],Fun (Sharp "a") [Var "x"]), (Fun (Sharp "d") [Fun (Plain "d") [Var "x"]],Fun (Sharp "f") [Fun (Plain "f") [Fun (Plain "f") [Var "x"]]]), (Fun (Sharp "d") [Fun (Plain "d") [Var "x"]],Fun (Sharp "f") [Fun (Plain "f") [Var "x"]]), (Fun (Sharp "d") [Fun (Plain "d") [Var "x"]],Fun (Sharp "f") [Var "x"]), (Fun (Sharp "d") [Var "x"],Fun (Sharp "b") [Var "x"]), (Fun (Sharp "a") [Fun (Plain "a") [Var "x"]],Fun (Sharp "c") [Var "x"]), (Fun (Sharp "a") [Fun (Plain "a") [Var "x"]],Fun (Sharp "b") [Fun (Plain "c") [Var "x"]]), (Fun (Sharp "c") [Fun (Plain "c") [Var "x"]],Fun (Sharp "f") [Var "x"]), (Fun (Sharp "c") [Fun (Plain "c") [Var "x"]],Fun (Sharp "d") [Fun (Plain "f") [Var "x"]]), (Fun (Sharp "b") [Fun (Plain "b") [Var "x"]],Fun (Sharp "d") [Var "x"]), (Fun (Sharp "b") [Fun (Plain "b") [Var "x"]],Fun (Sharp "c") [Fun (Plain "d") [Var "x"]]), (Fun (Sharp "b") [Var "x"],Fun (Sharp "a") [Var "x"])])])