c = a + b؛
a
b
1000 ms 32 Mb Rules for program design and list of errors in automatic problem checking