update isl for change in coalescing

[barvinok.git] / tests / euler / triangle2.pwqp

[n] -> { [x, y] -> 1 : n >= -2 + 53x + 17y and x >= 0 and y >= 0 }