\ENCODING=ISO-8859-1 \Problem name: BDB Minimize obj: _e0#19 + _e1#20 + _e2#21 + _e3#22 Subject To C1_0_0: x0_0#0 + x0_1#1 + x0_2#2 + x0_3#3 = 1 C1_1_1: x1_0#4 + x1_1#5 + x1_2#6 + x1_3#7 = 1 C1_2_2: x2_0#8 + x2_1#9 + x2_2#10 + x2_3#11 = 1 C2_0_3: a0_0#23 + a0_1#24 + a0_2#25 + a0_3#26 = 1 C2_1_4: a1_0#27 + a1_1#28 + a1_2#29 + a1_3#30 = 1 C2_2_5: a2_0#31 + a2_1#32 + a2_2#33 + a2_3#34 = 1 C2_3_6: a3_0#35 + a3_1#36 + a3_2#37 + a3_3#38 = 1 C3_0_3_0_0_7: 2 x0_0#0 - y0#12 + 2 a0_0#23 <= 2 C3_0_3_0_1_8: x0_1#1 - y0#12 + a0_0#23 <= 1 C3_0_3_0_2_9: 2 x0_2#2 - y0#12 + 2 a0_0#23 <= 2 C3_0_3_0_3_10: 3 x0_3#3 - y0#12 + 3 a0_0#23 <= 3 C3_0_3_1_0_11: 2 x0_0#0 - y0#12 + 2 a1_0#27 <= 2 C3_0_3_1_1_12: x0_1#1 - y0#12 + a1_0#27 <= 1 C3_0_3_1_2_13: x0_2#2 - y0#12 + a1_0#27 <= 1 C3_0_3_1_3_14: 2 x0_3#3 - y0#12 + 2 a1_0#27 <= 2 C3_0_3_2_0_15: 2 x0_0#0 - y0#12 + 2 a2_0#31 <= 2 C3_0_3_2_1_16: 3 x0_1#1 - y0#12 + 3 a2_0#31 <= 3 C3_0_3_2_2_17: 2 x0_2#2 - y0#12 + 2 a2_0#31 <= 2 C3_0_3_2_3_18: 3 x0_3#3 - y0#12 + 3 a2_0#31 <= 3 C3_0_3_3_0_19: x0_0#0 - y0#12 + a3_0#35 <= 1 C3_0_3_3_1_20: x0_1#1 - y0#12 + a3_0#35 <= 1 C3_0_3_3_2_21: 2 x0_2#2 - y0#12 + 2 a3_0#35 <= 2 C3_0_3_3_3_22: 2 x0_3#3 - y0#12 + 2 a3_0#35 <= 2 C3_0_4_0_0_23: 2 x0_0#0 - y0#12 + 2 a0_1#24 <= 2 C3_0_4_0_1_24: x0_1#1 - y0#12 + a0_1#24 <= 1 C3_0_4_0_2_25: 2 x0_2#2 - y0#12 + 2 a0_1#24 <= 2 C3_0_4_0_3_26: 3 x0_3#3 - y0#12 + 3 a0_1#24 <= 3 C3_0_4_1_0_27: 2 x0_0#0 - y0#12 + 2 a1_1#28 <= 2 C3_0_4_1_1_28: x0_1#1 - y0#12 + a1_1#28 <= 1 C3_0_4_1_2_29: x0_2#2 - y0#12 + a1_1#28 <= 1 C3_0_4_1_3_30: 2 x0_3#3 - y0#12 + 2 a1_1#28 <= 2 C3_0_4_2_0_31: 2 x0_0#0 - y0#12 + 2 a2_1#32 <= 2 C3_0_4_2_1_32: 3 x0_1#1 - y0#12 + 3 a2_1#32 <= 3 C3_0_4_2_2_33: 2 x0_2#2 - y0#12 + 2 a2_1#32 <= 2 C3_0_4_2_3_34: 3 x0_3#3 - y0#12 + 3 a2_1#32 <= 3 C3_0_4_3_0_35: x0_0#0 - y0#12 + a3_1#36 <= 1 C3_0_4_3_1_36: x0_1#1 - y0#12 + a3_1#36 <= 1 C3_0_4_3_2_37: 2 x0_2#2 - y0#12 + 2 a3_1#36 <= 2 C3_0_4_3_3_38: 2 x0_3#3 - y0#12 + 2 a3_1#36 <= 2 C3_1_3_0_0_39: 2 x1_0#4 - y1#13 + 2 a0_0#23 <= 2 C3_1_3_0_1_40: x1_1#5 - y1#13 + a0_0#23 <= 1 C3_1_3_0_2_41: 2 x1_2#6 - y1#13 + 2 a0_0#23 <= 2 C3_1_3_0_3_42: 3 x1_3#7 - y1#13 + 3 a0_0#23 <= 3 C3_1_3_1_0_43: 2 x1_0#4 - y1#13 + 2 a1_0#27 <= 2 C3_1_3_1_1_44: x1_1#5 - y1#13 + a1_0#27 <= 1 C3_1_3_1_2_45: x1_2#6 - y1#13 + a1_0#27 <= 1 C3_1_3_1_3_46: 2 x1_3#7 - y1#13 + 2 a1_0#27 <= 2 C3_1_3_2_0_47: 2 x1_0#4 - y1#13 + 2 a2_0#31 <= 2 C3_1_3_2_1_48: 3 x1_1#5 - y1#13 + 3 a2_0#31 <= 3 C3_1_3_2_2_49: 2 x1_2#6 - y1#13 + 2 a2_0#31 <= 2 C3_1_3_2_3_50: 3 x1_3#7 - y1#13 + 3 a2_0#31 <= 3 C3_1_3_3_0_51: x1_0#4 - y1#13 + a3_0#35 <= 1 C3_1_3_3_1_52: x1_1#5 - y1#13 + a3_0#35 <= 1 C3_1_3_3_2_53: 2 x1_2#6 - y1#13 + 2 a3_0#35 <= 2 C3_1_3_3_3_54: 2 x1_3#7 - y1#13 + 2 a3_0#35 <= 2 C3_2_5_0_0_55: 2 x2_0#8 - y2#14 + 2 a0_2#25 <= 2 C3_2_5_0_1_56: x2_1#9 - y2#14 + a0_2#25 <= 1 C3_2_5_0_2_57: 2 x2_2#10 - y2#14 + 2 a0_2#25 <= 2 C3_2_5_0_3_58: 3 x2_3#11 - y2#14 + 3 a0_2#25 <= 3 C3_2_5_1_0_59: 2 x2_0#8 - y2#14 + 2 a1_2#29 <= 2 C3_2_5_1_1_60: x2_1#9 - y2#14 + a1_2#29 <= 1 C3_2_5_1_2_61: x2_2#10 - y2#14 + a1_2#29 <= 1 C3_2_5_1_3_62: 2 x2_3#11 - y2#14 + 2 a1_2#29 <= 2 C3_2_5_2_0_63: 2 x2_0#8 - y2#14 + 2 a2_2#33 <= 2 C3_2_5_2_1_64: 3 x2_1#9 - y2#14 + 3 a2_2#33 <= 3 C3_2_5_2_2_65: 2 x2_2#10 - y2#14 + 2 a2_2#33 <= 2 C3_2_5_2_3_66: 3 x2_3#11 - y2#14 + 3 a2_2#33 <= 3 C3_2_5_3_0_67: x2_0#8 - y2#14 + a3_2#37 <= 1 C3_2_5_3_1_68: x2_1#9 - y2#14 + a3_2#37 <= 1 C3_2_5_3_2_69: 2 x2_2#10 - y2#14 + 2 a3_2#37 <= 2 C3_2_5_3_3_70: 2 x2_3#11 - y2#14 + 2 a3_2#37 <= 2 C4_0_5_0_0_BigM0_71: - x0_0#0 - y0#12 - a0_2#25 >= -3 C4_0_5_0_1_BigM3_72: - 3 x0_1#1 - y0#12 - 3 a0_2#25 >= -5 C4_0_5_0_2_BigM0_73: - x0_2#2 - y0#12 - a0_2#25 >= -3 C4_0_5_0_3_BigM0_74: - y0#12 >= -2 C4_0_5_1_0_BigM0_75: - x0_0#0 - y0#12 - a1_2#29 >= -3 C4_0_5_1_1_BigM3_76: - 3 x0_1#1 - y0#12 - 3 a1_2#29 >= -5 C4_0_5_1_2_BigM2_77: - 2 x0_2#2 - y0#12 - 2 a1_2#29 >= -4 C4_0_5_1_3_BigM0_78: - x0_3#3 - y0#12 - a1_2#29 >= -3 C4_0_5_2_0_BigM0_79: - x0_0#0 - y0#12 - a2_2#33 >= -3 C4_0_5_2_1_BigM0_80: - x0_1#1 - y0#12 - a2_2#33 >= -3 C4_0_5_2_2_BigM0_81: - x0_2#2 - y0#12 - a2_2#33 >= -3 C4_0_5_2_3_BigM0_82: - y0#12 >= -2 C4_0_5_3_0_BigM2_83: - 2 x0_0#0 - y0#12 - 2 a3_2#37 >= -4 C4_0_5_3_1_BigM3_84: - 3 x0_1#1 - y0#12 - 3 a3_2#37 >= -5 C4_0_5_3_2_BigM0_85: - x0_2#2 - y0#12 - a3_2#37 >= -3 C4_0_5_3_3_BigM0_86: - x0_3#3 - y0#12 - a3_2#37 >= -3 C4_0_6_0_0_BigM0_87: - x0_0#0 - y0#12 - a0_3#26 >= -3 C4_0_6_0_1_BigM3_88: - 3 x0_1#1 - y0#12 - 3 a0_3#26 >= -5 C4_0_6_0_2_BigM0_89: - x0_2#2 - y0#12 - a0_3#26 >= -3 C4_0_6_0_3_BigM0_90: - y0#12 >= -2 C4_0_6_1_0_BigM0_91: - x0_0#0 - y0#12 - a1_3#30 >= -3 C4_0_6_1_1_BigM3_92: - 3 x0_1#1 - y0#12 - 3 a1_3#30 >= -5 C4_0_6_1_2_BigM2_93: - 2 x0_2#2 - y0#12 - 2 a1_3#30 >= -4 C4_0_6_1_3_BigM0_94: - x0_3#3 - y0#12 - a1_3#30 >= -3 C4_0_6_2_0_BigM0_95: - x0_0#0 - y0#12 - a2_3#34 >= -3 C4_0_6_2_1_BigM0_96: - x0_1#1 - y0#12 - a2_3#34 >= -3 C4_0_6_2_2_BigM0_97: - x0_2#2 - y0#12 - a2_3#34 >= -3 C4_0_6_2_3_BigM0_98: - y0#12 >= -2 C4_0_6_3_0_BigM2_99: - 2 x0_0#0 - y0#12 - 2 a3_3#38 >= -4 C4_0_6_3_1_BigM3_100: - 3 x0_1#1 - y0#12 - 3 a3_3#38 >= -5 C4_0_6_3_2_BigM0_101: - x0_2#2 - y0#12 - a3_3#38 >= -3 C4_0_6_3_3_BigM0_102: - x0_3#3 - y0#12 - a3_3#38 >= -3 C4_1_4_0_0_BigM0_103: - x1_0#4 - y1#13 - a0_1#24 >= -3 C4_1_4_0_1_BigM3_104: - 3 x1_1#5 - y1#13 - 3 a0_1#24 >= -5 C4_1_4_0_2_BigM0_105: - x1_2#6 - y1#13 - a0_1#24 >= -3 C4_1_4_0_3_BigM0_106: - y1#13 >= -2 C4_1_4_1_0_BigM0_107: - x1_0#4 - y1#13 - a1_1#28 >= -3 C4_1_4_1_1_BigM3_108: - 3 x1_1#5 - y1#13 - 3 a1_1#28 >= -5 C4_1_4_1_2_BigM2_109: - 2 x1_2#6 - y1#13 - 2 a1_1#28 >= -4 C4_1_4_1_3_BigM0_110: - x1_3#7 - y1#13 - a1_1#28 >= -3 C4_1_4_2_0_BigM0_111: - x1_0#4 - y1#13 - a2_1#32 >= -3 C4_1_4_2_1_BigM0_112: - x1_1#5 - y1#13 - a2_1#32 >= -3 C4_1_4_2_2_BigM0_113: - x1_2#6 - y1#13 - a2_1#32 >= -3 C4_1_4_2_3_BigM0_114: - y1#13 >= -2 C4_1_4_3_0_BigM2_115: - 2 x1_0#4 - y1#13 - 2 a3_1#36 >= -4 C4_1_4_3_1_BigM3_116: - 3 x1_1#5 - y1#13 - 3 a3_1#36 >= -5 C4_1_4_3_2_BigM0_117: - x1_2#6 - y1#13 - a3_1#36 >= -3 C4_1_4_3_3_BigM0_118: - x1_3#7 - y1#13 - a3_1#36 >= -3 C4_2_6_0_0_BigM0_119: - x2_0#8 - y2#14 - a0_3#26 >= -3 C4_2_6_0_1_BigM3_120: - 3 x2_1#9 - y2#14 - 3 a0_3#26 >= -5 C4_2_6_0_2_BigM0_121: - x2_2#10 - y2#14 - a0_3#26 >= -3 C4_2_6_0_3_BigM0_122: - y2#14 >= -2 C4_2_6_1_0_BigM0_123: - x2_0#8 - y2#14 - a1_3#30 >= -3 C4_2_6_1_1_BigM3_124: - 3 x2_1#9 - y2#14 - 3 a1_3#30 >= -5 C4_2_6_1_2_BigM2_125: - 2 x2_2#10 - y2#14 - 2 a1_3#30 >= -4 C4_2_6_1_3_BigM0_126: - x2_3#11 - y2#14 - a1_3#30 >= -3 C4_2_6_2_0_BigM0_127: - x2_0#8 - y2#14 - a2_3#34 >= -3 C4_2_6_2_1_BigM0_128: - x2_1#9 - y2#14 - a2_3#34 >= -3 C4_2_6_2_2_BigM0_129: - x2_2#10 - y2#14 - a2_3#34 >= -3 C4_2_6_2_3_BigM0_130: - y2#14 >= -2 C4_2_6_3_0_BigM2_131: - 2 x2_0#8 - y2#14 - 2 a3_3#38 >= -4 C4_2_6_3_1_BigM3_132: - 3 x2_1#9 - y2#14 - 3 a3_3#38 >= -5 C4_2_6_3_2_BigM0_133: - x2_2#10 - y2#14 - a3_3#38 >= -3 C4_2_6_3_3_BigM0_134: - x2_3#11 - y2#14 - a3_3#38 >= -3 C5_0_3_135: z0#15 + _e0#19 - a0_0#23 >= 0 C5_0_4_136: z1#16 + _e0#19 - a0_1#24 >= 0 C5_0_5_137: z2#17 + _e0#19 - a0_2#25 >= 0 C5_0_6_138: z3#18 + _e0#19 - a0_3#26 >= 0 C5_1_3_139: z0#15 + _e1#20 - a1_0#27 >= 0 C5_1_4_140: z1#16 + _e1#20 - a1_1#28 >= 0 C5_1_5_141: z2#17 + _e1#20 - a1_2#29 >= 0 C5_1_6_142: z3#18 + _e1#20 - a1_3#30 >= 0 C6_2_3_143: - z0#15 + _e2#21 - a2_0#31 >= -1 C6_2_4_144: - z1#16 + _e2#21 - a2_1#32 >= -1 C6_2_5_145: - z2#17 + _e2#21 - a2_2#33 >= -1 C6_2_6_146: - z3#18 + _e2#21 - a2_3#34 >= -1 C6_3_3_147: - z0#15 + _e3#22 - a3_0#35 >= -1 C6_3_4_148: - z1#16 + _e3#22 - a3_1#36 >= -1 C6_3_5_149: - z2#17 + _e3#22 - a3_2#37 >= -1 C6_3_6_150: - z3#18 + _e3#22 - a3_3#38 >= -1 C7_0_0_151: - x0_0#0 + y0#12 >= 0 C7_0_1_152: - x0_1#1 + y0#12 >= 0 C7_0_2_153: - x0_2#2 + y0#12 >= 0 C7_0_3_154: - 2 x0_3#3 + y0#12 >= 0 C7_1_0_155: - x1_0#4 + y1#13 >= 0 C7_1_1_156: - x1_1#5 + y1#13 >= 0 C7_1_2_157: - x1_2#6 + y1#13 >= 0 C7_1_3_158: - 2 x1_3#7 + y1#13 >= 0 C7_2_0_159: - x2_0#8 + y2#14 >= 0 C7_2_1_160: - x2_1#9 + y2#14 >= 0 C7_2_2_161: - x2_2#10 + y2#14 >= 0 C7_2_3_162: - 2 x2_3#11 + y2#14 >= 0 C8_0_0_163: 2 x0_0#0 + y0#12 <= 3 C8_0_1_164: 2 x0_1#1 + y0#12 <= 3 C8_0_2_165: 2 x0_2#2 + y0#12 <= 3 C8_0_3_166: x0_3#3 + y0#12 <= 3 C8_1_0_167: 2 x1_0#4 + y1#13 <= 3 C8_1_1_168: 2 x1_1#5 + y1#13 <= 3 C8_1_2_169: 2 x1_2#6 + y1#13 <= 3 C8_1_3_170: x1_3#7 + y1#13 <= 3 C8_2_0_171: 2 x2_0#8 + y2#14 <= 3 C8_2_1_172: 2 x2_1#9 + y2#14 <= 3 C8_2_2_173: 2 x2_2#10 + y2#14 <= 3 C8_2_3_174: x2_3#11 + y2#14 <= 3 Bounds 0 <= x0_0#0 <= 1 0 <= x0_1#1 <= 1 0 <= x0_2#2 <= 1 0 <= x0_3#3 <= 1 0 <= x1_0#4 <= 1 0 <= x1_1#5 <= 1 0 <= x1_2#6 <= 1 0 <= x1_3#7 <= 1 0 <= x2_0#8 <= 1 0 <= x2_1#9 <= 1 0 <= x2_2#10 <= 1 0 <= x2_3#11 <= 1 0 <= y0#12 <= 2 0 <= y1#13 <= 2 0 <= y2#14 <= 2 0 <= z0#15 <= 1 0 <= z1#16 <= 1 0 <= z2#17 <= 1 0 <= z3#18 <= 1 0 <= _e0#19 <= 1 0 <= _e1#20 <= 1 0 <= _e2#21 <= 1 0 <= _e3#22 <= 1 0 <= a0_0#23 <= 1 0 <= a0_1#24 <= 1 0 <= a0_2#25 <= 1 0 <= a0_3#26 <= 1 0 <= a1_0#27 <= 1 0 <= a1_1#28 <= 1 0 <= a1_2#29 <= 1 0 <= a1_3#30 <= 1 0 <= a2_0#31 <= 1 0 <= a2_1#32 <= 1 0 <= a2_2#33 <= 1 a2_3#34 = 1 0 <= a3_0#35 <= 1 0 <= a3_1#36 <= 1 0 <= a3_2#37 <= 1 0 <= a3_3#38 <= 1 Generals x0_0#0 x0_1#1 x0_2#2 x0_3#3 x1_0#4 x1_1#5 x1_2#6 x1_3#7 x2_0#8 x2_1#9 x2_2#10 x2_3#11 y0#12 y1#13 y2#14 z0#15 z1#16 z2#17 z3#18 _e0#19 _e1#20 _e2#21 _e3#22 a0_0#23 a0_1#24 a0_2#25 a0_3#26 a1_0#27 a1_1#28 a1_2#29 a1_3#30 a2_0#31 a2_1#32 a2_2#33 a2_3#34 a3_0#35 a3_1#36 a3_2#37 a3_3#38 End