Four small cells, three things to track.
Read each row as one step: the register values after it, the cursor for the next cell, and total work so far. The final cell pauses; it does not grant proof.
Read each row as one step: the register values after it, the cursor for the next cell, and total work so far. The final cell pauses; it does not grant proof.