! Generated from /home/skimo/git/cloog/test/dartef.cloog by CLooG 0.14.0-284-ga90f184 gmp bits in 0.08s.
IF (n >= 1) THEN
  DO t3=n+3, 3*n+1
    IF (MOD(t3+n+1, 2) == 0) THEN
      S1(1,n,(t3-n-1)/2)
    END IF
  END DO
  DO t1=-n+2, n-1
    IF (t1 >= 2) THEN
      DO t3=t1+4, t1+2*n+2
        IF (MOD(t1+t3, 2) == 0) THEN
          S1(t1+1,1,(-t1+t3-2)/2)
        END IF
      END DO
    END IF
    DO t2=MAX(-t1+2,t1+2), -t1+4
      DO t3=t2+2, t2+2*n
        IF (MOD(t1+t2, 2) == 0) THEN
          IF (MOD(t1+t3, 2) == 0) THEN
            S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2)
          END IF
        END IF
      END DO
    END DO
    DO t2=MAX(-t1+5,t1+3), MIN(-t1+2*n,t1+2*n)
      DO t3=1, MIN(n,t2+1)
        IF (MOD(t1+t2+1, 2) == 0) THEN
          S2((t1+t2-3)/2,(-t1+t2-1)/2,t3)
        END IF
      END DO
      DO t3=t2+2, n
        IF (MOD(t1+t2+1, 2) == 0) THEN
          S2((t1+t2-3)/2,(-t1+t2-1)/2,t3)
        END IF
        IF (MOD(t1+t2, 2) == 0) THEN
          IF (MOD(t1+t3, 2) == 0) THEN
            S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2)
          END IF
        END IF
      END DO
      DO t3=MAX(n+1,t2+2), t2+2*n
        IF (MOD(t1+t2, 2) == 0) THEN
          IF (MOD(t1+t3, 2) == 0) THEN
            S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2)
          END IF
        END IF
      END DO
    END DO
    IF (t1 <= -1) THEN
      DO t3=1, n
        S2(t1+n-1,n,t3)
      END DO
    END IF
    DO t2=-t1+2*n+1, MIN(-t1+2*n+3,t1+2*n+1)
      DO t3=1, n
        IF (MOD(t1+t2+1, 2) == 0) THEN
          S2((t1+t2-3)/2,(-t1+t2-1)/2,t3)
        END IF
      END DO
    END DO
  END DO
  DO t3=1, n
    S2(n,1,t3)
  END DO
END IF