MINION 3

**VARIABLES**
DISCRETE s0[16] {0..15}
DISCRETE s1[16] {0..15}
DISCRETE s2[16] {0..15}
DISCRETE s3[16] {0..15}
DISCRETE s4[16] {0..15}
DISCRETE s5[16] {0..15}
DISCRETE s6[16] {0..15}
DISCRETE s7[16] {0..15}
DISCRETE s8[16] {0..15}
DISCRETE s9[16] {0..15}
DISCRETE s10[16] {0..15}
DISCRETE s11[16] {0..15}
DISCRETE s12[16] {0..15}
DISCRETE s13[16] {0..15}
DISCRETE s14[16] {0..15}
DISCRETE s15[16] {0..15}


**SEARCH**

PRINT[
[s0],[s1],[s2],[s3],[s4],[s5],[s6],[s7],[s8],[s9],[s10],[s11],[s12],[s13],[s14],[s15]]

VARORDER [
s0 , s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15]


**CONSTRAINTS**

alldiff([ s0[0], s0[1], s0[2], s0[3], s0[4], s0[5], s0[6], s0[7], s0[8], s0[9], s0[10], s0[11], s0[12], s0[13], s0[14], s0[15]])
alldiff([ s1[0], s1[1], s1[2], s1[3], s1[4], s1[5], s1[6], s1[7], s1[8], s1[9], s1[10], s1[11], s1[12], s1[13], s1[14], s1[15]])
alldiff([ s2[0], s2[1], s2[2], s2[3], s2[4], s2[5], s2[6], s2[7], s2[8], s2[9], s2[10], s2[11], s2[12], s2[13], s2[14], s2[15]])
alldiff([ s3[0], s3[1], s3[2], s3[3], s3[4], s3[5], s3[6], s3[7], s3[8], s3[9], s3[10], s3[11], s3[12], s3[13], s3[14], s3[15]])
alldiff([ s4[0], s4[1], s4[2], s4[3], s4[4], s4[5], s4[6], s4[7], s4[8], s4[9], s4[10], s4[11], s4[12], s4[13], s4[14], s4[15]])
alldiff([ s5[0], s5[1], s5[2], s5[3], s5[4], s5[5], s5[6], s5[7], s5[8], s5[9], s5[10], s5[11], s5[12], s5[13], s5[14], s5[15]])
alldiff([ s6[0], s6[1], s6[2], s6[3], s6[4], s6[5], s6[6], s6[7], s6[8], s6[9], s6[10], s6[11], s6[12], s6[13], s6[14], s6[15]])
alldiff([ s7[0], s7[1], s7[2], s7[3], s7[4], s7[5], s7[6], s7[7], s7[8], s7[9], s7[10], s7[11], s7[12], s7[13], s7[14], s7[15]])
alldiff([ s8[0], s8[1], s8[2], s8[3], s8[4], s8[5], s8[6], s8[7], s8[8], s8[9], s8[10], s8[11], s8[12], s8[13], s8[14], s8[15]])
alldiff([ s9[0], s9[1], s9[2], s9[3], s9[4], s9[5], s9[6], s9[7], s9[8], s9[9], s9[10], s9[11], s9[12], s9[13], s9[14], s9[15]])
alldiff([ s10[0], s10[1], s10[2], s10[3], s10[4], s10[5], s10[6], s10[7], s10[8], s10[9], s10[10], s10[11], s10[12], s10[13], s10[14], s10[15]])
alldiff([ s11[0], s11[1], s11[2], s11[3], s11[4], s11[5], s11[6], s11[7], s11[8], s11[9], s11[10], s11[11], s11[12], s11[13], s11[14], s11[15]])
alldiff([ s12[0], s12[1], s12[2], s12[3], s12[4], s12[5], s12[6], s12[7], s12[8], s12[9], s12[10], s12[11], s12[12], s12[13], s12[14], s12[15]])
alldiff([ s13[0], s13[1], s13[2], s13[3], s13[4], s13[5], s13[6], s13[7], s13[8], s13[9], s13[10], s13[11], s13[12], s13[13], s13[14], s13[15]])
alldiff([ s14[0], s14[1], s14[2], s14[3], s14[4], s14[5], s14[6], s14[7], s14[8], s14[9], s14[10], s14[11], s14[12], s14[13], s14[14], s14[15]])
alldiff([ s15[0], s15[1], s15[2], s15[3], s15[4], s15[5], s15[6], s15[7], s15[8], s15[9], s15[10], s15[11], s15[12], s15[13], s15[14], s15[15]])

