{\color{red}\#} & & & & & & & & {\color{lyellow}\#} & {\color{yellow}\#}\\
& & & & & & & & & {\color{yellow}\#}
\end{tabular}\\
-\textbf{Piet'} $push 3, push 2, sub, push 1, push 1, sub, gre, not, push 3,
- push 4, gre, not, add, push 1, gre$\\
+\textbf{Piet'} $push \: 3, push \: 2, sub, push \: 1, push \: 1, sub, gre, not, push \: 3,
+ push \: 4, gre, not, add, push \: 1, gre$\\