in Input trivial_where-many.txt