1 /* Generated by CLooG v0.10.7 */
2 for (c1
=1;c1
<=4;c1
++) {
3 for (c2
=5;c2
<=M
-10;c2
++) {
7 for (c1
=5;c1
<=min(M
-10,9);c1
++) {
8 for (c2
=-c1
+1;c2
<=4;c2
++) {
12 for (c2
=5;c2
<=M
-10;c2
++) {
17 for (c2
=M
-9;c2
<=-c1
+M
;c2
++) {
23 for (c2
=-9;c2
<=4;c2
++) {
27 for (c2
=5;c2
<=M
-10;c2
++) {
33 for (c1
=11;c1
<=M
-10;c1
++) {
34 for (c2
=-c1
+1;c2
<=4;c2
++) {
38 for (c2
=5;c2
<=-c1
+M
;c2
++) {
43 for (c2
=-c1
+M
+1;c2
<=M
-10;c2
++) {
47 for (c1
=M
-9;c1
<=M
;c1
++) {
48 for (c2
=5;c2
<=M
-10;c2
++) {