1 /* Generated from ./equality2.cloog by CLooG 0.18.1-2-g43fc508 gmp bits in 0.01s. */
2 for (i0
=1;i0
<=10000;i0
++) {
3 for (i1
=1000;i1
<=1016;i1
++) {
4 for (i2
=1;i2
<=min(-2*i1
+2033,2*i1
-1999);i2
++) {
6 S2(i0
,i1
,i2
,1,i0
,(2*i1
-1000),1,2,i0
,(i1
-499),(2*i1
-1999),i0
,(2*i1
-1999),(i1
-999),(i1
-999));
10 S1(i0
,i1
,i2
,2,i0
,((i1
+2)/2),(i1
-999),i0
,(i1
-999),((i1
-998)/2),((i1
-998)/2));