\ENCODING=ISO-8859-1

\Problem name: IloCplex

Minimize
obj: 5 q(1)(1) + 2 q(1)(2) + 3 q(1)(3) + 4 q(2)(1) + 3 q(2)(2) + 4 q(2)(3)
+ 9 q(3)(1) + 7 q(3)(2) + 5 q(3)(3) + 10 q(4)(1) + 4 q(4)(2) + 2 q(4)(3)
+ 175 Y(1) + 300 Y(2) + 375 Y(3) + 500 Y(4) + 11 wc(1)(1)(1)
+ 11 wc(1)(1)(2) + 11 wc(1)(1)(3) + 11 wc(1)(1)(4) + 12 wc(1)(2)(1)
+ 12 wc(1)(2)(2) + 12 wc(1)(2)(3) + 12 wc(1)(2)(4) + 14 wc(1)(3)(1)
+ 14 wc(1)(3)(2) + 14 wc(1)(3)(3) + 14 wc(1)(3)(4) + 13 wc(2)(1)(1)
+ 13 wc(2)(1)(2) + 13 wc(2)(1)(3) + 13 wc(2)(1)(4) + 16 wc(2)(2)(1)
+ 16 wc(2)(2)(2) + 16 wc(2)(2)(3) + 16 wc(2)(2)(4) + 12 wc(2)(3)(1)
+ 12 wc(2)(3)(2) + 12 wc(2)(3)(3) + 12 wc(2)(3)(4) + 3 wc(3)(1)(1)
+ 3 wc(3)(1)(2) + 3 wc(3)(1)(3) + 3 wc(3)(1)(4) + 9 wc(3)(2)(1)
+ 9 wc(3)(2)(2) + 9 wc(3)(2)(3) + 9 wc(3)(2)(4) + 11 wc(3)(3)(1)
+ 11 wc(3)(3)(2) + 11 wc(3)(3)(3) + 11 wc(3)(3)(4) + 13 wc(4)(1)(1)
+ 13 wc(4)(1)(2) + 13 wc(4)(1)(3) + 13 wc(4)(1)(4) + 4 wc(4)(2)(1)
+ 4 wc(4)(2)(2) + 4 wc(4)(2)(3) + 4 wc(4)(2)(4) + 2 wc(4)(3)(1)
+ 2 wc(4)(3)(2) + 2 wc(4)(3)(3) + 2 wc(4)(3)(4) + 10000 cc(1)(1)(1)
+ 10000 cc(1)(1)(2) + 10000 cc(1)(1)(3) + 10000 cc(1)(1)(4)
+ 6 cc(1)(2)(1) + 6 cc(1)(2)(2) + 6 cc(1)(2)(3) + 6 cc(1)(2)(4)
+ 7 cc(1)(3)(1) + 7 cc(1)(3)(2) + 7 cc(1)(3)(3) + 7 cc(1)(3)(4)
+ 6 cc(2)(1)(1) + 6 cc(2)(1)(2) + 6 cc(2)(1)(3) + 6 cc(2)(1)(4)
+ 10000 cc(2)(2)(1) + 10000 cc(2)(2)(2) + 10000 cc(2)(2)(3)
+ 10000 cc(2)(2)(4) + 4 cc(2)(3)(1) + 4 cc(2)(3)(2) + 4 cc(2)(3)(3)
+ 4 cc(2)(3)(4) + 7 cc(3)(1)(1) + 7 cc(3)(1)(2) + 7 cc(3)(1)(3)
+ 7 cc(3)(1)(4) + 4 cc(3)(2)(1) + 4 cc(3)(2)(2) + 4 cc(3)(2)(3)
+ 4 cc(3)(2)(4) + 10000 cc(3)(3)(1) + 10000 cc(3)(3)(2)
+ 10000 cc(3)(3)(3) + 10000 cc(3)(3)(4) + 11 cw(1)(1)(1) + 11 cw(1)(1)(2)
+ 11 cw(1)(1)(3) + 11 cw(1)(1)(4) + 13 cw(1)(2)(1) + 13 cw(1)(2)(2)
+ 13 cw(1)(2)(3) + 13 cw(1)(2)(4) + 3 cw(1)(3)(1) + 3 cw(1)(3)(2)
+ 3 cw(1)(3)(3) + 3 cw(1)(3)(4) + 13 cw(1)(4)(1) + 13 cw(1)(4)(2)
+ 13 cw(1)(4)(3) + 13 cw(1)(4)(4) + 12 cw(2)(1)(1) + 12 cw(2)(1)(2)
+ 12 cw(2)(1)(3) + 12 cw(2)(1)(4) + 16 cw(2)(2)(1) + 16 cw(2)(2)(2)
+ 16 cw(2)(2)(3) + 16 cw(2)(2)(4) + 9 cw(2)(3)(1) + 9 cw(2)(3)(2)
+ 9 cw(2)(3)(3) + 9 cw(2)(3)(4) + 4 cw(2)(4)(1) + 4 cw(2)(4)(2)
+ 4 cw(2)(4)(3) + 4 cw(2)(4)(4) + 14 cw(3)(1)(1) + 14 cw(3)(1)(2)
+ 14 cw(3)(1)(3) + 14 cw(3)(1)(4) + 12 cw(3)(2)(1) + 12 cw(3)(2)(2)
+ 12 cw(3)(2)(3) + 12 cw(3)(2)(4) + 11 cw(3)(3)(1) + 11 cw(3)(3)(2)
+ 11 cw(3)(3)(3) + 11 cw(3)(3)(4) + 2 cw(3)(4)(1) + 2 cw(3)(4)(2)
+ 2 cw(3)(4)(3) + 2 cw(3)(4)(4) + x149
Subject To
c1: q(1)(1) + q(1)(2) + q(1)(3) - 10 Y(1) <= 0
c2: q(2)(1) + q(2)(2) + q(2)(3) - 20 Y(2) <= 0
c3: q(3)(1) + q(3)(2) + q(3)(3) - 30 Y(3) <= 0
c4: q(4)(1) + q(4)(2) + q(4)(3) - 40 Y(4) <= 0
c5: q(1)(1) + q(2)(1) + q(3)(1) + q(4)(1) = 30
c6: q(1)(2) + q(2)(2) + q(3)(2) + q(4)(2) = 19
c7: q(1)(3) + q(2)(3) + q(3)(3) + q(4)(3) = 21
c8: Z(1)(1) + Z(2)(1) + Z(3)(1) + Z(4)(1) = 1
c9: Z(1)(2) + Z(2)(2) + Z(3)(2) + Z(4)(2) = 1
c10: Z(1)(3) + Z(2)(3) + Z(3)(3) + Z(4)(3) = 1
c11: q(1)(1) - 10000 Z(1)(1) <= 0
c12: q(1)(2) - 10000 Z(1)(2) <= 0
c13: q(1)(3) - 10000 Z(1)(3) <= 0
c14: q(2)(1) - 10000 Z(2)(1) <= 0
c15: q(2)(2) - 10000 Z(2)(2) <= 0
c16: q(2)(3) - 10000 Z(2)(3) <= 0
c17: q(3)(1) - 10000 Z(3)(1) <= 0
c18: q(3)(2) - 10000 Z(3)(2) <= 0

