a
b
c
d
m
n
gcd
1000 ms 256 Mb Rules for program design and list of errors in automatic problem checking