User blog comment:Wythagoras/Buchholz hydra/@comment-5029411-20130828214453

Array Hydra:

New Rules

Array Rule 1: (...,@,X+1,X...X) = (...,... ,X,X...X) (@ 's), where X is any @

Array Rule 2: (...,0,X...X) = (...) (@ 's)