s=3, k=2 Turing machines
Compare page 763 and particularly the discussion of machine 600720 on page 1145.
