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