4827 cases/test2/coverage.in cases/test2/coverage.out
4827 cases/test1/coverage.in cases/test1/coverage.out
4827 cases/test4/coverage.in cases/test4/coverage.out
4827 cases/test3/coverage.in cases/test3/coverage.out