c19:
c20:
c21:
c22:
c23:
c24:
c25:
c26:
c27:
c28:
c29:
c30:
c31:
c32:
c33:
c34:
c35:
c36:
c37:
c38:
c39:
c40:
c41:
c42:
c43:
c44:
c45:
c46:
c47:
c48:
c49:
c50:
c51:
c52:
c53:
c54:
c55:
c56:
c57:
c58:
c59:
c60:
c61:
c62:
c63:
c64:
c65:

q(3)(3) - 10000 Z(3)(3) <= 0

q(4)(1) - 10000 Z(4)(1) <= 0
q(4)(2) - 10000 Z(4)(2) <= 0
q(4)(3) - 10000 Z(4)(3) <= 0
Y(1) - Z(1)(1) >= 0
Y(1) - Z(1)(2) >= 0
Y(1) - Z(1)(3) >= 0
Y(2) - Z(2)(1) >= 0
Y(2) - Z(2)(2) >= 0
Y(2) - Z(2)(3) >= 0
Y(3) - Z(3)(1) >= 0
Y(3) - Z(3)(2) >= 0
Y(3) - Z(3)(3) >= 0
Y(4) - Z(4)(1) >= 0
Y(4) - Z(4)(2) >= 0
Y(4) - Z(4)(3) >= 0
- wc(1)(1)(1) - wc(1)(1)(2) - wc(1)(1)(3) - wc(1)(1)(4) + Z(1)(1) >= 0
- wc(1)(2)(1) - wc(1)(2)(2) - wc(1)(2)(3) - wc(1)(2)(4) + Z(1)(2) >= 0
- wc(1)(3)(1) - wc(1)(3)(2) - wc(1)(3)(3) - wc(1)(3)(4) + Z(1)(3) >= 0
- wc(2)(1)(1) - wc(2)(1)(2) - wc(2)(1)(3) - wc(2)(1)(4) + Z(2)(1) >= 0
- wc(2)(2)(1) - wc(2)(2)(2) - wc(2)(2)(3) - wc(2)(2)(4) + Z(2)(2) >= 0
- wc(2)(3)(1) - wc(2)(3)(2) - wc(2)(3)(3) - wc(2)(3)(4) + Z(2)(3) >= 0
- wc(3)(1)(1) - wc(3)(1)(2) - wc(3)(1)(3) - wc(3)(1)(4) + Z(3)(1) >= 0
- wc(3)(2)(1) - wc(3)(2)(2) - wc(3)(2)(3) - wc(3)(2)(4) + Z(3)(2) >= 0
- wc(3)(3)(1) - wc(3)(3)(2) - wc(3)(3)(3) - wc(3)(3)(4) + Z(3)(3) >= 0
- wc(4)(1)(1) - wc(4)(1)(2) - wc(4)(1)(3) - wc(4)(1)(4) + Z(4)(1) >= 0
- wc(4)(2)(1) - wc(4)(2)(2) - wc(4)(2)(3) - wc(4)(2)(4) + Z(4)(2) >= 0
- wc(4)(3)(1) - wc(4)(3)(2) - wc(4)(3)(3) - wc(4)(3)(4) + Z(4)(3) >= 0
- cw(1)(1)(1) - cw(1)(1)(2) - cw(1)(1)(3) - cw(1)(1)(4) + Z(1)(1) >= 0
- cw(2)(1)(1) - cw(2)(1)(2) - cw(2)(1)(3) - cw(2)(1)(4) + Z(1)(2) >= 0
- cw(3)(1)(1) - cw(3)(1)(2) - cw(3)(1)(3) - cw(3)(1)(4) + Z(1)(3) >= 0
- cw(1)(2)(1) - cw(1)(2)(2) - cw(1)(2)(3) - cw(1)(2)(4) + Z(2)(1) >= 0
- cw(2)(2)(1) - cw(2)(2)(2) - cw(2)(2)(3) - cw(2)(2)(4) + Z(2)(2) >= 0
- cw(3)(2)(1) - cw(3)(2)(2) - cw(3)(2)(3) - cw(3)(2)(4) + Z(2)(3) >= 0
- cw(1)(3)(1) - cw(1)(3)(2) - cw(1)(3)(3) - cw(1)(3)(4) + Z(3)(1) >= 0
- cw(2)(3)(1) - cw(2)(3)(2) - cw(2)(3)(3) - cw(2)(3)(4) + Z(3)(2) >= 0
- cw(3)(3)(1) - cw(3)(3)(2) - cw(3)(3)(3) - cw(3)(3)(4) + Z(3)(3) >= 0
- cw(1)(4)(1) - cw(1)(4)(2) - cw(1)(4)(3) - cw(1)(4)(4) + Z(4)(1) >= 0
- cw(2)(4)(1) - cw(2)(4)(2) - cw(2)(4)(3) - cw(2)(4)(4) + Z(4)(2) >= 0
- cw(3)(4)(1) - cw(3)(4)(2) - cw(3)(4)(3) - cw(3)(4)(4) + Z(4)(3) >= 0
Y(1) - wc(1)(1)(1) - wc(1)(1)(2) - wc(1)(1)(3) - wc(1)(1)(4)
- wc(1)(2)(1) - wc(1)(2)(2) - wc(1)(2)(3) - wc(1)(2)(4) - wc(1)(3)(1)
- wc(1)(3)(2) - wc(1)(3)(3) - wc(1)(3)(4) = 0
Y(2) - wc(2)(1)(1) - wc(2)(1)(2) - wc(2)(1)(3) - wc(2)(1)(4)
- wc(2)(2)(1) - wc(2)(2)(2) - wc(2)(2)(3) - wc(2)(2)(4) - wc(2)(3)(1)
- wc(2)(3)(2) - wc(2)(3)(3) - wc(2)(3)(4) = 0
Y(3) - wc(3)(1)(1) - wc(3)(1)(2) - wc(3)(1)(3) - wc(3)(1)(4)
- wc(3)(2)(1) - wc(3)(2)(2) - wc(3)(2)(3) - wc(3)(2)(4) - wc(3)(3)(1)
- wc(3)(3)(2) - wc(3)(3)(3) - wc(3)(3)(4) = 0
Y(4) - wc(4)(1)(1) - wc(4)(1)(2) - wc(4)(1)(3) - wc(4)(1)(4)
- wc(4)(2)(1) - wc(4)(2)(2) - wc(4)(2)(3) - wc(4)(2)(4) - wc(4)(3)(1)
- wc(4)(3)(2) - wc(4)(3)(3) - wc(4)(3)(4) = 0
Y(1) - cw(1)(1)(1) - cw(1)(1)(2) - cw(1)(1)(3) - cw(1)(1)(4)
- cw(2)(1)(1) - cw(2)(1)(2) - cw(2)(1)(3) - cw(2)(1)(4) - cw(3)(1)(1)
- cw(3)(1)(2) - cw(3)(1)(3) - cw(3)(1)(4) = 0
Y(2) - cw(1)(2)(1) - cw(1)(2)(2) - cw(1)(2)(3) - cw(1)(2)(4)
- cw(2)(2)(1) - cw(2)(2)(2) - cw(2)(2)(3) - cw(2)(2)(4) - cw(3)(2)(1)
- cw(3)(2)(2) - cw(3)(2)(3) - cw(3)(2)(4) = 0
Y(3) - cw(1)(3)(1) - cw(1)(3)(2) - cw(1)(3)(3) - cw(1)(3)(4)
- cw(2)(3)(1) - cw(2)(3)(2) - cw(2)(3)(3) - cw(2)(3)(4) - cw(3)(3)(1)

