/test/524-boolean-simplifier-regression/src/
../
Main.java