Result from multiple for-Loops should go through all values

1 view (last 30 days)
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
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 .

Sign in to comment.

Answers (1)

Bruno Luong
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...

Products


Release

R2022a

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!