- cw(3)(3)(2) - cw(3)(3)(3) - cw(3)(3)(4) = 0

c66: Y(4) - cw(1)(4)(1) - cw(1)(4)(2) - cw(1)(4)(3) - cw(1)(4)(4)
- cw(2)(4)(1) - cw(2)(4)(2) - cw(2)(4)(3) - cw(2)(4)(4) - cw(3)(4)(1)
- cw(3)(4)(2) - cw(3)(4)(3) - cw(3)(4)(4) = 0
c67: wc(1)(1)(1) + wc(1)(2)(1) + wc(1)(3)(1) + wc(2)(1)(1) + wc(2)(2)(1)
+ wc(2)(3)(1) + wc(3)(1)(1) + wc(3)(2)(1) + wc(3)(3)(1) + wc(4)(1)(1)
+ wc(4)(2)(1) + wc(4)(3)(1) <= 1
c68: wc(1)(1)(2) + wc(1)(2)(2) + wc(1)(3)(2) + wc(2)(1)(2) + wc(2)(2)(2)
+ wc(2)(3)(2) + wc(3)(1)(2) + wc(3)(2)(2) + wc(3)(3)(2) + wc(4)(1)(2)
+ wc(4)(2)(2) + wc(4)(3)(2) <= 1
c69: wc(1)(1)(3) + wc(1)(2)(3) + wc(1)(3)(3) + wc(2)(1)(3) + wc(2)(2)(3)
+ wc(2)(3)(3) + wc(3)(1)(3) + wc(3)(2)(3) + wc(3)(3)(3) + wc(4)(1)(3)
+ wc(4)(2)(3) + wc(4)(3)(3) <= 1
c70: wc(1)(1)(4) + wc(1)(2)(4) + wc(1)(3)(4) + wc(2)(1)(4) + wc(2)(2)(4)
+ wc(2)(3)(4) + wc(3)(1)(4) + wc(3)(2)(4) + wc(3)(3)(4) + wc(4)(1)(4)
+ wc(4)(2)(4) + wc(4)(3)(4) <= 1
c71: cw(1)(1)(1) + cw(1)(2)(1) + cw(1)(3)(1) + cw(1)(4)(1) + cw(2)(1)(1)
+ cw(2)(2)(1) + cw(2)(3)(1) + cw(2)(4)(1) + cw(3)(1)(1) + cw(3)(2)(1)
+ cw(3)(3)(1) + cw(3)(4)(1) <= 1
c72: cw(1)(1)(2) + cw(1)(2)(2) + cw(1)(3)(2) + cw(1)(4)(2) + cw(2)(1)(2)
+ cw(2)(2)(2) + cw(2)(3)(2) + cw(2)(4)(2) + cw(3)(1)(2) + cw(3)(2)(2)
+ cw(3)(3)(2) + cw(3)(4)(2) <= 1
c73: cw(1)(1)(3) + cw(1)(2)(3) + cw(1)(3)(3) + cw(1)(4)(3) + cw(2)(1)(3)
+ cw(2)(2)(3) + cw(2)(3)(3) + cw(2)(4)(3) + cw(3)(1)(3) + cw(3)(2)(3)
+ cw(3)(3)(3) + cw(3)(4)(3) <= 1
c74: cw(1)(1)(4) + cw(1)(2)(4) + cw(1)(3)(4) + cw(1)(4)(4) + cw(2)(1)(4)
+ cw(2)(2)(4) + cw(2)(3)(4) + cw(2)(4)(4) + cw(3)(1)(4) + cw(3)(2)(4)
+ cw(3)(3)(4) + cw(3)(4)(4) <= 1
c75: cc(1)(2)(1) + cc(1)(3)(1) + cc(2)(1)(1) + cc(2)(3)(1) + cc(3)(1)(1)
+ cc(3)(2)(1) <= 1
c76: cc(1)(2)(2) + cc(1)(3)(2) + cc(2)(1)(2) + cc(2)(3)(2) + cc(3)(1)(2)
+ cc(3)(2)(2) <= 1
c77: cc(1)(2)(3) + cc(1)(3)(3) + cc(2)(1)(3) + cc(2)(3)(3) + cc(3)(1)(3)
+ cc(3)(2)(3) <= 1
c78: cc(1)(2)(4) + cc(1)(3)(4) + cc(2)(1)(4) + cc(2)(3)(4) + cc(3)(1)(4)
+ cc(3)(2)(4) <= 1
c79: cc(1)(1)(1) = 0
c80: cc(2)(2)(1) = 0
c81: cc(3)(3)(1) = 0
c82: cc(1)(1)(2) = 0
c83: cc(2)(2)(2) = 0
c84: cc(3)(3)(2) = 0
c85: cc(1)(1)(3) = 0
c86: cc(2)(2)(3) = 0
c87: cc(3)(3)(3) = 0
c88: cc(1)(1)(4) = 0
c89: cc(2)(2)(4) = 0
c90: cc(3)(3)(4) = 0
c91: wc(1)(1)(1) + wc(2)(1)(1) + wc(3)(1)(1) + wc(4)(1)(1) - cc(1)(2)(1)
- cc(1)(3)(1) + cc(2)(1)(1) + cc(3)(1)(1) >= 0
c92: wc(1)(1)(2) + wc(2)(1)(2) + wc(3)(1)(2) + wc(4)(1)(2) - cc(1)(2)(2)
- cc(1)(3)(2) + cc(2)(1)(2) + cc(3)(1)(2) >= 0
c93: wc(1)(1)(3) + wc(2)(1)(3) + wc(3)(1)(3) + wc(4)(1)(3) - cc(1)(2)(3)
- cc(1)(3)(3) + cc(2)(1)(3) + cc(3)(1)(3) >= 0
c94: wc(1)(1)(4) + wc(2)(1)(4) + wc(3)(1)(4) + wc(4)(1)(4) - cc(1)(2)(4)
- cc(1)(3)(4) + cc(2)(1)(4) + cc(3)(1)(4) >= 0
c95: wc(1)(2)(1) + wc(2)(2)(1) + wc(3)(2)(1) + wc(4)(2)(1) + cc(1)(2)(1)
- cc(2)(1)(1) - cc(2)(3)(1) + cc(3)(2)(1) >= 0
c96: wc(1)(2)(2) + wc(2)(2)(2) + wc(3)(2)(2) + wc(4)(2)(2) + cc(1)(2)(2)
- cc(2)(1)(2) - cc(2)(3)(2) + cc(3)(2)(2) >= 0

