tests/euler/EML-product.pwqp

   1 [N] -> { [x, y, x2, y2] -> x^2 * y^2 * x2^2 * y2^2 * N : 532y <= -347 + 1359x and 16y >= -842 + 195x and 70y >= 15 - x and 532y2 <= -347 + 1359x2 and 16y2 >= -842 + 195x2 and 70y2 >= 15 - x2 }