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++) {