{FOR $i = 0 TO THREE} [ {FOR $j = 0 TO THREE} [ ] ]
{FOR $k = 0 TO THREE} [ {FOR $l = 0 TO THREE} [ ] ]
{SUDOKU $i $j $k $l NUMBER} {SUDOKU $i $j $k $l NUMBER}