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)).len(li) = 1000 len(words) = 200 CompoundWord 100, String 100 .len = 0 len = 2 [(arith_expr.NoOp) (arith_expr.Const i:42)] . Total: 4 tests (125607 ticks, 0.126 sec), 3007 assertions Pass: 4, fail: 0, skip: 0.