c97: wc(1)(2)(3) +
- cc(2)(1)(3)
c98: wc(1)(2)(4) +
- cc(2)(1)(4)
c99: wc(1)(3)(1) +
+ cc(2)(3)(1)
c100: wc(1)(3)(2) +
+ cc(2)(3)(2)
c101: wc(1)(3)(3) +
+ cc(2)(3)(3)
c102: wc(1)(3)(4) +
+ cc(2)(3)(4)
c103: cc(1)(2)(1) +
+ cw(1)(2)(1)
c104: cc(1)(2)(2) +
+ cw(1)(2)(2)
c105: cc(1)(2)(3) +
+ cw(1)(2)(3)
c106: cc(1)(2)(4) +
+ cw(1)(2)(4)
c107: - cc(1)(2)(1)
+ cw(2)(2)(1)
c108: - cc(1)(2)(2)
+ cw(2)(2)(2)
c109: - cc(1)(2)(3)
+ cw(2)(2)(3)
c110: - cc(1)(2)(4)
+ cw(2)(2)(4)
c111: - cc(1)(3)(1)
+ cw(3)(2)(1)
c112: - cc(1)(3)(2)
+ cw(3)(2)(2)
c113: - cc(1)(3)(3)
+ cw(3)(2)(3)
c114: - cc(1)(3)(4)
+ cw(3)(2)(4)
c115: wc(1)(1)(1) +
- cc(1)(3)(1)
- cw(1)(3)(1)
c116: wc(1)(2)(1) +
- cc(2)(1)(1)
- cw(2)(3)(1)
c117: wc(1)(3)(1) +
+ cc(2)(3)(1)
- cw(3)(3)(1)
c118: wc(1)(1)(2) +
- cc(1)(3)(2)
- cw(1)(3)(2)
c119: wc(1)(2)(2) +
- cc(2)(1)(2)
- cw(2)(3)(2)
c120: wc(1)(3)(2) +
+ cc(2)(3)(2)
- cw(3)(3)(2)
c121: wc(1)(1)(3) +
- cc(1)(3)(3)
- cw(1)(3)(3)
c122: wc(1)(2)(3) +
- cc(2)(1)(3)
- cw(2)(3)(3)

wc(2)(2)(3) +
- cc(2)(3)(3)
wc(2)(2)(4) +
- cc(2)(3)(4)
wc(2)(3)(1) +
- cc(3)(1)(1)
wc(2)(3)(2) +
- cc(3)(1)(2)
wc(2)(3)(3) +
- cc(3)(1)(3)
wc(2)(3)(4) +
- cc(3)(1)(4)
cc(1)(3)(1) + cw(1)(3)(1)
cc(1)(3)(2) + cw(1)(3)(2)
cc(1)(3)(3) + cw(1)(3)(3)
cc(1)(3)(4) + cw(1)(3)(4)
+ cc(2)(1)(1)
+ cw(2)(3)(1)
+ cc(2)(1)(2)
+ cw(2)(3)(2)
+ cc(2)(1)(3)
+ cw(2)(3)(3)
+ cc(2)(1)(4)
+ cw(2)(3)(4)
- cc(2)(3)(1)
+ cw(3)(3)(1)
- cc(2)(3)(2)
+ cw(3)(3)(2)
- cc(2)(3)(3)
+ cw(3)(3)(3)
- cc(2)(3)(4)
+ cw(3)(3)(4)
wc(2)(1)(1) +
+ cc(2)(1)(1)
- cw(1)(4)(1)
wc(2)(2)(1) +
- cc(2)(3)(1)
- cw(2)(4)(1)
wc(2)(3)(1) +
- cc(3)(1)(1)
- cw(3)(4)(1)
wc(2)(1)(2) +
+ cc(2)(1)(2)
- cw(1)(4)(2)
wc(2)(2)(2) +
- cc(2)(3)(2)
- cw(2)(4)(2)
wc(2)(3)(2) +
- cc(3)(1)(2)
- cw(3)(4)(2)
wc(2)(1)(3) +
+ cc(2)(1)(3)
- cw(1)(4)(3)
wc(2)(2)(3) +
- cc(2)(3)(3)
- cw(2)(4)(3)

