dummy_node
zz
[dummy_node zz]
.





























































(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(boo





























































l_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_ex





























































pr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.B





























































inary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binar





























































y left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary le





























































ft:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(





























































word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word





























































 value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word val





























































ue:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:l





























































eft) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left)





























































 right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) rig





























































ht:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(





























































word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word





























































 value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word val





























































ue:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:r





























































ight))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right






























































))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(b





























































ool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_





























































expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr





























































.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Bin





























































ary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary 





























































left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left





























































:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(wo





























































rd value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word v





























































alue:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value





























































:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:lef





























































t) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) r





























































ight:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right





























































:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(wo





























































rd value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word v





























































alue:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value





























































:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:rig














ht))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right))(bool_expr.Binary left:(word value:left) right:(word value:right)).
Total: 2 tests (118549 ticks, 0.119 sec), 2005 assertions
Pass: 2, fail: 0, skip: 0.