User blog comment:Nayuta Ito/Ita-Chihaya number(2)/@comment-10429372-20140830073527

This is quite similiar to Bowers' extension, so it reaches ω^ω^ω. But your last example doesn't follow the rules, I think all x's shoukld be replaced by n's and there should be a x-1// added. Also, in the last rule, didn't you mean /n-1?