wc(3)(2)(3) +
+ cc(3)(2)(3)
wc(3)(2)(4) +
+ cc(3)(2)(4)
wc(3)(3)(1) +
- cc(3)(2)(1)
wc(3)(3)(2) +
- cc(3)(2)(2)
wc(3)(3)(3) +
- cc(3)(2)(3)
wc(3)(3)(4) +
- cc(3)(2)(4)
cc(2)(1)(1) + cw(1)(4)(1)
cc(2)(1)(2) + cw(1)(4)(2)
cc(2)(1)(3) + cw(1)(4)(3)
cc(2)(1)(4) + cw(1)(4)(4)
+ cc(2)(3)(1)
+ cw(2)(4)(1)
+ cc(2)(3)(2)
+ cw(2)(4)(2)
+ cc(2)(3)(3)
+ cw(2)(4)(3)
+ cc(2)(3)(4)
+ cw(2)(4)(4)
+ cc(3)(1)(1)
+ cw(3)(4)(1)
+ cc(3)(1)(2)
+ cw(3)(4)(2)
+ cc(3)(1)(3)
+ cw(3)(4)(3)
+ cc(3)(1)(4)
+ cw(3)(4)(4)
wc(3)(1)(1) +
+ cc(3)(1)(1)
= 0
wc(3)(2)(1) +
+ cc(3)(2)(1)
= 0
wc(3)(3)(1) +
- cc(3)(2)(1)
= 0
wc(3)(1)(2) +
+ cc(3)(1)(2)
= 0
wc(3)(2)(2) +
+ cc(3)(2)(2)
= 0
wc(3)(3)(2) +
- cc(3)(2)(2)
= 0
wc(3)(1)(3) +
+ cc(3)(1)(3)
= 0
wc(3)(2)(3) +
+ cc(3)(2)(3)
= 0

wc(4)(2)(3) +
>= 0
wc(4)(2)(4) +
>= 0
wc(4)(3)(1) +
>= 0
wc(4)(3)(2) +
>= 0
wc(4)(3)(3) +
>= 0
wc(4)(3)(4) +
>= 0
cc(3)(1)(1) +
>= 0
cc(3)(1)(2) +
>= 0
cc(3)(1)(3) +
>= 0
cc(3)(1)(4) +
>= 0
- cc(3)(2)(1)
>= 0
- cc(3)(2)(2)
>= 0
- cc(3)(2)(3)
>= 0
- cc(3)(2)(4)
>= 0
+ cc(3)(2)(1)
>= 0
+ cc(3)(2)(2)
>= 0
+ cc(3)(2)(3)
>= 0
+ cc(3)(2)(4)
>= 0
wc(4)(1)(1) - cw(1)(1)(1)

cc(1)(2)(3)
cc(1)(2)(4)
cc(1)(3)(1)
cc(1)(3)(2)
cc(1)(3)(3)
cc(1)(3)(4)
cw(1)(1)(1)
cw(1)(1)(2)
cw(1)(1)(3)
cw(1)(1)(4)
+ cw(2)(1)(1)
+ cw(2)(1)(2)
+ cw(2)(1)(3)
+ cw(2)(1)(4)
+ cw(3)(1)(1)
+ cw(3)(1)(2)
+ cw(3)(1)(3)
+ cw(3)(1)(4)
cc(1)(2)(1)
- cw(1)(2)(1)

wc(4)(2)(1) + cc(1)(2)(1)
- cw(2)(1)(1) - cw(2)(2)(1)
wc(4)(3)(1) + cc(1)(3)(1)
- cw(3)(1)(1) - cw(3)(2)(1)
wc(4)(1)(2) - cc(1)(2)(2)
- cw(1)(1)(2) - cw(1)(2)(2)
wc(4)(2)(2) + cc(1)(2)(2)
- cw(2)(1)(2) - cw(2)(2)(2)
wc(4)(3)(2) + cc(1)(3)(2)
- cw(3)(1)(2) - cw(3)(2)(2)
wc(4)(1)(3) - cc(1)(2)(3)
- cw(1)(1)(3) - cw(1)(2)(3)
wc(4)(2)(3) + cc(1)(2)(3)
- cw(2)(1)(3) - cw(2)(2)(3)

c123: wc(1)(3)(3) + wc(2)(3)(3) + wc(3)(3)(3) + wc(4)(3)(3) + cc(1)(3)(3)

