4825 cases/test1/aronson.in cases/test1/aronson.out