1! Generated from /home/skimo/git/cloog/test/dartef.cloog by CLooG 0.14.0-284-ga90f184 gmp bits in 0.08s. 2IF (n >= 1) THEN 3 DO t3=n+3, 3*n+1 4 IF (MOD(t3+n+1, 2) == 0) THEN 5 S1(1,n,(t3-n-1)/2) 6 END IF 7 END DO 8 DO t1=-n+2, n-1 9 IF (t1 >= 2) THEN 10 DO t3=t1+4, t1+2*n+2 11 IF (MOD(t1+t3, 2) == 0) THEN 12 S1(t1+1,1,(-t1+t3-2)/2) 13 END IF 14 END DO 15 END IF 16 DO t2=MAX(-t1+2,t1+2), -t1+4 17 DO t3=t2+2, t2+2*n 18 IF (MOD(t1+t2, 2) == 0) THEN 19 IF (MOD(t1+t3, 2) == 0) THEN 20 S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) 21 END IF 22 END IF 23 END DO 24 END DO 25 DO t2=MAX(-t1+5,t1+3), MIN(-t1+2*n,t1+2*n) 26 DO t3=1, MIN(n,t2+1) 27 IF (MOD(t1+t2+1, 2) == 0) THEN 28 S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) 29 END IF 30 END DO 31 DO t3=t2+2, n 32 IF (MOD(t1+t2+1, 2) == 0) THEN 33 S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) 34 END IF 35 IF (MOD(t1+t2, 2) == 0) THEN 36 IF (MOD(t1+t3, 2) == 0) THEN 37 S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) 38 END IF 39 END IF 40 END DO 41 DO t3=MAX(n+1,t2+2), t2+2*n 42 IF (MOD(t1+t2, 2) == 0) THEN 43 IF (MOD(t1+t3, 2) == 0) THEN 44 S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) 45 END IF 46 END IF 47 END DO 48 END DO 49 IF (t1 <= -1) THEN 50 DO t3=1, n 51 S2(t1+n-1,n,t3) 52 END DO 53 END IF 54 DO t2=-t1+2*n+1, MIN(-t1+2*n+3,t1+2*n+1) 55 DO t3=1, n 56 IF (MOD(t1+t2+1, 2) == 0) THEN 57 S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) 58 END IF 59 END DO 60 END DO 61 END DO 62 DO t3=1, n 63 S2(n,1,t3) 64 END DO 65END IF 66