
# This is a bigger example, provoquing an overflow in 32 bits.

5 7
#  i j k  P  Q
0  2 3 4 -1  0  0	# 2i + 3j + 4k = P
0  3 4 2  0 -1  0	# 3i + 4j + 2k = Q

1  1 0 0  0  0  0	# i,j,k >= 0
1  0 1 0  0  0  0
1  0 0 1  0  0  0

2 4
1  1  0  0	# P,Q >= 0
1  0  1  0
