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

Array Hydra 3:

Let A is step number

Array 2 Rule 1a: (◆,◆@\w$[%],◆◆) = (◆,0,$0...0,$0,$@,◆◆) (% 0's)

Array 3 Rule 1: (◆,◆0,%+1@,◆◆) = (◆,◆1\w[◆, ◆...(◆,◆1\w[◆, ◆0,%+1@,◆◆ ],%+1@,◆◆)...,%+1@,◆◆ ],%+1@,◆◆) (A 's)

Array 3 Rule 2: (◆,1◆) = (◆,◆)

Array 3 Rule 3: (◆\w1[◆]) = (◆\w[◆])