You are now following this question
- You will see updates in your followed content feed.
- You may receive emails, depending on your communication preferences.
Result from multiple for-Loops should go through all values
1 view (last 30 days)
Show older comments
I have the following simplified code:
processing_time= [15 22; 8 13; 10 15];
x = optimvar('x',3,2,50,'Type', 'integer','LowerBound',0,'UpperBound',1);
for ress = 1:2
for task = 1:3
for time = 1:50
if (time - processing_time(task,ress) >0) %should guarantee positive values only
Constraint2 = squeeze(sum(sum(x(:, :, (time - processing_time(task, ress)):time), 1), 3)) <= 1;
%should sum for ress 1 and afterwards for ress 2, over all
%values from (time-processing_time(task,ress)) to time
end
end
end
end
show(Constraint2)
(1, 1)
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, 2)
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
As you cann see it only does the "last" time value (in this case 50), instead of all the previous values that the for-loop (inner one but also the two above) should go through.
I need the code to take ress=1 and task=1 and afterwards go through all time = 1:50 values. At this point it checks the if-Line (in this example it would >0 after time=15) and after this it should go through time=15 , time=16 , ... time=50
Next, it should take the values ress=1 and task=2 and go through all time= 1:50 values (at this point the if-Line will let it through after processing_time > 22)
and so on - I hope I made myself clear.
As you can see it only works with ress=1 and task =1 and it seems to me like it ignores the other/above two for loops completely.
How can I fix this?
To explain - I am trying to create a double sumation constraint, where j=task, t= time, r=ress and pt_jr=processing time (matrix)
Thanks ahead!
1 Comment
Torsten
on 1 Sep 2022
I would be helful if you could explicitly write down what you want "Constraint2" to be instead of what you get .
Answers (1)
Bruno Luong
on 1 Sep 2022
processing_time= [15 22; 8 13; 10 15];
x = optimvar('x',3,2,50,'Type', 'integer','LowerBound',0,'UpperBound',1);
Constraint2 = [];
for ress = 1:2
for task = 1:3
for time = 1:50
if (time - processing_time(task,ress) >0) %should guarantee positive values only
Constraint2 = [Constraint2, ...
sum(sum(x(:, :, (time - processing_time(task, ress)):time), 1), 3) <= 1;
];
%should sum for ress 1 and afterwards for ress 2, over all
%values from (time-processing_time(task,ress)) to time
end
end
end
end
show(Constraint2)
(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...
See Also
Tags
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!An Error Occurred
Unable to complete the action because of changes made to the page. Reload the page to see its updated state.
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
You can also select a web site from the following list
How to Get Best Site Performance
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
Asia Pacific
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)