\* Problem: maq *\ Minimize obj: + cmax Subject To rest1(T1): + x(M1,T2,T1) + x(M1,T3,T1) + x(M1,T4,T1) + x(M1,T5,T1) + x(M1,T6,T1) + x(M1,0,T1) + x(M2,T2,T1) + x(M2,T3,T1) + x(M2,T4,T1) + x(M2,T5,T1) + x(M2,T6,T1) + x(M2,0,T1) + x(M3,T2,T1) + x(M3,T3,T1) + x(M3,T4,T1) + x(M3,T5,T1) + x(M3,T6,T1) + x(M3,0,T1) + x(M4,T2,T1) + x(M4,T3,T1) + x(M4,T4,T1) + x(M4,T5,T1) + x(M4,T6,T1) + x(M4,0,T1) = 1 rest1(T2): + x(M1,T1,T2) + x(M1,T3,T2) + x(M1,T4,T2) + x(M1,T5,T2) + x(M1,T6,T2) + x(M1,0,T2) + x(M2,T1,T2) + x(M2,T3,T2) + x(M2,T4,T2) + x(M2,T5,T2) + x(M2,T6,T2) + x(M2,0,T2) + x(M3,T1,T2) + x(M3,T3,T2) + x(M3,T4,T2) + x(M3,T5,T2) + x(M3,T6,T2) + x(M3,0,T2) + x(M4,T1,T2) + x(M4,T3,T2) + x(M4,T4,T2) + x(M4,T5,T2) + x(M4,T6,T2) + x(M4,0,T2) = 1 rest1(T3): + x(M1,T1,T3) + x(M1,T2,T3) + x(M1,T4,T3) + x(M1,T5,T3) + x(M1,T6,T3) + x(M1,0,T3) + x(M2,T1,T3) + x(M2,T2,T3) + x(M2,T4,T3) + x(M2,T5,T3) + x(M2,T6,T3) + x(M2,0,T3) + x(M3,T1,T3) + x(M3,T2,T3) + x(M3,T4,T3) + x(M3,T5,T3) + x(M3,T6,T3) + x(M3,0,T3) + x(M4,T1,T3) + x(M4,T2,T3) + x(M4,T4,T3) + x(M4,T5,T3) + x(M4,T6,T3) + x(M4,0,T3) = 1 rest1(T4): + x(M1,T1,T4) + x(M1,T2,T4) + x(M1,T3,T4) + x(M1,T5,T4) + x(M1,T6,T4) + x(M1,0,T4) + x(M2,T1,T4) + x(M2,T2,T4) + x(M2,T3,T4) + x(M2,T5,T4) + x(M2,T6,T4) + x(M2,0,T4) + x(M3,T1,T4) + x(M3,T2,T4) + x(M3,T3,T4) + x(M3,T5,T4) + x(M3,T6,T4) + x(M3,0,T4) + x(M4,T1,T4) + x(M4,T2,T4) + x(M4,T3,T4) + x(M4,T5,T4) + x(M4,T6,T4) + x(M4,0,T4) = 1 rest1(T5): + x(M1,T1,T5) + x(M1,T2,T5) + x(M1,T3,T5) + x(M1,T4,T5) + x(M1,T6,T5) + x(M1,0,T5) + x(M2,T1,T5) + x(M2,T2,T5) + x(M2,T3,T5) + x(M2,T4,T5) + x(M2,T6,T5) + x(M2,0,T5) + x(M3,T1,T5) + x(M3,T2,T5) + x(M3,T3,T5) + x(M3,T4,T5) + x(M3,T6,T5) + x(M3,0,T5) + x(M4,T1,T5) + x(M4,T2,T5) + x(M4,T3,T5) + x(M4,T4,T5) + x(M4,T6,T5) + x(M4,0,T5) = 1 rest1(T6): + x(M1,T1,T6) + x(M1,T2,T6) + x(M1,T3,T6) + x(M1,T4,T6) + x(M1,T5,T6) + x(M1,0,T6) + x(M2,T1,T6) + x(M2,T2,T6) + x(M2,T3,T6) + x(M2,T4,T6) + x(M2,T5,T6) + x(M2,0,T6) + x(M3,T1,T6) + x(M3,T2,T6) + x(M3,T3,T6) + x(M3,T4,T6) + x(M3,T5,T6) + x(M3,0,T6) + x(M4,T1,T6) + x(M4,T2,T6) + x(M4,T3,T6) + x(M4,T4,T6) + x(M4,T5,T6) + x(M4,0,T6) = 1 rest2(T1): + x(M1,T1,T2) + x(M2,T1,T2) + x(M3,T1,T2) + x(M4,T1,T2) + x(M1,T1,T3) + x(M2,T1,T3) + x(M3,T1,T3) + x(M4,T1,T3) + x(M1,T1,T4) + x(M2,T1,T4) + x(M3,T1,T4) + x(M4,T1,T4) + x(M1,T1,T5) + x(M2,T1,T5) + x(M3,T1,T5) + x(M4,T1,T5) + x(M1,T1,T6) + x(M2,T1,T6) + x(M3,T1,T6) + x(M4,T1,T6) <= 1 rest2(T2): + x(M1,T2,T1) + x(M2,T2,T1) + x(M3,T2,T1) + x(M4,T2,T1) + x(M1,T2,T3) + x(M2,T2,T3) + x(M3,T2,T3) + x(M4,T2,T3) + x(M1,T2,T4) + x(M2,T2,T4) + x(M3,T2,T4) + x(M4,T2,T4) + x(M1,T2,T5) + x(M2,T2,T5) + x(M3,T2,T5) + x(M4,T2,T5) + x(M1,T2,T6) + x(M2,T2,T6) + x(M3,T2,T6) + x(M4,T2,T6) <= 1 rest2(T3): + x(M1,T3,T1) + x(M2,T3,T1) + x(M3,T3,T1) + x(M4,T3,T1) + x(M1,T3,T2) + x(M2,T3,T2) + x(M3,T3,T2) + x(M4,T3,T2) + x(M1,T3,T4) + x(M2,T3,T4) + x(M3,T3,T4) + x(M4,T3,T4) + x(M1,T3,T5) + x(M2,T3,T5) + x(M3,T3,T5) + x(M4,T3,T5) + x(M1,T3,T6) + x(M2,T3,T6) + x(M3,T3,T6) + x(M4,T3,T6) <= 1 rest2(T4): + x(M1,T4,T1) + x(M2,T4,T1) + x(M3,T4,T1) + x(M4,T4,T1) + x(M1,T4,T2) + x(M2,T4,T2) + x(M3,T4,T2) + x(M4,T4,T2) + x(M1,T4,T3) + x(M2,T4,T3) + x(M3,T4,T3) + x(M4,T4,T3) + x(M1,T4,T5) + x(M2,T4,T5) + x(M3,T4,T5) + x(M4,T4,T5) + x(M1,T4,T6) + x(M2,T4,T6) + x(M3,T4,T6) + x(M4,T4,T6) <= 1 rest2(T5): + x(M1,T5,T1) + x(M2,T5,T1) + x(M3,T5,T1) + x(M4,T5,T1) + x(M1,T5,T2) + x(M2,T5,T2) + x(M3,T5,T2) + x(M4,T5,T2) + x(M1,T5,T3) + x(M2,T5,T3) + x(M3,T5,T3) + x(M4,T5,T3) + x(M1,T5,T4) + x(M2,T5,T4) + x(M3,T5,T4) + x(M4,T5,T4) + x(M1,T5,T6) + x(M2,T5,T6) + x(M3,T5,T6) + x(M4,T5,T6) <= 1 rest2(T6): + x(M1,T6,T1) + x(M2,T6,T1) + x(M3,T6,T1) + x(M4,T6,T1) + x(M1,T6,T2) + x(M2,T6,T2) + x(M3,T6,T2) + x(M4,T6,T2) + x(M1,T6,T3) + x(M2,T6,T3) + x(M3,T6,T3) + x(M4,T6,T3) + x(M1,T6,T4) + x(M2,T6,T4) + x(M3,T6,T4) + x(M4,T6,T4) + x(M1,T6,T5) + x(M2,T6,T5) + x(M3,T6,T5) + x(M4,T6,T5) <= 1 rest3(M1): + x(M1,0,T1) + x(M1,0,T2) + x(M1,0,T3) + x(M1,0,T4) + x(M1,0,T5) + x(M1,0,T6) <= 1 rest3(M2): + x(M2,0,T1) + x(M2,0,T2) + x(M2,0,T3) + x(M2,0,T4) + x(M2,0,T5) + x(M2,0,T6) <= 1 rest3(M3): + x(M3,0,T1) + x(M3,0,T2) + x(M3,0,T3) + x(M3,0,T4) + x(M3,0,T5) + x(M3,0,T6) <= 1 rest3(M4): + x(M4,0,T1) + x(M4,0,T2) + x(M4,0,T3) + x(M4,0,T4) + x(M4,0,T5) + x(M4,0,T6) <= 1 rest4(T1,T2,M1): + x(M1,T3,T1) + x(M1,T4,T1) + x(M1,T5,T1) + x(M1,T6,T1) + x(M1,0,T1) - x(M1,T1,T2) >= -0 rest4(T1,T2,M2): + x(M2,T3,T1) + x(M2,T4,T1) + x(M2,T5,T1) + x(M2,T6,T1) + x(M2,0,T1) - x(M2,T1,T2) >= -0 rest4(T1,T2,M3): + x(M3,T3,T1) + x(M3,T4,T1) + x(M3,T5,T1) + x(M3,T6,T1) + x(M3,0,T1) - x(M3,T1,T2) >= -0 rest4(T1,T2,M4): + x(M4,T3,T1) + x(M4,T4,T1) + x(M4,T5,T1) + x(M4,T6,T1) + x(M4,0,T1) - x(M4,T1,T2) >= -0 rest4(T1,T3,M1): + x(M1,T2,T1) + x(M1,T4,T1) + x(M1,T5,T1) + x(M1,T6,T1) + x(M1,0,T1) - x(M1,T1,T3) >= -0 rest4(T1,T3,M2): + x(M2,T2,T1) + x(M2,T4,T1) + x(M2,T5,T1) + x(M2,T6,T1) + x(M2,0,T1) - x(M2,T1,T3) >= -0 rest4(T1,T3,M3): + x(M3,T2,T1) + x(M3,T4,T1) + x(M3,T5,T1) + x(M3,T6,T1) + x(M3,0,T1) - x(M3,T1,T3) >= -0 rest4(T1,T3,M4): + x(M4,T2,T1) + x(M4,T4,T1) + x(M4,T5,T1) + x(M4,T6,T1) + x(M4,0,T1) - x(M4,T1,T3) >= -0 rest4(T1,T4,M1): + x(M1,T2,T1) + x(M1,T3,T1) + x(M1,T5,T1) + x(M1,T6,T1) + x(M1,0,T1) - x(M1,T1,T4) >= -0 rest4(T1,T4,M2): + x(M2,T2,T1) + x(M2,T3,T1) + x(M2,T5,T1) + x(M2,T6,T1) + x(M2,0,T1) - x(M2,T1,T4) >= -0 rest4(T1,T4,M3): + x(M3,T2,T1) + x(M3,T3,T1) + x(M3,T5,T1) + x(M3,T6,T1) + x(M3,0,T1) - x(M3,T1,T4) >= -0 rest4(T1,T4,M4): + x(M4,T2,T1) + x(M4,T3,T1) + x(M4,T5,T1) + x(M4,T6,T1) + x(M4,0,T1) - x(M4,T1,T4) >= -0 rest4(T1,T5,M1): + x(M1,T2,T1) + x(M1,T3,T1) + x(M1,T4,T1) + x(M1,T6,T1) + x(M1,0,T1) - x(M1,T1,T5) >= -0 rest4(T1,T5,M2): + x(M2,T2,T1) + x(M2,T3,T1) + x(M2,T4,T1) + x(M2,T6,T1) + x(M2,0,T1) - x(M2,T1,T5) >= -0 rest4(T1,T5,M3): + x(M3,T2,T1) + x(M3,T3,T1) + x(M3,T4,T1) + x(M3,T6,T1) + x(M3,0,T1) - x(M3,T1,T5) >= -0 rest4(T1,T5,M4): + x(M4,T2,T1) + x(M4,T3,T1) + x(M4,T4,T1) + x(M4,T6,T1) + x(M4,0,T1) - x(M4,T1,T5) >= -0 rest4(T1,T6,M1): + x(M1,T2,T1) + x(M1,T3,T1) + x(M1,T4,T1) + x(M1,T5,T1) + x(M1,0,T1) - x(M1,T1,T6) >= -0 rest4(T1,T6,M2): + x(M2,T2,T1) + x(M2,T3,T1) + x(M2,T4,T1) + x(M2,T5,T1) + x(M2,0,T1) - x(M2,T1,T6) >= -0 rest4(T1,T6,M3): + x(M3,T2,T1) + x(M3,T3,T1) + x(M3,T4,T1) + x(M3,T5,T1) + x(M3,0,T1) - x(M3,T1,T6) >= -0 rest4(T1,T6,M4): + x(M4,T2,T1) + x(M4,T3,T1) + x(M4,T4,T1) + x(M4,T5,T1) + x(M4,0,T1) - x(M4,T1,T6) >= -0 rest4(T2,T1,M1): - x(M1,T2,T1) + x(M1,T3,T2) + x(M1,T4,T2) + x(M1,T5,T2) + x(M1,T6,T2) + x(M1,0,T2) >= -0 rest4(T2,T1,M2): - x(M2,T2,T1) + x(M2,T3,T2) + x(M2,T4,T2) + x(M2,T5,T2) + x(M2,T6,T2) + x(M2,0,T2) >= -0 rest4(T2,T1,M3): - x(M3,T2,T1) + x(M3,T3,T2) + x(M3,T4,T2) + x(M3,T5,T2) + x(M3,T6,T2) + x(M3,0,T2) >= -0 rest4(T2,T1,M4): - x(M4,T2,T1) + x(M4,T3,T2) + x(M4,T4,T2) + x(M4,T5,T2) + x(M4,T6,T2) + x(M4,0,T2) >= -0 rest4(T2,T3,M1): + x(M1,T1,T2) + x(M1,T4,T2) + x(M1,T5,T2) + x(M1,T6,T2) + x(M1,0,T2) - x(M1,T2,T3) >= -0 rest4(T2,T3,M2): + x(M2,T1,T2) + x(M2,T4,T2) + x(M2,T5,T2) + x(M2,T6,T2) + x(M2,0,T2) - x(M2,T2,T3) >= -0 rest4(T2,T3,M3): + x(M3,T1,T2) + x(M3,T4,T2) + x(M3,T5,T2) + x(M3,T6,T2) + x(M3,0,T2) - x(M3,T2,T3) >= -0 rest4(T2,T3,M4): + x(M4,T1,T2) + x(M4,T4,T2) + x(M4,T5,T2) + x(M4,T6,T2) + x(M4,0,T2) - x(M4,T2,T3) >= -0 rest4(T2,T4,M1): + x(M1,T1,T2) + x(M1,T3,T2) + x(M1,T5,T2) + x(M1,T6,T2) + x(M1,0,T2) - x(M1,T2,T4) >= -0 rest4(T2,T4,M2): + x(M2,T1,T2) + x(M2,T3,T2) + x(M2,T5,T2) + x(M2,T6,T2) + x(M2,0,T2) - x(M2,T2,T4) >= -0 rest4(T2,T4,M3): + x(M3,T1,T2) + x(M3,T3,T2) + x(M3,T5,T2) + x(M3,T6,T2) + x(M3,0,T2) - x(M3,T2,T4) >= -0 rest4(T2,T4,M4): + x(M4,T1,T2) + x(M4,T3,T2) + x(M4,T5,T2) + x(M4,T6,T2) + x(M4,0,T2) - x(M4,T2,T4) >= -0 rest4(T2,T5,M1): + x(M1,T1,T2) + x(M1,T3,T2) + x(M1,T4,T2) + x(M1,T6,T2) + x(M1,0,T2) - x(M1,T2,T5) >= -0 rest4(T2,T5,M2): + x(M2,T1,T2) + x(M2,T3,T2) + x(M2,T4,T2) + x(M2,T6,T2) + x(M2,0,T2) - x(M2,T2,T5) >= -0 rest4(T2,T5,M3): + x(M3,T1,T2) + x(M3,T3,T2) + x(M3,T4,T2) + x(M3,T6,T2) + x(M3,0,T2) - x(M3,T2,T5) >= -0 rest4(T2,T5,M4): + x(M4,T1,T2) + x(M4,T3,T2) + x(M4,T4,T2) + x(M4,T6,T2) + x(M4,0,T2) - x(M4,T2,T5) >= -0 rest4(T2,T6,M1): + x(M1,T1,T2) + x(M1,T3,T2) + x(M1,T4,T2) + x(M1,T5,T2) + x(M1,0,T2) - x(M1,T2,T6) >= -0 rest4(T2,T6,M2): + x(M2,T1,T2) + x(M2,T3,T2) + x(M2,T4,T2) + x(M2,T5,T2) + x(M2,0,T2) - x(M2,T2,T6) >= -0 rest4(T2,T6,M3): + x(M3,T1,T2) + x(M3,T3,T2) + x(M3,T4,T2) + x(M3,T5,T2) + x(M3,0,T2) - x(M3,T2,T6) >= -0 rest4(T2,T6,M4): + x(M4,T1,T2) + x(M4,T3,T2) + x(M4,T4,T2) + x(M4,T5,T2) + x(M4,0,T2) - x(M4,T2,T6) >= -0 rest4(T3,T1,M1): - x(M1,T3,T1) + x(M1,T2,T3) + x(M1,T4,T3) + x(M1,T5,T3) + x(M1,T6,T3) + x(M1,0,T3) >= -0 rest4(T3,T1,M2): - x(M2,T3,T1) + x(M2,T2,T3) + x(M2,T4,T3) + x(M2,T5,T3) + x(M2,T6,T3) + x(M2,0,T3) >= -0 rest4(T3,T1,M3): - x(M3,T3,T1) + x(M3,T2,T3) + x(M3,T4,T3) + x(M3,T5,T3) + x(M3,T6,T3) + x(M3,0,T3) >= -0 rest4(T3,T1,M4): - x(M4,T3,T1) + x(M4,T2,T3) + x(M4,T4,T3) + x(M4,T5,T3) + x(M4,T6,T3) + x(M4,0,T3) >= -0 rest4(T3,T2,M1): - x(M1,T3,T2) + x(M1,T1,T3) + x(M1,T4,T3) + x(M1,T5,T3) + x(M1,T6,T3) + x(M1,0,T3) >= -0 rest4(T3,T2,M2): - x(M2,T3,T2) + x(M2,T1,T3) + x(M2,T4,T3) + x(M2,T5,T3) + x(M2,T6,T3) + x(M2,0,T3) >= -0 rest4(T3,T2,M3): - x(M3,T3,T2) + x(M3,T1,T3) + x(M3,T4,T3) + x(M3,T5,T3) + x(M3,T6,T3) + x(M3,0,T3) >= -0 rest4(T3,T2,M4): - x(M4,T3,T2) + x(M4,T1,T3) + x(M4,T4,T3) + x(M4,T5,T3) + x(M4,T6,T3) + x(M4,0,T3) >= -0 rest4(T3,T4,M1): + x(M1,T1,T3) + x(M1,T2,T3) + x(M1,T5,T3) + x(M1,T6,T3) + x(M1,0,T3) - x(M1,T3,T4) >= -0 rest4(T3,T4,M2): + x(M2,T1,T3) + x(M2,T2,T3) + x(M2,T5,T3) + x(M2,T6,T3) + x(M2,0,T3) - x(M2,T3,T4) >= -0 rest4(T3,T4,M3): + x(M3,T1,T3) + x(M3,T2,T3) + x(M3,T5,T3) + x(M3,T6,T3) + x(M3,0,T3) - x(M3,T3,T4) >= -0 rest4(T3,T4,M4): + x(M4,T1,T3) + x(M4,T2,T3) + x(M4,T5,T3) + x(M4,T6,T3) + x(M4,0,T3) - x(M4,T3,T4) >= -0 rest4(T3,T5,M1): + x(M1,T1,T3) + x(M1,T2,T3) + x(M1,T4,T3) + x(M1,T6,T3) + x(M1,0,T3) - x(M1,T3,T5) >= -0 rest4(T3,T5,M2): + x(M2,T1,T3) + x(M2,T2,T3) + x(M2,T4,T3) + x(M2,T6,T3) + x(M2,0,T3) - x(M2,T3,T5) >= -0 rest4(T3,T5,M3): + x(M3,T1,T3) + x(M3,T2,T3) + x(M3,T4,T3) + x(M3,T6,T3) + x(M3,0,T3) - x(M3,T3,T5) >= -0 rest4(T3,T5,M4): + x(M4,T1,T3) + x(M4,T2,T3) + x(M4,T4,T3) + x(M4,T6,T3) + x(M4,0,T3) - x(M4,T3,T5) >= -0 rest4(T3,T6,M1): + x(M1,T1,T3) + x(M1,T2,T3) + x(M1,T4,T3) + x(M1,T5,T3) + x(M1,0,T3) - x(M1,T3,T6) >= -0 rest4(T3,T6,M2): + x(M2,T1,T3) + x(M2,T2,T3) + x(M2,T4,T3) + x(M2,T5,T3) + x(M2,0,T3) - x(M2,T3,T6) >= -0 rest4(T3,T6,M3): + x(M3,T1,T3) + x(M3,T2,T3) + x(M3,T4,T3) + x(M3,T5,T3) + x(M3,0,T3) - x(M3,T3,T6) >= -0 rest4(T3,T6,M4): + x(M4,T1,T3) + x(M4,T2,T3) + x(M4,T4,T3) + x(M4,T5,T3) + x(M4,0,T3) - x(M4,T3,T6) >= -0 rest4(T4,T1,M1): - x(M1,T4,T1) + x(M1,T2,T4) + x(M1,T3,T4) + x(M1,T5,T4) + x(M1,T6,T4) + x(M1,0,T4) >= -0 rest4(T4,T1,M2): - x(M2,T4,T1) + x(M2,T2,T4) + x(M2,T3,T4) + x(M2,T5,T4) + x(M2,T6,T4) + x(M2,0,T4) >= -0 rest4(T4,T1,M3): - x(M3,T4,T1) + x(M3,T2,T4) + x(M3,T3,T4) + x(M3,T5,T4) + x(M3,T6,T4) + x(M3,0,T4) >= -0 rest4(T4,T1,M4): - x(M4,T4,T1) + x(M4,T2,T4) + x(M4,T3,T4) + x(M4,T5,T4) + x(M4,T6,T4) + x(M4,0,T4) >= -0 rest4(T4,T2,M1): - x(M1,T4,T2) + x(M1,T1,T4) + x(M1,T3,T4) + x(M1,T5,T4) + x(M1,T6,T4) + x(M1,0,T4) >= -0 rest4(T4,T2,M2): - x(M2,T4,T2) + x(M2,T1,T4) + x(M2,T3,T4) + x(M2,T5,T4) + x(M2,T6,T4) + x(M2,0,T4) >= -0 rest4(T4,T2,M3): - x(M3,T4,T2) + x(M3,T1,T4) + x(M3,T3,T4) + x(M3,T5,T4) + x(M3,T6,T4) + x(M3,0,T4) >= -0 rest4(T4,T2,M4): - x(M4,T4,T2) + x(M4,T1,T4) + x(M4,T3,T4) + x(M4,T5,T4) + x(M4,T6,T4) + x(M4,0,T4) >= -0 rest4(T4,T3,M1): - x(M1,T4,T3) + x(M1,T1,T4) + x(M1,T2,T4) + x(M1,T5,T4) + x(M1,T6,T4) + x(M1,0,T4) >= -0 rest4(T4,T3,M2): - x(M2,T4,T3) + x(M2,T1,T4) + x(M2,T2,T4) + x(M2,T5,T4) + x(M2,T6,T4) + x(M2,0,T4) >= -0 rest4(T4,T3,M3): - x(M3,T4,T3) + x(M3,T1,T4) + x(M3,T2,T4) + x(M3,T5,T4) + x(M3,T6,T4) + x(M3,0,T4) >= -0 rest4(T4,T3,M4): - x(M4,T4,T3) + x(M4,T1,T4) + x(M4,T2,T4) + x(M4,T5,T4) + x(M4,T6,T4) + x(M4,0,T4) >= -0 rest4(T4,T5,M1): + x(M1,T1,T4) + x(M1,T2,T4) + x(M1,T3,T4) + x(M1,T6,T4) + x(M1,0,T4) - x(M1,T4,T5) >= -0 rest4(T4,T5,M2): + x(M2,T1,T4) + x(M2,T2,T4) + x(M2,T3,T4) + x(M2,T6,T4) + x(M2,0,T4) - x(M2,T4,T5) >= -0 rest4(T4,T5,M3): + x(M3,T1,T4) + x(M3,T2,T4) + x(M3,T3,T4) + x(M3,T6,T4) + x(M3,0,T4) - x(M3,T4,T5) >= -0 rest4(T4,T5,M4): + x(M4,T1,T4) + x(M4,T2,T4) + x(M4,T3,T4) + x(M4,T6,T4) + x(M4,0,T4) - x(M4,T4,T5) >= -0 rest4(T4,T6,M1): + x(M1,T1,T4) + x(M1,T2,T4) + x(M1,T3,T4) + x(M1,T5,T4) + x(M1,0,T4) - x(M1,T4,T6) >= -0 rest4(T4,T6,M2): + x(M2,T1,T4) + x(M2,T2,T4) + x(M2,T3,T4) + x(M2,T5,T4) + x(M2,0,T4) - x(M2,T4,T6) >= -0 rest4(T4,T6,M3): + x(M3,T1,T4) + x(M3,T2,T4) + x(M3,T3,T4) + x(M3,T5,T4) + x(M3,0,T4) - x(M3,T4,T6) >= -0 rest4(T4,T6,M4): + x(M4,T1,T4) + x(M4,T2,T4) + x(M4,T3,T4) + x(M4,T5,T4) + x(M4,0,T4) - x(M4,T4,T6) >= -0 rest4(T5,T1,M1): - x(M1,T5,T1) + x(M1,T2,T5) + x(M1,T3,T5) + x(M1,T4,T5) + x(M1,T6,T5) + x(M1,0,T5) >= -0 rest4(T5,T1,M2): - x(M2,T5,T1) + x(M2,T2,T5) + x(M2,T3,T5) + x(M2,T4,T5) + x(M2,T6,T5) + x(M2,0,T5) >= -0 rest4(T5,T1,M3): - x(M3,T5,T1) + x(M3,T2,T5) + x(M3,T3,T5) + x(M3,T4,T5) + x(M3,T6,T5) + x(M3,0,T5) >= -0 rest4(T5,T1,M4): - x(M4,T5,T1) + x(M4,T2,T5) + x(M4,T3,T5) + x(M4,T4,T5) + x(M4,T6,T5) + x(M4,0,T5) >= -0 rest4(T5,T2,M1): - x(M1,T5,T2) + x(M1,T1,T5) + x(M1,T3,T5) + x(M1,T4,T5) + x(M1,T6,T5) + x(M1,0,T5) >= -0 rest4(T5,T2,M2): - x(M2,T5,T2) + x(M2,T1,T5) + x(M2,T3,T5) + x(M2,T4,T5) + x(M2,T6,T5) + x(M2,0,T5) >= -0 rest4(T5,T2,M3): - x(M3,T5,T2) + x(M3,T1,T5) + x(M3,T3,T5) + x(M3,T4,T5) + x(M3,T6,T5) + x(M3,0,T5) >= -0 rest4(T5,T2,M4): - x(M4,T5,T2) + x(M4,T1,T5) + x(M4,T3,T5) + x(M4,T4,T5) + x(M4,T6,T5) + x(M4,0,T5) >= -0 rest4(T5,T3,M1): - x(M1,T5,T3) + x(M1,T1,T5) + x(M1,T2,T5) + x(M1,T4,T5) + x(M1,T6,T5) + x(M1,0,T5) >= -0 rest4(T5,T3,M2): - x(M2,T5,T3) + x(M2,T1,T5) + x(M2,T2,T5) + x(M2,T4,T5) + x(M2,T6,T5) + x(M2,0,T5) >= -0 rest4(T5,T3,M3): - x(M3,T5,T3) + x(M3,T1,T5) + x(M3,T2,T5) + x(M3,T4,T5) + x(M3,T6,T5) + x(M3,0,T5) >= -0 rest4(T5,T3,M4): - x(M4,T5,T3) + x(M4,T1,T5) + x(M4,T2,T5) + x(M4,T4,T5) + x(M4,T6,T5) + x(M4,0,T5) >= -0 rest4(T5,T4,M1): - x(M1,T5,T4) + x(M1,T1,T5) + x(M1,T2,T5) + x(M1,T3,T5) + x(M1,T6,T5) + x(M1,0,T5) >= -0 rest4(T5,T4,M2): - x(M2,T5,T4) + x(M2,T1,T5) + x(M2,T2,T5) + x(M2,T3,T5) + x(M2,T6,T5) + x(M2,0,T5) >= -0 rest4(T5,T4,M3): - x(M3,T5,T4) + x(M3,T1,T5) + x(M3,T2,T5) + x(M3,T3,T5) + x(M3,T6,T5) + x(M3,0,T5) >= -0 rest4(T5,T4,M4): - x(M4,T5,T4) + x(M4,T1,T5) + x(M4,T2,T5) + x(M4,T3,T5) + x(M4,T6,T5) + x(M4,0,T5) >= -0 rest4(T5,T6,M1): + x(M1,T1,T5) + x(M1,T2,T5) + x(M1,T3,T5) + x(M1,T4,T5) + x(M1,0,T5) - x(M1,T5,T6) >= -0 rest4(T5,T6,M2): + x(M2,T1,T5) + x(M2,T2,T5) + x(M2,T3,T5) + x(M2,T4,T5) + x(M2,0,T5) - x(M2,T5,T6) >= -0 rest4(T5,T6,M3): + x(M3,T1,T5) + x(M3,T2,T5) + x(M3,T3,T5) + x(M3,T4,T5) + x(M3,0,T5) - x(M3,T5,T6) >= -0 rest4(T5,T6,M4): + x(M4,T1,T5) + x(M4,T2,T5) + x(M4,T3,T5) + x(M4,T4,T5) + x(M4,0,T5) - x(M4,T5,T6) >= -0 rest4(T6,T1,M1): - x(M1,T6,T1) + x(M1,T2,T6) + x(M1,T3,T6) + x(M1,T4,T6) + x(M1,T5,T6) + x(M1,0,T6) >= -0 rest4(T6,T1,M2): - x(M2,T6,T1) + x(M2,T2,T6) + x(M2,T3,T6) + x(M2,T4,T6) + x(M2,T5,T6) + x(M2,0,T6) >= -0 rest4(T6,T1,M3): - x(M3,T6,T1) + x(M3,T2,T6) + x(M3,T3,T6) + x(M3,T4,T6) + x(M3,T5,T6) + x(M3,0,T6) >= -0 rest4(T6,T1,M4): - x(M4,T6,T1) + x(M4,T2,T6) + x(M4,T3,T6) + x(M4,T4,T6) + x(M4,T5,T6) + x(M4,0,T6) >= -0 rest4(T6,T2,M1): - x(M1,T6,T2) + x(M1,T1,T6) + x(M1,T3,T6) + x(M1,T4,T6) + x(M1,T5,T6) + x(M1,0,T6) >= -0 rest4(T6,T2,M2): - x(M2,T6,T2) + x(M2,T1,T6) + x(M2,T3,T6) + x(M2,T4,T6) + x(M2,T5,T6) + x(M2,0,T6) >= -0 rest4(T6,T2,M3): - x(M3,T6,T2) + x(M3,T1,T6) + x(M3,T3,T6) + x(M3,T4,T6) + x(M3,T5,T6) + x(M3,0,T6) >= -0 rest4(T6,T2,M4): - x(M4,T6,T2) + x(M4,T1,T6) + x(M4,T3,T6) + x(M4,T4,T6) + x(M4,T5,T6) + x(M4,0,T6) >= -0 rest4(T6,T3,M1): - x(M1,T6,T3) + x(M1,T1,T6) + x(M1,T2,T6) + x(M1,T4,T6) + x(M1,T5,T6) + x(M1,0,T6) >= -0 rest4(T6,T3,M2): - x(M2,T6,T3) + x(M2,T1,T6) + x(M2,T2,T6) + x(M2,T4,T6) + x(M2,T5,T6) + x(M2,0,T6) >= -0 rest4(T6,T3,M3): - x(M3,T6,T3) + x(M3,T1,T6) + x(M3,T2,T6) + x(M3,T4,T6) + x(M3,T5,T6) + x(M3,0,T6) >= -0 rest4(T6,T3,M4): - x(M4,T6,T3) + x(M4,T1,T6) + x(M4,T2,T6) + x(M4,T4,T6) + x(M4,T5,T6) + x(M4,0,T6) >= -0 rest4(T6,T4,M1): - x(M1,T6,T4) + x(M1,T1,T6) + x(M1,T2,T6) + x(M1,T3,T6) + x(M1,T5,T6) + x(M1,0,T6) >= -0 rest4(T6,T4,M2): - x(M2,T6,T4) + x(M2,T1,T6) + x(M2,T2,T6) + x(M2,T3,T6) + x(M2,T5,T6) + x(M2,0,T6) >= -0 rest4(T6,T4,M3): - x(M3,T6,T4) + x(M3,T1,T6) + x(M3,T2,T6) + x(M3,T3,T6) + x(M3,T5,T6) + x(M3,0,T6) >= -0 rest4(T6,T4,M4): - x(M4,T6,T4) + x(M4,T1,T6) + x(M4,T2,T6) + x(M4,T3,T6) + x(M4,T5,T6) + x(M4,0,T6) >= -0 rest4(T6,T5,M1): - x(M1,T6,T5) + x(M1,T1,T6) + x(M1,T2,T6) + x(M1,T3,T6) + x(M1,T4,T6) + x(M1,0,T6) >= -0 rest4(T6,T5,M2): - x(M2,T6,T5) + x(M2,T1,T6) + x(M2,T2,T6) + x(M2,T3,T6) + x(M2,T4,T6) + x(M2,0,T6) >= -0 rest4(T6,T5,M3): - x(M3,T6,T5) + x(M3,T1,T6) + x(M3,T2,T6) + x(M3,T3,T6) + x(M3,T4,T6) + x(M3,0,T6) >= -0 rest4(T6,T5,M4): - x(M4,T6,T5) + x(M4,T1,T6) + x(M4,T2,T6) + x(M4,T3,T6) + x(M4,T4,T6) + x(M4,0,T6) >= -0 rest5(M1,T1,T2): - 2000 x(M1,T1,T2) + c(M1,T2) - c(M1,T1) >= -1904 rest5(M1,T1,T3): - 2000 x(M1,T1,T3) - c(M1,T1) + c(M1,T3) >= -1880 rest5(M1,T1,T4): - 2000 x(M1,T1,T4) - c(M1,T1) + c(M1,T4) >= -1864 rest5(M1,T1,T5): - 2000 x(M1,T1,T5) - c(M1,T1) + c(M1,T5) >= -1893 rest5(M1,T1,T6): - 2000 x(M1,T1,T6) - c(M1,T1) + c(M1,T6) >= -1928 rest5(M1,T2,T1): - 2000 x(M1,T2,T1) - c(M1,T2) + c(M1,T1) >= -1872 rest5(M1,T2,T3): - 2000 x(M1,T2,T3) - c(M1,T2) + c(M1,T3) >= -1844 rest5(M1,T2,T4): - 2000 x(M1,T2,T4) - c(M1,T2) + c(M1,T4) >= -1874 rest5(M1,T2,T5): - 2000 x(M1,T2,T5) - c(M1,T2) + c(M1,T5) >= -1858 rest5(M1,T2,T6): - 2000 x(M1,T2,T6) - c(M1,T2) + c(M1,T6) >= -1938 rest5(M1,T3,T1): - 2000 x(M1,T3,T1) + c(M1,T1) - c(M1,T3) >= -1956 rest5(M1,T3,T2): - 2000 x(M1,T3,T2) + c(M1,T2) - c(M1,T3) >= -1922 rest5(M1,T3,T4): - 2000 x(M1,T3,T4) - c(M1,T3) + c(M1,T4) >= -1833 rest5(M1,T3,T5): - 2000 x(M1,T3,T5) - c(M1,T3) + c(M1,T5) >= -1786 rest5(M1,T3,T6): - 2000 x(M1,T3,T6) - c(M1,T3) + c(M1,T6) >= -1921 rest5(M1,T4,T1): - 2000 x(M1,T4,T1) + c(M1,T1) - c(M1,T4) >= -1963 rest5(M1,T4,T2): - 2000 x(M1,T4,T2) + c(M1,T2) - c(M1,T4) >= -1948 rest5(M1,T4,T3): - 2000 x(M1,T4,T3) + c(M1,T3) - c(M1,T4) >= -1952 rest5(M1,T4,T5): - 2000 x(M1,T4,T5) - c(M1,T4) + c(M1,T5) >= -1797 rest5(M1,T4,T6): - 2000 x(M1,T4,T6) - c(M1,T4) + c(M1,T6) >= -1875 rest5(M1,T5,T1): - 2000 x(M1,T5,T1) + c(M1,T1) - c(M1,T5) >= -1906 rest5(M1,T5,T2): - 2000 x(M1,T5,T2) + c(M1,T2) - c(M1,T5) >= -1939 rest5(M1,T5,T3): - 2000 x(M1,T5,T3) + c(M1,T3) - c(M1,T5) >= -1902 rest5(M1,T5,T4): - 2000 x(M1,T5,T4) + c(M1,T4) - c(M1,T5) >= -1877 rest5(M1,T5,T6): - 2000 x(M1,T5,T6) - c(M1,T5) + c(M1,T6) >= -1947 rest5(M1,T6,T1): - 2000 x(M1,T6,T1) + c(M1,T1) - c(M1,T6) >= -1903 rest5(M1,T6,T2): - 2000 x(M1,T6,T2) + c(M1,T2) - c(M1,T6) >= -1862 rest5(M1,T6,T3): - 2000 x(M1,T6,T3) + c(M1,T3) - c(M1,T6) >= -1874 rest5(M1,T6,T4): - 2000 x(M1,T6,T4) + c(M1,T4) - c(M1,T6) >= -1900 rest5(M1,T6,T5): - 2000 x(M1,T6,T5) + c(M1,T5) - c(M1,T6) >= -1834 rest5(M1,0,T1): - 2000 x(M1,0,T1) + c(M1,T1) - c(M1,0) >= -1995 rest5(M1,0,T2): - 2000 x(M1,0,T2) + c(M1,T2) - c(M1,0) >= -1949 rest5(M1,0,T3): - 2000 x(M1,0,T3) + c(M1,T3) - c(M1,0) >= -1958 rest5(M1,0,T4): - 2000 x(M1,0,T4) + c(M1,T4) - c(M1,0) >= -1928 rest5(M1,0,T5): - 2000 x(M1,0,T5) + c(M1,T5) - c(M1,0) >= -1901 rest5(M1,0,T6): - 2000 x(M1,0,T6) + c(M1,T6) - c(M1,0) >= -1954 rest5(M2,T1,T2): - 2000 x(M2,T1,T2) + c(M2,T2) - c(M2,T1) >= -1844 rest5(M2,T1,T3): - 2000 x(M2,T1,T3) - c(M2,T1) + c(M2,T3) >= -1844 rest5(M2,T1,T4): - 2000 x(M2,T1,T4) - c(M2,T1) + c(M2,T4) >= -1836 rest5(M2,T1,T5): - 2000 x(M2,T1,T5) - c(M2,T1) + c(M2,T5) >= -1834 rest5(M2,T1,T6): - 2000 x(M2,T1,T6) - c(M2,T1) + c(M2,T6) >= -1854 rest5(M2,T2,T1): - 2000 x(M2,T2,T1) - c(M2,T2) + c(M2,T1) >= -1824 rest5(M2,T2,T3): - 2000 x(M2,T2,T3) - c(M2,T2) + c(M2,T3) >= -1926 rest5(M2,T2,T4): - 2000 x(M2,T2,T4) - c(M2,T2) + c(M2,T4) >= -1875 rest5(M2,T2,T5): - 2000 x(M2,T2,T5) - c(M2,T2) + c(M2,T5) >= -1865 rest5(M2,T2,T6): - 2000 x(M2,T2,T6) - c(M2,T2) + c(M2,T6) >= -1944 rest5(M2,T3,T1): - 2000 x(M2,T3,T1) + c(M2,T1) - c(M2,T3) >= -1921 rest5(M2,T3,T2): - 2000 x(M2,T3,T2) + c(M2,T2) - c(M2,T3) >= -1857 rest5(M2,T3,T4): - 2000 x(M2,T3,T4) - c(M2,T3) + c(M2,T4) >= -1815 rest5(M2,T3,T5): - 2000 x(M2,T3,T5) - c(M2,T3) + c(M2,T5) >= -1878 rest5(M2,T3,T6): - 2000 x(M2,T3,T6) - c(M2,T3) + c(M2,T6) >= -1868 rest5(M2,T4,T1): - 2000 x(M2,T4,T1) + c(M2,T1) - c(M2,T4) >= -1900 rest5(M2,T4,T2): - 2000 x(M2,T4,T2) + c(M2,T2) - c(M2,T4) >= -1894 rest5(M2,T4,T3): - 2000 x(M2,T4,T3) + c(M2,T3) - c(M2,T4) >= -1907 rest5(M2,T4,T5): - 2000 x(M2,T4,T5) - c(M2,T4) + c(M2,T5) >= -1844 rest5(M2,T4,T6): - 2000 x(M2,T4,T6) - c(M2,T4) + c(M2,T6) >= -1917 rest5(M2,T5,T1): - 2000 x(M2,T5,T1) + c(M2,T1) - c(M2,T5) >= -1873 rest5(M2,T5,T2): - 2000 x(M2,T5,T2) + c(M2,T2) - c(M2,T5) >= -1923 rest5(M2,T5,T3): - 2000 x(M2,T5,T3) + c(M2,T3) - c(M2,T5) >= -1883 rest5(M2,T5,T4): - 2000 x(M2,T5,T4) + c(M2,T4) - c(M2,T5) >= -1899 rest5(M2,T5,T6): - 2000 x(M2,T5,T6) - c(M2,T5) + c(M2,T6) >= -1890 rest5(M2,T6,T1): - 2000 x(M2,T6,T1) + c(M2,T1) - c(M2,T6) >= -1852 rest5(M2,T6,T2): - 2000 x(M2,T6,T2) + c(M2,T2) - c(M2,T6) >= -1829 rest5(M2,T6,T3): - 2000 x(M2,T6,T3) + c(M2,T3) - c(M2,T6) >= -1907 rest5(M2,T6,T4): - 2000 x(M2,T6,T4) + c(M2,T4) - c(M2,T6) >= -1788 rest5(M2,T6,T5): - 2000 x(M2,T6,T5) + c(M2,T5) - c(M2,T6) >= -1873 rest5(M2,0,T1): - 2000 x(M2,0,T1) + c(M2,T1) - c(M2,0) >= -1925 rest5(M2,0,T2): - 2000 x(M2,0,T2) + c(M2,T2) - c(M2,0) >= -1938 rest5(M2,0,T3): - 2000 x(M2,0,T3) + c(M2,T3) - c(M2,0) >= -1951 rest5(M2,0,T4): - 2000 x(M2,0,T4) + c(M2,T4) - c(M2,0) >= -1907 rest5(M2,0,T5): - 2000 x(M2,0,T5) + c(M2,T5) - c(M2,0) >= -1920 rest5(M2,0,T6): - 2000 x(M2,0,T6) + c(M2,T6) - c(M2,0) >= -1951 rest5(M3,T1,T2): - 2000 x(M3,T1,T2) + c(M3,T2) - c(M3,T1) >= -1823 rest5(M3,T1,T3): - 2000 x(M3,T1,T3) - c(M3,T1) + c(M3,T3) >= -1896 rest5(M3,T1,T4): - 2000 x(M3,T1,T4) - c(M3,T1) + c(M3,T4) >= -1900 rest5(M3,T1,T5): - 2000 x(M3,T1,T5) - c(M3,T1) + c(M3,T5) >= -1883 rest5(M3,T1,T6): - 2000 x(M3,T1,T6) - c(M3,T1) + c(M3,T6) >= -1897 rest5(M3,T2,T1): - 2000 x(M3,T2,T1) - c(M3,T2) + c(M3,T1) >= -1843 rest5(M3,T2,T3): - 2000 x(M3,T2,T3) - c(M3,T2) + c(M3,T3) >= -1862 rest5(M3,T2,T4): - 2000 x(M3,T2,T4) - c(M3,T2) + c(M3,T4) >= -1861 rest5(M3,T2,T5): - 2000 x(M3,T2,T5) - c(M3,T2) + c(M3,T5) >= -1936 rest5(M3,T2,T6): - 2000 x(M3,T2,T6) - c(M3,T2) + c(M3,T6) >= -1865 rest5(M3,T3,T1): - 2000 x(M3,T3,T1) + c(M3,T1) - c(M3,T3) >= -1831 rest5(M3,T3,T2): - 2000 x(M3,T3,T2) + c(M3,T2) - c(M3,T3) >= -1894 rest5(M3,T3,T4): - 2000 x(M3,T3,T4) - c(M3,T3) + c(M3,T4) >= -1860 rest5(M3,T3,T5): - 2000 x(M3,T3,T5) - c(M3,T3) + c(M3,T5) >= -1936 rest5(M3,T3,T6): - 2000 x(M3,T3,T6) - c(M3,T3) + c(M3,T6) >= -1940 rest5(M3,T4,T1): - 2000 x(M3,T4,T1) + c(M3,T1) - c(M3,T4) >= -1870 rest5(M3,T4,T2): - 2000 x(M3,T4,T2) + c(M3,T2) - c(M3,T4) >= -1874 rest5(M3,T4,T3): - 2000 x(M3,T4,T3) + c(M3,T3) - c(M3,T4) >= -1941 rest5(M3,T4,T5): - 2000 x(M3,T4,T5) - c(M3,T4) + c(M3,T5) >= -1910 rest5(M3,T4,T6): - 2000 x(M3,T4,T6) - c(M3,T4) + c(M3,T6) >= -1985 rest5(M3,T5,T1): - 2000 x(M3,T5,T1) + c(M3,T1) - c(M3,T5) >= -1899 rest5(M3,T5,T2): - 2000 x(M3,T5,T2) + c(M3,T2) - c(M3,T5) >= -1866 rest5(M3,T5,T3): - 2000 x(M3,T5,T3) + c(M3,T3) - c(M3,T5) >= -1844 rest5(M3,T5,T4): - 2000 x(M3,T5,T4) + c(M3,T4) - c(M3,T5) >= -1842 rest5(M3,T5,T6): - 2000 x(M3,T5,T6) - c(M3,T5) + c(M3,T6) >= -1870 rest5(M3,T6,T1): - 2000 x(M3,T6,T1) + c(M3,T1) - c(M3,T6) >= -1827 rest5(M3,T6,T2): - 2000 x(M3,T6,T2) + c(M3,T2) - c(M3,T6) >= -1890 rest5(M3,T6,T3): - 2000 x(M3,T6,T3) + c(M3,T3) - c(M3,T6) >= -1891 rest5(M3,T6,T4): - 2000 x(M3,T6,T4) + c(M3,T4) - c(M3,T6) >= -1904 rest5(M3,T6,T5): - 2000 x(M3,T6,T5) + c(M3,T5) - c(M3,T6) >= -1842 rest5(M3,0,T1): - 2000 x(M3,0,T1) + c(M3,T1) - c(M3,0) >= -1924 rest5(M3,0,T2): - 2000 x(M3,0,T2) + c(M3,T2) - c(M3,0) >= -1908 rest5(M3,0,T3): - 2000 x(M3,0,T3) + c(M3,T3) - c(M3,0) >= -1958 rest5(M3,0,T4): - 2000 x(M3,0,T4) + c(M3,T4) - c(M3,0) >= -1935 rest5(M3,0,T5): - 2000 x(M3,0,T5) + c(M3,T5) - c(M3,0) >= -1963 rest5(M3,0,T6): - 2000 x(M3,0,T6) + c(M3,T6) - c(M3,0) >= -1986 rest5(M4,T1,T2): - 2000 x(M4,T1,T2) + c(M4,T2) - c(M4,T1) >= -1904 rest5(M4,T1,T3): - 2000 x(M4,T1,T3) - c(M4,T1) + c(M4,T3) >= -1911 rest5(M4,T1,T4): - 2000 x(M4,T1,T4) - c(M4,T1) + c(M4,T4) >= -1848 rest5(M4,T1,T5): - 2000 x(M4,T1,T5) - c(M4,T1) + c(M4,T5) >= -1919 rest5(M4,T1,T6): - 2000 x(M4,T1,T6) - c(M4,T1) + c(M4,T6) >= -1930 rest5(M4,T2,T1): - 2000 x(M4,T2,T1) - c(M4,T2) + c(M4,T1) >= -1875 rest5(M4,T2,T3): - 2000 x(M4,T2,T3) - c(M4,T2) + c(M4,T3) >= -1889 rest5(M4,T2,T4): - 2000 x(M4,T2,T4) - c(M4,T2) + c(M4,T4) >= -1809 rest5(M4,T2,T5): - 2000 x(M4,T2,T5) - c(M4,T2) + c(M4,T5) >= -1937 rest5(M4,T2,T6): - 2000 x(M4,T2,T6) - c(M4,T2) + c(M4,T6) >= -1941 rest5(M4,T3,T1): - 2000 x(M4,T3,T1) + c(M4,T1) - c(M4,T3) >= -1949 rest5(M4,T3,T2): - 2000 x(M4,T3,T2) + c(M4,T2) - c(M4,T3) >= -1975 rest5(M4,T3,T4): - 2000 x(M4,T3,T4) - c(M4,T3) + c(M4,T4) >= -1849 rest5(M4,T3,T5): - 2000 x(M4,T3,T5) - c(M4,T3) + c(M4,T5) >= -1899 rest5(M4,T3,T6): - 2000 x(M4,T3,T6) - c(M4,T3) + c(M4,T6) >= -1918 rest5(M4,T4,T1): - 2000 x(M4,T4,T1) + c(M4,T1) - c(M4,T4) >= -1983 rest5(M4,T4,T2): - 2000 x(M4,T4,T2) + c(M4,T2) - c(M4,T4) >= -1929 rest5(M4,T4,T3): - 2000 x(M4,T4,T3) + c(M4,T3) - c(M4,T4) >= -1947 rest5(M4,T4,T5): - 2000 x(M4,T4,T5) - c(M4,T4) + c(M4,T5) >= -1908 rest5(M4,T4,T6): - 2000 x(M4,T4,T6) - c(M4,T4) + c(M4,T6) >= -1932 rest5(M4,T5,T1): - 2000 x(M4,T5,T1) + c(M4,T1) - c(M4,T5) >= -1943 rest5(M4,T5,T2): - 2000 x(M4,T5,T2) + c(M4,T2) - c(M4,T5) >= -1946 rest5(M4,T5,T3): - 2000 x(M4,T5,T3) + c(M4,T3) - c(M4,T5) >= -1949 rest5(M4,T5,T4): - 2000 x(M4,T5,T4) + c(M4,T4) - c(M4,T5) >= -1878 rest5(M4,T5,T6): - 2000 x(M4,T5,T6) - c(M4,T5) + c(M4,T6) >= -1930 rest5(M4,T6,T1): - 2000 x(M4,T6,T1) + c(M4,T1) - c(M4,T6) >= -1878 rest5(M4,T6,T2): - 2000 x(M4,T6,T2) + c(M4,T2) - c(M4,T6) >= -1877 rest5(M4,T6,T3): - 2000 x(M4,T6,T3) + c(M4,T3) - c(M4,T6) >= -1890 rest5(M4,T6,T4): - 2000 x(M4,T6,T4) + c(M4,T4) - c(M4,T6) >= -1797 rest5(M4,T6,T5): - 2000 x(M4,T6,T5) + c(M4,T5) - c(M4,T6) >= -1908 rest5(M4,0,T1): - 2000 x(M4,0,T1) + c(M4,T1) - c(M4,0) >= -1997 rest5(M4,0,T2): - 2000 x(M4,0,T2) + c(M4,T2) - c(M4,0) >= -1989 rest5(M4,0,T3): - 2000 x(M4,0,T3) + c(M4,T3) - c(M4,0) >= -1986 rest5(M4,0,T4): - 2000 x(M4,0,T4) + c(M4,T4) - c(M4,0) >= -1917 rest5(M4,0,T5): - 2000 x(M4,0,T5) + c(M4,T5) - c(M4,0) >= -1966 rest5(M4,0,T6): - 2000 x(M4,0,T6) + c(M4,T6) - c(M4,0) >= -1998 rest6(M1): + c(M1,0) = -0 rest6(M2): + c(M2,0) = -0 rest6(M3): + c(M3,0) = -0 rest6(M4): + c(M4,0) = -0 rest7(M1,T1): + c(M1,T1) >= -0 rest7(M1,T2): + c(M1,T2) >= -0 rest7(M1,T3): + c(M1,T3) >= -0 rest7(M1,T4): + c(M1,T4) >= -0 rest7(M1,T5): + c(M1,T5) >= -0 rest7(M1,T6): + c(M1,T6) >= -0 rest7(M2,T1): + c(M2,T1) >= -0 rest7(M2,T2): + c(M2,T2) >= -0 rest7(M2,T3): + c(M2,T3) >= -0 rest7(M2,T4): + c(M2,T4) >= -0 rest7(M2,T5): + c(M2,T5) >= -0 rest7(M2,T6): + c(M2,T6) >= -0 rest7(M3,T1): + c(M3,T1) >= -0 rest7(M3,T2): + c(M3,T2) >= -0 rest7(M3,T3): + c(M3,T3) >= -0 rest7(M3,T4): + c(M3,T4) >= -0 rest7(M3,T5): + c(M3,T5) >= -0 rest7(M3,T6): + c(M3,T6) >= -0 rest7(M4,T1): + c(M4,T1) >= -0 rest7(M4,T2): + c(M4,T2) >= -0 rest7(M4,T3): + c(M4,T3) >= -0 rest7(M4,T4): + c(M4,T4) >= -0 rest7(M4,T5): + c(M4,T5) >= -0 rest7(M4,T6): + c(M4,T6) >= -0 rest8(M1,T1): - c(M1,T1) + cmax >= -0 rest8(M1,T2): - c(M1,T2) + cmax >= -0 rest8(M1,T3): - c(M1,T3) + cmax >= -0 rest8(M1,T4): - c(M1,T4) + cmax >= -0 rest8(M1,T5): - c(M1,T5) + cmax >= -0 rest8(M1,T6): - c(M1,T6) + cmax >= -0 rest8(M2,T1): - c(M2,T1) + cmax >= -0 rest8(M2,T2): - c(M2,T2) + cmax >= -0 rest8(M2,T3): - c(M2,T3) + cmax >= -0 rest8(M2,T4): - c(M2,T4) + cmax >= -0 rest8(M2,T5): - c(M2,T5) + cmax >= -0 rest8(M2,T6): - c(M2,T6) + cmax >= -0 rest8(M3,T1): - c(M3,T1) + cmax >= -0 rest8(M3,T2): - c(M3,T2) + cmax >= -0 rest8(M3,T3): - c(M3,T3) + cmax >= -0 rest8(M3,T4): - c(M3,T4) + cmax >= -0 rest8(M3,T5): - c(M3,T5) + cmax >= -0 rest8(M3,T6): - c(M3,T6) + cmax >= -0 rest8(M4,T1): - c(M4,T1) + cmax >= -0 rest8(M4,T2): - c(M4,T2) + cmax >= -0 rest8(M4,T3): - c(M4,T3) + cmax >= -0 rest8(M4,T4): - c(M4,T4) + cmax >= -0 rest8(M4,T5): - c(M4,T5) + cmax >= -0 rest8(M4,T6): - c(M4,T6) + cmax >= -0 Bounds 0 <= x(M1,T2,T1) <= 1 0 <= x(M1,T3,T1) <= 1 0 <= x(M1,T4,T1) <= 1 0 <= x(M1,T5,T1) <= 1 0 <= x(M1,T6,T1) <= 1 0 <= x(M1,0,T1) <= 1 0 <= x(M2,T2,T1) <= 1 0 <= x(M2,T3,T1) <= 1 0 <= x(M2,T4,T1) <= 1 0 <= x(M2,T5,T1) <= 1 0 <= x(M2,T6,T1) <= 1 0 <= x(M2,0,T1) <= 1 0 <= x(M3,T2,T1) <= 1 0 <= x(M3,T3,T1) <= 1 0 <= x(M3,T4,T1) <= 1 0 <= x(M3,T5,T1) <= 1 0 <= x(M3,T6,T1) <= 1 0 <= x(M3,0,T1) <= 1 0 <= x(M4,T2,T1) <= 1 0 <= x(M4,T3,T1) <= 1 0 <= x(M4,T4,T1) <= 1 0 <= x(M4,T5,T1) <= 1 0 <= x(M4,T6,T1) <= 1 0 <= x(M4,0,T1) <= 1 0 <= x(M1,T1,T2) <= 1 0 <= x(M1,T3,T2) <= 1 0 <= x(M1,T4,T2) <= 1 0 <= x(M1,T5,T2) <= 1 0 <= x(M1,T6,T2) <= 1 0 <= x(M1,0,T2) <= 1 0 <= x(M2,T1,T2) <= 1 0 <= x(M2,T3,T2) <= 1 0 <= x(M2,T4,T2) <= 1 0 <= x(M2,T5,T2) <= 1 0 <= x(M2,T6,T2) <= 1 0 <= x(M2,0,T2) <= 1 0 <= x(M3,T1,T2) <= 1 0 <= x(M3,T3,T2) <= 1 0 <= x(M3,T4,T2) <= 1 0 <= x(M3,T5,T2) <= 1 0 <= x(M3,T6,T2) <= 1 0 <= x(M3,0,T2) <= 1 0 <= x(M4,T1,T2) <= 1 0 <= x(M4,T3,T2) <= 1 0 <= x(M4,T4,T2) <= 1 0 <= x(M4,T5,T2) <= 1 0 <= x(M4,T6,T2) <= 1 0 <= x(M4,0,T2) <= 1 0 <= x(M1,T1,T3) <= 1 0 <= x(M1,T2,T3) <= 1 0 <= x(M1,T4,T3) <= 1 0 <= x(M1,T5,T3) <= 1 0 <= x(M1,T6,T3) <= 1 0 <= x(M1,0,T3) <= 1 0 <= x(M2,T1,T3) <= 1 0 <= x(M2,T2,T3) <= 1 0 <= x(M2,T4,T3) <= 1 0 <= x(M2,T5,T3) <= 1 0 <= x(M2,T6,T3) <= 1 0 <= x(M2,0,T3) <= 1 0 <= x(M3,T1,T3) <= 1 0 <= x(M3,T2,T3) <= 1 0 <= x(M3,T4,T3) <= 1 0 <= x(M3,T5,T3) <= 1 0 <= x(M3,T6,T3) <= 1 0 <= x(M3,0,T3) <= 1 0 <= x(M4,T1,T3) <= 1 0 <= x(M4,T2,T3) <= 1 0 <= x(M4,T4,T3) <= 1 0 <= x(M4,T5,T3) <= 1 0 <= x(M4,T6,T3) <= 1 0 <= x(M4,0,T3) <= 1 0 <= x(M1,T1,T4) <= 1 0 <= x(M1,T2,T4) <= 1 0 <= x(M1,T3,T4) <= 1 0 <= x(M1,T5,T4) <= 1 0 <= x(M1,T6,T4) <= 1 0 <= x(M1,0,T4) <= 1 0 <= x(M2,T1,T4) <= 1 0 <= x(M2,T2,T4) <= 1 0 <= x(M2,T3,T4) <= 1 0 <= x(M2,T5,T4) <= 1 0 <= x(M2,T6,T4) <= 1 0 <= x(M2,0,T4) <= 1 0 <= x(M3,T1,T4) <= 1 0 <= x(M3,T2,T4) <= 1 0 <= x(M3,T3,T4) <= 1 0 <= x(M3,T5,T4) <= 1 0 <= x(M3,T6,T4) <= 1 0 <= x(M3,0,T4) <= 1 0 <= x(M4,T1,T4) <= 1 0 <= x(M4,T2,T4) <= 1 0 <= x(M4,T3,T4) <= 1 0 <= x(M4,T5,T4) <= 1 0 <= x(M4,T6,T4) <= 1 0 <= x(M4,0,T4) <= 1 0 <= x(M1,T1,T5) <= 1 0 <= x(M1,T2,T5) <= 1 0 <= x(M1,T3,T5) <= 1 0 <= x(M1,T4,T5) <= 1 0 <= x(M1,T6,T5) <= 1 0 <= x(M1,0,T5) <= 1 0 <= x(M2,T1,T5) <= 1 0 <= x(M2,T2,T5) <= 1 0 <= x(M2,T3,T5) <= 1 0 <= x(M2,T4,T5) <= 1 0 <= x(M2,T6,T5) <= 1 0 <= x(M2,0,T5) <= 1 0 <= x(M3,T1,T5) <= 1 0 <= x(M3,T2,T5) <= 1 0 <= x(M3,T3,T5) <= 1 0 <= x(M3,T4,T5) <= 1 0 <= x(M3,T6,T5) <= 1 0 <= x(M3,0,T5) <= 1 0 <= x(M4,T1,T5) <= 1 0 <= x(M4,T2,T5) <= 1 0 <= x(M4,T3,T5) <= 1 0 <= x(M4,T4,T5) <= 1 0 <= x(M4,T6,T5) <= 1 0 <= x(M4,0,T5) <= 1 0 <= x(M1,T1,T6) <= 1 0 <= x(M1,T2,T6) <= 1 0 <= x(M1,T3,T6) <= 1 0 <= x(M1,T4,T6) <= 1 0 <= x(M1,T5,T6) <= 1 0 <= x(M1,0,T6) <= 1 0 <= x(M2,T1,T6) <= 1 0 <= x(M2,T2,T6) <= 1 0 <= x(M2,T3,T6) <= 1 0 <= x(M2,T4,T6) <= 1 0 <= x(M2,T5,T6) <= 1 0 <= x(M2,0,T6) <= 1 0 <= x(M3,T1,T6) <= 1 0 <= x(M3,T2,T6) <= 1 0 <= x(M3,T3,T6) <= 1 0 <= x(M3,T4,T6) <= 1 0 <= x(M3,T5,T6) <= 1 0 <= x(M3,0,T6) <= 1 0 <= x(M4,T1,T6) <= 1 0 <= x(M4,T2,T6) <= 1 0 <= x(M4,T3,T6) <= 1 0 <= x(M4,T4,T6) <= 1 0 <= x(M4,T5,T6) <= 1 0 <= x(M4,0,T6) <= 1 Generals x(M1,T2,T1) x(M1,T3,T1) x(M1,T4,T1) x(M1,T5,T1) x(M1,T6,T1) x(M1,0,T1) x(M2,T2,T1) x(M2,T3,T1) x(M2,T4,T1) x(M2,T5,T1) x(M2,T6,T1) x(M2,0,T1) x(M3,T2,T1) x(M3,T3,T1) x(M3,T4,T1) x(M3,T5,T1) x(M3,T6,T1) x(M3,0,T1) x(M4,T2,T1) x(M4,T3,T1) x(M4,T4,T1) x(M4,T5,T1) x(M4,T6,T1) x(M4,0,T1) x(M1,T1,T2) x(M1,T3,T2) x(M1,T4,T2) x(M1,T5,T2) x(M1,T6,T2) x(M1,0,T2) x(M2,T1,T2) x(M2,T3,T2) x(M2,T4,T2) x(M2,T5,T2) x(M2,T6,T2) x(M2,0,T2) x(M3,T1,T2) x(M3,T3,T2) x(M3,T4,T2) x(M3,T5,T2) x(M3,T6,T2) x(M3,0,T2) x(M4,T1,T2) x(M4,T3,T2) x(M4,T4,T2) x(M4,T5,T2) x(M4,T6,T2) x(M4,0,T2) x(M1,T1,T3) x(M1,T2,T3) x(M1,T4,T3) x(M1,T5,T3) x(M1,T6,T3) x(M1,0,T3) x(M2,T1,T3) x(M2,T2,T3) x(M2,T4,T3) x(M2,T5,T3) x(M2,T6,T3) x(M2,0,T3) x(M3,T1,T3) x(M3,T2,T3) x(M3,T4,T3) x(M3,T5,T3) x(M3,T6,T3) x(M3,0,T3) x(M4,T1,T3) x(M4,T2,T3) x(M4,T4,T3) x(M4,T5,T3) x(M4,T6,T3) x(M4,0,T3) x(M1,T1,T4) x(M1,T2,T4) x(M1,T3,T4) x(M1,T5,T4) x(M1,T6,T4) x(M1,0,T4) x(M2,T1,T4) x(M2,T2,T4) x(M2,T3,T4) x(M2,T5,T4) x(M2,T6,T4) x(M2,0,T4) x(M3,T1,T4) x(M3,T2,T4) x(M3,T3,T4) x(M3,T5,T4) x(M3,T6,T4) x(M3,0,T4) x(M4,T1,T4) x(M4,T2,T4) x(M4,T3,T4) x(M4,T5,T4) x(M4,T6,T4) x(M4,0,T4) x(M1,T1,T5) x(M1,T2,T5) x(M1,T3,T5) x(M1,T4,T5) x(M1,T6,T5) x(M1,0,T5) x(M2,T1,T5) x(M2,T2,T5) x(M2,T3,T5) x(M2,T4,T5) x(M2,T6,T5) x(M2,0,T5) x(M3,T1,T5) x(M3,T2,T5) x(M3,T3,T5) x(M3,T4,T5) x(M3,T6,T5) x(M3,0,T5) x(M4,T1,T5) x(M4,T2,T5) x(M4,T3,T5) x(M4,T4,T5) x(M4,T6,T5) x(M4,0,T5) x(M1,T1,T6) x(M1,T2,T6) x(M1,T3,T6) x(M1,T4,T6) x(M1,T5,T6) x(M1,0,T6) x(M2,T1,T6) x(M2,T2,T6) x(M2,T3,T6) x(M2,T4,T6) x(M2,T5,T6) x(M2,0,T6) x(M3,T1,T6) x(M3,T2,T6) x(M3,T3,T6) x(M3,T4,T6) x(M3,T5,T6) x(M3,0,T6) x(M4,T1,T6) x(M4,T2,T6) x(M4,T3,T6) x(M4,T4,T6) x(M4,T5,T6) x(M4,0,T6) c(M1,T2) c(M1,T1) c(M1,T3) c(M1,T4) c(M1,T5) c(M1,T6) c(M1,0) c(M2,T2) c(M2,T1) c(M2,T3) c(M2,T4) c(M2,T5) c(M2,T6) c(M2,0) c(M3,T2) c(M3,T1) c(M3,T3) c(M3,T4) c(M3,T5) c(M3,T6) c(M3,0) c(M4,T2) c(M4,T1) c(M4,T3) c(M4,T4) c(M4,T5) c(M4,T6) c(M4,0) cmax End