\ENCODING=ISO-8859-1 \Problem name: PROBLEMXYZ Minimize obj: 2 C1 + 4 C2 + 3 C3 + C4 + 2 C5 + C6 + 3 C7 + 3 C8 + 0 x0_0_0 + 0 x0_1_0 + 0 x0_2_0 + 0 x0_3_0 + 0 x0_4_0 + 0 x0_5_0 + 0 x0_6_0 + 0 x0_7_0 + 0 x0_8_0 + 0 x0_9_0 + 0 x0_9_1 + 0 x0_9_2 + 0 x0_9_3 + 0 x0_9_4 + 0 x0_9_5 + 0 x0_9_6 + 0 x0_9_7 + 0 x0_9_8 + 0 x0_9_9 + 0 V0_0_0 + 0 V0_0_1 + 0 V0_0_2 + 0 V0_0_3 + 0 V0_0_4 + 0 V0_0_5 + 0 V0_0_6 + 0 V0_0_7 + 0 V0_0_8 + 0 V0_0_9 + 0 V0_1_0 + 0 V0_2_0 + 0 V0_3_0 + 0 V0_4_0 + 0 V0_5_0 + 0 V0_6_0 + 0 V0_7_0 + 0 V0_8_0 + 0 V0_9_0 + 0 V0_9_1 + 0 V0_9_2 + 0 V0_9_3 + 0 V0_9_4 + 0 V0_9_5 + 0 V0_9_6 + 0 V0_9_7 + 0 V0_9_8 + 0 V0_9_9 Subject To A1#0: x0_0_1 + x0_2_1 + x0_3_1 + x0_4_1 + x0_5_1 + x0_6_1 + x0_7_1 + x0_8_1 >= 1 A2#1: x0_0_2 + x0_1_2 + x0_3_2 + x0_4_2 + x0_5_2 + x0_6_2 + x0_7_2 + x0_8_2 >= 1 A3#2: x0_0_3 + x0_1_3 + x0_2_3 + x0_4_3 + x0_5_3 + x0_6_3 + x0_7_3 + x0_8_3 >= 1 A4#3: x0_0_4 + x0_1_4 + x0_2_4 + x0_3_4 + x0_5_4 + x0_6_4 + x0_7_4 + x0_8_4 >= 1 A5#4: x0_0_5 + x0_1_5 + x0_2_5 + x0_3_5 + x0_4_5 + x0_6_5 + x0_7_5 + x0_8_5 >= 1 A6#5: x0_0_6 + x0_1_6 + x0_2_6 + x0_3_6 + x0_4_6 + x0_5_6 + x0_7_6 + x0_8_6 >= 1 A7#6: x0_0_7 + x0_1_7 + x0_2_7 + x0_3_7 + x0_4_7 + x0_5_7 + x0_6_7 + x0_8_7 >= 1 A8#7: x0_0_8 + x0_1_8 + x0_2_8 + x0_3_8 + x0_4_8 + x0_5_8 + x0_6_8 + x0_7_8 >= 1 B0#8: x0_0_1 + x0_0_2 + x0_0_3 + x0_0_4 + x0_0_5 + x0_0_6 + x0_0_7 + x0_0_8 + x0_0_9 <= 1 B0_J1#9: x0_0_1 - x0_1_2 - x0_1_3 - x0_1_4 - x0_1_5 - x0_1_6 - x0_1_7 - x0_1_8 - x0_1_9 + x0_2_1 + x0_3_1 + x0_4_1 + x0_5_1 + x0_6_1 + x0_7_1 + x0_8_1 = 0 B0_J2#10: x0_0_2 + x0_1_2 - x0_2_1 - x0_2_3 - x0_2_4 - x0_2_5 - x0_2_6 - x0_2_7 - x0_2_8 - x0_2_9 + x0_3_2 + x0_4_2 + x0_5_2 + x0_6_2 + x0_7_2 + x0_8_2 = 0 B0_J3#11: x0_0_3 + x0_1_3 + x0_2_3 - x0_3_1 - x0_3_2 - x0_3_4 - x0_3_5 - x0_3_6 - x0_3_7 - x0_3_8 - x0_3_9 + x0_4_3 + x0_5_3 + x0_6_3 + x0_7_3 + x0_8_3 = 0 B0_J4#12: x0_0_4 + x0_1_4 + x0_2_4 + x0_3_4 - x0_4_1 - x0_4_2 - x0_4_3 - x0_4_5 - x0_4_6 - x0_4_7 - x0_4_8 - x0_4_9 + x0_5_4 + x0_6_4 + x0_7_4 + x0_8_4 = 0 B0_J5#13: x0_0_5 + x0_1_5 + x0_2_5 + x0_3_5 + x0_4_5 - x0_5_1 - x0_5_2 - x0_5_3 - x0_5_4 - x0_5_6 - x0_5_7 - x0_5_8 - x0_5_9 + x0_6_5 + x0_7_5 + x0_8_5 = 0 B0_J6#14: x0_0_6 + x0_1_6 + x0_2_6 + x0_3_6 + x0_4_6 + x0_5_6 - x0_6_1 - x0_6_2 - x0_6_3 - x0_6_4 - x0_6_5 - x0_6_7 - x0_6_8 - x0_6_9 + x0_7_6 + x0_8_6 = 0 B0_J7#15: x0_0_7 + x0_1_7 + x0_2_7 + x0_3_7 + x0_4_7 + x0_5_7 + x0_6_7 - x0_7_1 - x0_7_2 - x0_7_3 - x0_7_4 - x0_7_5 - x0_7_6 - x0_7_8 - x0_7_9 + x0_8_7 = 0 B0_J8#16: x0_0_8 + x0_1_8 + x0_2_8 + x0_3_8 + x0_4_8 + x0_5_8 + x0_6_8 + x0_7_8 - x0_8_1 - x0_8_2 - x0_8_3 - x0_8_4 - x0_8_5 - x0_8_6 - x0_8_7 - x0_8_9 = 0 D1#17: C1 - 3 x0_0_1 - 3 x0_1_1 - 3 x0_2_1 - 3 x0_3_1 - 3 x0_4_1 - 3 x0_5_1 - 3 x0_6_1 - 3 x0_7_1 - 3 x0_8_1 - V0_1_1 - V0_2_1 - V0_3_1 - V0_4_1 - V0_5_1 - V0_6_1 - V0_7_1 - V0_8_1 >= 0 D2#18: C2 - x0_0_2 - x0_1_2 - x0_2_2 - x0_3_2 - x0_4_2 - x0_5_2 - x0_6_2 - x0_7_2 - x0_8_2 - V0_1_2 - V0_2_2 - V0_3_2 - V0_4_2 - V0_5_2 - V0_6_2 - V0_7_2 - V0_8_2 >= 0 D3#19: C3 - 2 x0_0_3 - 2 x0_1_3 - 2 x0_2_3 - 2 x0_3_3 - 2 x0_4_3 - 2 x0_5_3 - 2 x0_6_3 - 2 x0_7_3 - 2 x0_8_3 - V0_1_3 - V0_2_3 - V0_3_3 - V0_4_3 - V0_5_3 - V0_6_3 - V0_7_3 - V0_8_3 >= 0 D4#20: C4 - 2 x0_0_4 - 2 x0_1_4 - 2 x0_2_4 - 2 x0_3_4 - 2 x0_4_4 - 2 x0_5_4 - 2 x0_6_4 - 2 x0_7_4 - 2 x0_8_4 - V0_1_4 - V0_2_4 - V0_3_4 - V0_4_4 - V0_5_4 - V0_6_4 - V0_7_4 - V0_8_4 >= 0 D5#21: C5 - 2 x0_0_5 - 2 x0_1_5 - 2 x0_2_5 - 2 x0_3_5 - 2 x0_4_5 - 2 x0_5_5 - 2 x0_6_5 - 2 x0_7_5 - 2 x0_8_5 - V0_1_5 - V0_2_5 - V0_3_5 - V0_4_5 - V0_5_5 - V0_6_5 - V0_7_5 - V0_8_5 >= 0 D6#22: C6 - 4 x0_0_6 - 4 x0_1_6 - 4 x0_2_6 - 4 x0_3_6 - 4 x0_4_6 - 4 x0_5_6 - 4 x0_6_6 - 4 x0_7_6 - 4 x0_8_6 - V0_1_6 - V0_2_6 - V0_3_6 - V0_4_6 - V0_5_6 - V0_6_6 - V0_7_6 - V0_8_6 >= 0 D7#23: C7 - 2 x0_0_7 - 2 x0_1_7 - 2 x0_2_7 - 2 x0_3_7 - 2 x0_4_7 - 2 x0_5_7 - 2 x0_6_7 - 2 x0_7_7 - 2 x0_8_7 - V0_1_7 - V0_2_7 - V0_3_7 - V0_4_7 - V0_5_7 - V0_6_7 - V0_7_7 - V0_8_7 >= 0 D8#24: C8 - 4 x0_0_8 - 4 x0_1_8 - 4 x0_2_8 - 4 x0_3_8 - 4 x0_4_8 - 4 x0_5_8 - 4 x0_6_8 - 4 x0_7_8 - 4 x0_8_8 - V0_1_8 - V0_2_8 - V0_3_8 - V0_4_8 - V0_5_8 - V0_6_8 - V0_7_8 - V0_8_8 >= 0 DI0_1_1#25: - 20 x0_1_1 + V0_1_1 <= 0 DI0_1_2#26: - 20 x0_1_2 + V0_1_2 <= 0 DI0_1_3#27: - 20 x0_1_3 + V0_1_3 <= 0 DI0_1_4#28: - 20 x0_1_4 + V0_1_4 <= 0 DI0_1_5#29: - 20 x0_1_5 + V0_1_5 <= 0 DI0_1_6#30: - 20 x0_1_6 + V0_1_6 <= 0 DI0_1_7#31: - 20 x0_1_7 + V0_1_7 <= 0 DI0_1_8#32: - 20 x0_1_8 + V0_1_8 <= 0 DI0_1_9#33: - 20 x0_1_9 + V0_1_9 <= 0 DI0_2_1#34: - 20 x0_2_1 + V0_2_1 <= 0 DI0_2_2#35: - 20 x0_2_2 + V0_2_2 <= 0 DI0_2_3#36: - 20 x0_2_3 + V0_2_3 <= 0 DI0_2_4#37: - 20 x0_2_4 + V0_2_4 <= 0 DI0_2_5#38: - 20 x0_2_5 + V0_2_5 <= 0 DI0_2_6#39: - 20 x0_2_6 + V0_2_6 <= 0 DI0_2_7#40: - 20 x0_2_7 + V0_2_7 <= 0 DI0_2_8#41: - 20 x0_2_8 + V0_2_8 <= 0 DI0_2_9#42: - 20 x0_2_9 + V0_2_9 <= 0 DI0_3_1#43: - 20 x0_3_1 + V0_3_1 <= 0 DI0_3_2#44: - 20 x0_3_2 + V0_3_2 <= 0 DI0_3_3#45: - 20 x0_3_3 + V0_3_3 <= 0 DI0_3_4#46: - 20 x0_3_4 + V0_3_4 <= 0 DI0_3_5#47: - 20 x0_3_5 + V0_3_5 <= 0 DI0_3_6#48: - 20 x0_3_6 + V0_3_6 <= 0 DI0_3_7#49: - 20 x0_3_7 + V0_3_7 <= 0 DI0_3_8#50: - 20 x0_3_8 + V0_3_8 <= 0 DI0_3_9#51: - 20 x0_3_9 + V0_3_9 <= 0 DI0_4_1#52: - 20 x0_4_1 + V0_4_1 <= 0 DI0_4_2#53: - 20 x0_4_2 + V0_4_2 <= 0 DI0_4_3#54: - 20 x0_4_3 + V0_4_3 <= 0 DI0_4_4#55: - 20 x0_4_4 + V0_4_4 <= 0 DI0_4_5#56: - 20 x0_4_5 + V0_4_5 <= 0 DI0_4_6#57: - 20 x0_4_6 + V0_4_6 <= 0 DI0_4_7#58: - 20 x0_4_7 + V0_4_7 <= 0 DI0_4_8#59: - 20 x0_4_8 + V0_4_8 <= 0 DI0_4_9#60: - 20 x0_4_9 + V0_4_9 <= 0 DI0_5_1#61: - 20 x0_5_1 + V0_5_1 <= 0 DI0_5_2#62: - 20 x0_5_2 + V0_5_2 <= 0 DI0_5_3#63: - 20 x0_5_3 + V0_5_3 <= 0 DI0_5_4#64: - 20 x0_5_4 + V0_5_4 <= 0 DI0_5_5#65: - 20 x0_5_5 + V0_5_5 <= 0 DI0_5_6#66: - 20 x0_5_6 + V0_5_6 <= 0 DI0_5_7#67: - 20 x0_5_7 + V0_5_7 <= 0 DI0_5_8#68: - 20 x0_5_8 + V0_5_8 <= 0 DI0_5_9#69: - 20 x0_5_9 + V0_5_9 <= 0 DI0_6_1#70: - 20 x0_6_1 + V0_6_1 <= 0 DI0_6_2#71: - 20 x0_6_2 + V0_6_2 <= 0 DI0_6_3#72: - 20 x0_6_3 + V0_6_3 <= 0 DI0_6_4#73: - 20 x0_6_4 + V0_6_4 <= 0 DI0_6_5#74: - 20 x0_6_5 + V0_6_5 <= 0 DI0_6_6#75: - 20 x0_6_6 + V0_6_6 <= 0 DI0_6_7#76: - 20 x0_6_7 + V0_6_7 <= 0 DI0_6_8#77: - 20 x0_6_8 + V0_6_8 <= 0 DI0_6_9#78: - 20 x0_6_9 + V0_6_9 <= 0 DI0_7_1#79: - 20 x0_7_1 + V0_7_1 <= 0 DI0_7_2#80: - 20 x0_7_2 + V0_7_2 <= 0 DI0_7_3#81: - 20 x0_7_3 + V0_7_3 <= 0 DI0_7_4#82: - 20 x0_7_4 + V0_7_4 <= 0 DI0_7_5#83: - 20 x0_7_5 + V0_7_5 <= 0 DI0_7_6#84: - 20 x0_7_6 + V0_7_6 <= 0 DI0_7_7#85: - 20 x0_7_7 + V0_7_7 <= 0 DI0_7_8#86: - 20 x0_7_8 + V0_7_8 <= 0 DI0_7_9#87: - 20 x0_7_9 + V0_7_9 <= 0 DI0_8_1#88: - 20 x0_8_1 + V0_8_1 <= 0 DI0_8_2#89: - 20 x0_8_2 + V0_8_2 <= 0 DI0_8_3#90: - 20 x0_8_3 + V0_8_3 <= 0 DI0_8_4#91: - 20 x0_8_4 + V0_8_4 <= 0 DI0_8_5#92: - 20 x0_8_5 + V0_8_5 <= 0 DI0_8_6#93: - 20 x0_8_6 + V0_8_6 <= 0 DI0_8_7#94: - 20 x0_8_7 + V0_8_7 <= 0 DI0_8_8#95: - 20 x0_8_8 + V0_8_8 <= 0 DI0_8_9#96: - 20 x0_8_9 + V0_8_9 <= 0 DII0_1_1#97: - C1 - 20 x0_1_1 + V0_1_1 >= -20 DII0_1_2#98: - C1 - 20 x0_1_2 + V0_1_2 >= -20 DII0_1_3#99: - C1 - 20 x0_1_3 + V0_1_3 >= -20 DII0_1_4#100: - C1 - 20 x0_1_4 + V0_1_4 >= -20 DII0_1_5#101: - C1 - 20 x0_1_5 + V0_1_5 >= -20 DII0_1_6#102: - C1 - 20 x0_1_6 + V0_1_6 >= -20 DII0_1_7#103: - C1 - 20 x0_1_7 + V0_1_7 >= -20 DII0_1_8#104: - C1 - 20 x0_1_8 + V0_1_8 >= -20 DII0_1_9#105: - C1 - 20 x0_1_9 + V0_1_9 >= -20 DII0_2_1#106: - C2 - 20 x0_2_1 + V0_2_1 >= -20 DII0_2_2#107: - C2 - 20 x0_2_2 + V0_2_2 >= -20 DII0_2_3#108: - C2 - 20 x0_2_3 + V0_2_3 >= -20 DII0_2_4#109: - C2 - 20 x0_2_4 + V0_2_4 >= -20 DII0_2_5#110: - C2 - 20 x0_2_5 + V0_2_5 >= -20 DII0_2_6#111: - C2 - 20 x0_2_6 + V0_2_6 >= -20 DII0_2_7#112: - C2 - 20 x0_2_7 + V0_2_7 >= -20 DII0_2_8#113: - C2 - 20 x0_2_8 + V0_2_8 >= -20 DII0_2_9#114: - C2 - 20 x0_2_9 + V0_2_9 >= -20 DII0_3_1#115: - C3 - 20 x0_3_1 + V0_3_1 >= -20 DII0_3_2#116: - C3 - 20 x0_3_2 + V0_3_2 >= -20 DII0_3_3#117: - C3 - 20 x0_3_3 + V0_3_3 >= -20 DII0_3_4#118: - C3 - 20 x0_3_4 + V0_3_4 >= -20 DII0_3_5#119: - C3 - 20 x0_3_5 + V0_3_5 >= -20 DII0_3_6#120: - C3 - 20 x0_3_6 + V0_3_6 >= -20 DII0_3_7#121: - C3 - 20 x0_3_7 + V0_3_7 >= -20 DII0_3_8#122: - C3 - 20 x0_3_8 + V0_3_8 >= -20 DII0_3_9#123: - C3 - 20 x0_3_9 + V0_3_9 >= -20 DII0_4_1#124: - C4 - 20 x0_4_1 + V0_4_1 >= -20 DII0_4_2#125: - C4 - 20 x0_4_2 + V0_4_2 >= -20 DII0_4_3#126: - C4 - 20 x0_4_3 + V0_4_3 >= -20 DII0_4_4#127: - C4 - 20 x0_4_4 + V0_4_4 >= -20 DII0_4_5#128: - C4 - 20 x0_4_5 + V0_4_5 >= -20 DII0_4_6#129: - C4 - 20 x0_4_6 + V0_4_6 >= -20 DII0_4_7#130: - C4 - 20 x0_4_7 + V0_4_7 >= -20 DII0_4_8#131: - C4 - 20 x0_4_8 + V0_4_8 >= -20 DII0_4_9#132: - C4 - 20 x0_4_9 + V0_4_9 >= -20 DII0_5_1#133: - C5 - 20 x0_5_1 + V0_5_1 >= -20 DII0_5_2#134: - C5 - 20 x0_5_2 + V0_5_2 >= -20 DII0_5_3#135: - C5 - 20 x0_5_3 + V0_5_3 >= -20 DII0_5_4#136: - C5 - 20 x0_5_4 + V0_5_4 >= -20 DII0_5_5#137: - C5 - 20 x0_5_5 + V0_5_5 >= -20 DII0_5_6#138: - C5 - 20 x0_5_6 + V0_5_6 >= -20 DII0_5_7#139: - C5 - 20 x0_5_7 + V0_5_7 >= -20 DII0_5_8#140: - C5 - 20 x0_5_8 + V0_5_8 >= -20 DII0_5_9#141: - C5 - 20 x0_5_9 + V0_5_9 >= -20 DII0_6_1#142: - C6 - 20 x0_6_1 + V0_6_1 >= -20 DII0_6_2#143: - C6 - 20 x0_6_2 + V0_6_2 >= -20 DII0_6_3#144: - C6 - 20 x0_6_3 + V0_6_3 >= -20 DII0_6_4#145: - C6 - 20 x0_6_4 + V0_6_4 >= -20 DII0_6_5#146: - C6 - 20 x0_6_5 + V0_6_5 >= -20 DII0_6_6#147: - C6 - 20 x0_6_6 + V0_6_6 >= -20 DII0_6_7#148: - C6 - 20 x0_6_7 + V0_6_7 >= -20 DII0_6_8#149: - C6 - 20 x0_6_8 + V0_6_8 >= -20 DII0_6_9#150: - C6 - 20 x0_6_9 + V0_6_9 >= -20 DII0_7_1#151: - C7 - 20 x0_7_1 + V0_7_1 >= -20 DII0_7_2#152: - C7 - 20 x0_7_2 + V0_7_2 >= -20 DII0_7_3#153: - C7 - 20 x0_7_3 + V0_7_3 >= -20 DII0_7_4#154: - C7 - 20 x0_7_4 + V0_7_4 >= -20 DII0_7_5#155: - C7 - 20 x0_7_5 + V0_7_5 >= -20 DII0_7_6#156: - C7 - 20 x0_7_6 + V0_7_6 >= -20 DII0_7_7#157: - C7 - 20 x0_7_7 + V0_7_7 >= -20 DII0_7_8#158: - C7 - 20 x0_7_8 + V0_7_8 >= -20 DII0_7_9#159: - C7 - 20 x0_7_9 + V0_7_9 >= -20 DII0_8_1#160: - C8 - 20 x0_8_1 + V0_8_1 >= -20 DII0_8_2#161: - C8 - 20 x0_8_2 + V0_8_2 >= -20 DII0_8_3#162: - C8 - 20 x0_8_3 + V0_8_3 >= -20 DII0_8_4#163: - C8 - 20 x0_8_4 + V0_8_4 >= -20 DII0_8_5#164: - C8 - 20 x0_8_5 + V0_8_5 >= -20 DII0_8_6#165: - C8 - 20 x0_8_6 + V0_8_6 >= -20 DII0_8_7#166: - C8 - 20 x0_8_7 + V0_8_7 >= -20 DII0_8_8#167: - C8 - 20 x0_8_8 + V0_8_8 >= -20 DII0_8_9#168: - C8 - 20 x0_8_9 + V0_8_9 >= -20 E0_1#169: - C0 + C1 - 3 x0_0_1 - 3 x0_2_1 - 3 x0_3_1 - 3 x0_4_1 - 3 x0_5_1 - 3 x0_6_1 - 3 x0_7_1 - 3 x0_8_1 >= 0 E0_2#170: - C0 + C2 - x0_0_2 - x0_1_2 - x0_3_2 - x0_4_2 - x0_5_2 - x0_6_2 - x0_7_2 - x0_8_2 >= 0 E0_3#171: - C0 + C3 - 2 x0_0_3 - 2 x0_1_3 - 2 x0_2_3 - 2 x0_4_3 - 2 x0_5_3 - 2 x0_6_3 - 2 x0_7_3 - 2 x0_8_3 >= 0 E1_3#172: - C1 + C3 - 2 x0_0_3 - 2 x0_1_3 - 2 x0_2_3 - 2 x0_4_3 - 2 x0_5_3 - 2 x0_6_3 - 2 x0_7_3 - 2 x0_8_3 >= 0 E2_3#173: - C2 + C3 - 2 x0_0_3 - 2 x0_1_3 - 2 x0_2_3 - 2 x0_4_3 - 2 x0_5_3 - 2 x0_6_3 - 2 x0_7_3 - 2 x0_8_3 >= 0 E0_4#174: - C0 + C4 - 2 x0_0_4 - 2 x0_1_4 - 2 x0_2_4 - 2 x0_3_4 - 2 x0_5_4 - 2 x0_6_4 - 2 x0_7_4 - 2 x0_8_4 >= 0 E1_4#175: - C1 + C4 - 2 x0_0_4 - 2 x0_1_4 - 2 x0_2_4 - 2 x0_3_4 - 2 x0_5_4 - 2 x0_6_4 - 2 x0_7_4 - 2 x0_8_4 >= 0 E3_4#176: - C3 + C4 - 2 x0_0_4 - 2 x0_1_4 - 2 x0_2_4 - 2 x0_3_4 - 2 x0_5_4 - 2 x0_6_4 - 2 x0_7_4 - 2 x0_8_4 >= 0 E0_5#177: - C0 + C5 - 2 x0_0_5 - 2 x0_1_5 - 2 x0_2_5 - 2 x0_3_5 - 2 x0_4_5 - 2 x0_6_5 - 2 x0_7_5 - 2 x0_8_5 >= 0 E2_5#178: - C2 + C5 - 2 x0_0_5 - 2 x0_1_5 - 2 x0_2_5 - 2 x0_3_5 - 2 x0_4_5 - 2 x0_6_5 - 2 x0_7_5 - 2 x0_8_5 >= 0 E4_5#179: - C4 + C5 - 2 x0_0_5 - 2 x0_1_5 - 2 x0_2_5 - 2 x0_3_5 - 2 x0_4_5 - 2 x0_6_5 - 2 x0_7_5 - 2 x0_8_5 >= 0 E0_6#180: - C0 + C6 - 4 x0_0_6 - 4 x0_1_6 - 4 x0_2_6 - 4 x0_3_6 - 4 x0_4_6 - 4 x0_5_6 - 4 x0_7_6 - 4 x0_8_6 >= 0 E1_6#181: - C1 + C6 - 4 x0_0_6 - 4 x0_1_6 - 4 x0_2_6 - 4 x0_3_6 - 4 x0_4_6 - 4 x0_5_6 - 4 x0_7_6 - 4 x0_8_6 >= 0 E0_7#182: - C0 + C7 - 2 x0_0_7 - 2 x0_1_7 - 2 x0_2_7 - 2 x0_3_7 - 2 x0_4_7 - 2 x0_5_7 - 2 x0_6_7 - 2 x0_8_7 >= 0 E6_7#183: - C6 + C7 - 2 x0_0_7 - 2 x0_1_7 - 2 x0_2_7 - 2 x0_3_7 - 2 x0_4_7 - 2 x0_5_7 - 2 x0_6_7 - 2 x0_8_7 >= 0 E0_8#184: - C0 + C8 - 4 x0_0_8 - 4 x0_1_8 - 4 x0_2_8 - 4 x0_3_8 - 4 x0_4_8 - 4 x0_5_8 - 4 x0_6_8 - 4 x0_7_8 >= 0 E1_8#185: - C1 + C8 - 4 x0_0_8 - 4 x0_1_8 - 4 x0_2_8 - 4 x0_3_8 - 4 x0_4_8 - 4 x0_5_8 - 4 x0_6_8 - 4 x0_7_8 >= 0 E3_8#186: - C3 + C8 - 4 x0_0_8 - 4 x0_1_8 - 4 x0_2_8 - 4 x0_3_8 - 4 x0_4_8 - 4 x0_5_8 - 4 x0_6_8 - 4 x0_7_8 >= 0 E5_8#187: - C5 + C8 - 4 x0_0_8 - 4 x0_1_8 - 4 x0_2_8 - 4 x0_3_8 - 4 x0_4_8 - 4 x0_5_8 - 4 x0_6_8 - 4 x0_7_8 >= 0 E0_9#188: - C0 + C9 >= 0 E2_9#189: - C2 + C9 >= 0 E7_9#190: - C7 + C9 >= 0 _F1#191: C1 - V0_1_2 - V0_1_3 - V0_1_4 - V0_1_5 - V0_1_6 - V0_1_7 - V0_1_8 - V0_1_9 = 0 _F2#192: C2 - V0_2_1 - V0_2_3 - V0_2_4 - V0_2_5 - V0_2_6 - V0_2_7 - V0_2_8 - V0_2_9 = 0 _F3#193: C3 - V0_3_1 - V0_3_2 - V0_3_4 - V0_3_5 - V0_3_6 - V0_3_7 - V0_3_8 - V0_3_9 = 0 _F4#194: C4 - V0_4_1 - V0_4_2 - V0_4_3 - V0_4_5 - V0_4_6 - V0_4_7 - V0_4_8 - V0_4_9 = 0 _F5#195: C5 - V0_5_1 - V0_5_2 - V0_5_3 - V0_5_4 - V0_5_6 - V0_5_7 - V0_5_8 - V0_5_9 = 0 _F6#196: C6 - V0_6_1 - V0_6_2 - V0_6_3 - V0_6_4 - V0_6_5 - V0_6_7 - V0_6_8 - V0_6_9 = 0 _F7#197: C7 - V0_7_1 - V0_7_2 - V0_7_3 - V0_7_4 - V0_7_5 - V0_7_6 - V0_7_8 - V0_7_9 = 0 _F8#198: C8 - V0_8_1 - V0_8_2 - V0_8_3 - V0_8_4 - V0_8_5 - V0_8_6 - V0_8_7 - V0_8_9 = 0 G3_2#199: C2 - x0_0_2 - 4 x0_1_2 - 8 x0_6_2 - 10 x0_7_2 >= 0 G17_1_3_2_5#200: 4.61538461538461 C1 + 1.53846153846154 C2 >= 20 G15_1_3_6_8#201: - 2 C1 + C3 + C6 >= 8 G20_0_0_1_3_4_5_0#202: - 5 x0_3_4 + V0_3_4 >= 0 G12_0_6_3_4#203: - 0.25 C4 + 0.5 x0_0_4 + 0.5 x0_1_4 + 0.5 x0_2_4 + 0.5 x0_3_4 + x0_6_3 + 0.5 x0_6_4 + 0.5 x0_7_4 <= -1.25 G12_0_7_2_3#204: - 0.142857142857143 C3 + 0.285714285714286 x0_0_3 + 0.285714285714286 x0_1_3 + 0.285714285714286 x0_2_3 + 0.285714285714286 x0_6_3 + x0_7_2 + 0.285714285714286 x0_7_3 <= -0.428571428571429 G25_0_1_2_3#205: - C1 + C3 - x0_1_2 >= 2 G3_6#206: C6 - 4 x0_0_6 - 7 x0_1_6 - 5 x0_2_6 - 9 x0_3_6 - 11 x0_4_6 - 13 x0_5_6 - 17 x0_8_6 >= 0 G20_0_1_3_7_3_9_0#207: - 9 x0_7_3 + V0_7_3 >= 0 G25_0_2_1_3#208: - C2 + C3 - 3 x0_2_1 >= 2 G22_4#209: C4 - 2 x0_6_4 - 4 x0_7_4 >= 7 G1_1_0_6_12#210: C1 + C2 + C3 + C4 + C5 + C6 - 40 x0_0_1 - 40 x0_0_2 - 40 x0_0_3 - 40 x0_0_4 - 40 x0_0_5 - 40 x0_0_6 - 40 x0_1_2 - 40 x0_1_3 - 40 x0_1_4 - 40 x0_1_5 - 40 x0_1_6 - 40 x0_2_1 - 40 x0_2_3 - 40 x0_2_4 - 40 x0_2_5 - 40 x0_2_6 - 40 x0_3_4 - 40 x0_3_5 - 40 x0_3_6 - 40 x0_4_5 - 40 x0_4_6 - 40 x0_5_6 - 40 x0_6_2 - 40 x0_6_3 - 40 x0_6_4 - 40 x0_6_5 - 40 x0_7_2 - 40 x0_7_3 - 40 x0_7_4 - 40 x0_7_5 - 40 x0_8_6 >= -200 G14_6_4#211: C4 - 2 x0_0_4 - 2 x0_1_4 - 2 x0_2_4 - 2 x0_3_4 - 11 x0_6_4 - 2 x0_7_4 >= 0 G20_0_0_2_1_4_4_1#212: - x0_0_2 - 4 x0_1_4 + x0_2_3 + x0_2_4 + x0_2_5 + x0_2_6 + x0_2_7 + x0_2_8 + x0_2_9 + V0_1_4 >= -1 G18_3_4_6_7_1#213: - 3.125 C1 + 0.625 C3 + 0.625 C4 + 1.25 C6 + 0.625 C7 >= 20 G9_0_5_8#214: 9 x0_5_8 - V0_5_8 <= 0 G17_2_3_1_6#215: 1.78217821782178 C1 + 0.99009900990099 C2 + 1.18811881188119 C3 + 0.475247524752475 V0_6_4 + 0.475247524752475 V0_6_5 + 0.475247524752475 V0_6_7 + 0.475247524752475 V0_6_8 + 0.475247524752475 V0_6_9 >= 20 G1_1_0_7_18#216: C1 + C2 + C3 + C4 + C5 + C6 + C8 - 58 x0_0_1 - 58 x0_0_2 - 58 x0_0_3 - 58 x0_0_4 - 58 x0_0_5 - 58 x0_0_6 - 58 x0_0_8 - 58 x0_1_2 - 58 x0_1_3 - 58 x0_1_4 - 58 x0_1_5 - 58 x0_1_6 - 58 x0_1_8 - 58 x0_2_1 - 58 x0_2_3 - 58 x0_2_4 - 58 x0_2_5 - 58 x0_2_6 - 58 x0_2_8 - 58 x0_3_4 - 58 x0_3_5 - 58 x0_3_6 - 58 x0_3_8 - 58 x0_4_5 - 58 x0_4_6 - 58 x0_4_8 - 58 x0_5_6 - 58 x0_5_8 - 58 x0_6_2 - 58 x0_6_3 - 58 x0_6_4 - 58 x0_6_5 - 58 x0_6_8 - 58 x0_7_2 - 58 x0_7_3 - 58 x0_7_4 - 58 x0_7_5 - 58 x0_7_8 - 58 x0_8_6 >= -348 G20_0_0_2_1_3_4_1#217: - x0_0_2 - 4 x0_1_3 + x0_2_3 + x0_2_4 + x0_2_5 + x0_2_6 + x0_2_7 + x0_2_8 + x0_2_9 + V0_1_3 >= -1 G9_0_4_5#218: 7 x0_4_5 - V0_4_5 <= 0 G20_0_2_1_8_6_13_0#219: - 13 x0_8_6 + V0_8_6 >= 0 G9_0_5_6#220: 9 x0_5_6 - V0_5_6 <= 0 G1_1_0_8_23#221: C1 + C2 + C3 + C4 + C5 + C6 + C7 + C8 - 73 x0_0_1 - 73 x0_0_2 - 73 x0_0_3 - 73 x0_0_4 - 73 x0_0_5 - 73 x0_0_6 - 73 x0_0_7 - 73 x0_0_8 - 73 x0_1_2 - 73 x0_1_3 - 73 x0_1_4 - 73 x0_1_5 - 73 x0_1_6 - 73 x0_1_7 - 73 x0_1_8 - 73 x0_2_1 - 73 x0_2_3 - 73 x0_2_4 - 73 x0_2_5 - 73 x0_2_6 - 73 x0_2_7 - 73 x0_2_8 - 73 x0_3_4 - 73 x0_3_5 - 73 x0_3_6 - 73 x0_3_7 - 73 x0_3_8 - 73 x0_4_5 - 73 x0_4_6 - 73 x0_4_7 - 73 x0_4_8 - 73 x0_5_6 - 73 x0_5_7 - 73 x0_5_8 - 73 x0_6_2 - 73 x0_6_3 - 73 x0_6_4 - 73 x0_6_5 - 73 x0_6_7 - 73 x0_6_8 - 73 x0_7_2 - 73 x0_7_3 - 73 x0_7_4 - 73 x0_7_5 - 73 x0_7_8 - 73 x0_8_6 - 73 x0_8_7 >= -511 G24_0_8_7#222: x0_7_8 - x0_8_6 + 13 x0_8_7 - x0_8_9 - V0_8_7 <= 0 G20_0_1_3_8_7_13_0#223: - 13 x0_8_7 + V0_8_7 >= 0 G24_0_6_3#224: x0_3_6 - x0_6_2 + 7 x0_6_3 - x0_6_4 - x0_6_5 - x0_6_7 - x0_6_8 - x0_6_9 - V0_6_3 <= 0 G20_0_0_2_1_6_4_1#225: - x0_0_2 - 4 x0_1_6 + x0_2_3 + x0_2_4 + x0_2_5 + x0_2_6 + x0_2_7 + x0_2_8 + x0_2_9 + V0_1_6 >= -1 G9_0_7_5#226: 9 x0_7_5 - V0_7_5 <= 0 G20_0_2_1_3_4_6_1#227: x0_1_2 + x0_1_4 + x0_1_5 + x0_1_6 + x0_1_7 + x0_1_8 + x0_1_9 - x0_2_1 - 6 x0_3_4 + V0_3_4 >= -1 G20_0_2_1_3_6_6_1#228: x0_1_2 + x0_1_4 + x0_1_5 + x0_1_6 + x0_1_7 + x0_1_8 + x0_1_9 - x0_2_1 - 6 x0_3_6 + V0_3_6 >= -1 G9_0_3_6#229: 5 x0_3_6 - V0_3_6 <= 0 G9_0_7_4#230: 9 x0_7_4 - V0_7_4 <= 0 G9_0_6_3#231: 7 x0_6_3 - V0_6_3 <= 0 G9_0_5_7#232: 9 x0_5_7 - V0_5_7 <= 0 G10_7_8#233: x0_7_8 + x0_8_7 <= 1 G20_0_2_1_3_7_6_1#234: x0_1_2 + x0_1_4 + x0_1_5 + x0_1_6 + x0_1_7 + x0_1_8 + x0_1_9 - x0_2_1 - 6 x0_3_7 + V0_3_7 >= -1 G9_0_7_8#235: 9 x0_7_8 - V0_7_8 <= 0 G20_0_2_1_3_8_6_1#236: x0_1_2 + x0_1_4 + x0_1_5 + x0_1_6 + x0_1_7 + x0_1_8 + x0_1_9 - x0_2_1 - 6 x0_3_8 + V0_3_8 >= -1 G9_0_4_6#237: 7 x0_4_6 - V0_4_6 <= 0 Bounds 0 <= C0 <= 20 0 <= C1 <= 20 0 <= C2 <= 20 0 <= C3 <= 20 0 <= C4 <= 20 0 <= C5 <= 20 0 <= C6 <= 20 0 <= C7 <= 20 0 <= C8 <= 20 0 <= C9 <= 20 x0_0_0 = 0 0 <= x0_0_1 <= 1 0 <= x0_0_2 <= 1 0 <= x0_0_3 <= 1 0 <= x0_0_4 <= 1 0 <= x0_0_5 <= 1 0 <= x0_0_6 <= 1 0 <= x0_0_7 <= 1 0 <= x0_0_8 <= 1 0 <= x0_0_9 <= 1 x0_1_0 = 0 x0_1_1 = 0 0 <= x0_1_2 <= 1 0 <= x0_1_3 <= 1 0 <= x0_1_4 <= 1 x0_1_5 = 0 0 <= x0_1_6 <= 1 x0_1_7 = 0 0 <= x0_1_8 <= 1 0 <= x0_1_9 <= 1 x0_2_0 = 0 0 <= x0_2_1 <= 1 x0_2_2 = 0 0 <= x0_2_3 <= 1 x0_2_4 = 0 0 <= x0_2_5 <= 1 0 <= x0_2_6 <= 1 0 <= x0_2_7 <= 1 x0_2_8 = 0 0 <= x0_2_9 <= 1 x0_3_0 = 0 x0_3_1 = 0 x0_3_2 = 0 x0_3_3 = 0 0 <= x0_3_4 <= 1 x0_3_5 = 0 0 <= x0_3_6 <= 1 0 <= x0_3_7 <= 1 0 <= x0_3_8 <= 1 0 <= x0_3_9 <= 1 x0_4_0 = 0 x0_4_1 = 0 x0_4_2 = 0 x0_4_3 = 0 x0_4_4 = 0 0 <= x0_4_5 <= 1 0 <= x0_4_6 <= 1 0 <= x0_4_7 <= 1 x0_4_8 = 0 0 <= x0_4_9 <= 1 x0_5_0 = 0 x0_5_1 = 0 x0_5_2 = 0 x0_5_3 = 0 x0_5_4 = 0 x0_5_5 = 0 0 <= x0_5_6 <= 1 0 <= x0_5_7 <= 1 0 <= x0_5_8 <= 1 0 <= x0_5_9 <= 1 x0_6_0 = 0 x0_6_1 = 0 0 <= x0_6_2 <= 1 0 <= x0_6_3 <= 1 0 <= x0_6_4 <= 1 0 <= x0_6_5 <= 1 x0_6_6 = 0 0 <= x0_6_7 <= 1 0 <= x0_6_8 <= 1 0 <= x0_6_9 <= 1 x0_7_0 = 0 x0_7_1 = 0 0 <= x0_7_2 <= 1 0 <= x0_7_3 <= 1 0 <= x0_7_4 <= 1 0 <= x0_7_5 <= 1 x0_7_6 = 0 x0_7_7 = 0 0 <= x0_7_8 <= 1 0 <= x0_7_9 <= 1 x0_8_0 = 0 x0_8_1 = 0 x0_8_2 = 0 x0_8_3 = 0 x0_8_4 = 0 x0_8_5 = 0 0 <= x0_8_6 <= 1 0 <= x0_8_7 <= 1 x0_8_8 = 0 0 <= x0_8_9 <= 1 x0_9_0 = 0 x0_9_1 = 0 x0_9_2 = 0 0 <= x0_9_3 <= 1 0 <= x0_9_4 <= 1 0 <= x0_9_5 <= 1 x0_9_6 = 0 x0_9_7 = 0 0 <= x0_9_8 <= 1 x0_9_9 = 0 V0_0_0 = 0 V0_0_1 = 0 V0_0_2 = 0 V0_0_3 = 0 V0_0_4 = 0 V0_0_5 = 0 V0_0_6 = 0 V0_0_7 = 0 V0_0_8 = 0 V0_0_9 = 0 V0_1_0 = 0 0 <= V0_1_1 <= 20 0 <= V0_1_2 <= 20 0 <= V0_1_3 <= 20 0 <= V0_1_4 <= 20 0 <= V0_1_5 <= 20 0 <= V0_1_6 <= 20 0 <= V0_1_7 <= 20 0 <= V0_1_8 <= 20 0 <= V0_1_9 <= 20 V0_2_0 = 0 0 <= V0_2_1 <= 20 0 <= V0_2_2 <= 20 0 <= V0_2_3 <= 20 0 <= V0_2_4 <= 20 0 <= V0_2_5 <= 20 0 <= V0_2_6 <= 20 0 <= V0_2_7 <= 20 0 <= V0_2_8 <= 20 0 <= V0_2_9 <= 20 V0_3_0 = 0 0 <= V0_3_1 <= 20 0 <= V0_3_2 <= 20 0 <= V0_3_3 <= 20 0 <= V0_3_4 <= 20 0 <= V0_3_5 <= 20 0 <= V0_3_6 <= 20 0 <= V0_3_7 <= 20 0 <= V0_3_8 <= 20 0 <= V0_3_9 <= 20 V0_4_0 = 0 0 <= V0_4_1 <= 20 0 <= V0_4_2 <= 20 0 <= V0_4_3 <= 20 0 <= V0_4_4 <= 20 0 <= V0_4_5 <= 20 0 <= V0_4_6 <= 20 0 <= V0_4_7 <= 20 0 <= V0_4_8 <= 20 0 <= V0_4_9 <= 20 V0_5_0 = 0 0 <= V0_5_1 <= 20 0 <= V0_5_2 <= 20 0 <= V0_5_3 <= 20 0 <= V0_5_4 <= 20 0 <= V0_5_5 <= 20 0 <= V0_5_6 <= 20 0 <= V0_5_7 <= 20 0 <= V0_5_8 <= 20 0 <= V0_5_9 <= 20 V0_6_0 = 0 0 <= V0_6_1 <= 20 0 <= V0_6_2 <= 20 0 <= V0_6_3 <= 20 0 <= V0_6_4 <= 20 0 <= V0_6_5 <= 20 0 <= V0_6_6 <= 20 0 <= V0_6_7 <= 20 0 <= V0_6_8 <= 20 0 <= V0_6_9 <= 20 V0_7_0 = 0 0 <= V0_7_1 <= 20 0 <= V0_7_2 <= 20 0 <= V0_7_3 <= 20 0 <= V0_7_4 <= 20 0 <= V0_7_5 <= 20 0 <= V0_7_6 <= 20 0 <= V0_7_7 <= 20 0 <= V0_7_8 <= 20 0 <= V0_7_9 <= 20 V0_8_0 = 0 0 <= V0_8_1 <= 20 0 <= V0_8_2 <= 20 0 <= V0_8_3 <= 20 0 <= V0_8_4 <= 20 0 <= V0_8_5 <= 20 0 <= V0_8_6 <= 20 0 <= V0_8_7 <= 20 0 <= V0_8_8 <= 20 0 <= V0_8_9 <= 20 V0_9_0 = 0 V0_9_1 = 0 V0_9_2 = 0 V0_9_3 = 0 V0_9_4 = 0 V0_9_5 = 0 V0_9_6 = 0 V0_9_7 = 0 V0_9_8 = 0 V0_9_9 = 0 Generals C0 C1 C2 C3 C4 C5 C6 C7 C8 C9 x0_0_0 x0_0_1 x0_0_2 x0_0_3 x0_0_4 x0_0_5 x0_0_6 x0_0_7 x0_0_8 x0_0_9 x0_1_0 x0_1_1 x0_1_2 x0_1_3 x0_1_4 x0_1_5 x0_1_6 x0_1_7 x0_1_8 x0_1_9 x0_2_0 x0_2_1 x0_2_2 x0_2_3 x0_2_4 x0_2_5 x0_2_6 x0_2_7 x0_2_8 x0_2_9 x0_3_0 x0_3_1 x0_3_2 x0_3_3 x0_3_4 x0_3_5 x0_3_6 x0_3_7 x0_3_8 x0_3_9 x0_4_0 x0_4_1 x0_4_2 x0_4_3 x0_4_4 x0_4_5 x0_4_6 x0_4_7 x0_4_8 x0_4_9 x0_5_0 x0_5_1 x0_5_2 x0_5_3 x0_5_4 x0_5_5 x0_5_6 x0_5_7 x0_5_8 x0_5_9 x0_6_0 x0_6_1 x0_6_2 x0_6_3 x0_6_4 x0_6_5 x0_6_6 x0_6_7 x0_6_8 x0_6_9 x0_7_0 x0_7_1 x0_7_2 x0_7_3 x0_7_4 x0_7_5 x0_7_6 x0_7_7 x0_7_8 x0_7_9 x0_8_0 x0_8_1 x0_8_2 x0_8_3 x0_8_4 x0_8_5 x0_8_6 x0_8_7 x0_8_8 x0_8_9 x0_9_0 x0_9_1 x0_9_2 x0_9_3 x0_9_4 x0_9_5 x0_9_6 x0_9_7 x0_9_8 x0_9_9 V0_0_0 V0_0_1 V0_0_2 V0_0_3 V0_0_4 V0_0_5 V0_0_6 V0_0_7 V0_0_8 V0_0_9 V0_1_0 V0_1_1 V0_1_2 V0_1_3 V0_1_4 V0_1_5 V0_1_6 V0_1_7 V0_1_8 V0_1_9 V0_2_0 V0_2_1 V0_2_2 V0_2_3 V0_2_4 V0_2_5 V0_2_6 V0_2_7 V0_2_8 V0_2_9 V0_3_0 V0_3_1 V0_3_2 V0_3_3 V0_3_4 V0_3_5 V0_3_6 V0_3_7 V0_3_8 V0_3_9 V0_4_0 V0_4_1 V0_4_2 V0_4_3 V0_4_4 V0_4_5 V0_4_6 V0_4_7 V0_4_8 V0_4_9 V0_5_0 V0_5_1 V0_5_2 V0_5_3 V0_5_4 V0_5_5 V0_5_6 V0_5_7 V0_5_8 V0_5_9 V0_6_0 V0_6_1 V0_6_2 V0_6_3 V0_6_4 V0_6_5 V0_6_6 V0_6_7 V0_6_8 V0_6_9 V0_7_0 V0_7_1 V0_7_2 V0_7_3 V0_7_4 V0_7_5 V0_7_6 V0_7_7 V0_7_8 V0_7_9 V0_8_0 V0_8_1 V0_8_2 V0_8_3 V0_8_4 V0_8_5 V0_8_6 V0_8_7 V0_8_8 V0_8_9 V0_9_0 V0_9_1 V0_9_2 V0_9_3 V0_9_4 V0_9_5 V0_9_6 V0_9_7 V0_9_8 V0_9_9 End