Loop (([Fun "a" [Fun "a" [Fun "b" [Fun "c" [Fun "c" [Fun "a" [Fun "a" [Fun "c" [Fun "a" [Fun "a" [Fun "c" [Fun "c" [Fun "a" [Var "x"]]]]]]]]]]]]], Fun "a" [Fun "c" [Fun "c" [Fun "a" [Fun "a" [Fun "c" [Fun "a" [Fun "a" [Fun "c" [Fun "a" [Fun "a" [Fun "c" [Fun "c" [Fun "a" [Var "x"]]]]]]]]]]]]]], Fun "a" [Fun "b" [Fun "a" [Fun "a" [Fun "c" [Fun "a" [Fun "a" [Fun "c" [Fun "a" [Fun "a" [Fun "c" [Fun "c" [Fun "a" [Var "x"]]]]]]]]]]]]], Fun "a" [Fun "b" [Fun "a" [Fun "a" [Fun "c" [Fun "a" [Fun "a" [Fun "c" [Fun "a" [Fun "b" [Fun "c" [Fun "c" [Fun "a" [Var "x"]]]]]]]]]]]]], Fun "a" [Fun "b" [Fun "a" [Fun "a" [Fun "c" [Fun "a" [Fun "a" [Fun "c" [Fun "c" [Fun "c" [Fun "a" [Fun "a" [Fun "c" [Fun "a" [Var "x"]]]]]]]]]]]]]], Fun "a" [Fun "b" [Fun "a" [Fun "b" [Fun "c" [Fun "a" [Fun "a" [Fun "c" [Fun "c" [Fun "c" [Fun "a" [Fun "a" [Fun "c" [Fun "a" [Var "x"]]]]]]]]]]]]]], Fun "a" [Fun "b" [Fun "c" [Fun "c" [Fun "a" [Fun "a" [Fun "a" [Fun "a" [Fun "c" [Fun "c" [Fun "c" [Fun "a" [Fun "a" [Fun "c" [Fun "a" [Var "x"]]]]]]]]]]]]]]], Fun "c" [Fun "c" [Fun "a" [Fun "a" [Fun "c" [Fun "a" [Fun "a" [Fun "a" [Fun "a" [Fun "c" [Fun "c" [Fun "c" [Fun "a" [Fun "a" [Fun "c" [Fun "a" [Var "x"]]]]]]]]]]]]]]]], Fun "c" [Fun "c" [Fun "a" [Fun "a" [Fun "c" [Fun "a" [Fun "a" [Fun "a" [Fun "a" [Fun "b" [Fun "c" [Fun "a" [Fun "a" [Fun "c" [Fun "a" [Var "x"]]]]]]]]]]]]]]], Fun "c" [Fun "c" [Fun "a" [Fun "a" [Fun "c" [Fun "a" [Fun "a" [Fun "a" [Fun "a" [Fun "b" [Fun "c" [Fun "a" [Fun "b" [Fun "c" [Fun "a" [Var "x"]]]]]]]]]]]]]]], Fun "c" [Fun "c" [Fun "a" [Fun "a" [Fun "c" [Fun "a" [Fun "a" [Fun "a" [Fun "a" [Fun "b" [Fun "c" [Fun "c" [Fun "c" [Fun "a" [Fun "a" [Fun "a" [Var "x"]]]]]]]]]]]]]]]], Fun "c" [Fun "c" [Fun "a" [Fun "a" [Fun "c" [Fun "a" [Fun "a" [Fun "a" [Fun "a" [Fun "b" [Fun "c" [Fun "c" [Fun "c" [Fun "a" [Fun "b" [Fun "a" [Var "x"]]]]]]]]]]]]]]]], Fun "c" [Fun "c" [Fun "a" [Fun "b" [Fun "c" [Fun "a" [Fun "a" [Fun "a" [Fun "a" [Fun "b" [Fun "c" [Fun "c" [Fun "c" [Fun "a" [Fun "b" [Fun "a" [Var "x"]]]]]]]]]]]]]]]], Fun "c" [Fun "c" [Fun "c" [Fun "c" [Fun "a" [Fun "a" [Fun "a" [Fun "a" [Fun "a" [Fun "a" [Fun "b" [Fun "c" [Fun "c" [Fun "c" [Fun "a" [Fun "b" [Fun "a" [Var "x"]]]]]]]]]]]]]]]]], Fun "c" [Fun "c" [Fun "c" [Fun "c" [Fun "a" [Fun "a" [Fun "b" [Fun "a" [Fun "a" [Fun "a" [Fun "b" [Fun "c" [Fun "c" [Fun "c" [Fun "a" [Fun "b" [Fun "a" [Var "x"]]]]]]]]]]]]]]]]], Fun "c" [Fun "c" [Fun "c" [Fun "c" [Fun "a" [Fun "a" [Fun "b" [Fun "a" [Fun "b" [Fun "a" [Fun "b" [Fun "c" [Fun "c" [Fun "c" [Fun "a" [Fun "b" [Fun "a" [Var "x"]]]]]]]]]]]]]]]]], Fun "c" [Fun "c" [Fun "c" [Fun "c" [Fun "a" [Fun "a" [Fun "b" [Fun "a" [Fun "b" [Fun "c" [Fun "c" [Fun "a" [Fun "a" [Fun "c" [Fun "c" [Fun "a" [Fun "b" [Fun "a" [Var "x"]]]]]]]]]]]]]]]]]]],((More "c" [] (More "c" [] (More "c" [] (More "c" [] Hole []) []) []) []),[(Var "x",Fun "b" [Fun "a" [Var "x"]])])))