update isl for keeping track of user options

[barvinok.git] / tests / empty4

D 1
10 10
0   4   -1    5   -1   -2   -5    0    0    1  
1   0  -97   41    3    6   15    0    0  -39  
1   0   89   -1   -3   -6  -15    0    0  203  
1   0  -23   -5    1    2    5    0    0 -157  
1   0   -7   11   -3   -6  -15   36    0   27  
1   0    5   -5   -7   -2    5    0    0   -5  
1   0   -5    5   13   -2   -5    0    0   11  
1   0    3    1   -1   -2   -1    4    0   12  
1   0   -2   -1    1    2    0   -3    1  -10  
0   0    1    1    0    0    0    0   -3    2  
F 0
0