| ! Generated from ./test/dartef.cloog by CLooG v1.0.0 64 bits in 0.32s. |
| ! CLooG asked for 164 KBytes. |
| IF (n >= 1) THEN |
| t1 = -n+1 |
| t2 = n+1 |
| DO t3=n+3, 3*n+1 |
| IF (MOD(t3-n-1,2) == 0) THEN |
| k = (t3-n-1)/2 |
| S1(i = 1,j = n) |
| END IF |
| END DO |
| END IF |
| IF ((n >= 2) .AND. (n <= 2)) THEN |
| t1 = -n+2 |
| DO t2=-n+4, 3*n-2 |
| DO t3=t2+2, t2+2*n |
| IF (MOD(t1+t2,2) == 0) THEN |
| i = (t1+t2)/2 |
| j = -t1+i |
| IF (MOD(t3-i-j,2) == 0) THEN |
| k = (t3-i-j)/2 |
| S1 |
| END IF |
| END IF |
| END DO |
| END DO |
| t2 = n+3 |
| DO t3=1, n |
| IF (MOD(t1+t2-3,2) == 0) THEN |
| i = (t1+t2-3)/2 |
| j = -t1+i+1 |
| S2(k = t3) |
| END IF |
| END DO |
| END IF |
| IF (n >= 3) THEN |
| t1 = -n+2 |
| DO t2=n, n+2 |
| DO t3=t2+2, t2+2*n |
| IF (MOD(t1+t2,2) == 0) THEN |
| i = (t1+t2)/2 |
| j = -t1+i |
| IF (MOD(t3-i-j,2) == 0) THEN |
| k = (t3-i-j)/2 |
| S1 |
| END IF |
| END IF |
| END DO |
| END DO |
| t2 = n+3 |
| DO t3=1, n |
| i = t1+n-1 |
| S2(j = n,k = t3) |
| END DO |
| END IF |
| DO t1=CEILING(REAL(-2*n+5)/REAL(2)), MIN(-n+6,-1) |
| DO t2=-t1+2, -t1+4 |
| DO t3=t2+2, t2+2*n |
| IF (MOD(t1+t2,2) == 0) THEN |
| i = (t1+t2)/2 |
| j = -t1+i |
| IF (MOD(t3-i-j,2) == 0) THEN |
| k = (t3-i-j)/2 |
| S1 |
| END IF |
| END IF |
| END DO |
| END DO |
| DO t2=-t1+5, t1+2*n |
| DO t3=1, n |
| IF (MOD(t1+t2-3,2) == 0) THEN |
| i = (t1+t2-3)/2 |
| j = -t1+i+1 |
| S2(k = t3) |
| END IF |
| END DO |
| DO t3=t2+2, t2+2*n |
| IF (MOD(t1+t2,2) == 0) THEN |
| i = (t1+t2)/2 |
| j = -t1+i |
| IF (MOD(t3-i-j,2) == 0) THEN |
| k = (t3-i-j)/2 |
| S1 |
| END IF |
| END IF |
| END DO |
| END DO |
| t2 = t1+2*n+1 |
| DO t3=1, n |
| i = t1+n-1 |
| S2(j = n,k = t3) |
| END DO |
| END DO |
| IF (n == 2) THEN |
| DO t3=3+2, 3+2*n |
| IF (MOD(1+3,2) == 0) THEN |
| i = (1+3)/2 |
| j = -(1)+i |
| IF (MOD(t3-i-j,2) == 0) THEN |
| k = (t3-i-j)/2 |
| S1 |
| END IF |
| END IF |
| END DO |
| DO t2=4, 6 |
| DO t3=1, n |
| IF (MOD(1+t2-3,2) == 0) THEN |
| i = (1+t2-3)/2 |
| j = -(1)+i+1 |
| S2(k = t3) |
| END IF |
| END DO |
| END DO |
| END IF |
| DO t1=-n+7, -1 |
| DO t2=-t1+2, -t1+4 |
| DO t3=t2+2, t2+2*n |
| IF (MOD(t1+t2,2) == 0) THEN |
| i = (t1+t2)/2 |
| j = -t1+i |
| IF (MOD(t3-i-j,2) == 0) THEN |
| k = (t3-i-j)/2 |
| S1 |
| END IF |
| END IF |
| END DO |
| END DO |
| DO t2=-t1+5, n-2 |
| DO t3=1, t2+1 |
| IF (MOD(t1+t2-3,2) == 0) THEN |
| i = (t1+t2-3)/2 |
| j = -t1+i+1 |
| S2(k = t3) |
| END IF |
| END DO |
| DO t3=n+1, t2+2*n |
| IF (MOD(t1+t2,2) == 0) THEN |
| i = (t1+t2)/2 |
| j = -t1+i |
| IF (MOD(t3-i-j,2) == 0) THEN |
| k = (t3-i-j)/2 |
| S1 |
| END IF |
| END IF |
| END DO |
| DO t3=t2+2, n |
| IF (MOD(t1+t2-3,2) == 0) THEN |
| i = (t1+t2-3)/2 |
| j = -t1+i+1 |
| S2(k = t3) |
| END IF |
| IF (MOD(t1+t2,2) == 0) THEN |
| i = (t1+t2)/2 |
| j = -t1+i |
| IF (MOD(t3-i-j,2) == 0) THEN |
| k = (t3-i-j)/2 |
| S1 |
| END IF |
| END IF |
| END DO |
| END DO |
| DO t2=n-1, t1+2*n |
| DO t3=1, n |
| IF (MOD(t1+t2-3,2) == 0) THEN |
| i = (t1+t2-3)/2 |
| j = -t1+i+1 |
| S2(k = t3) |
| END IF |
| END DO |
| DO t3=t2+2, t2+2*n |
| IF (MOD(t1+t2,2) == 0) THEN |
| i = (t1+t2)/2 |
| j = -t1+i |
| IF (MOD(t3-i-j,2) == 0) THEN |
| k = (t3-i-j)/2 |
| S1 |
| END IF |
| END IF |
| END DO |
| END DO |
| t2 = t1+2*n+1 |
| DO t3=1, n |
| i = t1+n-1 |
| S2(j = n,k = t3) |
| END DO |
| END DO |
| IF (n >= 3) THEN |
| DO t1=0, MIN(1,-n+6) |
| DO t2=t1+2, -t1+4 |
| DO t3=t2+2, t2+2*n |
| IF (MOD(t1+t2,2) == 0) THEN |
| i = (t1+t2)/2 |
| j = -t1+i |
| IF (MOD(t3-i-j,2) == 0) THEN |
| k = (t3-i-j)/2 |
| S1 |
| END IF |
| END IF |
| END DO |
| END DO |
| DO t2=-t1+5, -t1+2*n |
| DO t3=1, n |
| IF (MOD(t1+t2-3,2) == 0) THEN |
| i = (t1+t2-3)/2 |
| j = -t1+i+1 |
| S2(k = t3) |
| END IF |
| END DO |
| DO t3=t2+2, t2+2*n |
| IF (MOD(t1+t2,2) == 0) THEN |
| i = (t1+t2)/2 |
| j = -t1+i |
| IF (MOD(t3-i-j,2) == 0) THEN |
| k = (t3-i-j)/2 |
| S1 |
| END IF |
| END IF |
| END DO |
| END DO |
| DO t2=-t1+2*n+1, t1+2*n+1 |
| DO t3=1, n |
| IF (MOD(t1+t2-3,2) == 0) THEN |
| i = (t1+t2-3)/2 |
| j = -t1+i+1 |
| S2(k = t3) |
| END IF |
| END DO |
| END DO |
| END DO |
| END IF |
| DO t1=MAX(-n+7,0), 1 |
| DO t2=t1+2, -t1+4 |
| DO t3=t2+2, t2+2*n |
| IF (MOD(t1+t2,2) == 0) THEN |
| i = (t1+t2)/2 |
| j = -t1+i |
| IF (MOD(t3-i-j,2) == 0) THEN |
| k = (t3-i-j)/2 |
| S1 |
| END IF |
| END IF |
| END DO |
| END DO |
| DO t2=-t1+5, n-2 |
| DO t3=1, t2+1 |
| IF (MOD(t1+t2-3,2) == 0) THEN |
| i = (t1+t2-3)/2 |
| j = -t1+i+1 |
| S2(k = t3) |
| END IF |
| END DO |
| DO t3=n+1, t2+2*n |
| IF (MOD(t1+t2,2) == 0) THEN |
| i = (t1+t2)/2 |
| j = -t1+i |
| IF (MOD(t3-i-j,2) == 0) THEN |
| k = (t3-i-j)/2 |
| S1 |
| END IF |
| END IF |
| END DO |
| DO t3=t2+2, n |
| IF (MOD(t1+t2-3,2) == 0) THEN |
| i = (t1+t2-3)/2 |
| j = -t1+i+1 |
| S2(k = t3) |
| END IF |
| IF (MOD(t1+t2,2) == 0) THEN |
| i = (t1+t2)/2 |
| j = -t1+i |
| IF (MOD(t3-i-j,2) == 0) THEN |
| k = (t3-i-j)/2 |
| S1 |
| END IF |
| END IF |
| END DO |
| END DO |
| DO t2=n-1, -t1+2*n |
| DO t3=1, n |
| IF (MOD(t1+t2-3,2) == 0) THEN |
| i = (t1+t2-3)/2 |
| j = -t1+i+1 |
| S2(k = t3) |
| END IF |
| END DO |
| DO t3=t2+2, t2+2*n |
| IF (MOD(t1+t2,2) == 0) THEN |
| i = (t1+t2)/2 |
| j = -t1+i |
| IF (MOD(t3-i-j,2) == 0) THEN |
| k = (t3-i-j)/2 |
| S1 |
| END IF |
| END IF |
| END DO |
| END DO |
| DO t2=-t1+2*n+1, t1+2*n+1 |
| DO t3=1, n |
| IF (MOD(t1+t2-3,2) == 0) THEN |
| i = (t1+t2-3)/2 |
| j = -t1+i+1 |
| S2(k = t3) |
| END IF |
| END DO |
| END DO |
| END DO |
| DO t1=2, n-5 |
| t2 = t1+2 |
| DO t3=t2+2, t2+2*n |
| i = t1+1 |
| IF (MOD(t3-i-1,2) == 0) THEN |
| k = (t3-i-1)/2 |
| S1(j = 1) |
| END IF |
| END DO |
| DO t2=t1+3, n-2 |
| DO t3=1, t2+1 |
| IF (MOD(t1+t2-3,2) == 0) THEN |
| i = (t1+t2-3)/2 |
| j = -t1+i+1 |
| S2(k = t3) |
| END IF |
| END DO |
| DO t3=n+1, t2+2*n |
| IF (MOD(t1+t2,2) == 0) THEN |
| i = (t1+t2)/2 |
| j = -t1+i |
| IF (MOD(t3-i-j,2) == 0) THEN |
| k = (t3-i-j)/2 |
| S1 |
| END IF |
| END IF |
| END DO |
| DO t3=t2+2, n |
| IF (MOD(t1+t2-3,2) == 0) THEN |
| i = (t1+t2-3)/2 |
| j = -t1+i+1 |
| S2(k = t3) |
| END IF |
| IF (MOD(t1+t2,2) == 0) THEN |
| i = (t1+t2)/2 |
| j = -t1+i |
| IF (MOD(t3-i-j,2) == 0) THEN |
| k = (t3-i-j)/2 |
| S1 |
| END IF |
| END IF |
| END DO |
| END DO |
| DO t2=n-1, -t1+2*n |
| DO t3=1, n |
| IF (MOD(t1+t2-3,2) == 0) THEN |
| i = (t1+t2-3)/2 |
| j = -t1+i+1 |
| S2(k = t3) |
| END IF |
| END DO |
| DO t3=t2+2, t2+2*n |
| IF (MOD(t1+t2,2) == 0) THEN |
| i = (t1+t2)/2 |
| j = -t1+i |
| IF (MOD(t3-i-j,2) == 0) THEN |
| k = (t3-i-j)/2 |
| S1 |
| END IF |
| END IF |
| END DO |
| END DO |
| DO t2=-t1+2*n+1, -t1+2*n+3 |
| DO t3=1, n |
| IF (MOD(t1+t2-3,2) == 0) THEN |
| i = (t1+t2-3)/2 |
| j = -t1+i+1 |
| S2(k = t3) |
| END IF |
| END DO |
| END DO |
| END DO |
| DO t1=MAX(2,n-4), FLOOR(REAL(2*n-3)/REAL(2)) |
| t2 = t1+2 |
| DO t3=t2+2, t2+2*n |
| i = t1+1 |
| IF (MOD(t3-i-1,2) == 0) THEN |
| k = (t3-i-1)/2 |
| S1(j = 1) |
| END IF |
| END DO |
| DO t2=t1+3, -t1+2*n |
| DO t3=1, n |
| IF (MOD(t1+t2-3,2) == 0) THEN |
| i = (t1+t2-3)/2 |
| j = -t1+i+1 |
| S2(k = t3) |
| END IF |
| END DO |
| DO t3=t2+2, t2+2*n |
| IF (MOD(t1+t2,2) == 0) THEN |
| i = (t1+t2)/2 |
| j = -t1+i |
| IF (MOD(t3-i-j,2) == 0) THEN |
| k = (t3-i-j)/2 |
| S1 |
| END IF |
| END IF |
| END DO |
| END DO |
| DO t2=-t1+2*n+1, -t1+2*n+3 |
| DO t3=1, n |
| IF (MOD(t1+t2-3,2) == 0) THEN |
| i = (t1+t2-3)/2 |
| j = -t1+i+1 |
| S2(k = t3) |
| END IF |
| END DO |
| END DO |
| END DO |
| IF (n >= 3) THEN |
| t1 = n-1 |
| t2 = n+1 |
| DO t3=t2+2, t2+2*n |
| i = t1+1 |
| IF (MOD(t3-i-1,2) == 0) THEN |
| k = (t3-i-1)/2 |
| S1(j = 1) |
| END IF |
| END DO |
| DO t2=n+2, n+4 |
| DO t3=1, n |
| IF (MOD(t1+t2-3,2) == 0) THEN |
| i = (t1+t2-3)/2 |
| j = -t1+i+1 |
| S2(k = t3) |
| END IF |
| END DO |
| END DO |
| END IF |
| IF (n >= 1) THEN |
| t2 = n+3 |
| DO t3=1, n |
| S2(i = n,j = 1,k = t3) |
| END DO |
| END IF |