# This test is a line at X=N, N>=0 in (X,N) space.
1 4
0 -1 1 0	X=N
1 3
1  1 0		N>=0
---------------------------------------
Domain :
         P  >= 0
          1 >= 0
 
Vertices :
[ P ]
