1 /* Generated from ./walters.cloog by CLooG 0.18.1-2-g43fc508 gmp bits in 0.00s. */
8 S3(i
,((i
-2)/3),((i
+1)/3),((i
+1)/3));
11 S2(i
,((i
-1)/3),((i
+2)/3),((i
-1)/3));
14 S1(i
,(i
/3),(i
/3),(i
/3));
17 div37
= ceild(2*i
-3*div36
-1,3);
18 if (div37
<= floord(i
+2,3)) {
19 S4(i
,div36
,div37
,(i
-div36
-div37
));