f
C
x
y
eps
m
1000 ms 32 Mb Rules for program design and list of errors in automatic problem checking