in Input trivial_where.txt