+ cc(2)(3)(3) - cc(3)(1)(3) - cc(3)(2)(3) - cw(3)(1)(3) - cw(3)(2)(3)
- cw(3)(3)(3) - cw(3)(4)(3) = 0
c124: wc(1)(1)(4) + wc(2)(1)(4) + wc(3)(1)(4) + wc(4)(1)(4) - cc(1)(2)(4)
- cc(1)(3)(4) + cc(2)(1)(4) + cc(3)(1)(4) - cw(1)(1)(4) - cw(1)(2)(4)
- cw(1)(3)(4) - cw(1)(4)(4) = 0
c125: wc(1)(2)(4) + wc(2)(2)(4) + wc(3)(2)(4) + wc(4)(2)(4) + cc(1)(2)(4)
- cc(2)(1)(4) - cc(2)(3)(4) + cc(3)(2)(4) - cw(2)(1)(4) - cw(2)(2)(4)
- cw(2)(3)(4) - cw(2)(4)(4) = 0
c126: wc(1)(3)(4) + wc(2)(3)(4) + wc(3)(3)(4) + wc(4)(3)(4) + cc(1)(3)(4)
+ cc(2)(3)(4) - cc(3)(1)(4) - cc(3)(2)(4) - cw(3)(1)(4) - cw(3)(2)(4)
- cw(3)(3)(4) - cw(3)(4)(4) = 0
c127: 11 wc(1)(1)(1) + 12 wc(1)(2)(1) + 14 wc(1)(3)(1) + 13 wc(2)(1)(1)
+ 16 wc(2)(2)(1) + 12 wc(2)(3)(1) + 3 wc(3)(1)(1) + 9 wc(3)(2)(1)
+ 11 wc(3)(3)(1) + 13 wc(4)(1)(1) + 4 wc(4)(2)(1) + 2 wc(4)(3)(1)
+ 10000 cc(1)(1)(1) + 6 cc(1)(2)(1) + 7 cc(1)(3)(1) + 6 cc(2)(1)(1)
+ 10000 cc(2)(2)(1) + 4 cc(2)(3)(1) + 7 cc(3)(1)(1) + 4 cc(3)(2)(1)
+ 10000 cc(3)(3)(1) + 11 cw(1)(1)(1) + 13 cw(1)(2)(1) + 3 cw(1)(3)(1)
+ 13 cw(1)(4)(1) + 12 cw(2)(1)(1) + 16 cw(2)(2)(1) + 9 cw(2)(3)(1)
+ 4 cw(2)(4)(1) + 14 cw(3)(1)(1) + 12 cw(3)(2)(1) + 11 cw(3)(3)(1)
+ 2 cw(3)(4)(1) <= 100
c128: 11 wc(1)(1)(2) + 12 wc(1)(2)(2) + 14 wc(1)(3)(2) + 13 wc(2)(1)(2)
+ 16 wc(2)(2)(2) + 12 wc(2)(3)(2) + 3 wc(3)(1)(2) + 9 wc(3)(2)(2)
+ 11 wc(3)(3)(2) + 13 wc(4)(1)(2) + 4 wc(4)(2)(2) + 2 wc(4)(3)(2)
+ 10000 cc(1)(1)(2) + 6 cc(1)(2)(2) + 7 cc(1)(3)(2) + 6 cc(2)(1)(2)
+ 10000 cc(2)(2)(2) + 4 cc(2)(3)(2) + 7 cc(3)(1)(2) + 4 cc(3)(2)(2)
+ 10000 cc(3)(3)(2) + 11 cw(1)(1)(2) + 13 cw(1)(2)(2) + 3 cw(1)(3)(2)
+ 13 cw(1)(4)(2) + 12 cw(2)(1)(2) + 16 cw(2)(2)(2) + 9 cw(2)(3)(2)
+ 4 cw(2)(4)(2) + 14 cw(3)(1)(2) + 12 cw(3)(2)(2) + 11 cw(3)(3)(2)
+ 2 cw(3)(4)(2) <= 100
c129: 11 wc(1)(1)(3) + 12 wc(1)(2)(3) + 14 wc(1)(3)(3) + 13 wc(2)(1)(3)
+ 16 wc(2)(2)(3) + 12 wc(2)(3)(3) + 3 wc(3)(1)(3) + 9 wc(3)(2)(3)
+ 11 wc(3)(3)(3) + 13 wc(4)(1)(3) + 4 wc(4)(2)(3) + 2 wc(4)(3)(3)
+ 10000 cc(1)(1)(3) + 6 cc(1)(2)(3) + 7 cc(1)(3)(3) + 6 cc(2)(1)(3)
+ 10000 cc(2)(2)(3) + 4 cc(2)(3)(3) + 7 cc(3)(1)(3) + 4 cc(3)(2)(3)
+ 10000 cc(3)(3)(3) + 11 cw(1)(1)(3) + 13 cw(1)(2)(3) + 3 cw(1)(3)(3)
+ 13 cw(1)(4)(3) + 12 cw(2)(1)(3) + 16 cw(2)(2)(3) + 9 cw(2)(3)(3)
+ 4 cw(2)(4)(3) + 14 cw(3)(1)(3) + 12 cw(3)(2)(3) + 11 cw(3)(3)(3)
+ 2 cw(3)(4)(3) <= 100
c130: 11 wc(1)(1)(4) + 12 wc(1)(2)(4) + 14 wc(1)(3)(4) + 13 wc(2)(1)(4)
+ 16 wc(2)(2)(4) + 12 wc(2)(3)(4) + 3 wc(3)(1)(4) + 9 wc(3)(2)(4)
+ 11 wc(3)(3)(4) + 13 wc(4)(1)(4) + 4 wc(4)(2)(4) + 2 wc(4)(3)(4)
+ 10000 cc(1)(1)(4) + 6 cc(1)(2)(4) + 7 cc(1)(3)(4) + 6 cc(2)(1)(4)
+ 10000 cc(2)(2)(4) + 4 cc(2)(3)(4) + 7 cc(3)(1)(4) + 4 cc(3)(2)(4)
+ 10000 cc(3)(3)(4) + 11 cw(1)(1)(4) + 13 cw(1)(2)(4) + 3 cw(1)(3)(4)
+ 13 cw(1)(4)(4) + 12 cw(2)(1)(4) + 16 cw(2)(2)(4) + 9 cw(2)(3)(4)
+ 4 cw(2)(4)(4) + 14 cw(3)(1)(4) + 12 cw(3)(2)(4) + 11 cw(3)(3)(4)
+ 2 cw(3)(4)(4) <= 100
c131: 30 wc(1)(1)(1) + 19 wc(1)(2)(1) + 21 wc(1)(3)(1) + 30 wc(2)(1)(1)
+ 19 wc(2)(2)(1) + 21 wc(2)(3)(1) + 30 wc(3)(1)(1) + 19 wc(3)(2)(1)
+ 21 wc(3)(3)(1) + 30 wc(4)(1)(1) + 19 wc(4)(2)(1) + 21 wc(4)(3)(1)
+ 30 cc(1)(1)(1) + 19 cc(1)(2)(1) + 21 cc(1)(3)(1) + 30 cc(2)(1)(1)
+ 19 cc(2)(2)(1) + 21 cc(2)(3)(1) + 30 cc(3)(1)(1) + 19 cc(3)(2)(1)
+ 21 cc(3)(3)(1) <= 40
c132: 30 wc(1)(1)(2) + 19 wc(1)(2)(2) + 21 wc(1)(3)(2) + 30 wc(2)(1)(2)
+ 19 wc(2)(2)(2) + 21 wc(2)(3)(2) + 30 wc(3)(1)(2) + 19 wc(3)(2)(2)
+ 21 wc(3)(3)(2) + 30 wc(4)(1)(2) + 19 wc(4)(2)(2) + 21 wc(4)(3)(2)
+ 30 cc(1)(1)(2) + 19 cc(1)(2)(2) + 21 cc(1)(3)(2) + 30 cc(2)(1)(2)
+ 19 cc(2)(2)(2) + 21 cc(2)(3)(2) + 30 cc(3)(1)(2) + 19 cc(3)(2)(2)
+ 21 cc(3)(3)(2) <= 40

