えーと、すいません。まとまりませんでした。
ざっくりと疑問のポイントだけ書くと

（１）Loop :: f()の中の配列の長さがNならLoop :: f()の大きさは２変数アッカーマンA(N,x)と同じくらいの大きさになるんじゃないか？

（２）もしそうなら>>233の配列の大きさはN重ループと４重ループを使って、繰り返し大きくしているので
　　　>>233自体の大きさは3変数アッカーマンのA(4,a,b)くらいになるんじゃないか？

の２点です。

どうでもいいけど、>>346で自己複製とか書いたけどただのコピーと自己複製の区別がついてませんでした。
すんませんw。