s(3,3,1,2) = s(3,3,3)
s(3,3,2,2) = s(3,s(3,3,1,2),1,2)
s(3,3,1,3) = s(3,3,3,2) = s(3,s(3,3,2,2),2,2)
...
s(3,3,1,1,2) ~< {3,3,3,3}
s(3,3,1,1,1,2) ~< {3,3,3,3}
...
s(3,5{2}2) = s(3,3,1,1,1,1,2) ~< {3,3,3,3,3,3}
s(3,5,1{2}2) = s(3,6{2}2) = s(3,3,1,1,1,1,1,2)
...
???????????????????????????????????????????