The black dots indicate specific block sizes up to 25 that work.

(A dot indicates that the register machine does not halt.)

This same basic scheme can be used with any associative function h — Max , GCD , And , Dot , Join or whatever—so long as suitable forms for r and s are used.