*** COMPILING IN ef/checked-out/070
A-01-32-M-ok.in
Running: Running: TEST PASSED!
A-01-33-M-ok.in
Running: Running: TEST PASSED!
A-02-01-M-ok.in
Running: Running: TEST PASSED!
A-02-02-M-ok.in
Running: Running: TEST PASSED!
A-02-03-M-ok.in
Running: Running: TEST PASSED!
A-02-06-M-ok.in
Running: Running: TEST PASSED!
A-03-01-M-ok.in
Running: Running: TEST PASSED!
A-03-02-M-ok.in
Running: Running: TEST PASSED!
A-03-03-M-ok.in
Running: Running: TEST PASSED!
A-04-01-M-ok.in
Running: Running: TEST PASSED!
A-04-02-M-ok.in
Running: Running: TEST PASSED!
A-05-01-M-ok.in
Running: Running: TEST PASSED!
A-06-01-M-ok.in
Running: Running: TEST PASSED!
A-06-02-M-ok.in
Running: Running: TEST PASSED!
A-06-03-M-ok.in
Running: Running: TEST PASSED!
A-07-01-M-ok.in
Running: Running: TEST PASSED!
A-07-02-M-ok.in
Running: Running: TEST PASSED!
A-07-03-M-ok.in
Running: Running: TEST PASSED!
A-07-04-M-ok.in
Running: Running: TEST PASSED!
A-07-05-M-ok.in
Running: Running: TEST PASSED!
A-07-09-M-ok.in
Running: Running: TEST PASSED!
A-07-10-M-ok.in
Running: Running: TEST PASSED!
A-07-12-M-ok.in
Running: Running: TEST PASSED!
A-08-01-M-ok.in
Running: Running: TEST PASSED!
A-08-02-M-ok.in
Running: Running: TEST PASSED!
A-09-01-M-ok.in
Running: Running: TEST PASSED!
A-09-02-M-ok.in
Running: Running: TEST PASSED!
A-09-03-M-ok.in
Running: Running: TEST PASSED!
A-09-08-M-ok.in
Running: Running: TEST PASSED!
A-10-01-M-ok.in
Running: Running: TEST PASSED!
A-10-02-M-ok.in
Running: Running: TEST PASSED!
A-10-03-M-ok.in
Running: Running: TEST PASSED!
A-10-04-M-ok.in
Running: Running: TEST PASSED!
A-11-01-M-ok.in
Running: Running: TEST PASSED!
A-11-02-M-ok.in
Running: Running: TEST PASSED!
A-11-04-M-ok.in
Running: Running: TEST PASSED!
A-11-05-M-ok.in
Running: Running: TEST PASSED!
A-11-08-M-ok.in
Running: Running: TEST PASSED!
A-11-11-M-ok.in
Running: Running: TEST PASSED!
A-11-12-M-ok.in
Running: Running: TEST PASSED!
A-11-14-M-ok.in
Running: Running: TEST PASSED!
A-16-01-M-ok.in
Running: Running: TEST PASSED!
A-16-02-M-ok.in
Running: Running: TEST PASSED!
A-16-03-M-ok.in
Running: Running: TEST PASSED!
A-17-02-M-ok.in
Running: Running: TEST PASSED!
A-17-04-M-ok.in
Running: Running: TEST PASSED!
A-17-05-M-ok.in
Running: Running: TEST PASSED!
A-17-06-M-ok.in
Running: Running: TEST PASSED!
A-17-08-M-ok.in
Running: Running: TEST PASSED!
A-18-02-M-ok.in
Running: Running: TEST PASSED!
A-18-04-M-ok.in
Running: Running: TEST PASSED!
A-18-05-M-ok.in
Running: Running: TEST PASSED!
A-19-01-M-ok.in
Running: Running: TEST PASSED!
A-19-02-M-ok.in
Running: Running: TEST PASSED!
A-19-03-M-ok.in
Running: Running: TEST PASSED!
A-19-04-M-ok.in
Running: Running: TEST PASSED!
A-19-09-M-ok.in
Running: Running: TEST PASSED!
A-19-10-M-ok.in
Running: Running: TEST PASSED!
A-19-11-M-ok.in
Running: Running: TEST PASSED!
A-19-13-M-ok.in
Running: Running: TEST PASSED!
A-20-01-M-ok.in
Running: Running: TEST PASSED!
A-20-02-M-ok.in
Running: Running: TEST PASSED!
A-20-04-M-ok.in
Running: Running: TEST PASSED!
A-21-02-M-ok.in
Running: Running: TEST PASSED!
A-21-03-M-ok.in
Running: Running: TEST PASSED!
A-21-05-M-ok.in
Running: Running: TEST PASSED!
A-21-06-M-ok.in
Running: Running: TEST PASSED!
A-21-07-M-ok.in
Running: Running: TEST PASSED!
A-21-08-M-ok.in
Running: Running: TEST PASSED!
A-21-10-M-ok.in
Running: Running: TEST PASSED!
A-21-13-M-ok.in
Running: Running: TEST PASSED!
A-21-14-M-ok.in
Running: Running: TEST PASSED!
A-22-02-M-ok.in
Running: Running: TEST PASSED!
A-23-01-M-ok.in
Running: Running: TEST PASSED!
A-24-01-M-ok.in
Running: Running: TEST PASSED!
A-24-03-M-ok.in
Running: Running: TEST PASSED!
A-25-01-M-ok.in
Running: Running: TEST PASSED!