alldiff([ s0[0], s1[0], s2[0], s3[0], s4[0], s5[0], s6[0], s7[0], s8[0], s9[0], s10[0], s11[0], s12[0], s13[0], s14[0], s15[0]])
alldiff([ s0[1], s1[1], s2[1], s3[1], s4[1], s5[1], s6[1], s7[1], s8[1], s9[1], s10[1], s11[1], s12[1], s13[1], s14[1], s15[1]])
alldiff([ s0[2], s1[2], s2[2], s3[2], s4[2], s5[2], s6[2], s7[2], s8[2], s9[2], s10[2], s11[2], s12[2], s13[2], s14[2], s15[2]])
alldiff([ s0[3], s1[3], s2[3], s3[3], s4[3], s5[3], s6[3], s7[3], s8[3], s9[3], s10[3], s11[3], s12[3], s13[3], s14[3], s15[3]])
alldiff([ s0[4], s1[4], s2[4], s3[4], s4[4], s5[4], s6[4], s7[4], s8[4], s9[4], s10[4], s11[4], s12[4], s13[4], s14[4], s15[4]])
alldiff([ s0[5], s1[5], s2[5], s3[5], s4[5], s5[5], s6[5], s7[5], s8[5], s9[5], s10[5], s11[5], s12[5], s13[5], s14[5], s15[5]])
alldiff([ s0[6], s1[6], s2[6], s3[6], s4[6], s5[6], s6[6], s7[6], s8[6], s9[6], s10[6], s11[6], s12[6], s13[6], s14[6], s15[6]])
alldiff([ s0[7], s1[7], s2[7], s3[7], s4[7], s5[7], s6[7], s7[7], s8[7], s9[7], s10[7], s11[7], s12[7], s13[7], s14[7], s15[7]])
alldiff([ s0[8], s1[8], s2[8], s3[8], s4[8], s5[8], s6[8], s7[8], s8[8], s9[8], s10[8], s11[8], s12[8], s13[8], s14[8], s15[8]])
alldiff([ s0[9], s1[9], s2[9], s3[9], s4[9], s5[9], s6[9], s7[9], s8[9], s9[9], s10[9], s11[9], s12[9], s13[9], s14[9], s15[9]])
alldiff([ s0[10], s1[10], s2[10], s3[10], s4[10], s5[10], s6[10], s7[10], s8[10], s9[10], s10[10], s11[10], s12[10], s13[10], s14[10], s15[10]])
alldiff([ s0[11], s1[11], s2[11], s3[11], s4[11], s5[11], s6[11], s7[11], s8[11], s9[11], s10[11], s11[11], s12[11], s13[11], s14[11], s15[11]])
alldiff([ s0[12], s1[12], s2[12], s3[12], s4[12], s5[12], s6[12], s7[12], s8[12], s9[12], s10[12], s11[12], s12[12], s13[12], s14[12], s15[12]])
alldiff([ s0[13], s1[13], s2[13], s3[13], s4[13], s5[13], s6[13], s7[13], s8[13], s9[13], s10[13], s11[13], s12[13], s13[13], s14[13], s15[13]])
alldiff([ s0[14], s1[14], s2[14], s3[14], s4[14], s5[14], s6[14], s7[14], s8[14], s9[14], s10[14], s11[14], s12[14], s13[14], s14[14], s15[14]])
alldiff([ s0[15], s1[15], s2[15], s3[15], s4[15], s5[15], s6[15], s7[15], s8[15], s9[15], s10[15], s11[15], s12[15], s13[15], s14[15], s15[15]])

