N
R
F
S
else
and
or
not
min
max
1000 ms 256 Mb Rules for program design and list of errors in automatic problem checking