c133: 30 wc(1)(1)(3) +
+ 19 wc(2)(2)(3)
+ 21 wc(3)(3)(3)
+ 30 cc(1)(1)(3)
+ 19 cc(2)(2)(3)
+ 21 cc(3)(3)(3)
c134: 30 wc(1)(1)(4) +
+ 19 wc(2)(2)(4)
+ 21 wc(3)(3)(4)
+ 30 cc(1)(1)(4)
+ 19 cc(2)(2)(4)
+ 21 cc(3)(3)(4)
c135: Y(3) = 1
c136: Y(4) = 1
c137: Z(3)(1) = 1
c138: Z(4)(2) = 1
c139: Z(4)(3) = 1
c140: wc(4)(2)(4) = 1
c141: wc(3)(1)(1) = 1
c142: cw(1)(3)(1) = 1
c143: cw(3)(4)(4) = 1
c144: cc(2)(3)(4) = 1
Bounds
0 <= Y(1) <= 1
0 <= Y(2) <= 1
0 <= Y(3) <= 1
0 <= Y(4) <= 1
0 <= wc(1)(1)(1) <= 1
0 <= wc(1)(1)(2) <= 1
0 <= wc(1)(1)(3) <= 1
0 <= wc(1)(1)(4) <= 1
0 <= wc(1)(2)(1) <= 1
0 <= wc(1)(2)(2) <= 1
0 <= wc(1)(2)(3) <= 1
0 <= wc(1)(2)(4) <= 1
0 <= wc(1)(3)(1) <= 1
0 <= wc(1)(3)(2) <= 1
0 <= wc(1)(3)(3) <= 1
0 <= wc(1)(3)(4) <= 1
0 <= wc(2)(1)(1) <= 1
0 <= wc(2)(1)(2) <= 1
0 <= wc(2)(1)(3) <= 1
0 <= wc(2)(1)(4) <= 1
0 <= wc(2)(2)(1) <= 1
0 <= wc(2)(2)(2) <= 1
0 <= wc(2)(2)(3) <= 1
0 <= wc(2)(2)(4) <= 1
0 <= wc(2)(3)(1) <= 1
0 <= wc(2)(3)(2) <= 1
0 <= wc(2)(3)(3) <= 1
0 <= wc(2)(3)(4) <= 1
0 <= wc(3)(1)(1) <= 1
0 <= wc(3)(1)(2) <= 1
0 <= wc(3)(1)(3) <= 1
0 <= wc(3)(1)(4) <= 1
0 <= wc(3)(2)(1) <= 1
0 <= wc(3)(2)(2) <= 1
0 <= wc(3)(2)(3) <= 1
0 <= wc(3)(2)(4) <= 1
0 <= wc(3)(3)(1) <= 1

19 wc(1)(2)(3) +
+ 21 wc(2)(3)(3)
+ 30 wc(4)(1)(3)
+ 19 cc(1)(2)(3)
+ 21 cc(2)(3)(3)
<= 40
19 wc(1)(2)(4) +
+ 21 wc(2)(3)(4)
+ 30 wc(4)(1)(4)
+ 19 cc(1)(2)(4)
+ 21 cc(2)(3)(4)
<= 40

21 wc(1)(3)(3) +
+ 30 wc(3)(1)(3)
+ 19 wc(4)(2)(3)
+ 21 cc(1)(3)(3)
+ 30 cc(3)(1)(3)

30 wc(2)(1)(3)
+ 19 wc(3)(2)(3)
+ 21 wc(4)(3)(3)
+ 30 cc(2)(1)(3)
+ 19 cc(3)(2)(3)

21 wc(1)(3)(4) +
+ 30 wc(3)(1)(4)
+ 19 wc(4)(2)(4)
+ 21 cc(1)(3)(4)
+ 30 cc(3)(1)(4)

30 wc(2)(1)(4)
+ 19 wc(3)(2)(4)
+ 21 wc(4)(3)(4)
+ 30 cc(2)(1)(4)
+ 19 cc(3)(2)(4)

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0

<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=

wc(3)(3)(2)
wc(3)(3)(3)
wc(3)(3)(4)
wc(4)(1)(1)
wc(4)(1)(2)
wc(4)(1)(3)
wc(4)(1)(4)
wc(4)(2)(1)
wc(4)(2)(2)
wc(4)(2)(3)
wc(4)(2)(4)
wc(4)(3)(1)
wc(4)(3)(2)
wc(4)(3)(3)
wc(4)(3)(4)
cc(1)(1)(1)
cc(1)(1)(2)
cc(1)(1)(3)
cc(1)(1)(4)
cc(1)(2)(1)
cc(1)(2)(2)
cc(1)(2)(3)
cc(1)(2)(4)
cc(1)(3)(1)
cc(1)(3)(2)
cc(1)(3)(3)
cc(1)(3)(4)
cc(2)(1)(1)
cc(2)(1)(2)
cc(2)(1)(3)
cc(2)(1)(4)
cc(2)(2)(1)
cc(2)(2)(2)
cc(2)(2)(3)
cc(2)(2)(4)
cc(2)(3)(1)
cc(2)(3)(2)
cc(2)(3)(3)
cc(2)(3)(4)
cc(3)(1)(1)
cc(3)(1)(2)
cc(3)(1)(3)
cc(3)(1)(4)
cc(3)(2)(1)
cc(3)(2)(2)
cc(3)(2)(3)
cc(3)(2)(4)
cc(3)(3)(1)
cc(3)(3)(2)
cc(3)(3)(3)
cc(3)(3)(4)
cw(1)(1)(1)
cw(1)(1)(2)
cw(1)(1)(3)
cw(1)(1)(4)
cw(1)(2)(1)
cw(1)(2)(2)
cw(1)(2)(3)
cw(1)(2)(4)
cw(1)(3)(1)

