文本文件  |  2行  |  51 B

Regression test for optimizing boolean simplifier.