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