17c17 < set N := 1..n; --- > set N2 := 1..n; 19c19 < set N2 := 1..n*n; --- > set N := 1..n*n; 25c25 < var x{i in N, j in N, k in N2} binary; --- > var x{i in N2, j in N2, k in N}, binary; 28c28 < s.t. a{i in N, j in N}: sum {k in N2} x[i,j,k] = 1; --- > s.t. a{i in N2, j in N2}: sum{k in N} x[i,j,k] = 1; 31c31 < s.t. b{k in N2}: sum {i in N, j in N} x[i,j,k] = 1; --- > s.t. b{k in N}: sum{i in N2, j in N2} x[i,j,k] = 1; 34c34 < s.t. r{i in N}: sum{j in N} (sum {k in N2} k*x[i,j,k]) = s; --- > s.t. r{i in N2}: sum{j in N2, k in N} k * x[i,j,k] = s; 37c37 < s.t. c{i in N}: sum{j in N} (sum {k in N2} k*x[i,j,k]) = s; --- > s.t. c{j in N2}: sum{i in N2, k in N} k * x[i,j,k] = s; 40c40 < s.t. d: sum{i in N} (sum {k in N2} k*x[i,i,k]) = s; --- > s.t. d: sum{i in N2, k in N} k * x[i,i,k] = s; 43c43 < s.t. e: sum{i in N} (sum {k in N2} k*x[n+1-i,i,k]) = s; --- > s.t. e: sum{i in N2, k in N} k * x[i,n-i+1,k] = s; 52c52 < { printf{j in 1..n} "%3d", sum{k in N2} k * x[i,j,k]; --- > { printf{j in 1..n} "%3d", sum{k in N} k * x[i,j,k];