1/* Generated from ../../../git/cloog/test/constant.cloog by CLooG 0.14.0-333-g4442dac gmp bits in 0.01s. */
2for (c2=0;c2<=min(1023,M+1024);c2++) {
3  S1(c2);
4  S3(c2);
5}
6for (c2=max(0,M+1025);c2<=1023;c2++) {
7  S2(c2);
8  S3(c2);
9}
10for (c1=0;c1<=min(1023,M+1024);c1++) {
11  S4(c1);
12  S6(c1);
13}
14for (c1=max(0,M+1025);c1<=1023;c1++) {
15  S5(c1);
16  S6(c1);
17}
18