Usage python main.py < test_exprs.txt The test file contains example boolean expressions---one on each line.