Error
n
a1
a2
i
ai
an sub>
m
an
t
l
r
0
ti=0
-1
1000 ms 256 Mb Rules for program design and list of errors in automatic problem checking