(1, 1)
x(1, 1, 1) + x(2, 1, 1) + x(3, 1, 1) + x(1, 1, 2) + x(2, 1, 2) + x(3, 1, 2) + x(1, 1, 3) + x(2, 1, 3) + x(3, 1, 3) + x(1, 1, 4) + x(2, 1, 4) + x(3, 1, 4) + x(1, 1, 5) + x(2, 1, 5)
+ x(3, 1, 5) + x(1, 1, 6) + x(2, 1, 6) + x(3, 1, 6) + x(1, 1, 7) + x(2, 1, 7) + x(3, 1, 7) + x(1, 1, 8) + x(2, 1, 8) + x(3, 1, 8) + x(1, 1, 9) + x(2, 1, 9) + x(3, 1, 9) + x(1, 1, 10)
+ x(2, 1, 10) + x(3, 1, 10) + x(1, 1, 11) + x(2, 1, 11) + x(3, 1, 11) + x(1, 1, 12) + x(2, 1, 12) + x(3, 1, 12) + x(1, 1, 13) + x(2, 1, 13) + x(3, 1, 13) + x(1, 1, 14) + x(2, 1, 14) + x(3, 1, 14)
+ x(1, 1, 15) + x(2, 1, 15) + x(3, 1, 15) + x(1, 1, 16) + x(2, 1, 16) + x(3, 1, 16) <= 1
(1, 2)
x(1, 2, 1) + x(2, 2, 1) + x(3, 2, 1) + x(1, 2, 2) + x(2, 2, 2) + x(3, 2, 2) + x(1, 2, 3) + x(2, 2, 3) + x(3, 2, 3) + x(1, 2, 4) + x(2, 2, 4) + x(3, 2, 4) + x(1, 2, 5) + x(2, 2, 5)
+ x(3, 2, 5) + x(1, 2, 6) + x(2, 2, 6) + x(3, 2, 6) + x(1, 2, 7) + x(2, 2, 7) + x(3, 2, 7) + x(1, 2, 8) + x(2, 2, 8) + x(3, 2, 8) + x(1, 2, 9) + x(2, 2, 9) + x(3, 2, 9) + x(1, 2, 10)
+ x(2, 2, 10) + x(3, 2, 10) + x(1, 2, 11) + x(2, 2, 11) + x(3, 2, 11) + x(1, 2, 12) + x(2, 2, 12) + x(3, 2, 12) + x(1, 2, 13) + x(2, 2, 13) + x(3, 2, 13) + x(1, 2, 14) + x(2, 2, 14) + x(3, 2, 14)
+ x(1, 2, 15) + x(2, 2, 15) + x(3, 2, 15) + x(1, 2, 16) + x(2, 2, 16) + x(3, 2, 16) <= 1
(1, 3)
x(1, 1, 2) + x(2, 1, 2) + x(3, 1, 2) + x(1, 1, 3) + x(2, 1, 3) + x(3, 1, 3) + x(1, 1, 4) + x(2, 1, 4) + x(3, 1, 4) + x(1, 1, 5) + x(2, 1, 5) + x(3, 1, 5) + x(1, 1, 6) + x(2, 1, 6)
+ x(3, 1, 6) + x(1, 1, 7) + x(2, 1, 7) + x(3, 1, 7) + x(1, 1, 8) + x(2, 1, 8) + x(3, 1, 8) + x(1, 1, 9) + x(2, 1, 9) + x(3, 1, 9) + x(1, 1, 10) + x(2, 1, 10) + x(3, 1, 10) + x(1, 1, 11)
+ x(2, 1, 11) + x(3, 1, 11) + x(1, 1, 12) + x(2, 1, 12) + x(3, 1, 12) + x(1, 1, 13) + x(2, 1, 13) + x(3, 1, 13) + x(1, 1, 14) + x(2, 1, 14) + x(3, 1, 14) + x(1, 1, 15) + x(2, 1, 15) + x(3, 1, 15)
+ x(1, 1, 16) + x(2, 1, 16) + x(3, 1, 16) + x(1, 1, 17) + x(2, 1, 17) + x(3, 1, 17) <= 1
(1, 4)
x(1, 2, 2) + x(2, 2, 2) + x(3, 2, 2) + x(1, 2, 3) + x(2, 2, 3) + x(3, 2, 3) + x(1, 2, 4) + x(2, 2, 4) + x(3, 2, 4) + x(1, 2, 5) + x(2, 2, 5) + x(3, 2, 5) + x(1, 2, 6) + x(2, 2, 6)
+ x(3, 2, 6) + x(1, 2, 7) + x(2, 2, 7) + x(3, 2, 7) + x(1, 2, 8) + x(2, 2, 8) + x(3, 2, 8) + x(1, 2, 9) + x(2, 2, 9) + x(3, 2, 9) + x(1, 2, 10) + x(2, 2, 10) + x(3, 2, 10) + x(1, 2, 11)
+ x(2, 2, 11) + x(3, 2, 11) + x(1, 2, 12) + x(2, 2, 12) + x(3, 2, 12) + x(1, 2, 13) + x(2, 2, 13) + x(3, 2, 13) + x(1, 2, 14) + x(2, 2, 14) + x(3, 2, 14) + x(1, 2, 15) + x(2, 2, 15) + x(3, 2, 15)
+ x(1, 2, 16) + x(2, 2, 16) + x(3, 2, 16) + x(1, 2, 17) + x(2, 2, 17) + x(3, 2, 17) <= 1
(1, 5)
x(1, 1, 3) + x(2, 1, 3) + x(3, 1, 3) + x(1, 1, 4) + x(2, 1, 4) + x(3, 1, 4) + x(1, 1, 5) + x(2, 1, 5) + x(3, 1, 5) + x(1, 1, 6) + x(2, 1, 6) + x(3, 1, 6) + x(1, 1, 7) + x(2, 1, 7)
+ x(3, 1, 7) + x(1, 1, 8) + x(2, 1, 8) + x(3, 1, 8) + x(1, 1, 9) + x(2, 1, 9) + x(3, 1, 9) + x(1, 1, 10) + x(2, 1, 10) + x(3, 1, 10) + x(1, 1, 11) + x(2, 1, 11) + x(3, 1, 11) + x(1, 1, 12)
+ x(2, 1, 12) + x(3, 1, 12) + x(1, 1, 13) + x(2, 1, 13) + x(3, 1, 13) + x(1, 1, 14) + x(2, 1, 14) + x(3, 1, 14) + x(1, 1, 15) + x(2, 1, 15) + x(3, 1, 15) + x(1, 1, 16) + x(2, 1, 16) + x(3, 1, 16)
+ x(1, 1, 17) + x(2, 1, 17) + x(3, 1, 17) + x(1, 1, 18) + x(2, 1, 18) + x(3, 1, 18) <= 1
(1, 6)
x(1, 2, 3) + x(2, 2, 3) + x(3, 2, 3) + x(1, 2, 4) + x(2, 2, 4) + x(3, 2, 4) + x(1, 2, 5) + x(2, 2, 5) + x(3, 2, 5) + x(1, 2, 6) + x(2, 2, 6) + x(3, 2, 6) + x(1, 2, 7) + x(2, 2, 7)
+ x(3, 2, 7) + x(1, 2, 8) + x(2, 2, 8) + x(3, 2, 8) + x(1, 2, 9) + x(2, 2, 9) + x(3, 2, 9) + x(1, 2, 10) + x(2, 2, 10) + x(3, 2, 10) + x(1, 2, 11) + x(2, 2, 11) + x(3, 2, 11) + x(1, 2, 12)
+ x(2, 2, 12) + x(3, 2, 12) + x(1, 2, 13) + x(2, 2, 13) + x(3, 2, 13) + x(1, 2, 14) + x(2, 2, 14) + x(3, 2, 14) + x(1, 2, 15) + x(2, 2, 15) + x(3, 2, 15) + x(1, 2, 16) + x(2, 2, 16) + x(3, 2, 16)
+ x(1, 2, 17) + x(2, 2, 17) + x(3, 2, 17) + x(1, 2, 18) + x(2, 2, 18) + x(3, 2, 18) <= 1
(1, 7)
x(1, 1, 4) + x(2, 1, 4) + x(3, 1, 4) + x(1, 1, 5) + x(2, 1, 5) + x(3, 1, 5) + x(1, 1, 6) + x(2, 1, 6) + x(3, 1, 6) + x(1, 1, 7) + x(2, 1, 7) + x(3, 1, 7) + x(1, 1, 8) + x(2, 1, 8)
+ x(3, 1, 8) + x(1, 1, 9) + x(2, 1, 9) + x(3, 1, 9) + x(1, 1, 10) + x(2, 1, 10) + x(3, 1, 10) + x(1, 1, 11) + x(2, 1, 11) + x(3, 1, 11) + x(1, 1, 12) + x(2, 1, 12) + x(3, 1, 12) + x(1, 1, 13)
+ x(2, 1, 13) + x(3, 1, 13) + x(1, 1, 14) + x(2, 1, 14) + x(3, 1, 14) + x(1, 1, 15) + x(2, 1, 15) + x(3, 1, 15) + x(1, 1, 16) + x(2, 1, 16) + x(3, 1, 16) + x(1, 1, 17) + x(2, 1, 17) + x(3, 1, 17)
+ x(1, 1, 18) + x(2, 1, 18) + x(3, 1, 18) + x(1, 1, 19) + x(2, 1, 19) + x(3, 1, 19) <= 1
(1, 8)
x(1, 2, 4) + x(2, 2, 4) + x(3, 2, 4) + x(1, 2, 5) + x(2, 2, 5) + x(3, 2, 5) + x(1, 2, 6) + x(2, 2, 6) + x(3, 2, 6) + x(1, 2, 7) + x(2, 2, 7) + x(3, 2, 7) + x(1, 2, 8) + x(2, 2, 8)
+ x(3, 2, 8) + x(1, 2, 9) + x(2, 2, 9) + x(3, 2, 9) + x(1, 2, 10) + x(2, 2, 10) + x(3, 2, 10) + x(1, 2, 11) + x(2, 2, 11) + x(3, 2, 11) + x(1, 2, 12) + x(2, 2, 12) + x(3, 2, 12) + x(1, 2, 13)
+ x(2, 2, 13) + x(3, 2, 13) + x(1, 2, 14) + x(2, 2, 14) + x(3, 2, 14) + x(1, 2, 15) + x(2, 2, 15) + x(3, 2, 15) + x(1, 2, 16) + x(2, 2, 16) + x(3, 2, 16) + x(1, 2, 17) + x(2, 2, 17) + x(3, 2, 17)
+ x(1, 2, 18) + x(2, 2, 18) + x(3, 2, 18) + x(1, 2, 19) + x(2, 2, 19) + x(3, 2, 19) <= 1
(1, 9)
x(1, 1, 5) + x(2, 1, 5) + x(3, 1, 5) + x(1, 1, 6) + x(2, 1, 6) + x(3, 1, 6) + x(1, 1, 7) + x(2, 1, 7) + x(3, 1, 7) + x(1, 1, 8) + x(2, 1, 8) + x(3, 1, 8) + x(1, 1, 9) + x(2, 1, 9)
+ x(3, 1, 9) + x(1, 1, 10) + x(2, 1, 10) + x(3, 1, 10) + x(1, 1, 11) + x(2, 1, 11) + x(3, 1, 11) + x(1, 1, 12) + x(2, 1, 12) + x(3, 1, 12) + x(1, 1, 13) + x(2, 1, 13) + x(3, 1, 13) + x(1, 1, 14)
+ x(2, 1, 14) + x(3, 1, 14) + x(1, 1, 15) + x(2, 1, 15) + x(3, 1, 15) + x(1, 1, 16) + x(2, 1, 16) + x(3, 1, 16) + x(1, 1, 17) + x(2, 1, 17) + x(3, 1, 17) + x(1, 1, 18) + x(2, 1, 18) + x(3, 1, 18)
+ x(1, 1, 19) + x(2, 1, 19) + x(3, 1, 19) + x(1, 1, 20) + x(2, 1, 20) + x(3, 1, 20) <= 1
(1, 10)
x(1, 2, 5) + x(2, 2, 5) + x(3, 2, 5) + x(1, 2, 6) + x(2, 2, 6) + x(3, 2, 6) + x(1, 2, 7) + x(2, 2, 7) + x(3, 2, 7) + x(1, 2, 8) + x(2, 2, 8) + x(3, 2, 8) + x(1, 2, 9) + x(2, 2, 9)
+ x(3, 2, 9) + x(1, 2, 10) + x(2, 2, 10) + x(3, 2, 10) + x(1, 2, 11) + x(2, 2, 11) + x(3, 2, 11) + x(1, 2, 12) + x(2, 2, 12) + x(3, 2, 12) + x(1, 2, 13) + x(2, 2, 13) + x(3, 2, 13) + x(1, 2, 14)
+ x(2, 2, 14) + x(3, 2, 14) + x(1, 2, 15) + x(2, 2, 15) + x(3, 2, 15) + x(1, 2, 16) + x(2, 2, 16) + x(3, 2, 16) + x(1, 2, 17) + x(2, 2, 17) + x(3, 2, 17) + x(1, 2, 18) + x(2, 2, 18) + x(3, 2, 18)
+ x(1, 2, 19) + x(2, 2, 19) + x(3, 2, 19) + x(1, 2, 20) + x(2, 2, 20) + x(3, 2, 20) <= 1
(1, 11)
x(1, 1, 6) + x(2, 1, 6) + x(3, 1, 6) + x(1, 1, 7) + x(2, 1, 7) + x(3, 1, 7) + x(1, 1, 8) + x(2, 1, 8) + x(3, 1, 8) + x(1, 1, 9) + x(2, 1, 9) + x(3, 1, 9) + x(1, 1, 10) + x(2, 1, 10)
+ x(3, 1, 10) + x(1, 1, 11) + x(2, 1, 11) + x(3, 1, 11) + x(1, 1, 12) + x(2, 1, 12) + x(3, 1, 12) + x(1, 1, 13) + x(2, 1, 13) + x(3, 1, 13) + x(1, 1, 14) + x(2, 1, 14) + x(3, 1, 14) + x(1, 1, 15)
+ x(2, 1, 15) + x(3, 1, 15) + x(1, 1, 16) + x(2, 1, 16) + x(3, 1, 16) + x(1, 1, 17) + x(2, 1, 17) + x(3, 1, 17) + x(1, 1, 18) + x(2, 1, 18) + x(3, 1, 18) + x(1, 1, 19) + x(2, 1, 19) + x(3, 1, 19)
+ x(1, 1, 20) + x(2, 1, 20) + x(3, 1, 20) + x(1, 1, 21) + x(2, 1, 21) + x(3, 1, 21) <= 1
(1, 12)
x(1, 2, 6) + x(2, 2, 6) + x(3, 2, 6) + x(1, 2, 7) + x(2, 2, 7) + x(3, 2, 7) + x(1, 2, 8) + x(2, 2, 8) + x(3, 2, 8) + x(1, 2, 9) + x(2, 2, 9) + x(3, 2, 9) + x(1, 2, 10) + x(2, 2, 10)
+ x(3, 2, 10) + x(1, 2, 11) + x(2, 2, 11) + x(3, 2, 11) + x(1, 2, 12) + x(2, 2, 12) + x(3, 2, 12) + x(1, 2, 13) + x(2, 2, 13) + x(3, 2, 13) + x(1, 2, 14) + x(2, 2, 14) + x(3, 2, 14) + x(1, 2, 15)
+ x(2, 2, 15) + x(3, 2, 15) + x(1, 2, 16) + x(2, 2, 16) + x(3, 2, 16) + x(1, 2, 17) + x(2, 2, 17) + x(3, 2, 17) + x(1, 2, 18) + x(2, 2, 18) + x(3, 2, 18) + x(1, 2, 19) + x(2, 2, 19) + x(3, 2, 19)
+ x(1, 2, 20) + x(2, 2, 20) + x(3, 2, 20) + x(1, 2, 21) + x(2, 2, 21) + x(3, 2, 21) <= 1
(1, 13)
x(1, 1, 7) + x(2, 1, 7) + x(3, 1, 7) + x(1, 1, 8) + x(2, 1, 8) + x(3, 1, 8) + x(1, 1, 9) + x(2, 1, 9) + x(3, 1, 9) + x(1, 1, 10) + x(2, 1, 10) + x(3, 1, 10) + x(1, 1, 11) + x(2, 1, 11)
+ x(3, 1, 11) + x(1, 1, 12) + x(2, 1, 12) + x(3, 1, 12) + x(1, 1, 13) + x(2, 1, 13) + x(3, 1, 13) + x(1, 1, 14) + x(2, 1, 14) + x(3, 1, 14) + x(1, 1, 15) + x(2, 1, 15) + x(3, 1, 15) + x(1, 1, 16)
+ x(2, 1, 16) + x(3, 1, 16) + x(1, 1, 17) + x(2, 1, 17) + x(3, 1, 17) + x(1, 1, 18) + x(2, 1, 18) + x(3, 1, 18) + x(1, 1, 19) + x(2, 1, 19) + x(3, 1, 19) + x(1, 1, 20) + x(2, 1, 20) + x(3, 1, 20)
+ x(1, 1, 21) + x(2, 1, 21) + x(3, 1, 21) + x(1, 1, 22) + x(2, 1, 22) + x(3, 1, 22) <= 1
(1, 14)
x(1, 2, 7) + x(2, 2, 7) + x(3, 2, 7) + x(1, 2, 8) + x(2, 2, 8) + x(3, 2, 8) + x(1, 2, 9) + x(2, 2, 9) + x(3, 2, 9) + x(1, 2, 10) + x(2, 2, 10) + x(3, 2, 10) + x(1, 2, 11) + x(2, 2, 11)
+ x(3, 2, 11) + x(1, 2, 12) + x(2, 2, 12) + x(3, 2, 12) + x(1, 2, 13) + x(2, 2, 13) + x(3, 2, 13) + x(1, 2, 14) + x(2, 2, 14) + x(3, 2, 14) + x(1, 2, 15) + x(2, 2, 15) + x(3, 2, 15) + x(1, 2, 16)
+ x(2, 2, 16) + x(3, 2, 16) + x(1, 2, 17) + x(2, 2, 17) + x(3, 2, 17) + x(1, 2, 18) + x(2, 2, 18) + x(3, 2, 18) + x(1, 2, 19) + x(2, 2, 19) + x(3, 2, 19) + x(1, 2, 20) + x(2, 2, 20) + x(3, 2, 20)
+ x(1, 2, 21) + x(2, 2, 21) + x(3, 2, 21) + x(1, 2, 22) + x(2, 2, 22) + x(3, 2, 22) <= 1
(1, 15)
x(1, 1, 8) + x(2, 1, 8) + x(3, 1, 8) + x(1, 1, 9) + x(2, 1, 9) + x(3, 1, 9) + x(1, 1, 10) + x(2, 1, 10) + x(3, 1, 10) + x(1, 1, 11) + x(2, 1, 11) + x(3, 1, 11) + x(1, 1, 12) + x(2, 1, 12)
+ x(3, 1, 12) + x(1, 1, 13) + x(2, 1, 13) + x(3, 1, 13) + x(1, 1, 14) + x(2, 1, 14) + x(3, 1, 14) + x(1, 1, 15) + x(2, 1, 15) + x(3, 1, 15) + x(1, 1, 16) + x(2, 1, 16) + x(3, 1, 16) + x(1, 1, 17)
+ x(2, 1, 17) + x(3, 1, 17) + x(1, 1, 18) + x(2, 1, 18) + x(3, 1, 18) + x(1, 1, 19) + x(2, 1, 19) + x(3, 1, 19) + x(1, 1, 20) + x(2, 1, 20) + x(3, 1, 20) + x(1, 1, 21) + x(2, 1, 21) + x(3, 1, 21)
+ x(1, 1, 22) + x(2, 1, 22) + x(3, 1, 22) + x(1, 1, 23) + x(2, 1, 23) + x(3, 1, 23) <= 1
(1, 16)
x(1, 2, 8) + x(2, 2, 8) + x(3, 2, 8) + x(1, 2, 9) + x(2, 2, 9) + x(3, 2, 9) + x(1, 2, 10) + x(2, 2, 10) + x(3, 2, 10) + x(1, 2, 11) + x(2, 2, 11) + x(3, 2, 11) + x(1, 2, 12) + x(2, 2, 12)
+ x(3, 2, 12) + x(1, 2, 13) + x(2, 2, 13) + x(3, 2, 13) + x(1, 2, 14) + x(2, 2, 14) + x(3, 2, 14) + x(1, 2, 15) + x(2, 2, 15) + x(3, 2, 15) + x(1, 2, 16) + x(2, 2, 16) + x(3, 2, 16) + x(1, 2, 17)
+ x(2, 2, 17) + x(3, 2, 17) + x(1, 2, 18) + x(2, 2, 18) + x(3, 2, 18) + x(1, 2, 19) + x(2, 2, 19) + x(3, 2, 19) + x(1, 2, 20) + x(2, 2, 20) + x(3, 2, 20) + x(1, 2, 21) + x(2, 2, 21) + x(3, 2, 21)
+ x(1, 2, 22) + x(2, 2, 22) + x(3, 2, 22) + x(1, 2, 23) + x(2, 2, 23) + x(3, 2, 23) <= 1
(1, 17)
x(1, 1, 9) + x(2, 1, 9) + x(3, 1, 9) + x(1, 1, 10) + x(2, 1, 10) + x(3, 1, 10) + x(1, 1, 11) + x(2, 1, 11) + x(3, 1, 11) + x(1, 1, 12) + x(2, 1, 12) + x(3, 1, 12) + x(1, 1, 13) + x(2, 1, 13)
+ x(3, 1, 13) + x(1, 1, 14) + x(2, 1, 14) + x(3, 1, 14) + x(1, 1, 15) + x(2, 1, 15) + x(3, 1, 15) + x(1, 1, 16) + x(2, 1, 16) + x(3, 1, 16) + x(1, 1, 17) + x(2, 1, 17) + x(3, 1, 17) + x(1, 1, 18)
+ x(2, 1, 18) + x(3, 1, 18) + x(1, 1, 19) + x(2, 1, 19) + x(3, 1, 19) + x(1, 1, 20) + x(2, 1, 20) + x(3, 1, 20) + x(1, 1, 21) + x(2, 1, 21) + x(3, 1, 21) + x(1, 1, 22) + x(2, 1, 22) + x(3, 1, 22)
+ x(1, 1, 23) + x(2, 1, 23) + x(3, 1, 23) + x(1, 1, 24) + x(2, 1, 24) + x(3, 1, 24) <= 1
(1, 18)
x(1, 2, 9) + x(2, 2, 9) + x(3, 2, 9) + x(1, 2, 10) + x(2, 2, 10) + x(3, 2, 10) + x(1, 2, 11) + x(2, 2, 11) + x(3, 2, 11) + x(1, 2, 12) + x(2, 2, 12) + x(3, 2, 12) + x(1, 2, 13) + x(2, 2, 13)
+ x(3, 2, 13) + x(1, 2, 14) + x(2, 2, 14) + x(3, 2, 14) + x(1, 2, 15) + x(2, 2, 15) + x(3, 2, 15) + x(1, 2, 16) + x(2, 2, 16) + x(3, 2, 16) + x(1, 2, 17) + x(2, 2, 17) + x(3, 2, 17) + x(1, 2, 18)
+ x(2, 2, 18) + x(3, 2, 18) + x(1, 2, 19) + x(2, 2, 19) + x(3, 2, 19) + x(1, 2, 20) + x(2, 2, 20) + x(3, 2, 20) + x(1, 2, 21) + x(2, 2, 21) + x(3, 2, 21) + x(1, 2, 22) + x(2, 2, 22) + x(3, 2, 22)
+ x(1, 2, 23) + x(2, 2, 23) + x(3, 2, 23) + x(1, 2, 24) + x(2, 2, 24) + x(3, 2, 24) <= 1
(1, 19)
x(1, 1, 10) + x(2, 1, 10) + x(3, 1, 10) + x(1, 1, 11) + x(2, 1, 11) + x(3, 1, 11) + x(1, 1, 12) + x(2, 1, 12) + x(3, 1, 12) + x(1, 1, 13) + x(2, 1, 13) + x(3, 1, 13) + x(1, 1, 14)
+ x(2, 1, 14) + x(3, 1, 14) + x(1, 1, 15) + x(2, 1, 15) + x(3, 1, 15) + x(1, 1, 16) + x(2, 1, 16) + x(3, 1, 16) + x(1, 1, 17) + x(2, 1, 17) + x(3, 1, 17) + x(1, 1, 18) + x(2, 1, 18) + x(3, 1, 18)
+ x(1, 1, 19) + x(2, 1, 19) + x(3, 1, 19) + x(1, 1, 20) + x(2, 1, 20) + x(3, 1, 20) + x(1, 1, 21) + x(2, 1, 21) + x(3, 1, 21) + x(1, 1, 22) + x(2, 1, 22) + x(3, 1, 22) + x(1, 1, 23) + x(2, 1, 23)
+ x(3, 1, 23) + x(1, 1, 24) + x(2, 1, 24) + x(3, 1, 24) + x(1, 1, 25) + x(2, 1, 25) + x(3, 1, 25) <= 1
(1, 20)
x(1, 2, 10) + x(2, 2, 10) + x(3, 2, 10) + x(1, 2, 11) + x(2, 2, 11) + x(3, 2, 11) + x(1, 2, 12) + x(2, 2, 12) + x(3, 2, 12) + x(1, 2, 13) + x(2, 2, 13) + x(3, 2, 13) + x(1, 2, 14)
+ x(2, 2, 14) + x(3, 2, 14) + x(1, 2, 15) + x(2, 2, 15) + x(3, 2, 15) + x(1, 2, 16) + x(2, 2, 16) + x(3, 2, 16) + x(1, 2, 17) + x(2, 2, 17) + x(3, 2, 17) + x(1, 2, 18) + x(2, 2, 18) + x(3, 2, 18)
+ x(1, 2, 19) + x(2, 2, 19) + x(3, 2, 19) + x(1, 2, 20) + x(2, 2, 20) + x(3, 2, 20) + x(1, 2, 21) + x(2, 2, 21) + x(3, 2, 21) + x(1, 2, 22) + x(2, 2, 22) + x(3, 2, 22) + x(1, 2, 23) + x(2, 2, 23)
+ x(3, 2, 23) + x(1, 2, 24) + x(2, 2, 24) + x(3, 2, 24) + x(1, 2, 25) + x(2, 2, 25) + x(3, 2, 25) <= 1
(1, 21)
x(1, 1, 11) + x(2, 1, 11) + x(3, 1, 11) + x(1, 1, 12) + x(2, 1, 12) + x(3, 1, 12) + x(1, 1, 13) + x(2, 1, 13) + x(3, 1, 13) + x(1, 1, 14) + x(2, 1, 14) + x(3, 1, 14) + x(1, 1, 15)
+ x(2, 1, 15) + x(3, 1, 15) + x(1, 1, 16) + x(2, 1, 16) + x(3, 1, 16) + x(1, 1, 17) + x(2, 1, 17) + x(3, 1, 17) + x(1, 1, 18) + x(2, 1, 18) + x(3, 1, 18) + x(1, 1, 19) + x(2, 1, 19) + x(3, 1, 19)
+ x(1, 1, 20) + x(2, 1, 20) + x(3, 1, 20) + x(1, 1, 21) + x(2, 1, 21) + x(3, 1, 21) + x(1, 1, 22) + x(2, 1, 22) + x(3, 1, 22) + x(1, 1, 23) + x(2, 1, 23) + x(3, 1, 23) + x(1, 1, 24) + x(2, 1, 24)
+ x(3, 1, 24) + x(1, 1, 25) + x(2, 1, 25) + x(3, 1, 25) + x(1, 1, 26) + x(2, 1, 26) + x(3, 1, 26) <= 1
(1, 22)
x(1, 2, 11) + x(2, 2, 11) + x(3, 2, 11) + x(1, 2, 12) + x(2, 2, 12) + x(3, 2, 12) + x(1, 2, 13) + x(2, 2, 13) + x(3, 2, 13) + x(1, 2, 14) + x(2, 2, 14) + x(3, 2, 14) + x(1, 2, 15)
+ x(2, 2, 15) + x(3, 2, 15) + x(1, 2, 16) + x(2, 2, 16) + x(3, 2, 16) + x(1, 2, 17) + x(2, 2, 17) + x(3, 2, 17) + x(1, 2, 18) + x(2, 2, 18) + x(3, 2, 18) + x(1, 2, 19) + x(2, 2, 19) + x(3, 2, 19)
+ x(1, 2, 20) + x(2, 2, 20) + x(3, 2, 20) + x(1, 2, 21) + x(2, 2, 21) + x(3, 2, 21) + x(1, 2, 22) + x(2, 2, 22) + x(3, 2, 22) + x(1, 2, 23) + x(2, 2, 23) + x(3, 2, 23) + x(1, 2, 24) + x(2, 2, 24)
+ x(3, 2, 24) + x(1, 2, 25) + x(2, 2, 25) + x(3, 2, 25) + x(1, 2, 26) + x(2, 2, 26) + x(3, 2, 26) <= 1
(1, 23)
x(1, 1, 12) + x(2, 1, 12) + x(3, 1, 12) + x(1, 1, 13) + x(2, 1, 13) + x(3, 1, 13) + x(1, 1, 14) + x(2, 1, 14) + x(3, 1, 14) + x(1, 1, 15) + x(2, 1, 15) + x(3, 1, 15) + x(1, 1, 16)
+ x(2, 1, 16) + x(3, 1, 16) + x(1, 1, 17) + x(2, 1, 17) + x(3, 1, 17) + x(1, 1, 18) + x(2, 1, 18) + x(3, 1, 18) + x(1, 1, 19) + x(2, 1, 19) + x(3, 1, 19) + x(1, 1, 20) + x(2, 1, 20) + x(3, 1, 20)
+ x(1, 1, 21) + x(2, 1, 21) + x(3, 1, 21) + x(1, 1, 22) + x(2, 1, 22) + x(3, 1, 22) + x(1, 1, 23) + x(2, 1, 23) + x(3, 1, 23) + x(1, 1, 24) + x(2, 1, 24) + x(3, 1, 24) + x(1, 1, 25) + x(2, 1, 25)
+ x(3, 1, 25) + x(1, 1, 26) + x(2, 1, 26) + x(3, 1, 26) + x(1, 1, 27) + x(2, 1, 27) + x(3, 1, 27) <= 1
(1, 24)
x(1, 2, 12) + x(2, 2, 12) + x(3, 2, 12) + x(1, 2, 13) + x(2, 2, 13) + x(3, 2, 13) + x(1, 2, 14) + x(2, 2, 14) + x(3, 2, 14) + x(1, 2, 15) + x(2, 2, 15) + x(3, 2, 15) + x(1, 2, 16)
+ x(2, 2, 16) + x(3, 2, 16) + x(1, 2, 17) + x(2, 2, 17) + x(3, 2, 17) + x(1, 2, 18) + x(2, 2, 18) + x(3, 2, 18) + x(1, 2, 19) + x(2, 2, 19) + x(3, 2, 19) + x(1, 2, 20) + x(2, 2, 20) + x(3, 2, 20)
+ x(1, 2, 21) + x(2, 2, 21) + x(3, 2, 21) + x(1, 2, 22) + x(2, 2, 22) + x(3, 2, 22) + x(1, 2, 23) + x(2, 2, 23) + x(3, 2, 23) + x(1, 2, 24) + x(2, 2, 24) + x(3, 2, 24) + x(1, 2, 25) + x(2, 2, 25)
+ x(3, 2, 25) + x(1, 2, 26) + x(2, 2, 26) + x(3, 2, 26) + x(1, 2, 27) + x(2, 2, 27) + x(3, 2, 27) <= 1
(1, 25)
x(1, 1, 13) + x(2, 1, 13) + x(3, 1, 13) + x(1, 1, 14) + x(2, 1, 14) + x(3, 1, 14) + x(1, 1, 15) + x(2, 1, 15) + x(3, 1, 15) + x(1, 1, 16) + x(2, 1, 16) + x(3, 1, 16) + x(1, 1, 17)
+ x(2, 1, 17) + x(3, 1, 17) + x(1, 1, 18) + x(2, 1, 18) + x(3, 1, 18) + x(1, 1, 19) + x(2, 1, 19) + x(3, 1, 19) + x(1, 1, 20) + x(2, 1, 20) + x(3, 1, 20) + x(1, 1, 21) + x(2, 1, 21) + x(3, 1, 21)
+ x(1, 1, 22) + x(2, 1, 22) + x(3, 1, 22) + x(1, 1, 23) + x(2, 1, 23) + x(3, 1, 23) + x(1, 1, 24) + x(2, 1, 24) + x(3, 1, 24) + x(1, 1, 25) + x(2, 1, 25) + x(3, 1, 25) + x(1, 1, 26) + x(2, 1, 26)
+ x(3, 1, 26) + x(1, 1, 27) + x(2, 1, 27) + x(3, 1, 27) + x(1, 1, 28) + x(2, 1, 28) + x(3, 1, 28) <= 1
(1, 26)
x(1, 2, 13) + x(2, 2, 13) + x(3, 2, 13) + x(1, 2, 14) + x(2, 2, 14) + x(3, 2, 14) + x(1, 2, 15) + x(2, 2, 15) + x(3, 2, 15) + x(1, 2, 16) + x(2, 2, 16) + x(3, 2, 16) + x(1, 2, 17)
+ x(2, 2, 17) + x(3, 2, 17) + x(1, 2, 18) + x(2, 2, 18) + x(3, 2, 18) + x(1, 2, 19) + x(2, 2, 19) + x(3, 2, 19) + x(1, 2, 20) + x(2, 2, 20) + x(3, 2, 20) + x(1, 2, 21) + x(2, 2, 21) + x(3, 2, 21)
+ x(1, 2, 22) + x(2, 2, 22) + x(3, 2, 22) + x(1, 2, 23) + x(2, 2, 23) + x(3, 2, 23) + x(1, 2, 24) + x(2, 2, 24) + x(3, 2, 24) + x(1, 2, 25) + x(2, 2, 25) + x(3, 2, 25) + x(1, 2, 26) + x(2, 2, 26)
+ x(3, 2, 26) + x(1, 2, 27) + x(2, 2, 27) + x(3, 2, 27) + x(1, 2, 28) + x(2, 2, 28) + x(3, 2, 28) <= 1
(1, 27)
x(1, 1, 14) + x(2, 1, 14) + x(3, 1, 14) + x(1, 1, 15) + x(2, 1, 15) + x(3, 1, 15) + x(1, 1, 16) + x(2, 1, 16) + x(3, 1, 16) + x(1, 1, 17) + x(2, 1, 17) + x(3, 1, 17) + x(1, 1, 18)
+ x(2, 1, 18) + x(3, 1, 18) + x(1, 1, 19) + x(2, 1, 19) + x(3, 1, 19) + x(1, 1, 20) + x(2, 1, 20) + x(3, 1, 20) + x(1, 1, 21) + x(2, 1, 21) + x(3, 1, 21) + x(1, 1, 22) + x(2, 1, 22) + x(3, 1, 22)
+ x(1, 1, 23) + x(2, 1, 23) + x(3, 1, 23) + x(1, 1, 24) + x(2, 1, 24) + x(3, 1, 24) + x(1, 1, 25) + x(2, 1, 25) + x(3, 1, 25) + x(1, 1, 26) + x(2, 1, 26) + x(3, 1, 26) + x(1, 1, 27) + x(2, 1, 27)
+ x(3, 1, 27) + x(1, 1, 28) + x(2, 1, 28) + x(3, 1, 28) + x(1, 1, 29) + x(2, 1, 29) + x(3, 1, 29) <= 1
(1, 28)
x(1, 2, 14) + x(2, 2, 14) + x(3, 2, 14) + x(1, 2, 15) + x(2, 2, 15) + x(3, 2, 15) + x(1, 2, 16) + x(2, 2, 16) + x(3, 2, 16) + x(1, 2, 17) + x(2, 2, 17) + x(3, 2, 17) + x(1, 2, 18)
+ x(2, 2, 18) + x(3, 2, 18) + x(1, 2, 19) + x(2, 2, 19) + x(3, 2, 19) + x(1, 2, 20) + x(2, 2, 20) + x(3, 2, 20) + x(1, 2, 21) + x(2, 2, 21) + x(3, 2, 21) + x(1, 2, 22) + x(2, 2, 22) + x(3, 2, 22)
+ x(1, 2, 23) + x(2, 2, 23) + x(3, 2, 23) + x(1, 2, 24) + x(2, 2, 24) + x(3, 2, 24) + x(1, 2, 25) + x(2, 2, 25) + x(3, 2, 25) + x(1, 2, 26) + x(2, 2, 26) + x(3, 2, 26) + x(1, 2, 27) + x(2, 2, 27)
+ x(3, 2, 27) + x(1, 2, 28) + x(2, 2, 28) + x(3, 2, 28) + x(1, 2, 29) + x(2, 2, 29) + x(3, 2, 29) <= 1
(1, 29)
x(1, 1, 15) + x(2, 1, 15) + x(3, 1, 15) + x(1, 1, 16) + x(2, 1, 16) + x(3, 1, 16) + x(1, 1, 17) + x(2, 1, 17) + x(3, 1, 17) + x(1, 1, 18) + x(2, 1, 18) + x(3, 1, 18) + x(1, 1, 19)
+ x(2, 1, 19) + x(3, 1, 19) + x(1, 1, 20) + x(2, 1, 20) + x(3, 1, 20) + x(1, 1, 21) + x(2, 1, 21) + x(3, 1, 21) + x(1, 1, 22) + x(2, 1, 22) + x(3, 1, 22) + x(1, 1, 23) + x(2, 1, 23) + x(3, 1, 23)
+ x(1, 1, 24) + x(2, 1, 24) + x(3, 1, 24) + x(1, 1, 25) + x(2, 1, 25) + x(3, 1, 25) + x(1, 1, 26) + x(2, 1, 26) + x(3, 1, 26) + x(1, 1, 27) + x(2, 1, 27) + x(3, 1, 27) + x(1, 1, 28) + x(2, 1, 28)
+ x(3, 1, 28) + x(1, 1, 29) + x(2, 1, 29) + x(3, 1, 29) + x(1, 1, 30) + x(2, 1, 30) + x(3, 1, 30) <= 1
(1, 30)
x(1, 2, 15) + x(2, 2, 15) + x(3, 2, 15) + x(1, 2, 16) + x(2, 2, 16) + x(3, 2, 16) + x(1, 2, 17) + x(2, 2, 17) + x(3, 2, 17) + x(1, 2, 18) + x(2, 2, 18) + x(3, 2, 18) + x(1, 2, 19)
+ x(2, 2, 19) + x(3, 2, 19) + x(1, 2, 20) + x(2, 2, 20) + x(3, 2, 20) + x(1, 2, 21) + x(2, 2, 21) + x(3, 2, 21) + x(1, 2, 22) + x(2, 2, 22) + x(3, 2, 22) + x(1, 2, 23) + x(2, 2, 23) + x(3, 2, 23)
+ x(1, 2, 24) + x(2, 2, 24) + x(3, 2, 24) + x(1, 2, 25) + x(2, 2, 25) + x(3, 2, 25) + x(1, 2, 26) + x(2, 2, 26) + x(3, 2, 26) + x(1, 2, 27) + x(2, 2, 27) + x(3, 2, 27) + x(1, 2, 28) + x(2, 2, 28)
+ x(3, 2, 28) + x(1, 2, 29) + x(2, 2, 29) + x(3, 2, 29) + x(1, 2, 30) + x(2, 2, 30) + x(3, 2, 30) <= 1
(1, 31)
x(1, 1, 16) + x(2, 1, 16) + x(3, 1, 16) + x(1, 1, 17) + x(2, 1, 17) + x(3, 1, 17) + x(1, 1, 18) + x(2, 1, 18) + x(3, 1, 18) + x(1, 1, 19) + x(2, 1, 19) + x(3, 1, 19) + x(1, 1, 20)
+ x(2, 1, 20) + x(3, 1, 20) + x(1, 1, 21) + x(2, 1, 21) + x(3, 1, 21) + x(1, 1, 22) + x(2, 1, 22) + x(3, 1, 22) + x(1, 1, 23) + x(2, 1, 23) + x(3, 1, 23) + x(1, 1, 24) + x(2, 1, 24) + x(3, 1, 24)
+ x(1, 1, 25) + x(2, 1, 25) + x(3, 1, 25) + x(1, 1, 26) + x(2, 1, 26) + x(3, 1, 26) + x(1, 1, 27) + x(2, 1, 27) + x(3, 1, 27) + x(1, 1, 28) + x(2, 1, 28) + x(3, 1, 28) + x(1, 1, 29) + x(2, 1, 29)
+ x(3, 1, 29) + x(1, 1, 30) + x(2, 1, 30) + x(3, 1, 30) + x(1, 1, 31) + x(2, 1, 31) + x(3, 1, 31) <= 1
(1, 32)
x(1, 2, 16) + x(2, 2, 16) + x(3, 2, 16) + x(1, 2, 17) + x(2, 2, 17) + x(3, 2, 17) + x(1, 2, 18) + x(2, 2, 18) + x(3, 2, 18) + x(1, 2, 19) + x(2, 2, 19) + x(3, 2, 19) + x(1, 2, 20)
+ x(2, 2, 20) + x(3, 2, 20) + x(1, 2, 21) + x(2, 2, 21) + x(3, 2, 21) + x(1, 2, 22) + x(2, 2, 22) + x(3, 2, 22) + x(1, 2, 23) + x(2, 2, 23) + x(3, 2, 23) + x(1, 2, 24) + x(2, 2, 24) + x(3, 2, 24)
+ x(1, 2, 25) + x(2, 2, 25) + x(3, 2, 25) + x(1, 2, 26) + x(2, 2, 26) + x(3, 2, 26) + x(1, 2, 27) + x(2, 2, 27) + x(3, 2, 27) + x(1, 2, 28) + x(2, 2, 28) + x(3, 2, 28) + x(1, 2, 29) + x(2, 2, 29)
+ x(3, 2, 29) + x(1, 2, 30) + x(2, 2, 30) + x(3, 2, 30) + x(1, 2, 31) + x(2, 2, 31) + x(3, 2, 31) <= 1
(1, 33)
x(1, 1, 17) + x(2, 1, 17) + x(3, 1, 17) + x(1, 1, 18) + x(2, 1, 18) + x(3, 1, 18) + x(1, 1, 19) + x(2, 1, 19) + x(3, 1, 19) + x(1, 1, 20) + x(2, 1, 20) + x(3, 1, 20) + x(1, 1, 21)
+ x(2, 1, 21) + x(3, 1, 21) + x(1, 1, 22) + x(2, 1, 22) + x(3, 1, 22) + x(1, 1, 23) + x(2, 1, 23) + x(3, 1, 23) + x(1, 1, 24) + x(2, 1, 24) + x(3, 1, 24) + x(1, 1, 25) + x(2, 1, 25) + x(3, 1, 25)
+ x(1, 1, 26) + x(2, 1, 26) + x(3, 1, 26) + x(1, 1, 27) + x(2, 1, 27) + x(3, 1, 27) + x(1, 1, 28) + x(2, 1, 28) + x(3, 1, 28) + x(1, 1, 29) + x(2, 1, 29) + x(3, 1, 29) + x(1, 1, 30) + x(2, 1, 30)
+ x(3, 1, 30) + x(1, 1, 31) + x(2, 1, 31) + x(3, 1, 31) + x(1, 1, 32) + x(2, 1, 32) + x(3, 1, 32) <= 1
(1, 34)
x(1, 2, 17) + x(2, 2, 17) + x(3, 2, 17) + x(1, 2, 18) + x(2, 2, 18) + x(3, 2, 18) + x(1, 2, 19) + x(2, 2, 19) + x(3, 2, 19) + x(1, 2, 20) + x(2, 2, 20) + x(3, 2, 20) + x(1, 2, 21)
+ x(2, 2, 21) + x(3, 2, 21) + x(1, 2, 22) + x(2, 2, 22) + x(3, 2, 22) + x(1, 2, 23) + x(2, 2, 23) + x(3, 2, 23) + x(1, 2, 24) + x(2, 2, 24) + x(3, 2, 24) + x(1, 2, 25) + x(2, 2, 25) + x(3, 2, 25)
+ x(1, 2, 26) + x(2, 2, 26) + x(3, 2, 26) + x(1, 2, 27) + x(2, 2, 27) + x(3, 2, 27) + x(1, 2, 28) + x(2, 2, 28) + x(3, 2, 28) + x(1, 2, 29) + x(2, 2, 29) + x(3, 2, 29) + x(1, 2, 30) + x(2, 2, 30)
+ x(3, 2, 30) + x(1, 2, 31) + x(2, 2, 31) + x(3, 2, 31) + x(1, 2, 32) + x(2, 2, 32) + x(3, 2, 32) <= 1
(1, 35)
x(1, 1, 18) + x(2, 1, 18) + x(3, 1, 18) + x(1, 1, 19) + x(2, 1, 19) + x(3, 1, 19) + x(1, 1, 20) + x(2, 1, 20) + x(3, 1, 20) + x(1, 1, 21) + x(2, 1, 21) + x(3, 1, 21) + x(1, 1, 22)
+ x(2, 1, 22) + x(3, 1, 22) + x(1, 1, 23) + x(2, 1, 23) + x(3, 1, 23) + x(1, 1, 24) + x(2, 1, 24) + x(3, 1, 24) + x(1, 1, 25) + x(2, 1, 25) + x(3, 1, 25) + x(1, 1, 26) + x(2, 1, 26) + x(3, 1, 26)
+ x(1, 1, 27) + x(2, 1, 27) + x(3, 1, 27) + x(1, 1, 28) + x(2, 1, 28) + x(3, 1, 28) + x(1, 1, 29) + x(2, 1, 29) + x(3, 1, 29) + x(1, 1, 30) + x(2, 1, 30) + x(3, 1, 30) + x(1, 1, 31) + x(2, 1, 31)
+ x(3, 1, 31) + x(1, 1, 32) + x(2, 1, 32) + x(3, 1, 32) + x(1, 1, 33) + x(2, 1, 33) + x(3, 1, 33) <= 1
(1, 36)
x(1, 2, 18) + x(2, 2, 18) + x(3, 2, 18) + x(1, 2, 19) + x(2, 2, 19) + x(3, 2, 19) + x(1, 2, 20) + x(2, 2, 20) + x(3, 2, 20) + x(1, 2, 21) + x(2, 2, 21) + x(3, 2, 21) + x(1, 2, 22)
+ x(2, 2, 22) + x(3, 2, 22) + x(1, 2, 23) + x(2, 2, 23) + x(3, 2, 23) + x(1, 2, 24) + x(2, 2, 24) + x(3, 2, 24) + x(1, 2, 25) + x(2, 2, 25) + x(3, 2, 25) + x(1, 2, 26) + x(2, 2, 26) + x(3, 2, 26)
+ x(1, 2, 27) + x(2, 2, 27) + x(3, 2, 27) + x(1, 2, 28) + x(2, 2, 28) + x(3, 2, 28) + x(1, 2, 29) + x(2, 2, 29) + x(3, 2, 29) + x(1, 2, 30) + x(2, 2, 30) + x(3, 2, 30) + x(1, 2, 31) + x(2, 2, 31)
+ x(3, 2, 31) + x(1, 2, 32) + x(2, 2, 32) + x(3, 2, 32) + x(1, 2, 33) + x(2, 2, 33) + x(3, 2, 33) <= 1
(1, 37)
x(1, 1, 19) + x(2, 1, 19) + x(3, 1, 19) + x(1, 1, 20) + x(2, 1, 20) + x(3, 1, 20) + x(1, 1, 21) + x(2, 1, 21) + x(3, 1, 21) + x(1, 1, 22) + x(2, 1, 22) + x(3, 1, 22) + x(1, 1, 23)
+ x(2, 1, 23) + x(3, 1, 23) + x(1, 1, 24) + x(2, 1, 24) + x(3, 1, 24) + x(1, 1, 25) + x(2, 1, 25) + x(3, 1, 25) + x(1, 1, 26) + x(2, 1, 26) + x(3, 1, 26) + x(1, 1, 27) + x(2, 1, 27) + x(3, 1, 27)
+ x(1, 1, 28) + x(2, 1, 28) + x(3, 1, 28) + x(1, 1, 29) + x(2, 1, 29) + x(3, 1, 29) + x(1, 1, 30) + x(2, 1, 30) + x(3, 1, 30) + x(1, 1, 31) + x(2, 1, 31) + x(3, 1, 31) + x(1, 1, 32) + x(2, 1, 32)
+ x(3, 1, 32) + x(1, 1, 33) + x(2, 1, 33) + x(3, 1, 33) + x(1, 1, 34) + x(2, 1, 34) + x(3, 1, 34) <= 1
(1, 38)
x(1, 2, 19) + x(2, 2, 19) + x(3, 2, 19) + x(1, 2, 20) + x(2, 2, 20) + x(3, 2, 20) + x(1, 2, 21) + x(2, 2, 21) + x(3, 2, 21) + x(1, 2, 22) + x(2, 2, 22) + x(3, 2, 22) + x(1, 2, 23)
+ x(2, 2, 23) + x(3, 2, 23) + x(1, 2, 24) + x(2, 2, 24) + x(3, 2, 24) + x(1, 2, 25) + x(2, 2, 25) + x(3, 2, 25) + x(1, 2, 26) + x(2, 2, 26) + x(3, 2, 26) + x(1, 2, 27) + x(2, 2, 27) + x(3, 2, 27)
+ x(1, 2, 28) + x(2, 2, 28) + x(3, 2, 28) + x(1, 2, 29) + x(2, 2, 29) + x(3, 2, 29) + x(1, 2, 30) + x(2, 2, 30) + x(3, 2, 30) + x(1, 2, 31) + x(2, 2, 31) + x(3, 2, 31) + x(1, 2, 32) + x(2, 2, 32)
+ x(3, 2, 32) + x(1, 2, 33) + x(2, 2, 33) + x(3, 2, 33) + x(1, 2, 34) + x(2, 2, 34) + x(3, 2, 34) <= 1
(1, 39)
x(1, 1, 20) + x(2, 1, 20) + x(3, 1, 20) + x(1, 1, 21) + x(2, 1, 21) + x(3, 1, 21) + x(1, 1, 22) + x(2, 1, 22) + x(3, 1, 22) + x(1, 1, 23) + x(2, 1, 23) + x(3, 1, 23) + x(1, 1, 24)
+ x(2, 1, 24) + x(3, 1, 24) + x(1, 1, 25) + x(2, 1, 25) + x(3, 1, 25) + x(1, 1, 26) + x(2, 1, 26) + x(3, 1, 26) + x(1, 1, 27) + x(2, 1, 27) + x(3, 1, 27) + x(1, 1, 28) + x(2, 1, 28) + x(3, 1, 28)
+ x(1, 1, 29) + x(2, 1, 29) + x(3, 1, 29) + x(1, 1, 30) + x(2, 1, 30) + x(3, 1, 30) + x(1, 1, 31) + x(2, 1, 31) + x(3, 1, 31) + x(1, 1, 32) + x(2, 1, 32) + x(3, 1, 32) + x(1, 1, 33) + x(2, 1, 33)
+ x(3, 1, 33) + x(1, 1, 34) + x(2, 1, 34) + x(3, 1, 34) + x(1, 1, 35) + x(2, 1, 35) + x(3, 1, 35) <= 1
(1, 40)
x(1, 2, 20) + x(2, 2, 20) + x(3, 2, 20) + x(1, 2, 21) + x(2, 2, 21) + x(3, 2, 21) + x(1, 2, 22) + x(2, 2, 22) + x(3, 2, 22) + x(1, 2, 23) + x(2, 2, 23) + x(3, 2, 23) + x(1, 2, 24)
+ x(2, 2, 24) + x(3, 2, 24) + x(1, 2, 25) + x(2, 2, 25) + x(3, 2, 25) + x(1, 2, 26) + x(2, 2, 26) + x(3, 2, 26) + x(1, 2, 27) + x(2, 2, 27) + x(3, 2, 27) + x(1, 2, 28) + x(2, 2, 28) + x(3, 2, 28)
+ x(1, 2, 29) + x(2, 2, 29) + x(3, 2, 29) + x(1, 2, 30) + x(2, 2, 30) + x(3, 2, 30) + x(1, 2, 31) + x(2, 2, 31) + x(3, 2, 31) + x(1, 2, 32) + x(2, 2, 32) + x(3, 2, 32) + x(1, 2, 33) + x(2, 2, 33)
+ x(3, 2, 33) + x(1, 2, 34) + x(2, 2, 34) + x(3, 2, 34) + x(1, 2, 35) + x(2, 2, 35) + x(3, 2, 35) <= 1
(1, 41)
x(1, 1, 21) + x(2, 1, 21) + x(3, 1, 21) + x(1, 1, 22) + x(2, 1, 22) + x(3, 1, 22) + x(1, 1, 23) + x(2, 1, 23) + x(3, 1, 23) + x(1, 1, 24) + x(2, 1, 24) + x(3, 1, 24) + x(1, 1, 25)
+ x(2, 1, 25) + x(3, 1, 25) + x(1, 1, 26) + x(2, 1, 26) + x(3, 1, 26) + x(1, 1, 27) + x(2, 1, 27) + x(3, 1, 27) + x(1, 1, 28) + x(2, 1, 28) + x(3, 1, 28) + x(1, 1, 29) + x(2, 1, 29) + x(3, 1, 29)
+ x(1, 1, 30) + x(2, 1, 30) + x(3, 1, 30) + x(1, 1, 31) + x(2, 1, 31) + x(3, 1, 31) + x(1, 1, 32) + x(2, 1, 32) + x(3, 1, 32) + x(1, 1, 33) + x(2, 1, 33) + x(3, 1, 33) + x(1, 1, 34) + x(2, 1, 34)
+ x(3, 1, 34) + x(1, 1, 35) + x(2, 1, 35) + x(3, 1, 35) + x(1, 1, 36) + x(2, 1, 36) + x(3, 1, 36) <= 1
(1, 42)
x(1, 2, 21) + x(2, 2, 21) + x(3, 2, 21) + x(1, 2, 22) + x(2, 2, 22) + x(3, 2, 22) + x(1, 2, 23) + x(2, 2, 23) + x(3, 2, 23) + x(1, 2, 24) + x(2, 2, 24) + x(3, 2, 24) + x(1, 2, 25)
+ x(2, 2, 25) + x(3, 2, 25) + x(1, 2, 26) + x(2, 2, 26) + x(3, 2, 26) + x(1, 2, 27) + x(2, 2, 27) + x(3, 2, 27) + x(1, 2, 28) + x(2, 2, 28) + x(3, 2, 28) + x(1, 2, 29) + x(2, 2, 29) + x(3, 2, 29)
+ x(1, 2, 30) + x(2, 2, 30) + x(3, 2, 30) + x(1, 2, 31) + x(2, 2, 31) + x(3, 2, 31) + x(1, 2, 32) + x(2, 2, 32) + x(3, 2, 32) + x(1, 2, 33) + x(2, 2, 33) + x(3, 2, 33) + x(1, 2, 34) + x(2, 2, 34)
+ x(3, 2, 34) + x(1, 2, 35) + x(2, 2, 35) + x(3, 2, 35) + x(1, 2, 36) + x(2, 2, 36) + x(3, 2, 36) <= 1
(1, 43)
x(1, 1, 22) + x(2, 1, 22) + x(3, 1, 22) + x(1, 1, 23) + x(2, 1, 23) + x(3, 1, 23) + x(1, 1, 24) + x(2, 1, 24) + x(3, 1, 24) + x(1, 1, 25) + x(2, 1, 25) + x(3, 1, 25) + x(1, 1, 26)
+ x(2, 1, 26) + x(3, 1, 26) + x(1, 1, 27) + x(2, 1, 27) + x(3, 1, 27) + x(1, 1, 28) + x(2, 1, 28) + x(3, 1, 28) + x(1, 1, 29) + x(2, 1, 29) + x(3, 1, 29) + x(1, 1, 30) + x(2, 1, 30) + x(3, 1, 30)
+ x(1, 1, 31) + x(2, 1, 31) + x(3, 1, 31) + x(1, 1, 32) + x(2, 1, 32) + x(3, 1, 32) + x(1, 1, 33) + x(2, 1, 33) + x(3, 1, 33) + x(1, 1, 34) + x(2, 1, 34) + x(3, 1, 34) + x(1, 1, 35) + x(2, 1, 35)
+ x(3, 1, 35) + x(1, 1, 36) + x(2, 1, 36) + x(3, 1, 36) + x(1, 1, 37) + x(2, 1, 37) + x(3, 1, 37) <= 1
(1, 44)
x(1, 2, 22) + x(2, 2, 22) + x(3, 2, 22) + x(1, 2, 23) + x(2, 2, 23) + x(3, 2, 23) + x(1, 2, 24) + x(2, 2, 24) + x(3, 2, 24) + x(1, 2, 25) + x(2, 2, 25) + x(3, 2, 25) + x(1, 2, 26)
+ x(2, 2, 26) + x(3, 2, 26) + x(1, 2, 27) + x(2, 2, 27) + x(3, 2, 27) + x(1, 2, 28) + x(2, 2, 28) + x(3, 2, 28) + x(1, 2, 29) + x(2, 2, 29) + x(3, 2, 29) + x(1, 2, 30) + x(2, 2, 30) + x(3, 2, 30)
+ x(1, 2, 31) + x(2, 2, 31) + x(3, 2, 31) + x(1, 2, 32) + x(2, 2, 32) + x(3, 2, 32) + x(1, 2, 33) + x(2, 2, 33) + x(3, 2, 33) + x(1, 2, 34) + x(2, 2, 34) + x(3, 2, 34) + x(1, 2, 35) + x(2, 2, 35)
+ x(3, 2, 35) + x(1, 2, 36) + x(2, 2, 36) + x(3, 2, 36) + x(1, 2, 37) + x(2, 2, 37) + x(3, 2, 37) <= 1
(1, 45)
x(1, 1, 23) + x(2, 1, 23) + x(3, 1, 23) + x(1, 1, 24) + x(2, 1, 24) + x(3, 1, 24) + x(1, 1, 25) + x(2, 1, 25) + x(3, 1, 25) + x(1, 1, 26) + x(2, 1, 26) + x(3, 1, 26) + x(1, 1, 27)
+ x(2, 1, 27) + x(3, 1, 27) + x(1, 1, 28) + x(2, 1, 28) + x(3, 1, 28) + x(1, 1, 29) + x(2, 1, 29) + x(3, 1, 29) + x(1, 1, 30) + x(2, 1, 30) + x(3, 1, 30) + x(1, 1, 31) + x(2, 1, 31) + x(3, 1, 31)
+ x(1, 1, 32) + x(2, 1, 32) + x(3, 1, 32) + x(1, 1, 33) + x(2, 1, 33) + x(3, 1, 33) + x(1, 1, 34) + x(2, 1, 34) + x(3, 1, 34) + x(1, 1, 35) + x(2, 1, 35) + x(3, 1, 35) + x(1, 1, 36) + x(2, 1, 36)
+ x(3, 1, 36) + x(1, 1, 37) + x(2, 1, 37) + x(3, 1, 37) + x(1, 1, 38) + x(2, 1, 38) + x(3, 1, 38) <= 1
(1, 46)
x(1, 2, 23) + x(2, 2, 23) + x(3, 2, 23) + x(1, 2, 24) + x(2, 2, 24) + x(3, 2, 24) + x(1, 2, 25) + x(2, 2, 25) + x(3, 2, 25) + x(1, 2, 26) + x(2, 2, 26) + x(3, 2, 26) + x(1, 2, 27)
+ x(2, 2, 27) + x(3, 2, 27) + x(1, 2, 28) + x(2, 2, 28) + x(3, 2, 28) + x(1, 2, 29) + x(2, 2, 29) + x(3, 2, 29) + x(1, 2, 30) + x(2, 2, 30) + x(3, 2, 30) + x(1, 2, 31) + x(2, 2, 31) + x(3, 2, 31)
+ x(1, 2, 32) + x(2, 2, 32) + x(3, 2, 32) + x(1, 2, 33) + x(2, 2, 33) + x(3, 2, 33) + x(1, 2, 34) + x(2, 2, 34) + x(3, 2, 34) + x(1, 2, 35) + x(2, 2, 35) + x(3, 2, 35) + x(1, 2, 36) + x(2, 2, 36)
+ x(3, 2, 36) + x(1, 2, 37) + x(2, 2, 37) + x(3, 2, 37) + x(1, 2, 38) + x(2, 2, 38) + x(3, 2, 38) <= 1
(1, 47)
x(1, 1, 24) + x(2, 1, 24) + x(3, 1, 24) + x(1, 1, 25) + x(2, 1, 25) + x(3, 1, 25) + x(1, 1, 26) + x(2, 1, 26) + x(3, 1, 26) + x(1, 1, 27) + x(2, 1, 27) + x(3, 1, 27) + x(1, 1, 28)
+ x(2, 1, 28) + x(3, 1, 28) + x(1, 1, 29) + x(2, 1, 29) + x(3, 1, 29) + x(1, 1, 30) + x(2, 1, 30) + x(3, 1, 30) + x(1, 1, 31) + x(2, 1, 31) + x(3, 1, 31) + x(1, 1, 32) + x(2, 1, 32) + x(3, 1, 32)
+ x(1, 1, 33) + x(2, 1, 33) + x(3, 1, 33) + x(1, 1, 34) + x(2, 1, 34) + x(3, 1, 34) + x(1, 1, 35) + x(2, 1, 35) + x(3, 1, 35) + x(1, 1, 36) + x(2, 1, 36) + x(3, 1, 36) + x(1, 1, 37) + x(2, 1, 37)
+ x(3, 1, 37) + x(1, 1, 38) + x(2, 1, 38) + x(3, 1, 38) + x(1, 1, 39) + x(2, 1, 39) + x(3, 1, 39) <= 1
(1, 48)
x(1, 2, 24) + x(2, 2, 24) + x(3, 2, 24) + x(1, 2, 25) + x(2, 2, 25) + x(3, 2, 25) + x(1, 2, 26) + x(2, 2, 26) + x(3, 2, 26) + x(1, 2, 27) + x(2, 2, 27) + x(3, 2, 27) + x(1, 2, 28)
+ x(2, 2, 28) + x(3, 2, 28) + x(1, 2, 29) + x(2, 2, 29) + x(3, 2, 29) + x(1, 2, 30) + x(2, 2, 30) + x(3, 2, 30) + x(1, 2, 31) + x(2, 2, 31) + x(3, 2, 31) + x(1, 2, 32) + x(2, 2, 32) + x(3, 2, 32)
+ x(1, 2, 33) + x(2, 2, 33) + x(3, 2, 33) + x(1, 2, 34) + x(2, 2, 34) + x(3, 2, 34) + x(1, 2, 35) + x(2, 2, 35) + x(3, 2, 35) + x(1, 2, 36) + x(2, 2, 36) + x(3, 2, 36) + x(1, 2, 37) + x(2, 2, 37)
+ x(3, 2, 37) + x(1, 2, 38) + x(2, 2, 38) + x(3, 2, 38) + x(1, 2, 39) + x(2, 2, 39) + x(3, 2, 39) <= 1
(1, 49)
x(1, 1, 25) + x(2, 1, 25) + x(3, 1, 25) + x(1, 1, 26) + x(2, 1, 26) + x(3, 1, 26) + x(1, 1, 27) + x(2, 1, 27) + x(3, 1, 27) + x(1, 1, 28) + x(2, 1, 28) + x(3, 1, 28) + x(1, 1, 29)
+ x(2, 1, 29) + x(3, 1, 29) + x(1, 1, 30) + x(2, 1, 30) + x(3, 1, 30) + x(1, 1, 31) + x(2, 1, 31) + x(3, 1, 31) + x(1, 1, 32) + x(2, 1, 32) + x(3, 1, 32) + x(1, 1, 33) + x(2, 1, 33) + x(3, 1, 33)
+ x(1, 1, 34) + x(2, 1, 34) + x(3, 1, 34) + x(1, 1, 35) + x(2, 1, 35) + x(3, 1, 35) + x(1, 1, 36) + x(2, 1, 36) + x(3, 1, 36) + x(1, 1, 37) + x(2, 1, 37) + x(3, 1, 37) + x(1, 1, 38) + x(2, 1, 38)
+ x(3, 1, 38) + x(1, 1, 39) + x(2, 1, 39) + x(3, 1, 39) + x(1, 1, 40) + x(2, 1, 40) + x(3, 1, 40) <= 1
(1, 50)
x(1, 2, 25) + x(2, 2, 25) + x(3, 2, 25) + x(1, 2, 26) + x(2, 2, 26) + x(3, 2, 26) + x(1, 2, 27) + x(2, 2, 27) + x(3, 2, 27) + x(1, 2, 28) + x(2, 2, 28) + x(3, 2, 28) + x(1, 2, 29)
+ x(2, 2, 29) + x(3, 2, 29) + x(1, 2, 30) + x(2, 2, 30) + x(3, 2, 30) + x(1, 2, 31) + x(2, 2, 31) + x(3, 2, 31) + x(1, 2, 32) + x(2, 2, 32) + x(3, 2, 32) + x(1, 2, 33) + x(2, 2, 33) + x(3, 2, 33)
+ x(1, 2, 34) + x(2, 2, 34) + x(3, 2, 34) + x(1, 2, 35) + x(2, 2, 35) + x(3, 2, 35) + x(1, 2, 36) + x(2, 2, 36) + x(3, 2, 36) + x(1, 2, 37) + x(2, 2, 37) + x(3, 2, 37) + x(1, 2, 38) + x(2, 2, 38)
+ x(3, 2, 38) + x(1, 2, 39) + x(2, 2, 39) + x(3, 2, 39) + x(1, 2, 40) + x(2, 2, 40) + x(3, 2, 40) <= 1
(1, 51)
x(1, 1, 26) + x(2, 1, 26) + x(3, 1, 26) + x(1, 1, 27) + x(2, 1, 27) + x(3, 1, 27) + x(1, 1, 28) + x(2, 1, 28) + x(3, 1, 28) + x(1, 1, 29) + x(2, 1, 29) + x(3, 1, 29) + x(1, 1, 30)
+ x(2, 1, 30) + x(3, 1, 30) + x(1, 1, 31) + x(2, 1, 31) + x(3, 1, 31) + x(1, 1, 32) + x(2, 1, 32) + x(3, 1, 32) + x(1, 1, 33) + x(2, 1, 33) + x(3, 1, 33) + x(1, 1, 34) + x(2, 1, 34) + x(3, 1, 34)
+ x(1, 1, 35) + x(2, 1, 35) + x(3, 1, 35) + x(1, 1, 36) + x(2, 1, 36) + x(3, 1, 36) + x(1, 1, 37) + x(2, 1, 37) + x(3, 1, 37) + x(1, 1, 38) + x(2, 1, 38) + x(3, 1, 38) + x(1, 1, 39) + x(2, 1, 39)
+ x(3, 1, 39) + x(1, 1, 40) + x(2, 1, 40) + x(3, 1, 40) + x(1, 1, 41) + x(2, 1, 41) + x(3, 1, 41) <= 1
(1, 52)
x(1, 2, 26) + x(2, 2, 26) + x(3, 2, 26) + x(1, 2, 27) + x(2, 2, 27) + x(3, 2, 27) + x(1, 2, 28) + x(2, 2, 28) + x(3, 2, 28) + x(1, 2, 29) + x(2, 2, 29) + x(3, 2, 29) + x(1, 2, 30)
+ x(2, 2, 30) + x(3, 2, 30) + x(1, 2, 31) + x(2, 2, 31) + x(3, 2, 31) + x(1, 2, 32) + x(2, 2, 32) + x(3, 2, 32) + x(1, 2, 33) + x(2, 2, 33) + x(3, 2, 33) + x(1, 2, 34) + x(2, 2, 34) + x(3, 2, 34)
+ x(1, 2, 35) + x(2, 2, 35) + x(3, 2, 35) + x(1, 2, 36) + x(2, 2, 36) + x(3, 2, 36) + x(1, 2, 37) + x(2, 2, 37) + x(3, 2, 37) + x(1, 2, 38) + x(2, 2, 38) + x(3, 2, 38) + x(1, 2, 39) + x(2, 2, 39)
+ x(3, 2, 39) + x(1, 2, 40) + x(2, 2, 40) + x(3, 2, 40) + x(1, 2, 41) + x(2, 2, 41) + x(3, 2, 41) <= 1
(1, 53)
x(1, 1, 27) + x(2, 1, 27) + x(3, 1, 27) + x(1, 1, 28) + x(2, 1, 28) + x(3, 1, 28) + x(1, 1, 29) + x(2, 1, 29) + x(3, 1, 29) + x(1, 1, 30) + x(2, 1, 30) + x(3, 1, 30) + x(1, 1, 31)
+ x(2, 1, 31) + x(3, 1, 31) + x(1, 1, 32) + x(2, 1, 32) + x(3, 1, 32) + x(1, 1, 33) + x(2, 1, 33) + x(3, 1, 33) + x(1, 1, 34) + x(2, 1, 34) + x(3, 1, 34) + x(1, 1, 35) + x(2, 1, 35) + x(3, 1, 35)
+ x(1, 1, 36) + x(2, 1, 36) + x(3, 1, 36) + x(1, 1, 37) + x(2, 1, 37) + x(3, 1, 37) + x(1, 1, 38) + x(2, 1, 38) + x(3, 1, 38) + x(1, 1, 39) + x(2, 1, 39) + x(3, 1, 39) + x(1, 1, 40) + x(2, 1, 40)
+ x(3, 1, 40) + x(1, 1, 41) + x(2, 1, 41) + x(3, 1, 41) + x(1, 1, 42) + x(2, 1, 42) + x(3, 1, 42) <= 1
(1, 54)
x(1, 2, 27) + x(2, 2, 27) + x(3, 2, 27) + x(1, 2, 28) + x(2, 2, 28) + x(3, 2, 28) + x(1, 2, 29) + x(2, 2, 29) + x(3, 2, 29) + x(1, 2, 30) + x(2, 2, 30) + x(3, 2, 30) + x(1, 2, 31)
+ x(2, 2, 31) + x(3, 2, 31) + x(1, 2, 32) + x(2, 2, 32) + x(3, 2, 32) + x(1, 2, 33) + x(2, 2, 33) + x(3, 2, 33) + x(1, 2, 34) + x(2, 2, 34) + x(3, 2, 34) + x(1, 2, 35) + x(2, 2, 35) + x(3, 2, 35)
+ x(1, 2, 36) + x(2, 2, 36) + x(3, 2, 36) + x(1, 2, 37) + x(2, 2, 37) + x(3, 2, 37) + x(1, 2, 38) + x(2, 2, 38) + x(3, 2, 38) + x(1, 2, 39) + x(2, 2, 39) + x(3, 2, 39) + x(1, 2, 40) + x(2, 2, 40)
+ x(3, 2, 40) + x(1, 2, 41) + x(2, 2, 41) + x(3, 2, 41) + x(1, 2, 42) + x(2, 2, 42) + x(3, 2, 42) <= 1
(1, 55)
x(1, 1, 28) + x(2, 1, 28) + x(3, 1, 28) + x(1, 1, 29) + x(2, 1, 29) + x(3, 1, 29) + x(1, 1, 30) + x(2, 1, 30) + x(3, 1, 30) + x(1, 1, 31) + x(2, 1, 31) + x(3, 1, 31) + x(1, 1, 32)
+ x(2, 1, 32) + x(3, 1, 32) + x(1, 1, 33) + x(2, 1, 33) + x(3, 1, 33) + x(1, 1, 34) + x(2, 1, 34) + x(3, 1, 34) + x(1, 1, 35) + x(2, 1, 35) + x(3, 1, 35) + x(1, 1, 36) + x(2, 1, 36) + x(3, 1, 36)
+ x(1, 1, 37) + x(2, 1, 37) + x(3, 1, 37) + x(1, 1, 38) + x(2, 1, 38) + x(3, 1, 38) + x(1, 1, 39) + x(2, 1, 39) + x(3, 1, 39) + x(1, 1, 40) + x(2, 1, 40) + x(3, 1, 40) + x(1, 1, 41) + x(2, 1, 41)
+ x(3, 1, 41) + x(1, 1, 42) + x(2, 1, 42) + x(3, 1, 42) + x(1, 1, 43) + x(2, 1, 43) + x(3, 1, 43) <= 1
(1, 56)
x(1, 2, 28) + x(2, 2, 28) + x(3, 2, 28) + x(1, 2, 29) + x(2, 2, 29) + x(3, 2, 29) + x(1, 2, 30) + x(2, 2, 30) + x(3, 2, 30) + x(1, 2, 31) + x(2, 2, 31) + x(3, 2, 31) + x(1, 2, 32)
+ x(2, 2, 32) + x(3, 2, 32) + x(1, 2, 33) + x(2, 2, 33) + x(3, 2, 33) + x(1, 2, 34) + x(2, 2, 34) + x(3, 2, 34) + x(1, 2, 35) + x(2, 2, 35) + x(3, 2, 35) + x(1, 2, 36) + x(2, 2, 36) + x(3, 2, 36)
+ x(1, 2, 37) + x(2, 2, 37) + x(3, 2, 37) + x(1, 2, 38) + x(2, 2, 38) + x(3, 2, 38) + x(1, 2, 39) + x(2, 2, 39) + x(3, 2, 39) + x(1, 2, 40) + x(2, 2, 40) + x(3, 2, 40) + x(1, 2, 41) + x(2, 2, 41)
+ x(3, 2, 41) + x(1, 2, 42) + x(2, 2, 42) + x(3, 2, 42) + x(1, 2, 43) + x(2, 2, 43) + x(3, 2, 43) <= 1
(1, 57)
x(1, 1, 29) + x(2, 1, 29) + x(3, 1, 29) + x(1, 1, 30) + x(2, 1, 30) + x(3, 1, 30) + x(1, 1, 31) + x(2, 1, 31) + x(3, 1, 31) + x(1, 1, 32) + x(2, 1, 32) + x(3, 1, 32) + x(1, 1, 33)
+ x(2, 1, 33) + x(3, 1, 33) + x(1, 1, 34) + x(2, 1, 34) + x(3, 1, 34) + x(1, 1, 35) + x(2, 1, 35) + x(3, 1, 35) + x(1, 1, 36) + x(2, 1, 36) + x(3, 1, 36) + x(1, 1, 37) + x(2, 1, 37) + x(3, 1, 37)
+ x(1, 1, 38) + x(2, 1, 38) + x(3, 1, 38) + x(1, 1, 39) + x(2, 1, 39) + x(3, 1, 39) + x(1, 1, 40) + x(2, 1, 40) + x(3, 1, 40) + x(1, 1, 41) + x(2, 1, 41) + x(3, 1, 41) + x(1, 1, 42) + x(2, 1, 42)
+ x(3, 1, 42) + x(1, 1, 43) + x(2, 1, 43) + x(3, 1, 43) + x(1, 1, 44) + x(2, 1, 44) + x(3, 1, 44) <= 1
(1, 58)
x(1, 2, 29) + x(2, 2, 29) + x(3, 2, 29) + x(1, 2, 30) + x(2, 2, 30) + x(3, 2, 30) + x(1, 2, 31) + x(2, 2, 31) + x(3, 2, 31) + x(1, 2, 32) + x(2, 2, 32) + x(3, 2, 32) + x(1, 2, 33)
+ x(2, 2, 33) + x(3, 2, 33) + x(1, 2, 34) + x(2, 2, 34) + x(3, 2, 34) + x(1, 2, 35) + x(2, 2, 35) + x(3, 2, 35) + x(1, 2, 36) + x(2, 2, 36) + x(3, 2, 36) + x(1, 2, 37) + x(2, 2, 37) + x(3, 2, 37)
+ x(1, 2, 38) + x(2, 2, 38) + x(3, 2, 38) + x(1, 2, 39) + x(2, 2, 39) + x(3, 2, 39) + x(1, 2, 40) + x(2, 2, 40) + x(3, 2, 40) + x(1, 2, 41) + x(2, 2, 41) + x(3, 2, 41) + x(1, 2, 42) + x(2, 2, 42)
+ x(3, 2, 42) + x(1, 2, 43) + x(2, 2, 43) + x(3, 2, 43) + x(1, 2, 44) + x(2, 2, 44) + x(3, 2, 44) <= 1
(1, 59)
x(1, 1, 30) + x(2, 1, 30) + x(3, 1, 30) + x(1, 1, 31) + x(2, 1, 31) + x(3, 1, 31) + x(1, 1, 32) + x(2, 1, 32) + x(3, 1, 32) + x(1, 1, 33) + x(2, 1, 33) + x(3, 1, 33) + x(1, 1, 34)
+ x(2, 1, 34) + x(3, 1, 34) + x(1, 1, 35) + x(2, 1, 35) + x(3, 1, 35) + x(1, 1, 36) + x(2, 1, 36) + x(3, 1, 36) + x(1, 1, 37) + x(2, 1, 37) + x(3, 1, 37) + x(1, 1, 38) + x(2, 1, 38) + x(3, 1, 38)
+ x(1, 1, 39) + x(2, 1, 39) + x(3, 1, 39) + x(1, 1, 40) + x(2, 1, 40) + x(3, 1, 40) + x(1, 1, 41) + x(2, 1, 41) + x(3, 1, 41) + x(1, 1, 42) + x(2, 1, 42) + x(3, 1, 42) + x(1, 1, 43) + x(2, 1, 43)
+ x(3, 1, 43) + x(1, 1, 44) + x(2, 1, 44) + x(3, 1, 44) + x(1, 1, 45) + x(2, 1, 45) + x(3, 1, 45) <= 1
(1, 60)
x(1, 2, 30) + x(2, 2, 30) + x(3, 2, 30) + x(1, 2, 31) + x(2, 2, 31) + x(3, 2, 31) + x(1, 2, 32) + x(2, 2, 32) + x(3, 2, 32) + x(1, 2, 33) + x(2, 2, 33) + x(3, 2, 33) + x(1, 2, 34)
+ x(2, 2, 34) + x(3, 2, 34) + x(1, 2, 35) + x(2, 2, 35) + x(3, 2, 35) + x(1, 2, 36) + x(2, 2, 36) + x(3, 2, 36) + x(1, 2, 37) + x(2, 2, 37) + x(3, 2, 37) + x(1, 2, 38) + x(2, 2, 38) + x(3, 2, 38)
+ x(1, 2, 39) + x(2, 2, 39) + x(3, 2, 39) + x(1, 2, 40) + x(2, 2, 40) + x(3, 2, 40) + x(1, 2, 41) + x(2, 2, 41) + x(3, 2, 41) + x(1, 2, 42) + x(2, 2, 42) + x(3, 2, 42) + x(1, 2, 43) + x(2, 2, 43)
+ x(3, 2, 43) + x(1, 2, 44) + x(2, 2, 44) + x(3, 2, 44) + x(1, 2, 45) + x(2, 2, 45) + x(3, 2, 45) <= 1
(1, 61)
x(1, 1, 31) + x(2, 1, 31) + x(3, 1, 31) + x(1, 1, 32) + x(2, 1, 32) + x(3, 1, 32) + x(1, 1, 33) + x(2, 1, 33) + x(3, 1, 33) + x(1, 1, 34) + x(2, 1, 34) + x(3, 1, 34) + x(1, 1, 35)
+ x(2, 1, 35) + x(3, 1, 35) + x(1, 1, 36) + x(2, 1, 36) + x(3, 1, 36) + x(1, 1, 37) + x(2, 1, 37) + x(3, 1, 37) + x(1, 1, 38) + x(2, 1, 38) + x(3, 1, 38) + x(1, 1, 39) + x(2, 1, 39) + x(3, 1, 39)
+ x(1, 1, 40) + x(2, 1, 40) + x(3, 1, 40) + x(1, 1, 41) + x(2, 1, 41) + x(3, 1, 41) + x(1, 1, 42) + x(2, 1, 42) + x(3, 1, 42) + x(1, 1, 43) + x(2, 1, 43) + x(3, 1, 43) + x(1, 1, 44) + x(2, 1, 44)
+ x(3, 1, 44) + x(1, 1, 45) + x(2, 1, 45) + x(3, 1, 45) + x(1, 1, 46) + x(2, 1, 46) + x(3, 1, 46) <= 1
(1, 62)
x(1, 2, 31) + x(2, 2, 31) + x(3, 2, 31) + x(1, 2, 32) + x(2, 2, 32) + x(3, 2, 32) + x(1, 2, 33) + x(2, 2, 33) + x(3, 2, 33) + x(1, 2, 34) + x(2, 2, 34) + x(3, 2, 34) + x(1, 2, 35)
+ x(2, 2, 35) + x(3, 2, 35) + x(1, 2, 36) + x(2, 2, 36) + x(3, 2, 36) + x(1, 2, 37) + x(2, 2, 37) + x(3, 2, 37) + x(1, 2, 38) + x(2, 2, 38) + x(3, 2, 38) + x(1, 2, 39) + x(2, 2, 39) + x(3, 2, 39)
+ x(1, 2, 40) + x(2, 2, 40) + x(3, 2, 40) + x(1, 2, 41) + x(2, 2, 41) + x(3, 2, 41) + x(1, 2, 42) + x(2, 2, 42) + x(3, 2, 42) + x(1, 2, 43) + x(2, 2, 43) + x(3, 2, 43) + x(1, 2, 44) + x(2, 2, 44)
+ x(3, 2, 44) + x(1, 2, 45) + x(2, 2, 45) + x(3, 2, 45) + x(1, 2, 46) + x(2, 2, 46) + x(3, 2, 46) <= 1
(1, 63)
x(1, 1, 32) + x(2, 1, 32) + x(3, 1, 32) + x(1, 1, 33) + x(2, 1, 33) + x(3, 1, 33) + x(1, 1, 34) + x(2, 1, 34) + x(3, 1, 34) + x(1, 1, 35) + x(2, 1, 35) + x(3, 1, 35) + x(1, 1, 36)
+ x(2, 1, 36) + x(3, 1, 36) + x(1, 1, 37) + x(2, 1, 37) + x(3, 1, 37) + x(1, 1, 38) + x(2, 1, 38) + x(3, 1, 38) + x(1, 1, 39) + x(2, 1, 39) + x(3, 1, 39) + x(1, 1, 40) + x(2, 1, 40) + x(3, 1, 40)
+ x(1, 1, 41) + x(2, 1, 41) + x(3, 1, 41) + x(1, 1, 42) + x(2, 1, 42) + x(3, 1, 42) + x(1, 1, 43) + x(2, 1, 43) + x(3, 1, 43) + x(1, 1, 44) + x(2, 1, 44) + x(3, 1, 44) + x(1, 1, 45) + x(2, 1, 45)
+ x(3, 1, 45) + x(1, 1, 46) + x(2, 1, 46) + x(3, 1, 46) + x(1, 1, 47) + x(2, 1, 47) + x(3, 1, 47) <= 1
(1, 64)
x(1, 2, 32) + x(2, 2, 32) + x(3, 2, 32) + x(1, 2, 33) + x(2, 2, 33) + x(3, 2, 33) + x(1, 2, 34) + x(2, 2, 34) + x(3, 2, 34) + x(1, 2, 35) + x(2, 2, 35) + x(3, 2, 35) + x(1, 2, 36)
+ x(2, 2, 36) + x(3, 2, 36) + x(1, 2, 37) + x(2, 2, 37) + x(3, 2, 37) + x(1, 2, 38) + x(2, 2, 38) + x(3, 2, 38) + x(1, 2, 39) + x(2, 2, 39) + x(3, 2, 39) + x(1, 2, 40) + x(2, 2, 40) + x(3, 2, 40)
+ x(1, 2, 41) + x(2, 2, 41) + x(3, 2, 41) + x(1, 2, 42) + x(2, 2, 42) + x(3, 2, 42) + x(1, 2, 43) + x(2, 2, 43) + x(3, 2, 43) + x(1, 2, 44) + x(2, 2, 44) + x(3, 2, 44) + x(1, 2, 45) + x(2, 2, 45)
+ x(3, 2, 45) + x(1, 2, 46) + x(2, 2, 46) + x(3, 2, 46) + x(1, 2, 47) + x(2, 2, 47) + x(3, 2, 47) <= 1
(1, 65)
x(1, 1, 33) + x(2, 1, 33) + x(3, 1, 33) + x(1, 1, 34) + x(2, 1, 34) + x(3, 1, 34) + x(1, 1, 35) + x(2, 1, 35) + x(3, 1, 35) + x(1, 1, 36) + x(2, 1, 36) + x(3, 1, 36) + x(1, 1, 37)
+ x(2, 1, 37) + x(3, 1, 37) + x(1, 1, 38) + x(2, 1, 38) + x(3, 1, 38) + x(1, 1, 39) + x(2, 1, 39) + x(3, 1, 39) + x(1, 1, 40) + x(2, 1, 40) + x(3, 1, 40) + x(1, 1, 41) + x(2, 1, 41) + x(3, 1, 41)
+ x(1, 1, 42) + x(2, 1, 42) + x(3, 1, 42) + x(1, 1, 43) + x(2, 1, 43) + x(3, 1, 43) + x(1, 1, 44) + x(2, 1, 44) + x(3, 1, 44) + x(1, 1, 45) + x(2, 1, 45) + x(3, 1, 45) + x(1, 1, 46) + x(2, 1, 46)
+ x(3, 1, 46) + x(1, 1, 47) + x(2, 1, 47) + x(3, 1, 47) + x(1, 1, 48) + x(2, 1, 48) + x(3, 1, 48) <= 1
(1, 66)
x(1, 2, 33) + x(2, 2, 33) + x(3, 2, 33) + x(1, 2, 34) + x(2, 2, 34) + x(3, 2, 34) + x(1, 2, 35) + x(2, 2, 35) + x(3, 2, 35) + x(1, 2, 36) + x(2, 2, 36) + x(3, 2, 36) + x(1, 2, 37)
+ x(2, 2, 37) + x(3, 2, 37) + x(1, 2, 38) + x(2, 2, 38) + x(3, 2, 38) + x(1, 2, 39) + x(2, 2, 39) + x(3, 2, 39) + x(1, 2, 40) + x(2, 2, 40) + x(3, 2, 40) + x(1, 2, 41) + x(2, 2, 41) + x(3, 2, 41)
+ x(1, 2, 42) + x(2, 2, 42) + x(3, 2, 42) + x(1, 2, 43) + x(2, 2, 43) + x(3, 2, 43) + x(1, 2, 44) + x(2, 2, 44) + x(3, 2, 44) + x(1, 2, 45) + x(2, 2, 45) + x(3, 2, 45) + x(1, 2, 46) + x(2, 2, 46)
+ x(3, 2, 46) + x(1, 2, 47) + x(2, 2, 47) + x(3, 2, 47) + x(1, 2, 48) + x(2, 2, 48) + x(3, 2, 48) <= 1
(1, 67)
x(1, 1, 34) + x(2, 1, 34) + x(3, 1, 34) + x(1, 1, 35) + x(2, 1, 35) + x(3, 1, 35) + x(1, 1, 36) + x(2, 1, 36) + x(3, 1, 36) + x(1, 1, 37) + x(2, 1, 37) + x(3, 1, 37) + x(1, 1, 38)
+ x(2, 1, 38) + x(3, 1, 38) + x(1, 1, 39) + x(2, 1, 39) + x(3, 1, 39) + x(1, 1, 40) + x(2, 1, 40) + x(3, 1, 40) + x(1, 1, 41) + x(2, 1, 41) + x(3, 1, 41) + x(1, 1, 42) + x(2, 1, 42) + x(3, 1, 42)
+ x(1, 1, 43) + x(2, 1, 43) + x(3, 1, 43) + x(1, 1, 44) + x(2, 1, 44) + x(3, 1, 44) + x(1, 1, 45) + x(2, 1, 45) + x(3, 1, 45) + x(1, 1, 46) + x(2, 1, 46) + x(3, 1, 46) + x(1, 1, 47) + x(2, 1, 47)
+ x(3, 1, 47) + x(1, 1, 48) + x(2, 1, 48) + x(3, 1, 48) + x(1, 1, 49) + x(2, 1, 49) + x(3, 1, 49) <= 1
(1, 68)
x(1, 2, 34) + x(2, 2, 34) + x(3, 2, 34) + x(1, 2, 35) + x(2, 2, 35) + x(3, 2, 35) + x(1, 2, 36) + x(2, 2, 36) + x(3, 2, 36) + x(1, 2, 37) + x(2, 2, 37) + x(3, 2, 37) + x(1, 2, 38)
+ x(2, 2, 38) + x(3, 2, 38) + x(1, 2, 39) + x(2, 2, 39) + x(3, 2, 39) + x(1, 2, 40) + x(2, 2, 40) + x(3, 2, 40) + x(1, 2, 41) + x(2, 2, 41) + x(3, 2, 41) + x(1, 2, 42) + x(2, 2, 42) + x(3, 2, 42)
+ x(1, 2, 43) + x(2, 2, 43) + x(3, 2, 43) + x(1, 2, 44) + x(2, 2, 44) + x(3, 2, 44) + x(1, 2, 45) + x(2, 2, 45) + x(3, 2, 45) + x(1, 2, 46) + x(2, 2, 46) + x(3, 2, 46) + x(1, 2, 47) + x(2, 2, 47)
+ x(3, 2, 47) + x(1, 2, 48) + x(2, 2, 48) + x(3, 2, 48) + x(1, 2, 49) + x(2, 2, 49) + x(3, 2, 49) <= 1
(1, 69)
x(1, 1, 35) + x(2, 1, 35) + x(3, 1, 35) + x(1, 1, 36) + x(2, 1, 36) + x(3, 1, 36) + x(1, 1, 37) + x(2, 1, 37) + x(3, 1, 37) + x(1, 1, 38) + x(2, 1, 38) + x(3, 1, 38) + x(1, 1, 39)
+ x(2, 1, 39) + x(3, 1, 39) + x(1, 1, 40) + x(2, 1, 40) + x(3, 1, 40) + x(1, 1, 41) + x(2, 1, 41) + x(3, 1, 41) + x(1, 1, 42) + x(2, 1, 42) + x(3, 1, 42) + x(1, 1, 43) + x(2, 1, 43) + x(3, 1, 43)
+ x(1, 1, 44) + x(2, 1, 44) + x(3, 1, 44) + x(1, 1, 45) + x(2, 1, 45) + x(3, 1, 45) + x(1, 1, 46) + x(2, 1, 46) + x(3, 1, 46) + x(1, 1, 47) + x(2, 1, 47) + x(3, 1, 47) + x(1, 1, 48) + x(2, 1, 48)
+ x(3, 1, 48) + x(1, 1, 49) + x(2, 1, 49) + x(3, 1, 49) + x(1, 1, 50) + x(2, 1, 50) + x(3, 1, 50) <= 1
(1, 70)
x(1, 2, 35) + x(2, 2, 35) + x(3, 2, 35) + x(1, 2, 36) + x(2, 2, 36) + x(3, 2, 36) + x(1, 2, 37) + x(2, 2, 37) + x(3, 2, 37) + x(1, 2, 38) + x(2, 2, 38) + x(3, 2, 38) + x(1, 2, 39)
+ x(2, 2, 39) + x(3, 2, 39) + x(1, 2, 40) + x(2, 2, 40) + x(3, 2, 40) + x(1, 2, 41) + x(2, 2, 41) + x(3, 2, 41) + x(1, 2, 42) + x(2, 2, 42) + x(3, 2, 42) + x(1, 2, 43) + x(2, 2, 43) + x(3, 2, 43)
+ x(1, 2, 44) + x(2, 2, 44) + x(3, 2, 44) + x(1, 2, 45) + x(2, 2, 45) + x(3, 2, 45) + x(1, 2, 46) + x(2, 2, 46) + x(3, 2, 46) + x(1, 2, 47) + x(2, 2, 47) + x(3, 2, 47) + x(1, 2, 48) + x(2, 2, 48)
+ x(3, 2, 48) + x(1, 2, 49) + x(2, 2, 49) + x(3, 2, 49) + x(1, 2, 50) + x(2, 2, 50) + x(3, 2, 50) <= 1
(1, 71)
x(1, 1, 1) + x(2, 1, 1) + x(3, 1, 1) + x(1, 1, 2) + x(2, 1, 2) + x(3, 1, 2) + x(1, 1, 3) + x(2, 1, 3) + x(3, 1, 3) + x(1, 1, 4) + x(2, 1, 4) + x(3, 1, 4) + x(1, 1, 5) + x(2, 1, 5)
+ x(3, 1, 5) + x(1, 1, 6) + x(2, 1, 6) + x(3, 1, 6) + x(1, 1, 7) + x(2, 1, 7) + x(3, 1, 7) + x(1, 1, 8) + x(2, 1, 8) + x(3, 1, 8) + x(1, 1, 9) + x(2, 1, 9) + x(3, 1, 9) <= 1
(1, 72)
x(1, 2, 1) + x(2, 2, 1) + x(3, 2, 1) + x(1, 2, 2) + x(2, 2, 2) + x(3, 2, 2) + x(1, 2, 3) + x(2, 2, 3) + x(3, 2, 3) + x(1, 2, 4) + x(2, 2, 4) + x(3, 2, 4) + x(1, 2, 5) + x(2, 2, 5)
+ x(3, 2, 5) + x(1, 2, 6) + x(2, 2, 6) + x(3, 2, 6) + x(1, 2, 7) + x(2, 2, 7) + x(3, 2, 7) + x(1, 2, 8) + x(2, 2, 8) + x(3, 2, 8) + x(1, 2, 9) + x(2, 2, 9) + x(3, 2, 9) <= 1
(1, 73)
x(1, 1, 2) + x(2, 1, 2) + x(3, 1, 2) + x(1, 1, 3) + x(2, 1, 3) + x(3, 1, 3) + x(1, 1, 4) + x(2, 1, 4) + x(3, 1, 4) + x(1, 1, 5) + x(2, 1, 5) + x(3, 1, 5) + x(1, 1, 6) + x(2, 1, 6)
+ x(3, 1, 6) + x(1, 1, 7) + x(2, 1, 7) + x(3, 1, 7) + x(1, 1, 8) + x(2, 1, 8) + x(3, 1, 8) + x(1, 1, 9) + x(2, 1, 9) + x(3, 1, 9) + x(1, 1, 10) + x(2, 1, 10) + x(3, 1, 10) <= 1
(1, 74)
x(1, 2, 2) + x(2, 2, 2) + x(3, 2, 2) + x(1, 2, 3) + x(2, 2, 3) + x(3, 2, 3) + x(1, 2, 4) + x(2, 2, 4) + x(3, 2, 4) + x(1, 2, 5) + x(2, 2, 5) + x(3, 2, 5) + x(1, 2, 6) + x(2, 2, 6)
+ x(3, 2, 6) + x(1, 2, 7) + x(2, 2, 7) + x(3, 2, 7) + x(1, 2, 8) + x(2, 2, 8) + x(3, 2, 8) + x(1, 2, 9) + x(2, 2, 9) + x(3, 2, 9) + x(1, 2, 10) + x(2, 2, 10) + x(3, 2, 10) <= 1
(1, 75)
x(1, 1, 3) + x(2, 1, 3) + x(3, 1, 3) + x(1, 1, 4) + x(2, 1, 4) + x(3, 1, 4) + x(1, 1, 5) + x(2, 1, 5) + x(3, 1, 5) + x(1, 1, 6) + x(2, 1, 6) + x(3, 1, 6) + x(1, 1, 7) + x(2, 1, 7)
+ x(3, 1, 7) + x(1, 1, 8) + x(2, 1, 8) + x(3, 1, 8) + x(1, 1, 9) + x(2, 1, 9) + x(3, 1, 9) + x(1, 1, 10) + x(2, 1, 10) + x(3, 1, 10) + x(1, 1, 11) + x(2, 1, 11) + x(3, 1, 11) <= 1
(1, 76)
x(1, 2, 3) + x(2, 2, 3) + x(3, 2, 3) + x(1, 2, 4) + x(2, 2, 4) + x(3, 2, 4) + x(1, 2, 5) + x(2, 2, 5) + x(3, 2, 5) + x(1, 2, 6) + x(2, 2, 6) + x(3, 2, 6) + x(1, 2, 7) + x(2, 2, 7)
+ x(3, 2, 7) + x(1, 2, 8) + x(2, 2, 8) + x(3, 2, 8) + x(1, 2, 9) + x(2, 2, 9) + x(3, 2, 9) + x(1, 2, 10) + x(2, 2, 10) + x(3, 2, 10) + x(1, 2, 11) + x(2, 2, 11) + x(3, 2, 11) <= 1
(1, 77)
x(1, 1, 4) + x(2, 1, 4) + x(3, 1, 4) + x(1, 1, 5) + x(2, 1, 5) + x(3, 1, 5) + x(1, 1, 6) + x(2, 1, 6) + x(3, 1, 6) + x(1, 1, 7) + x(2, 1, 7) + x(3, 1, 7) + x(1, 1, 8) + x(2, 1, 8)
+ x(3, 1, 8) + x(1, 1, 9) + x(2, 1, 9) + x(3, 1, 9) + x(1, 1, 10) + x(2, 1, 10) + x(3, 1, 10) + x(1, 1, 11) + x(2, 1, 11) + x(3, 1, 11) + x(1, 1, 12) + x(2, 1, 12) + x(3, 1, 12) <= 1
(1, 78)
x(1, 2, 4) + x(2, 2, 4) + x(3, 2, 4) + x(1, 2, 5) + x(2, 2, 5) + x(3, 2, 5) + x(1, 2, 6) + x(2, 2, 6) + x(3, 2, 6) + x(1, 2, 7) + x(2, 2, 7) + x(3, 2, 7) + x(1, 2, 8) + x(2, 2, 8)
+ x(3, 2, 8) + x(1, 2, 9) + x(2, 2, 9) + x(3, 2, 9) + x(1, 2, 10) + x(2, 2, 10) + x(3, 2, 10) + x(1, 2, 11) + x(2, 2, 11) + x(3, 2, 11) + x(1, 2, 12) + x(2, 2, 12) + x(3, 2, 12) <= 1
(1, 79)
x(1, 1, 5) + x(2, 1, 5) + x(3, 1, 5) + x(1, 1, 6) + x(2, 1, 6) + x(3, 1, 6) + x(1, 1, 7) + x(2, 1, 7) + x(3, 1, 7) + x(1, 1, 8) + x(2, 1, 8) + x(3, 1, 8) + x(1, 1, 9) + x(2, 1, 9)
+ x(3, 1, 9) + x(1, 1, 10) + x(2, 1, 10) + x(3, 1, 10) + x(1, 1, 11) + x(2, 1, 11) + x(3, 1, 11) + x(1, 1, 12) + x(2, 1, 12) + x(3, 1, 12) + x(1, 1, 13) + x(2, 1, 13) + x(3, 1, 13) <= 1
(1, 80)
x(1, 2, 5) + x(2, 2, 5) + x(3, 2, 5) + x(1, 2, 6) + x(2, 2, 6) + x(3, 2, 6) + x(1, 2, 7) + x(2, 2, 7) + x(3, 2, 7) + x(1, 2, 8) + x(2, 2, 8) + x(3, 2, 8) + x(1, 2, 9) + x(2, 2, 9)
+ x(3, 2, 9) + x(1, 2, 10) + x(2, 2, 10) + x(3, 2, 10) + x(1, 2, 11) + x(2, 2, 11) + x(3, 2, 11) + x(1, 2, 12) + x(2, 2, 12) + x(3, 2, 12) + x(1, 2, 13) + x(2, 2, 13) + x(3, 2, 13) <= 1
(1, 81)
x(1, 1, 6) + x(2, 1, 6) + x(3, 1, 6) + x(1, 1, 7) + x(2, 1, 7) + x(3, 1, 7) + x(1, 1, 8) + x(2, 1, 8) + x(3, 1, 8) + x(1, 1, 9) + x(2, 1, 9) + x(3, 1, 9) + x(1, 1, 10) + x(2, 1, 10)
+ x(3, 1, 10) + x(1, 1, 11) + x(2, 1, 11) + x(3, 1, 11) + x(1, 1, 12) + x(2, 1, 12) + x(3, 1, 12) + x(1, 1, 13) + x(2, 1, 13) + x(3, 1, 13) + x(1, 1, 14) + x(2, 1, 14) + x(3, 1, 14) <= 1
(1, 82)
x(1, 2, 6) + x(2, 2, 6) + x(3, 2, 6) + x(1, 2, 7) + x(2, 2, 7) + x(3, 2, 7) + x(1, 2, 8) + x(2, 2, 8) + x(3, 2, 8) + x(1, 2, 9) + x(2, 2, 9) + x(3, 2, 9) + x(1, 2, 10) + x(2, 2, 10)
+ x(3, 2, 10) + x(1, 2, 11) + x(2, 2, 11) + x(3, 2, 11) + x(1, 2, 12) + x(2, 2, 12) + x(3, 2, 12) + x(1, 2, 13) + x(2, 2, 13) + x(3, 2, 13) + x(1, 2, 14) + x(2, 2, 14) + x(3, 2, 14) <= 1
(1, 83)
x(1, 1, 7) + x(2, 1, 7) + x(3, 1, 7) + x(1, 1, 8) + x(2, 1, 8) + x(3, 1, 8) + x(1, 1, 9) + x(2, 1, 9) + x(3, 1, 9) + x(1, 1, 10) + x(2, 1, 10) + x(3, 1, 10) + x(1, 1, 11) + x(2, 1, 11)
+ x(3, 1, 11) + x(1, 1, 12) + x(2, 1, 12) + x(3, 1, 12) + x(1, 1, 13) + x(2, 1, 13) + x(3, 1, 13) + x(1, 1, 14) + x(2, 1, 14) + x(3, 1, 14) + x(1, 1, 15) + x(2, 1, 15) + x(3, 1, 15) <= 1
(1, 84)
x(1, 2, 7) + x(2, 2, 7) + x(3, 2, 7) + x(1, 2, 8) + x(2, 2, 8) + x(3, 2, 8) + x(1, 2, 9) + x(2, 2, 9) + x(3, 2, 9) + x(1, 2, 10) + x(2, 2, 10) + x(3, 2, 10) + x(1, 2, 11) + x(2, 2, 11)
+ x(3, 2, 11) + x(1, 2, 12) + x(2, 2, 12) + x(3, 2, 12) + x(1, 2, 13) + x(2, 2, 13) + x(3, 2, 13) + x(1, 2, 14) + x(2, 2, 14) + x(3, 2, 14) + x(1, 2, 15) + x(2, 2, 15) + x(3, 2, 15) <= 1
(1, 85)
x(1, 1, 8) + x(2, 1, 8) + x(3, 1, 8) + x(1, 1, 9) + x(2, 1, 9) + x(3, 1, 9) + x(1, 1, 10) + x(2, 1, 10) + x(3, 1, 10) + x(1, 1, 11) + x(2, 1, 11) + x(3, 1, 11) + x(1, 1, 12) + x(2, 1, 12)
+ x(3, 1, 12) + x(1, 1, 13) + x(2, 1, 13) + x(3, 1, 13) + x(1, 1, 14) + x(2, 1, 14) + x(3, 1, 14) + x(1, 1, 15) + x(2, 1, 15) + x(3, 1, 15) + x(1, 1, 16) + x(2, 1, 16) + x(3, 1, 16) <= 1
(1, 86)
x(1, 2, 8) + x(2, 2, 8) + x(3, 2, 8) + x(1, 2, 9) + x(2, 2, 9) + x(3, 2, 9) + x(1, 2, 10) + x(2, 2, 10) + x(3, 2, 10) + x(1, 2, 11) + x(2, 2, 11) + x(3, 2, 11) + x(1, 2, 12) + x(2, 2, 12)
+ x(3, 2, 12) + x(1, 2, 13) + x(2, 2, 13) + x(3, 2, 13) + x(1, 2, 14) + x(2, 2, 14) + x(3, 2, 14) + x(1, 2, 15) + x(2, 2, 15) + x(3, 2, 15) + x(1, 2, 16) + x(2, 2, 16) + x(3, 2, 16) <= 1
(1, 87)
x(1, 1, 9) + x(2, 1, 9) + x(3, 1, 9) + x(1, 1, 10) + x(2, 1, 10) + x(3, 1, 10) + x(1, 1, 11) + x(2, 1, 11) + x(3, 1, 11) + x(1, 1, 12) + x(2, 1, 12) + x(3, 1, 12) + x(1, 1, 13) + x(2, 1, 13)
+ x(3, 1, 13) + x(1, 1, 14) + x(2, 1, 14) + x(3, 1, 14) + x(1, 1, 15) + x(2, 1, 15) + x(3, 1, 15) + x(1, 1, 16) + x(2, 1, 16) + x(3, 1, 16) + x(1, 1, 17) + x(2, 1, 17) + x(3, 1, 17) <= 1
(1, 88)
x(1, 2, 9) + x(2, 2, 9) + x(3, 2, 9) + x(1, 2, 10) + x(2, 2, 10) + x(3, 2, 10) + x(1, 2, 11) + x(2, 2, 11) + x(3, 2, 11) + x(1, 2, 12) + x(2, 2, 12) + x(3, 2, 12) + x(1, 2, 13) + x(2, 2, 13)
+ x(3, 2, 13) + x(1, 2, 14) + x(2, 2, 14) + x(3, 2, 14) + x(1, 2, 15) + x(2, 2, 15) + x(3, 2, 15) + x(1, 2, 16) + x(2, 2, 16) + x(3, 2, 16) + x(1, 2, 17) + x(2, 2, 17) + x(3, 2, 17) <= 1
(1, 89)
x(1, 1, 10) + x(2, 1, 10) + x(3, 1, 10) + x(1, 1, 11) + x(2, 1, 11) + x(3, 1, 11) + x(1, 1, 12) + x(2, 1, 12) + x(3, 1, 12) + x(1, 1, 13) + x(2, 1, 13) + x(3, 1, 13) + x(1, 1, 14)
+ x(2, 1, 14) + x(3, 1, 14) + x(1, 1, 15) + x(2, 1, 15) + x(3, 1, 15) + x(1, 1, 16) + x(2, 1, 16) + x(3, 1, 16) + x(1, 1, 17) + x(2, 1, 17) + x(3, 1, 17) + x(1, 1, 18) + x(2, 1, 18)
+ x(3, 1, 18) <= 1
(1, 90)
x(1, 2, 10) + x(2, 2, 10) + x(3, 2, 10) + x(1, 2, 11) + x(2, 2, 11) + x(3, 2, 11) + x(1, 2, 12) + x(2, 2, 12) + x(3, 2, 12) + x(1, 2, 13) + x(2, 2, 13) + x(3, 2, 13) + x(1, 2, 14)
+ x(2, 2, 14) + x(3, 2, 14) + x(1, 2, 15) + x(2, 2, 15) + x(3, 2, 15) + x(1, 2, 16) + x(2, 2, 16) + x(3, 2, 16) + x(1, 2, 17) + x(2, 2, 17) + x(3, 2, 17) + x(1, 2, 18) + x(2, 2, 18)
+ x(3, 2, 18) <= 1
(1, 91)
x(1, 1, 11) + x(2, 1, 11) + x(3, 1, 11) + x(1, 1, 12) + x(2, 1, 12) + x(3, 1, 12) + x(1, 1, 13) + x(2, 1, 13) + x(3, 1, 13) + x(1, 1, 14) + x(2, 1, 14) + x(3, 1, 14) + x(1, 1, 15)
+ x(2, 1, 15) + x(3, 1, 15) + x(1, 1, 16) + x(2, 1, 16) + x(3, 1, 16) + x(1, 1, 17) + x(2, 1, 17) + x(3, 1, 17) + x(1, 1, 18) + x(2, 1, 18) + x(3, 1, 18) + x(1, 1, 19) + x(2, 1, 19)
+ x(3, 1, 19) <= 1
(1, 92)
x(1, 2, 11) + x(2, 2, 11) + x(3, 2, 11) + x(1, 2, 12) + x(2, 2, 12) + x(3, 2, 12) + x(1, 2, 13) + x(2, 2, 13) + x(3, 2, 13) + x(1, 2, 14) + x(2, 2, 14) + x(3, 2, 14) + x(1, 2, 15)
+ x(2, 2, 15) + x(3, 2, 15) + x(1, 2, 16) + x(2, 2, 16) + x(3, 2, 16) + x(1, 2, 17) + x(2, 2, 17) + x(3, 2, 17) + x(1, 2, 18) + x(2, 2, 18) + x(3, 2, 18) + x(1, 2, 19) + x(2, 2, 19)
+ x(3, 2, 19) <= 1
(1, 93)
x(1, 1, 12) + x(2, 1, 12) + x(3, 1, 12) + x(1, 1, 13) + x(2, 1, 13) + x(3, 1, 13) + x(1, 1, 14) + x(2, 1, 14) + x(3, 1, 14) + x(1, 1, 15) + x(2, 1, 15) + x(3, 1, 15) + x(1, 1, 16)
+ x(2, 1, 16) + x(3, 1, 16) + x(1, 1, 17) + x(2, 1, 17) + x(3, 1, 17) + x(1, 1, 18) + x(2, 1, 18) + x(3, 1, 18) + x(1, 1, 19) + x(2, 1, 19) + x(3, 1, 19) + x(1, 1, 20) + x(2, 1, 20)
+ x(3, 1, 20) <= 1
(1, 94)
x(1, 2, 12) + x(2, 2, 12) + x(3, 2, 12) + x(1, 2, 13) + x(2, 2, 13) + x(3, 2, 13) + x(1, 2, 14) + x(2, 2, 14) + x(3, 2, 14) + x(1, 2, 15) + x(2, 2, 15) + x(3, 2, 15) + x(1, 2, 16)
+ x(2, 2, 16) + x(3, 2, 16) + x(1, 2, 17) + x(2, 2, 17) + x(3, 2, 17) + x(1, 2, 18) + x(2, 2, 18) + x(3, 2, 18) + x(1, 2, 19) + x(2, 2, 19) + x(3, 2, 19) + x(1, 2, 20) + x(2, 2, 20)
+ x(3, 2, 20) <= 1
(1, 95)
x(1, 1, 13) + x(2, 1, 13) + x(3, 1, 13) + x(1, 1, 14) + x(2, 1, 14) + x(3, 1, 14) + x(1, 1, 15) + x(2, 1, 15) + x(3, 1, 15) + x(1, 1, 16) + x(2, 1, 16) + x(3, 1, 16) + x(1, 1, 17)
+ x(2, 1, 17) + x(3, 1, 17) + x(1, 1, 18) + x(2, 1, 18) + x(3, 1, 18) + x(1, 1, 19) + x(2, 1, 19) + x(3, 1, 19) + x(1, 1, 20) + x(2, 1, 20) + x(3, 1, 20) + x(1, 1, 21) + x(2, 1, 21)
+ x(3, 1, 21) <= 1
(1, 96)
x(1, 2, 13) + x(2, 2, 13) + x(3, 2, 13) + x(1, 2, 14) + x(2, 2, 14) + x(3, 2, 14) + x(1, 2, 15) + x(2, 2, 15) + x(3, 2, 15) + x(1, 2, 16) + x(2, 2, 16) + x(3, 2, 16) + x(1, 2, 17)
+ x(2, 2, 17) + x(3, 2, 17) + x(1, 2, 18) + x(2, 2, 18) + x(3, 2, 18) + x(1, 2, 19) + x(2, 2, 19) + x(3, 2, 19) + x(1, 2, 20) + x(2, 2, 20) + x(3, 2, 20) + x(1, 2, 21) + x(2, 2, 21)
+ x(3, 2, 21) <= 1
(1, 97)
x(1, 1, 14) + x(2, 1, 14) + x(3, 1, 14) + x(1, 1, 15) + x(2, 1, 15) + x(3, 1, 15) + x(1, 1, 16) + x(2, 1, 16) + x(3, 1, 16) + x(1, 1, 17) + x(2, 1, 17) + x(3, 1, 17) + x(1, 1, 18)
+ x(2, 1, 18) + x(3, 1, 18) + x(1, 1, 19) + x(2, 1, 19) + x(3, 1, 19) + x(1, 1, 20) + x(2, 1, 20) + x(3, 1, 20) + x(1, 1, 21) + x(2, 1, 21) + x(3, 1, 21) + x(1, 1, 22) + x(2, 1, 22)
+ x(3, 1, 22) <= 1
(1, 98)
x(1, 2, 14) + x(2, 2, 14) + x(3, 2, 14) + x(1, 2, 15) + x(2, 2, 15) + x(3, 2, 15) + x(1, 2, 16) + x(2, 2, 16) + x(3, 2, 16) + x(1, 2, 17) + x(2, 2, 17) + x(3, 2, 17) + x(1, 2, 18)
+ x(2, 2, 18) + x(3, 2, 18) + x(1, 2, 19) + x(2, 2, 19) + x(3, 2, 19) + x(1, 2, 20) + x(2, 2, 20) + x(3, 2, 20) + x(1, 2, 21) + x(2, 2, 21) + x(3, 2, 21) + x(1, 2, 22) + x(2, 2, 22)
+ x(3, 2, 22) <= 1
(1, 99)
x(1, 1, 15) + x(2, 1, 15) + x(3, 1, 15) + x(1, 1, 16) + x(2, 1, 16) + x(3, 1, 16) + x(1, 1, 17) + x(2, 1, 17) + x(3, 1, 17) + x(1, 1, 18) + x(2, 1, 18) + x(3, 1, 18) + x(1, 1, 19)
+ x(2, 1, 19) + x(3, 1, 19) + x(1, 1, 20) + x(2, 1, 20) + x(3, 1, 20) + x(1, 1, 21) + x(2, 1, 21) + x(3, 1, 21) + x(1, 1, 22) + x(2, 1, 22) + x(3, 1, 22) + x(1, 1, 23) + x(2, 1, 23)
+ x(3, 1, 23) <= 1
(1, 100)
x(1, 2, 15) + x(2, 2, 15) + x(3, 2, 15) + x(1, 2, 16) + x(2, 2, 16) + x(3, 2, 16) + x(1, 2, 17) + x(2, 2, 17) + x(3, 2, 17) + x(1, 2, 18) + x(2, 2, 18) + x(3, 2, 18) + x(1, 2, 19)
+ x(2, 2, 19) + x(3, 2, 19) + x(1, 2, 20) + x(2, 2, 20) + x(3, 2, 20) + x(1, 2, 21) + x(2, 2, 21) + x(3, 2, 21) + x(1, 2, 22) + x(2, 2, 22) + x(3, 2, 22) + x(1, 2, 23) + x(2, 2, 23)
+ x(3, 2, 23) <= 1
(1, 101)
x(1, 1, 16) + x(2, 1, 16) + x(3, 1, 16) + x(1, 1, 17) + x(2, 1, 17) + x(3, 1, 17) + x(1, 1, 18) + x(2, 1, 18) + x(3, 1, 18) + x(1, 1, 19) + x(2, 1, 19) + x(3, 1, 19) + x(1, 1, 20)
+ x(2, 1, 20) + x(3, 1, 20) + x(1, 1, 21) + x(2, 1, 21) + x(3, 1, 21) + x(1, 1, 22) + x(2, 1, 22) + x(3, 1, 22) + x(1, 1, 23) + x(2, 1, 23) + x(3, 1, 23) + x(1, 1, 24) + x(2, 1, 24)
+ x(3, 1, 24) <= 1
(1, 102)
x(1, 2, 16) + x(2, 2, 16) + x(3, 2, 16) + x(1, 2, 17) + x(2, 2, 17) + x(3, 2, 17) + x(1, 2, 18) + x(2, 2, 18) + x(3, 2, 18) + x(1, 2, 19) + x(2, 2, 19) + x(3, 2, 19) + x(1, 2, 20)
+ x(2, 2, 20) + x(3, 2, 20) + x(1, 2, 21) + x(2, 2, 21) + x(3, 2, 21) + x(1, 2, 2...