eq(s0[0], 10)
eq(s0[1], 5)
eq(s0[2], 7)
eq(s0[3], 15)
eq(s0[4], 4)
eq(s0[6], 6)
eq(s0[9], 13)
eq(s0[11], 1)
eq(s0[13], 14)
eq(s1[2], 15)
eq(s1[5], 4)
eq(s1[7], 7)
eq(s1[8], 10)
eq(s1[10], 1)
eq(s1[11], 14)
eq(s1[13], 3)
eq(s1[14], 5)
eq(s1[15], 9)
eq(s2[3], 12)
eq(s2[4], 14)
eq(s2[6], 0)
eq(s2[7], 4)
eq(s2[10], 6)
eq(s2[11], 11)
eq(s2[12], 1)
eq(s2[15], 13)
eq(s3[0], 8)
eq(s3[1], 1)
eq(s3[3], 0)
eq(s3[7], 5)
eq(s3[8], 7)
eq(s3[10], 15)
eq(s3[11], 10)
eq(s3[14], 11)
eq(s4[0], 12)
eq(s4[2], 14)
eq(s4[3], 2)
eq(s4[5], 9)
eq(s4[6], 1)
eq(s4[9], 3)
eq(s4[14], 13)
eq(s4[15], 6)
eq(s5[0], 5)
eq(s5[3], 9)
eq(s5[4], 15)
eq(s5[7], 8)
eq(s5[8], 6)
eq(s5[10], 11)
eq(s5[11], 12)
eq(s5[12], 13)
eq(s6[1], 4)
eq(s6[4], 2)
eq(s6[5], 1)
eq(s6[6], 15)
eq(s6[7], 9)
eq(s6[10], 12)
eq(s6[12], 3)
eq(s6[14], 14)
eq(s6[15], 0)
eq(s7[1], 0)
eq(s7[2], 9)
eq(s7[3], 11)
eq(s7[4], 8)
eq(s7[5], 10)
eq(s7[6], 12)
eq(s7[8], 13)
eq(s7[9], 4)
eq(s7[14], 2)
eq(s8[0], 4)
eq(s8[3], 3)
eq(s8[4], 10)
eq(s8[8], 1)
eq(s8[9], 8)
eq(s8[11], 13)
eq(s8[13], 11)
eq(s8[14], 9)
eq(s8[15], 7)
eq(s9[2], 4)
eq(s9[6], 10)
eq(s9[7], 15)
eq(s9[9], 5)
eq(s9[10], 2)
eq(s9[11], 0)
eq(s9[12], 6)
eq(s9[13], 1)
eq(s9[15], 11)
eq(s10[1], 12)
eq(s10[5], 13)
eq(s10[6], 9)
eq(s10[7], 3)
eq(s10[8], 4)
eq(s10[9], 11)
eq(s10[11], 15)
eq(s10[14], 1)
eq(s11[1], 2)
eq(s11[2], 12)
eq(s11[5], 5)
eq(s11[7], 11)
eq(s11[9], 14)
eq(s11[10], 13)
eq(s11[12], 10)
eq(s11[13], 6)
eq(s11[14], 15)
eq(s12[0], 2)
eq(s12[1], 11)
eq(s12[2], 5)
eq(s12[3], 1)
eq(s12[8], 14)
eq(s12[9], 9)
eq(s12[12], 7)
eq(s12[13], 12)
eq(s12[15], 10)
eq(s13[1], 14)
eq(s13[2], 0)
eq(s13[4], 12)
eq(s13[5], 3)
eq(s13[8], 5)
eq(s13[10], 4)
eq(s13[11], 6)
eq(s13[12], 8)
eq(s13[13], 9)
eq(s14[0], 3)
eq(s14[3], 10)
eq(s14[6], 5)
eq(s14[7], 14)
eq(s14[8], 9)
eq(s14[12], 12)
eq(s14[14], 0)
eq(s14[15], 4)
eq(s15[0], 15)
eq(s15[2], 3)
eq(s15[4], 13)
eq(s15[5], 2)
eq(s15[6], 11)
eq(s15[9], 6)
eq(s15[12], 14)
eq(s15[13], 0)
eq(s15[15], 8)

**EOF**