<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=

1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0

<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=

cw(1)(3)(2) <= 1
cw(1)(3)(3) <= 1
cw(1)(3)(4) <= 1
cw(1)(4)(1) <= 1
cw(1)(4)(2) <= 1
cw(1)(4)(3) <= 1
cw(1)(4)(4) <= 1
cw(2)(1)(1) <= 1
cw(2)(1)(2) <= 1
cw(2)(1)(3) <= 1
cw(2)(1)(4) <= 1
cw(2)(2)(1) <= 1
cw(2)(2)(2) <= 1
cw(2)(2)(3) <= 1
cw(2)(2)(4) <= 1
cw(2)(3)(1) <= 1
cw(2)(3)(2) <= 1
cw(2)(3)(3) <= 1
cw(2)(3)(4) <= 1
cw(2)(4)(1) <= 1
cw(2)(4)(2) <= 1
cw(2)(4)(3) <= 1
cw(2)(4)(4) <= 1
cw(3)(1)(1) <= 1
cw(3)(1)(2) <= 1
cw(3)(1)(3) <= 1
cw(3)(1)(4) <= 1
cw(3)(2)(1) <= 1
cw(3)(2)(2) <= 1
cw(3)(2)(3) <= 1
cw(3)(2)(4) <= 1
cw(3)(3)(1) <= 1
cw(3)(3)(2) <= 1
cw(3)(3)(3) <= 1
cw(3)(3)(4) <= 1
cw(3)(4)(1) <= 1
cw(3)(4)(2) <= 1
cw(3)(4)(3) <= 1
cw(3)(4)(4) <= 1
x149 = 643
0 <= Z(1)(1) <= 1
0 <= Z(2)(1) <= 1
0 <= Z(3)(1) <= 1
0 <= Z(4)(1) <= 1
0 <= Z(1)(2) <= 1
0 <= Z(2)(2) <= 1
0 <= Z(3)(2) <= 1
0 <= Z(4)(2) <= 1
0 <= Z(1)(3) <= 1
0 <= Z(2)(3) <= 1
0 <= Z(3)(3) <= 1
0 <= Z(4)(3) <= 1
Binaries
Y(1) Y(2) Y(3) Y(4) wc(1)(1)(1) wc(1)(1)(2) wc(1)(1)(3) wc(1)(1)(4)
wc(1)(2)(1) wc(1)(2)(2) wc(1)(2)(3) wc(1)(2)(4) wc(1)(3)(1) wc(1)(3)(2)
wc(1)(3)(3) wc(1)(3)(4) wc(2)(1)(1) wc(2)(1)(2) wc(2)(1)(3) wc(2)(1)(4)
wc(2)(2)(1) wc(2)(2)(2) wc(2)(2)(3) wc(2)(2)(4) wc(2)(3)(1) wc(2)(3)(2)
wc(2)(3)(3) wc(2)(3)(4) wc(3)(1)(1) wc(3)(1)(2) wc(3)(1)(3) wc(3)(1)(4)
wc(3)(2)(1) wc(3)(2)(2) wc(3)(2)(3) wc(3)(2)(4) wc(3)(3)(1) wc(3)(3)(2)
wc(3)(3)(3) wc(3)(3)(4) wc(4)(1)(1) wc(4)(1)(2) wc(4)(1)(3) wc(4)(1)(4)

wc(4)(2)(1) wc(4)(2)(2)
wc(4)(3)(3) wc(4)(3)(4)
cc(1)(2)(1) cc(1)(2)(2)
cc(1)(3)(3) cc(1)(3)(4)
cc(2)(2)(1) cc(2)(2)(2)
cc(2)(3)(3) cc(2)(3)(4)
cc(3)(2)(1) cc(3)(2)(2)
cc(3)(3)(3) cc(3)(3)(4)
cw(1)(2)(1) cw(1)(2)(2)
cw(1)(3)(3) cw(1)(3)(4)
cw(2)(1)(1) cw(2)(1)(2)
cw(2)(2)(3) cw(2)(2)(4)
cw(2)(4)(1) cw(2)(4)(2)
cw(3)(1)(3) cw(3)(1)(4)
cw(3)(3)(1) cw(3)(3)(2)
cw(3)(4)(3) cw(3)(4)(4)
Z(2)(2) Z(3)(2) Z(4)(2)
End

wc(4)(2)(3) wc(4)(2)(4) wc(4)(3)(1) wc(4)(3)(2)

cc(1)(1)(1) cc(1)(1)(2) cc(1)(1)(3) cc(1)(1)(4)
cc(1)(2)(3) cc(1)(2)(4) cc(1)(3)(1) cc(1)(3)(2)
cc(2)(1)(1) cc(2)(1)(2) cc(2)(1)(3) cc(2)(1)(4)
cc(2)(2)(3) cc(2)(2)(4) cc(2)(3)(1) cc(2)(3)(2)
cc(3)(1)(1) cc(3)(1)(2) cc(3)(1)(3) cc(3)(1)(4)
cc(3)(2)(3) cc(3)(2)(4) cc(3)(3)(1) cc(3)(3)(2)
cw(1)(1)(1) cw(1)(1)(2) cw(1)(1)(3) cw(1)(1)(4)
cw(1)(2)(3) cw(1)(2)(4) cw(1)(3)(1) cw(1)(3)(2)
cw(1)(4)(1) cw(1)(4)(2) cw(1)(4)(3) cw(1)(4)(4)
cw(2)(1)(3) cw(2)(1)(4) cw(2)(2)(1) cw(2)(2)(2)
cw(2)(3)(1) cw(2)(3)(2) cw(2)(3)(3) cw(2)(3)(4)
cw(2)(4)(3) cw(2)(4)(4) cw(3)(1)(1) cw(3)(1)(2)
cw(3)(2)(1) cw(3)(2)(2) cw(3)(2)(3) cw(3)(2)(4)
cw(3)(3)(3) cw(3)(3)(4) cw(3)(4)(1) cw(3)(4)(2)
Z(1)(1) Z(2)(1) Z(3)(1) Z(4)(1) Z(1)(2)
Z(1)(3) Z(2)(3) Z(3)(3) Z(4)(3)