util.c: manual_count: use isl_val
[barvinok.git] / tests / product
blob3ddc0776b473c87688d2991cee7ac25fb5bfca00
1 D 1
2 23 14
3 1   0  0  0 -1  0  0  0  0  0  0  0  0  8 
4 1   0  1  0  0  0  0  0  0  0  0  0  0  0 
5 1   0  0  0  0 -1  0  0  0  0  0  0  0  3 
6 1   0  0  0  0  0 -1  0  0  0  0  0  0  3 
7 1   0  0  1  0  0  0  0  0  0  0  0  0  0 
8 1   0  0 -1  0  0  0  0  0  0  0  0  0  8 
9 1   0 -1  0  0  0  0  0  0  0  0  0  0  8 
10 1   0  0  0  0  0  1  0  0  0  0  0  0  0 
11 1   0  0  0  1  0  0  0  0  0  0  0  0  0 
12 1   0  0  0  0  1  0  0  0  0  0  0  0  0 
13 1   1  0  0  0  0  0  0  0  0  0  0  0  0 
14 1   0  0  0  0  0  0  0  0  0 -1  0  0  8 
15 1   0  0  0  0  0  0 -1  0  0  0  0  0 10 
16 1   0  0  0  0  0  0  0  1  0  0  0  0  0 
17 1   0  0  0  0  0  0  0  0  0  0 -1  0  3 
18 1   0  0  0  0  0  0  0  0  0  0  0 -1  3 
19 1   0  0  0  0  0  0  0  0  1  0  0  0  0 
20 1   0  0  0  0  0  0  0  0 -1  0  0  0  8 
21 1   0  0  0  0  0  0  0 -1  0  0  0  0  8 
22 1   0  0  0  0  0  0  0  0  0  0  0  1  0 
23 1   0  0  0  0  0  0  0  0  0  1  0  0  0 
24 1   0  0  0  0  0  0  0  0  0  0  1  0  0 
25 1 -1   0  0  0  0  0  1  0  0  0  0  0 -1 
26 F 0
27 7482689280