4834 cases/test2/wax.in cases/test2/wax.out 4834 cases/test1/wax.in cases/test1/wax.out 4834 cases/test3/wax.in cases/test3/wax.out