*** COMPILING IN ef/checked-out/007
                           A-026-026-M-ok.in                           
Running: Running: TEST PASSED!
                           A-027-027-M-ok.in                           
Running: Running: TEST PASSED!
                           A-029-029-M-ok.in                           
Running: Running: TEST PASSED!
                           A-031-031-M-ok.in                           
Running: Running: TEST PASSED!
                           A-032-032-M-ok.in                           
Running: Running: TEST PASSED!
                           A-034-034-M-ok.in                           
Running: Running: TEST PASSED!
                           A-035-035-M-ok.in                           
Running: Running: TEST PASSED!
                           A-036-036-M-ok.in                           
Running: Running: TEST PASSED!
                           A-038-038-M-ok.in                           
Running: Running: TEST PASSED!
                           A-039-039-M-ok.in                           
Running: Running: TEST PASSED!
                           A-040-040-M-ok.in                           
Running: Running: TEST PASSED!
                           A-041-041-M-ok.in                           
Running: Running: TEST PASSED!
                           A-044-044-M-ok.in                           
Running: Running: TEST PASSED!
                           A-045-045-M-ok.in                           
Running: Running: TEST PASSED!
                           A-046-046-M-ok.in                           
Running: Running: TEST PASSED!
                           A-047-047-M-ok.in                           
Running: Running: TEST PASSED!
                           A-048-048-M-ok.in                           
Running: Running: TEST PASSED!
                           A-049-049-M-ok.in                           
Running: Running: TEST PASSED!
                           A-053-053-M-ok.in                           
Running: Running: TEST PASSED!
                           A-054-054-M-ok.in                           
Running: Running: TEST PASSED!
                           A-056-056-M-ok.in                           
Running: Running: TEST PASSED!
                           A-057-057-M-ok.in                           
Running: Running: TEST PASSED!
                           A-058-058-M-ok.in                           
Running: Running: TEST PASSED!
                           A-061-061-M-ok.in                           
Running: Running: TEST PASSED!
                           A-062-062-M-ok.in                           
Running: Running: TEST PASSED!
                           A-064-064-M-ok.in                           
Running: Running: TEST PASSED!
                           A-066-066-M-ok.in                           
Running: Running: TEST PASSED!
                           A-067-067-M-ok.in                           
Running: Running: TEST PASSED!
                           A-072-072-M-ok.in                           
Running: Running: TEST PASSED!
                           A-074-074-M-ok.in                           
Running: Running: TEST PASSED!
                           A-075-075-M-ok.in                           
Running: Running: TEST PASSED!
                           A-076-076-M-ok.in                           
Running: Running: TEST PASSED!
                           A-080-080-M-ok.in                           
Running: Running: TEST PASSED!
                           A-081-081-M-ok.in                           
Running: Running: TEST PASSED!
                           A-083-083-M-ok.in                           
Running: Running: TEST PASSED!
                           A-089-089-M-ok.in                           
Running: Running: TEST PASSED!
                           A-090-090-M-ok.in                           
Running: Running: TEST PASSED!
                           A-091-091-M-ok.in                           
Running: Running: TEST PASSED!
                           A-108-108-M-ok.in                           
Running: Running: TEST PASSED!
                           A-111-111-M-ok.in                           
Running: Running: TEST PASSED!
                           A-114-114-M-ok.in                           
Running: Running: TEST PASSED!
                           A-115-115-M-ok.in                           
Running: Running: TEST PASSED!
                           A-120-120-M-ok.in                           
Running: Running: TEST PASSED!
                           A-122-122-M-ok.in                           
Running: Running: TEST PASSED!
                           A-124-124-M-ok.in                           
Running: Running: TEST PASSED!
                           A-127-127-M-ok.in                           
Running: Running: TEST PASSED!