>>336
Snake の定義の３つ目の式を、
　Snake([a<1>,･･･,a<n>],x)
　=Snake([a<1>,･･･,a<n>-1],Snake([a<1>,･･･,a<n-1>,1],x))
と解釈し、
　Snake([1],x) = x+1
とした場合は、

Snake([1がn個], n) ≒ F[ω^ω](n)