G4 Clause Meanings
The first clause guarantees we start in state 0.
The second clause guarantees the read-write head starts with square 1.
The next set of clauses guarantees that the input string is on the tape in the correct position at time 0.
The final sets of clauses guarantee that at time 0, the rest of the tape is blank.