xref: /netbsd-src/external/mit/isl/dist/test_inputs/neg.pwqp (revision 5971e316fdea024efff6be8f03536623db06833e)

[n] -> { [i0] -> i0^2 : i0 >= -20 - n and i0 <= n and i0 <= -1 and n >= 0 }