review.blissroms.org / platform_art / 299a93993fb8f3efbf0465cf674d80c3bcfdc66c / test / 524-boolean-simplifier-regression / src / Main.java