review.blissroms.org / platform_art / 16a150b8a4c5c8c9e7159aff3b2ffbd918494abd / test / 524-boolean-simplifier-regression / src / Main.java