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