s1
s2;
s3;
s2
s3
1000 ms 256 Mb Rules for program design and list of errors in automatic problem checking