minimize 49x0_1 + 48x0_2 + 42x0_3 + 41x0_4 + 37x0_5 + 31x0_6 + 31x0_7 + 24x0_8 + 28x0_9 + 17x0_10 + 23x0_11 + 11x0_12 + 16x0_13 + 7x0_14 + 20x0_15 + 10x0_16 + 22x0_17 + 29x0_18 + 31x0_19 + 32x0_20 + 34x0_21 + 9x1_2 + 23x1_3 + 26x1_4 + 21x1_5 + 19x1_6 + 24x1_7 + 27x1_8 + 30x1_9 + 32x1_10 + 40x1_11 + 47x1_12 + 55x1_13 + 56x1_14 + 57x1_15 + 59x1_16 + 71x1_17 + 72x1_18 + 78x1_19 + 79x1_20 + 83x1_21 + 30x2_3 + 32x2_4 + 15x2_5 + 20x2_6 + 19x2_7 + 28x2_8 + 25x2_9 + 31x2_10 + 43x2_11 + 44x2_12 + 56x2_13 + 55x2_14 + 53x2_15 + 58x2_16 + 69x2_17 + 68x2_18 + 78x2_19 + 76x2_20 + 81x2_21 + 3x3_4 + 34x3_5 + 18x3_6 + 33x3_7 + 19x3_8 + 38x3_9 + 28x3_10 + 23x3_11 + 45x3_12 + 40x3_13 + 49x3_14 + 57x3_15 + 49x3_16 + 63x3_17 + 70x3_18 + 65x3_19 + 73x3_20 + 73x3_21 + 35x4_5 + 19x4_6 + 34x4_7 + 19x4_8 + 38x4_9 + 28x4_10 + 21x4_11 + 45x4_12 + 38x4_13 + 48x4_14 + 57x4_15 + 48x4_16 + 62x4_17 + 69x4_18 + 63x4_19 + 72x4_20 + 71x4_21 + 17x5_6 + 5x5_7 + 22x5_8 + 11x5_9 + 21x5_10 + 38x5_11 + 31x5_12 + 47x5_13 + 43x5_14 + 39x5_15 + 47x5_16 + 56x5_17 + 54x5_18 + 67x5_19 + 63x5_20 + 69x5_21 + 16x6_7 + 8x6_8 + 20x6_9 + 14x6_10 + 23x6_11 + 31x6_12 + 36x6_13 + 38x6_14 + 42x6_15 + 40x6_16 + 53x6_17 + 56x6_18 + 59x6_19 + 62x6_20 + 64x6_21 + 19x7_8 + 6x7_9 + 16x7_10 + 35x7_11 + 25x7_12 + 43x7_13 + 37x7_14 + 34x7_15 + 41x7_16 + 51x7_17 + 49x7_18 + 62x7_19 + 57x7_20 + 64x7_21 + 21x8_9 + 9x8_10 + 16x8_11 + 26x8_12 + 28x8_13 + 31x8_14 + 38x8_15 + 33x8_16 + 46x8_17 + 51x8_18 + 52x8_19 + 56x8_20 + 57x8_21 + 16x9_10 + 35x9_11 + 20x9_12 + 40x9_13 + 33x9_14 + 28x9_15 + 37x9_16 + 46x9_17 + 43x9_18 + 58x9_19 + 52x9_20 + 59x9_21 + 20x10_11 + 17x10_12 + 26x10_13 + 24x10_14 + 29x10_15 + 27x10_16 + 39x10_17 + 42x10_18 + 47x10_19 + 48x10_20 + 51x10_21 + 31x11_12 + 17x11_13 + 29x11_14 + 43x11_15 + 28x11_16 + 42x11_17 + 52x11_18 + 42x11_19 + 53x11_20 + 50x11_21 + 27x12_13 + 13x12_14 + 12x12_15 + 19x12_16 + 26x12_17 + 25x12_18 + 39x12_19 + 32x12_20 + 39x12_21 + 18x13_14 + 36x13_15 + 14x13_16 + 28x13_17 + 41x13_18 + 25x13_19 + 39x13_20 + 34x13_21 + 18x14_15 + 5x14_16 + 15x14_17 + 23x14_18 + 25x14_19 + 25x14_20 + 27x14_21 + 23x15_16 + 23x15_17 + 15x15_18 + 40x15_19 + 25x15_20 + 36x15_21 + 14x16_17 + 26x16_18 + 21x16_19 + 25x16_20 + 24x16_21 + 17x17_18 + 18x17_19 + 11x17_20 + 14x17_21 + 35x18_19 + 12x18_20 + 27x18_21 + 26x19_20 + 12x19_21 + 16x20_21 subject to c1: x0_1 + x0_2 + x0_3 + x0_4 + x0_5 + x0_6 + x0_7 + x0_8 + x0_9 + x0_10 + x0_11 + x0_12 + x0_13 + x0_14 + x0_15 + x0_16 + x0_17 + x0_18 + x0_19 + x0_20 + x0_21 = 8 c2_1: x0_1 + x1_2 + x1_3 + x1_4 + x1_5 + x1_6 + x1_7 + x1_8 + x1_9 + x1_10 + x1_11 + x1_12 + x1_13 + x1_14 + x1_15 + x1_16 + x1_17 + x1_18 + x1_19 + x1_20 + x1_21 = 2 c2_2: x0_2 + x1_2 + x2_3 + x2_4 + x2_5 + x2_6 + x2_7 + x2_8 + x2_9 + x2_10 + x2_11 + x2_12 + x2_13 + x2_14 + x2_15 + x2_16 + x2_17 + x2_18 + x2_19 + x2_20 + x2_21 = 2 c2_3: x0_3 + x1_3 + x2_3 + x3_4 + x3_5 + x3_6 + x3_7 + x3_8 + x3_9 + x3_10 + x3_11 + x3_12 + x3_13 + x3_14 + x3_15 + x3_16 + x3_17 + x3_18 + x3_19 + x3_20 + x3_21 = 2 c2_4: x0_4 + x1_4 + x2_4 + x3_4 + x4_5 + x4_6 + x4_7 + x4_8 + x4_9 + x4_10 + x4_11 + x4_12 + x4_13 + x4_14 + x4_15 + x4_16 + x4_17 + x4_18 + x4_19 + x4_20 + x4_21 = 2 c2_5: x0_5 + x1_5 + x2_5 + x3_5 + x4_5 + x5_6 + x5_7 + x5_8 + x5_9 + x5_10 + x5_11 + x5_12 + x5_13 + x5_14 + x5_15 + x5_16 + x5_17 + x5_18 + x5_19 + x5_20 + x5_21 = 2 c2_6: x0_6 + x1_6 + x2_6 + x3_6 + x4_6 + x5_6 + x6_7 + x6_8 + x6_9 + x6_10 + x6_11 + x6_12 + x6_13 + x6_14 + x6_15 + x6_16 + x6_17 + x6_18 + x6_19 + x6_20 + x6_21 = 2 c2_7: x0_7 + x1_7 + x2_7 + x3_7 + x4_7 + x5_7 + x6_7 + x7_8 + x7_9 + x7_10 + x7_11 + x7_12 + x7_13 + x7_14 + x7_15 + x7_16 + x7_17 + x7_18 + x7_19 + x7_20 + x7_21 = 2 c2_8: x0_8 + x1_8 + x2_8 + x3_8 + x4_8 + x5_8 + x6_8 + x7_8 + x8_9 + x8_10 + x8_11 + x8_12 + x8_13 + x8_14 + x8_15 + x8_16 + x8_17 + x8_18 + x8_19 + x8_20 + x8_21 = 2 c2_9: x0_9 + x1_9 + x2_9 + x3_9 + x4_9 + x5_9 + x6_9 + x7_9 + x8_9 + x9_10 + x9_11 + x9_12 + x9_13 + x9_14 + x9_15 + x9_16 + x9_17 + x9_18 + x9_19 + x9_20 + x9_21 = 2 c2_10: x0_10 + x1_10 + x2_10 + x3_10 + x4_10 + x5_10 + x6_10 + x7_10 + x8_10 + x9_10 + x10_11 + x10_12 + x10_13 + x10_14 + x10_15 + x10_16 + x10_17 + x10_18 + x10_19 + x10_20 + x10_21 = 2 c2_11: x0_11 + x1_11 + x2_11 + x3_11 + x4_11 + x5_11 + x6_11 + x7_11 + x8_11 + x9_11 + x10_11 + x11_12 + x11_13 + x11_14 + x11_15 + x11_16 + x11_17 + x11_18 + x11_19 + x11_20 + x11_21 = 2 c2_12: x0_12 + x1_12 + x2_12 + x3_12 + x4_12 + x5_12 + x6_12 + x7_12 + x8_12 + x9_12 + x10_12 + x11_12 + x12_13 + x12_14 + x12_15 + x12_16 + x12_17 + x12_18 + x12_19 + x12_20 + x12_21 = 2 c2_13: x0_13 + x1_13 + x2_13 + x3_13 + x4_13 + x5_13 + x6_13 + x7_13 + x8_13 + x9_13 + x10_13 + x11_13 + x12_13 + x13_14 + x13_15 + x13_16 + x13_17 + x13_18 + x13_19 + x13_20 + x13_21 = 2 c2_14: x0_14 + x1_14 + x2_14 + x3_14 + x4_14 + x5_14 + x6_14 + x7_14 + x8_14 + x9_14 + x10_14 + x11_14 + x12_14 + x13_14 + x14_15 + x14_16 + x14_17 + x14_18 + x14_19 + x14_20 + x14_21 = 2 c2_15: x0_15 + x1_15 + x2_15 + x3_15 + x4_15 + x5_15 + x6_15 + x7_15 + x8_15 + x9_15 + x10_15 + x11_15 + x12_15 + x13_15 + x14_15 + x15_16 + x15_17 + x15_18 + x15_19 + x15_20 + x15_21 = 2 c2_16: x0_16 + x1_16 + x2_16 + x3_16 + x4_16 + x5_16 + x6_16 + x7_16 + x8_16 + x9_16 + x10_16 + x11_16 + x12_16 + x13_16 + x14_16 + x15_16 + x16_17 + x16_18 + x16_19 + x16_20 + x16_21 = 2 c2_17: x0_17 + x1_17 + x2_17 + x3_17 + x4_17 + x5_17 + x6_17 + x7_17 + x8_17 + x9_17 + x10_17 + x11_17 + x12_17 + x13_17 + x14_17 + x15_17 + x16_17 + x17_18 + x17_19 + x17_20 + x17_21 = 2 c2_18: x0_18 + x1_18 + x2_18 + x3_18 + x4_18 + x5_18 + x6_18 + x7_18 + x8_18 + x9_18 + x10_18 + x11_18 + x12_18 + x13_18 + x14_18 + x15_18 + x16_18 + x17_18 + x18_19 + x18_20 + x18_21 = 2 c2_19: x0_19 + x1_19 + x2_19 + x3_19 + x4_19 + x5_19 + x6_19 + x7_19 + x8_19 + x9_19 + x10_19 + x11_19 + x12_19 + x13_19 + x14_19 + x15_19 + x16_19 + x17_19 + x18_19 + x19_20 + x19_21 = 2 c2_20: x0_20 + x1_20 + x2_20 + x3_20 + x4_20 + x5_20 + x6_20 + x7_20 + x8_20 + x9_20 + x10_20 + x11_20 + x12_20 + x13_20 + x14_20 + x15_20 + x16_20 + x17_20 + x18_20 + x19_20 + x20_21 = 2 c2_21: x0_21 + x1_21 + x2_21 + x3_21 + x4_21 + x5_21 + x6_21 + x7_21 + x8_21 + x9_21 + x10_21 + x11_21 + x12_21 + x13_21 + x14_21 + x15_21 + x16_21 + x17_21 + x18_21 + x19_21 + x20_21 = 2 cut1: x0_1 + x1_3 + x1_4 + x1_11 + x1_12 + x1_13 + x1_14 + x1_15 + x1_16 + x1_17 + x1_18 + x1_19 + x1_20 + x1_21 + x0_2 + x2_3 + x2_4 + x2_11 + x2_12 + x2_13 + x2_14 + x2_15 + x2_16 + x2_17 + x2_18 + x2_19 + x2_20 + x2_21 + x0_5 + x3_5 + x4_5 + x5_11 + x5_12 + x5_13 + x5_14 + x5_15 + x5_16 + x5_17 + x5_18 + x5_19 + x5_20 + x5_21 + x0_6 + x3_6 + x4_6 + x6_11 + x6_12 + x6_13 + x6_14 + x6_15 + x6_16 + x6_17 + x6_18 + x6_19 + x6_20 + x6_21 + x0_7 + x3_7 + x4_7 + x7_11 + x7_12 + x7_13 + x7_14 + x7_15 + x7_16 + x7_17 + x7_18 + x7_19 + x7_20 + x7_21 + x0_8 + x3_8 + x4_8 + x8_11 + x8_12 + x8_13 + x8_14 + x8_15 + x8_16 + x8_17 + x8_18 + x8_19 + x8_20 + x8_21 + x0_9 + x3_9 + x4_9 + x9_11 + x9_12 + x9_13 + x9_14 + x9_15 + x9_16 + x9_17 + x9_18 + x9_19 + x9_20 + x9_21 + x0_10 + x3_10 + x4_10 + x10_11 + x10_12 + x10_13 + x10_14 + x10_15 + x10_16 + x10_17 + x10_18 + x10_19 + x10_20 + x10_21 >= 2 cut2: + x0_17 + x1_17 + x2_17 + x3_17 + x4_17 + x5_17 + x6_17 + x7_17 + x8_17 + x9_17 + x10_17 + x11_17 + x12_17 + x13_17 + x14_17 + x15_17 + x16_17 + x17_18 + x17_20 + x0_19 + x1_19 + x2_19 + x3_19 + x4_19 + x5_19 + x6_19 + x7_19 + x8_19 + x9_19 + x10_19 + x11_19 + x12_19 + x13_19 + x14_19 + x15_19 + x16_19 + x18_19 + x19_20 + x0_21 + x1_21 + x2_21 + x3_21 + x4_21 + x5_21 + x6_21 + x7_21 + x8_21 + x9_21 + x10_21 + x11_21 + x12_21 + x13_21 + x14_21 + x15_21 + x16_21 + x18_21 + x20_21 >= 2 bounds 0 <= x0_1 <= 2 0 <= x0_2 <= 2 0 <= x0_3 <= 2 0 <= x0_4 <= 2 0 <= x0_5 <= 2 0 <= x0_6 <= 2 0 <= x0_7 <= 2 0 <= x0_8 <= 2 0 <= x0_9 <= 2 0 <= x0_10 <= 2 0 <= x0_11 <= 2 0 <= x0_12 <= 2 0 <= x0_13 <= 2 0 <= x0_14 <= 2 0 <= x0_15 <= 2 0 <= x0_16 <= 2 0 <= x0_17 <= 2 0 <= x0_18 <= 2 0 <= x0_19 <= 2 0 <= x0_20 <= 2 0 <= x0_21 <= 2 0 <= x1_2 <= 1 0 <= x1_3 <= 1 0 <= x1_4 <= 1 0 <= x1_5 <= 1 0 <= x1_6 <= 1 0 <= x1_7 <= 1 0 <= x1_8 <= 1 0 <= x1_9 <= 1 0 <= x1_10 <= 1 0 <= x1_11 <= 1 0 <= x1_12 <= 1 0 <= x1_13 <= 1 0 <= x1_14 <= 1 0 <= x1_15 <= 1 0 <= x1_16 <= 1 0 <= x1_17 <= 1 0 <= x1_18 <= 1 0 <= x1_19 <= 1 0 <= x1_20 <= 1 0 <= x1_21 <= 1 0 <= x2_3 <= 1 0 <= x2_4 <= 1 0 <= x2_5 <= 1 0 <= x2_6 <= 1 0 <= x2_7 <= 1 0 <= x2_8 <= 1 0 <= x2_9 <= 1 0 <= x2_10 <= 1 0 <= x2_11 <= 1 0 <= x2_12 <= 1 0 <= x2_13 <= 1 0 <= x2_14 <= 1 0 <= x2_15 <= 1 0 <= x2_16 <= 1 0 <= x2_17 <= 1 0 <= x2_18 <= 1 0 <= x2_19 <= 1 0 <= x2_20 <= 1 0 <= x2_21 <= 1 0 <= x3_4 <= 1 0 <= x3_5 <= 1 0 <= x3_6 <= 1 0 <= x3_7 <= 1 0 <= x3_8 <= 1 0 <= x3_9 <= 1 0 <= x3_10 <= 1 0 <= x3_11 <= 1 0 <= x3_12 <= 1 0 <= x3_13 <= 1 0 <= x3_14 <= 1 0 <= x3_15 <= 1 0 <= x3_16 <= 1 0 <= x3_17 <= 1 0 <= x3_18 <= 1 0 <= x3_19 <= 1 0 <= x3_20 <= 1 0 <= x3_21 <= 1 0 <= x4_5 <= 1 0 <= x4_6 <= 1 0 <= x4_7 <= 1 0 <= x4_8 <= 1 0 <= x4_9 <= 1 0 <= x4_10 <= 1 0 <= x4_11 <= 1 0 <= x4_12 <= 1 0 <= x4_13 <= 1 0 <= x4_14 <= 1 0 <= x4_15 <= 1 0 <= x4_16 <= 1 0 <= x4_17 <= 1 0 <= x4_18 <= 1 0 <= x4_19 <= 1 0 <= x4_20 <= 1 0 <= x4_21 <= 1 0 <= x5_6 <= 1 0 <= x5_7 <= 1 0 <= x5_8 <= 1 0 <= x5_9 <= 1 0 <= x5_10 <= 1 0 <= x5_11 <= 1 0 <= x5_12 <= 1 0 <= x5_13 <= 1 0 <= x5_14 <= 1 0 <= x5_15 <= 1 0 <= x5_16 <= 1 0 <= x5_17 <= 1 0 <= x5_18 <= 1 0 <= x5_19 <= 1 0 <= x5_20 <= 1 0 <= x5_21 <= 1 0 <= x6_7 <= 1 0 <= x6_8 <= 1 0 <= x6_9 <= 1 0 <= x6_10 <= 1 0 <= x6_11 <= 1 0 <= x6_12 <= 1 0 <= x6_13 <= 1 0 <= x6_14 <= 1 0 <= x6_15 <= 1 0 <= x6_16 <= 1 0 <= x6_17 <= 1 0 <= x6_18 <= 1 0 <= x6_19 <= 1 0 <= x6_20 <= 1 0 <= x6_21 <= 1 0 <= x7_8 <= 1 0 <= x7_9 <= 1 0 <= x7_10 <= 1 0 <= x7_11 <= 1 0 <= x7_12 <= 1 0 <= x7_13 <= 1 0 <= x7_14 <= 1 0 <= x7_15 <= 1 0 <= x7_16 <= 1 0 <= x7_17 <= 1 0 <= x7_18 <= 1 0 <= x7_19 <= 1 0 <= x7_20 <= 1 0 <= x7_21 <= 1 0 <= x8_9 <= 1 0 <= x8_10 <= 1 0 <= x8_11 <= 1 0 <= x8_12 <= 1 0 <= x8_13 <= 1 0 <= x8_14 <= 1 0 <= x8_15 <= 1 0 <= x8_16 <= 1 0 <= x8_17 <= 1 0 <= x8_18 <= 1 0 <= x8_19 <= 1 0 <= x8_20 <= 1 0 <= x8_21 <= 1 0 <= x9_10 <= 1 0 <= x9_11 <= 1 0 <= x9_12 <= 1 0 <= x9_13 <= 1 0 <= x9_14 <= 1 0 <= x9_15 <= 1 0 <= x9_16 <= 1 0 <= x9_17 <= 1 0 <= x9_18 <= 1 0 <= x9_19 <= 1 0 <= x9_20 <= 1 0 <= x9_21 <= 1 0 <= x10_11 <= 1 0 <= x10_12 <= 1 0 <= x10_13 <= 1 0 <= x10_14 <= 1 0 <= x10_15 <= 1 0 <= x10_16 <= 1 0 <= x10_17 <= 1 0 <= x10_18 <= 1 0 <= x10_19 <= 1 0 <= x10_20 <= 1 0 <= x10_21 <= 1 0 <= x11_12 <= 1 0 <= x11_13 <= 1 0 <= x11_14 <= 1 0 <= x11_15 <= 1 0 <= x11_16 <= 1 0 <= x11_17 <= 1 0 <= x11_18 <= 1 0 <= x11_19 <= 1 0 <= x11_20 <= 1 0 <= x11_21 <= 1 0 <= x12_13 <= 1 0 <= x12_14 <= 1 0 <= x12_15 <= 1 0 <= x12_16 <= 1 0 <= x12_17 <= 1 0 <= x12_18 <= 1 0 <= x12_19 <= 1 0 <= x12_20 <= 1 0 <= x12_21 <= 1 0 <= x13_14 <= 1 0 <= x13_15 <= 1 0 <= x13_16 <= 1 0 <= x13_17 <= 1 0 <= x13_18 <= 1 0 <= x13_19 <= 1 0 <= x13_20 <= 1 0 <= x13_21 <= 1 0 <= x14_15 <= 1 0 <= x14_16 <= 1 0 <= x14_17 <= 1 0 <= x14_18 <= 1 0 <= x14_19 <= 1 0 <= x14_20 <= 1 0 <= x14_21 <= 1 0 <= x15_16 <= 1 0 <= x15_17 <= 1 0 <= x15_18 <= 1 0 <= x15_19 <= 1 0 <= x15_20 <= 1 0 <= x15_21 <= 1 0 <= x16_17 <= 1 0 <= x16_18 <= 1 0 <= x16_19 <= 1 0 <= x16_20 <= 1 0 <= x16_21 <= 1 0 <= x17_18 <= 1 0 <= x17_19 <= 1 0 <= x17_20 <= 1 0 <= x17_21 <= 1 0 <= x18_19 <= 1 0 <= x18_20 <= 1 0 <= x18_21 <= 1 0 <= x19_20 <= 1 0 <= x19_21 <= 1 0 <= x20_21 <= 1 end