/test/468-checker-bool-simplifier-regression/src/
../
Main.java