Minimize obj: 8 x_2_1 + 39 x_3_1 + 37 x_4_1 + 50 x_5_1 + 61 x_6_1 + 58 x_7_1 + 59 x_8_1 + 62 x_9_1 + 81 x_10_1 + 103 x_11_1 + 108 x_12_1 + 145 x_13_1 + 181 x_14_1 + 187 x_15_1 + 161 x_16_1 + 142 x_17_1 + 174 x_18_1 + 185 x_19_1 + 164 x_20_1 + 137 x_21_1 + 117 x_22_1 + 114 x_23_1 + 85 x_24_1 + 77 x_25_1 + 87 x_26_1 + 91 x_27_1 + 105 x_28_1 + 111 x_29_1 + 91 x_30_1 + 83 x_31_1 + 89 x_32_1 + 95 x_33_1 + 74 x_34_1 + 67 x_35_1 + 74 x_36_1 + 57 x_37_1 + 45 x_38_1 + 35 x_39_1 + 29 x_40_1 + 3 x_41_1 + 5 x_42_1 + 45 x_3_2 + 47 x_4_2 + 49 x_5_2 + 62 x_6_2 + 60 x_7_2 + 60 x_8_2 + 66 x_9_2 + 81 x_10_2 + 107 x_11_2 + 117 x_12_2 + 149 x_13_2 + 185 x_14_2 + 191 x_15_2 + 170 x_16_2 + 146 x_17_2 + 178 x_18_2 + 186 x_19_2 + 165 x_20_2 + 139 x_21_2 + 122 x_22_2 + 118 x_23_2 + 89 x_24_2 + 80 x_25_2 + 89 x_26_2 + 93 x_27_2 + 106 x_28_2 + 113 x_29_2 + 92 x_30_2 + 85 x_31_2 + 91 x_32_2 + 97 x_33_2 + 81 x_34_2 + 69 x_35_2 + 76 x_36_2 + 59 x_37_2 + 46 x_38_2 + 37 x_39_2 + 33 x_40_2 + 11 x_41_2 + 12 x_42_2 + 9 x_4_3 + 21 x_5_3 + 21 x_6_3 + 16 x_7_3 + 15 x_8_3 + 20 x_9_3 + 40 x_10_3 + 62 x_11_3 + 66 x_12_3 + 104 x_13_3 + 140 x_14_3 + 146 x_15_3 + 120 x_16_3 + 101 x_17_3 + 133 x_18_3 + 142 x_19_3 + 120 x_20_3 + 94 x_21_3 + 77 x_22_3 + 73 x_23_3 + 44 x_24_3 + 36 x_25_3 + 44 x_26_3 + 48 x_27_3 + 62 x_28_3 + 69 x_29_3 + 50 x_30_3 + 42 x_31_3 + 55 x_32_3 + 64 x_33_3 + 44 x_34_3 + 42 x_35_3 + 61 x_36_3 + 46 x_37_3 + 41 x_38_3 + 35 x_39_3 + 30 x_40_3 + 41 x_41_3 + 55 x_42_3 + 15 x_5_4 + 20 x_6_4 + 17 x_7_4 + 20 x_8_4 + 25 x_9_4 + 44 x_10_4 + 67 x_11_4 + 71 x_12_4 + 108 x_13_4 + 144 x_14_4 + 150 x_15_4 + 124 x_16_4 + 104 x_17_4 + 138 x_18_4 + 143 x_19_4 + 123 x_20_4 + 96 x_21_4 + 80 x_22_4 + 78 x_23_4 + 48 x_24_4 + 40 x_25_4 + 46 x_26_4 + 50 x_27_4 + 63 x_28_4 + 71 x_29_4 + 51 x_30_4 + 43 x_31_4 + 55 x_32_4 + 63 x_33_4 + 43 x_34_4 + 41 x_35_4 + 60 x_36_4 + 41 x_37_4 + 34 x_38_4 + 26 x_39_4 + 21 x_40_4 + 37 x_41_4 + 41 x_42_4 + 17 x_6_5 + 18 x_7_5 + 26 x_8_5 + 31 x_9_5 + 50 x_10_5 + 72 x_11_5 + 77 x_12_5 + 114 x_13_5 + 150 x_14_5 + 156 x_15_5 + 130 x_16_5 + 111 x_17_5 + 143 x_18_5 + 140 x_19_5 + 124 x_20_5 + 94 x_21_5 + 83 x_22_5 + 84 x_23_5 + 53 x_24_5 + 46 x_25_5 + 46 x_26_5 + 48 x_27_5 + 64 x_28_5 + 66 x_29_5 + 46 x_30_5 + 38 x_31_5 + 50 x_32_5 + 56 x_33_5 + 35 x_34_5 + 31 x_35_5 + 42 x_36_5 + 25 x_37_5 + 20 x_38_5 + 18 x_39_5 + 18 x_40_5 + 47 x_41_5 + 53 x_42_5 + 6 x_7_6 + 17 x_8_6 + 22 x_9_6 + 41 x_10_6 + 63 x_11_6 + 68 x_12_6 + 106 x_13_6 + 142 x_14_6 + 142 x_15_6 + 115 x_16_6 + 97 x_17_6 + 129 x_18_6 + 130 x_19_6 + 106 x_20_6 + 80 x_21_6 + 68 x_22_6 + 69 x_23_6 + 41 x_24_6 + 34 x_25_6 + 30 x_26_6 + 34 x_27_6 + 47 x_28_6 + 51 x_29_6 + 30 x_30_6 + 22 x_31_6 + 34 x_32_6 + 42 x_33_6 + 23 x_34_6 + 25 x_35_6 + 44 x_36_6 + 30 x_37_6 + 34 x_38_6 + 34 x_39_6 + 35 x_40_6 + 57 x_41_6 + 64 x_42_6 + 10 x_8_7 + 15 x_9_7 + 35 x_10_7 + 57 x_11_7 + 61 x_12_7 + 99 x_13_7 + 135 x_14_7 + 137 x_15_7 + 110 x_16_7 + 91 x_17_7 + 123 x_18_7 + 126 x_19_7 + 106 x_20_7 + 78 x_21_7 + 62 x_22_7 + 63 x_23_7 + 34 x_24_7 + 27 x_25_7 + 28 x_26_7 + 32 x_27_7 + 46 x_28_7 + 53 x_29_7 + 34 x_30_7 + 26 x_31_7 + 39 x_32_7 + 49 x_33_7 + 30 x_34_7 + 32 x_35_7 + 51 x_36_7 + 36 x_37_7 + 38 x_38_7 + 36 x_39_7 + 33 x_40_7 + 55 x_41_7 + 61 x_42_7 + 5 x_9_8 + 24 x_10_8 + 46 x_11_8 + 51 x_12_8 + 88 x_13_8 + 124 x_14_8 + 130 x_15_8 + 104 x_16_8 + 85 x_17_8 + 117 x_18_8 + 124 x_19_8 + 105 x_20_8 + 77 x_21_8 + 60 x_22_8 + 57 x_23_8 + 28 x_24_8 + 19 x_25_8 + 29 x_26_8 + 33 x_27_8 + 49 x_28_8 + 56 x_29_8 + 38 x_30_8 + 32 x_31_8 + 44 x_32_8 + 56 x_33_8 + 39 x_34_8 + 41 x_35_8 + 60 x_36_8 + 47 x_37_8 + 48 x_38_8 + 46 x_39_8 + 40 x_40_8 + 58 x_41_8 + 61 x_42_8 + 20 x_10_9 + 41 x_11_9 + 46 x_12_9 + 84 x_13_9 + 120 x_14_9 + 125 x_15_9 + 105 x_16_9 + 86 x_17_9 + 118 x_18_9 + 128 x_19_9 + 110 x_20_9 + 84 x_21_9 + 61 x_22_9 + 59 x_23_9 + 29 x_24_9 + 21 x_25_9 + 32 x_26_9 + 36 x_27_9 + 54 x_28_9 + 61 x_29_9 + 43 x_30_9 + 36 x_31_9 + 49 x_32_9 + 60 x_33_9 + 44 x_34_9 + 46 x_35_9 + 66 x_36_9 + 52 x_37_9 + 53 x_38_9 + 51 x_39_9 + 45 x_40_9 + 63 x_41_9 + 66 x_42_9 + 23 x_11_10 + 26 x_12_10 + 63 x_13_10 + 99 x_14_10 + 105 x_15_10 + 90 x_16_10 + 75 x_17_10 + 107 x_18_10 + 118 x_19_10 + 104 x_20_10 + 77 x_21_10 + 50 x_22_10 + 48 x_23_10 + 22 x_24_10 + 14 x_25_10 + 27 x_26_10 + 30 x_27_10 + 48 x_28_10 + 57 x_29_10 + 49 x_30_10 + 51 x_31_10 + 63 x_32_10 + 75 x_33_10 + 62 x_34_10 + 64 x_35_10 + 83 x_36_10 + 71 x_37_10 + 73 x_38_10 + 70 x_39_10 + 65 x_40_10 + 83 x_41_10 + 84 x_42_10 + 11 x_12_11 + 49 x_13_11 + 85 x_14_11 + 90 x_15_11 + 72 x_16_11 + 51 x_17_11 + 83 x_18_11 + 93 x_19_11 + 86 x_20_11 + 56 x_21_11 + 34 x_22_11 + 28 x_23_11 + 23 x_24_11 + 29 x_25_11 + 36 x_26_11 + 34 x_27_11 + 46 x_28_11 + 59 x_29_11 + 60 x_30_11 + 63 x_31_11 + 76 x_32_11 + 86 x_33_11 + 78 x_34_11 + 83 x_35_11 + 102 x_36_11 + 93 x_37_11 + 96 x_38_11 + 93 x_39_11 + 87 x_40_11 + 105 x_41_11 + 111 x_42_11 + 40 x_13_12 + 76 x_14_12 + 81 x_15_12 + 64 x_16_12 + 59 x_17_12 + 84 x_18_12 + 101 x_19_12 + 97 x_20_12 + 64 x_21_12 + 42 x_22_12 + 36 x_23_12 + 35 x_24_12 + 40 x_25_12 + 47 x_26_12 + 45 x_27_12 + 59 x_28_12 + 71 x_29_12 + 71 x_30_12 + 75 x_31_12 + 87 x_32_12 + 97 x_33_12 + 89 x_34_12 + 90 x_35_12 + 110 x_36_12 + 98 x_37_12 + 99 x_38_12 + 97 x_39_12 + 91 x_40_12 + 109 x_41_12 + 113 x_42_12 + 35 x_14_13 + 41 x_15_13 + 34 x_16_13 + 29 x_17_13 + 54 x_18_13 + 72 x_19_13 + 71 x_20_13 + 65 x_21_13 + 49 x_22_13 + 43 x_23_13 + 69 x_24_13 + 77 x_25_13 + 78 x_26_13 + 77 x_27_13 + 85 x_28_13 + 96 x_29_13 + 103 x_30_13 + 106 x_31_13 + 120 x_32_13 + 126 x_33_13 + 121 x_34_13 + 130 x_35_13 + 147 x_36_13 + 136 x_37_13 + 137 x_38_13 + 134 x_39_13 + 117 x_40_13 + 147 x_41_13 + 150 x_42_13 + 10 x_15_14 + 31 x_16_14 + 53 x_17_14 + 46 x_18_14 + 69 x_19_14 + 93 x_20_14 + 90 x_21_14 + 82 x_22_14 + 77 x_23_14 + 105 x_24_14 + 114 x_25_14 + 116 x_26_14 + 115 x_27_14 + 119 x_28_14 + 130 x_29_14 + 141 x_30_14 + 142 x_31_14 + 155 x_32_14 + 160 x_33_14 + 159 x_34_14 + 164 x_35_14 + 185 x_36_14 + 172 x_37_14 + 176 x_38_14 + 171 x_39_14 + 166 x_40_14 + 186 x_41_14 + 186 x_42_14 + 27 x_16_15 + 48 x_17_15 + 35 x_18_15 + 58 x_19_15 + 82 x_20_15 + 87 x_21_15 + 77 x_22_15 + 72 x_23_15 + 102 x_24_15 + 111 x_25_15 + 112 x_26_15 + 110 x_27_15 + 115 x_28_15 + 126 x_29_15 + 136 x_30_15 + 140 x_31_15 + 150 x_32_15 + 155 x_33_15 + 155 x_34_15 + 160 x_35_15 + 179 x_36_15 + 172 x_37_15 + 178 x_38_15 + 176 x_39_15 + 171 x_40_15 + 188 x_41_15 + 192 x_42_15 + 21 x_17_16 + 26 x_18_16 + 58 x_19_16 + 62 x_20_16 + 58 x_21_16 + 60 x_22_16 + 45 x_23_16 + 74 x_24_16 + 84 x_25_16 + 84 x_26_16 + 83 x_27_16 + 88 x_28_16 + 98 x_29_16 + 109 x_30_16 + 112 x_31_16 + 123 x_32_16 + 128 x_33_16 + 127 x_34_16 + 133 x_35_16 + 155 x_36_16 + 148 x_37_16 + 151 x_38_16 + 151 x_39_16 + 144 x_40_16 + 164 x_41_16 + 166 x_42_16 + 31 x_18_17 + 43 x_19_17 + 42 x_20_17 + 36 x_21_17 + 30 x_22_17 + 27 x_23_17 + 56 x_24_17 + 64 x_25_17 + 66 x_26_17 + 63 x_27_17 + 66 x_28_17 + 75 x_29_17 + 90 x_30_17 + 93 x_31_17 + 100 x_32_17 + 104 x_33_17 + 108 x_34_17 + 114 x_35_17 + 133 x_36_17 + 126 x_37_17 + 131 x_38_17 + 129 x_39_17 + 125 x_40_17 + 144 x_41_17 + 147 x_42_17 + 26 x_19_18 + 45 x_20_18 + 68 x_21_18 + 62 x_22_18 + 59 x_23_18 + 88 x_24_18 + 96 x_25_18 + 98 x_26_18 + 97 x_27_18 + 98 x_28_18 + 98 x_29_18 + 115 x_30_18 + 126 x_31_18 + 123 x_32_18 + 128 x_33_18 + 136 x_34_18 + 146 x_35_18 + 159 x_36_18 + 158 x_37_18 + 163 x_38_18 + 161 x_39_18 + 157 x_40_18 + 176 x_41_18 + 180 x_42_18 + 22 x_20_19 + 50 x_21_19 + 70 x_22_19 + 69 x_23_19 + 99 x_24_19 + 107 x_25_19 + 95 x_26_19 + 91 x_27_19 + 79 x_28_19 + 85 x_29_19 + 99 x_30_19 + 108 x_31_19 + 109 x_32_19 + 113 x_33_19 + 124 x_34_19 + 134 x_35_19 + 146 x_36_19 + 147 x_37_19 + 159 x_38_19 + 163 x_39_19 + 156 x_40_19 + 182 x_41_19 + 188 x_42_19 + 30 x_21_20 + 49 x_22_20 + 55 x_23_20 + 81 x_24_20 + 87 x_25_20 + 75 x_26_20 + 72 x_27_20 + 59 x_28_20 + 62 x_29_20 + 81 x_30_20 + 88 x_31_20 + 86 x_32_20 + 90 x_33_20 + 101 x_34_20 + 111 x_35_20 + 122 x_36_20 + 124 x_37_20 + 135 x_38_20 + 139 x_39_20 + 139 x_40_20 + 161 x_41_20 + 167 x_42_20 + 21 x_22_21 + 27 x_23_21 + 54 x_24_21 + 60 x_25_21 + 47 x_26_21 + 44 x_27_21 + 31 x_28_21 + 38 x_29_21 + 53 x_30_21 + 60 x_31_21 + 62 x_32_21 + 67 x_33_21 + 75 x_34_21 + 85 x_35_21 + 98 x_36_21 + 121 x_37_21 + 108 x_38_21 + 118 x_39_21 + 113 x_40_21 + 134 x_41_21 + 140 x_42_21 + 5 x_23_22 + 32 x_24_22 + 40 x_25_22 + 36 x_26_22 + 32 x_27_22 + 36 x_28_22 + 47 x_29_22 + 61 x_30_22 + 64 x_31_22 + 71 x_32_22 + 76 x_33_22 + 79 x_34_22 + 84 x_35_22 + 105 x_36_22 + 97 x_37_22 + 102 x_38_22 + 102 x_39_22 + 95 x_40_22 + 119 x_41_22 + 124 x_42_22 + 29 x_24_23 + 37 x_25_23 + 39 x_26_23 + 36 x_27_23 + 42 x_28_23 + 53 x_29_23 + 62 x_30_23 + 66 x_31_23 + 78 x_32_23 + 82 x_33_23 + 81 x_34_23 + 86 x_35_23 + 107 x_36_23 + 99 x_37_23 + 103 x_38_23 + 101 x_39_23 + 97 x_40_23 + 116 x_41_23 + 119 x_42_23 + 8 x_25_24 + 12 x_26_24 + 9 x_27_24 + 28 x_28_24 + 39 x_29_24 + 36 x_30_24 + 39 x_31_24 + 52 x_32_24 + 62 x_33_24 + 54 x_34_24 + 59 x_35_24 + 79 x_36_24 + 71 x_37_24 + 73 x_38_24 + 71 x_39_24 + 67 x_40_24 + 86 x_41_24 + 90 x_42_24 + 11 x_26_25 + 15 x_27_25 + 33 x_28_25 + 42 x_29_25 + 34 x_30_25 + 36 x_31_25 + 49 x_32_25 + 59 x_33_25 + 50 x_34_25 + 52 x_35_25 + 71 x_36_25 + 65 x_37_25 + 67 x_38_25 + 65 x_39_25 + 60 x_40_25 + 78 x_41_25 + 87 x_42_25 + 3 x_27_26 + 21 x_28_26 + 29 x_29_26 + 24 x_30_26 + 27 x_31_26 + 39 x_32_26 + 49 x_33_26 + 42 x_34_26 + 47 x_35_26 + 66 x_36_26 + 59 x_37_26 + 64 x_38_26 + 65 x_39_26 + 62 x_40_26 + 84 x_41_26 + 90 x_42_26 + 20 x_28_27 + 30 x_29_27 + 28 x_30_27 + 31 x_31_27 + 44 x_32_27 + 53 x_33_27 + 46 x_34_27 + 51 x_35_27 + 70 x_36_27 + 63 x_37_27 + 69 x_38_27 + 70 x_39_27 + 67 x_40_27 + 88 x_41_27 + 94 x_42_27 + 12 x_29_28 + 20 x_30_28 + 28 x_31_28 + 35 x_32_28 + 40 x_33_28 + 43 x_34_28 + 53 x_35_28 + 70 x_36_28 + 67 x_37_28 + 75 x_38_28 + 84 x_39_28 + 79 x_40_28 + 101 x_41_28 + 107 x_42_28 + 20 x_30_29 + 28 x_31_29 + 24 x_32_29 + 29 x_33_29 + 39 x_34_29 + 49 x_35_29 + 60 x_36_29 + 62 x_37_29 + 72 x_38_29 + 78 x_39_29 + 82 x_40_29 + 108 x_41_29 + 114 x_42_29 + 8 x_31_30 + 15 x_32_30 + 25 x_33_30 + 23 x_34_30 + 32 x_35_30 + 48 x_36_30 + 46 x_37_30 + 54 x_38_30 + 58 x_39_30 + 62 x_40_30 + 88 x_41_30 + 77 x_42_30 + 12 x_32_31 + 23 x_33_31 + 14 x_34_31 + 24 x_35_31 + 40 x_36_31 + 38 x_37_31 + 46 x_38_31 + 50 x_39_31 + 53 x_40_31 + 80 x_41_31 + 86 x_42_31 + 11 x_33_32 + 14 x_34_32 + 24 x_35_32 + 36 x_36_32 + 37 x_37_32 + 49 x_38_32 + 56 x_39_32 + 59 x_40_32 + 86 x_41_32 + 92 x_42_32 + 21 x_34_33 + 30 x_35_33 + 33 x_36_33 + 43 x_37_33 + 54 x_38_33 + 62 x_39_33 + 66 x_40_33 + 92 x_41_33 + 98 x_42_33 + 9 x_35_34 + 25 x_36_34 + 23 x_37_34 + 34 x_38_34 + 41 x_39_34 + 45 x_40_34 + 71 x_41_34 + 80 x_42_34 + 18 x_36_35 + 13 x_37_35 + 24 x_38_35 + 32 x_39_35 + 38 x_40_35 + 64 x_41_35 + 74 x_42_35 + 17 x_37_36 + 29 x_38_36 + 38 x_39_36 + 45 x_40_36 + 71 x_41_36 + 77 x_42_36 + 12 x_38_37 + 21 x_39_37 + 27 x_40_37 + 54 x_41_37 + 60 x_42_37 + 9 x_39_38 + 15 x_40_38 + 41 x_41_38 + 48 x_42_38 + 6 x_40_39 + 32 x_41_39 + 38 x_42_39 + 25 x_41_40 + 32 x_42_40 + 6 x_42_41 Subject To x_2_1 + x_3_1 + x_4_1 + x_5_1 + x_6_1 + x_7_1 + x_8_1 + x_9_1 + x_10_1 + x_11_1 + x_12_1 + x_13_1 + x_14_1 + x_15_1 + x_16_1 + x_17_1 + x_18_1 + x_19_1 + x_20_1 + x_21_1 + x_22_1 + x_23_1 + x_24_1 + x_25_1 + x_26_1 + x_27_1 + x_28_1 + x_29_1 + x_30_1 + x_31_1 + x_32_1 + x_33_1 + x_34_1 + x_35_1 + x_36_1 + x_37_1 + x_38_1 + x_39_1 + x_40_1 + x_41_1 + x_42_1 = 2 x_2_1 + x_3_2 + x_4_2 + x_5_2 + x_6_2 + x_7_2 + x_8_2 + x_9_2 + x_10_2 + x_11_2 + x_12_2 + x_13_2 + x_14_2 + x_15_2 + x_16_2 + x_17_2 + x_18_2 + x_19_2 + x_20_2 + x_21_2 + x_22_2 + x_23_2 + x_24_2 + x_25_2 + x_26_2 + x_27_2 + x_28_2 + x_29_2 + x_30_2 + x_31_2 + x_32_2 + x_33_2 + x_34_2 + x_35_2 + x_36_2 + x_37_2 + x_38_2 + x_39_2 + x_40_2 + x_41_2 + x_42_2 = 2 x_3_1 + x_3_2 + x_4_3 + x_5_3 + x_6_3 + x_7_3 + x_8_3 + x_9_3 + x_10_3 + x_11_3 + x_12_3 + x_13_3 + x_14_3 + x_15_3 + x_16_3 + x_17_3 + x_18_3 + x_19_3 + x_20_3 + x_21_3 + x_22_3 + x_23_3 + x_24_3 + x_25_3 + x_26_3 + x_27_3 + x_28_3 + x_29_3 + x_30_3 + x_31_3 + x_32_3 + x_33_3 + x_34_3 + x_35_3 + x_36_3 + x_37_3 + x_38_3 + x_39_3 + x_40_3 + x_41_3 + x_42_3 = 2 x_4_1 + x_4_2 + x_4_3 + x_5_4 + x_6_4 + x_7_4 + x_8_4 + x_9_4 + x_10_4 + x_11_4 + x_12_4 + x_13_4 + x_14_4 + x_15_4 + x_16_4 + x_17_4 + x_18_4 + x_19_4 + x_20_4 + x_21_4 + x_22_4 + x_23_4 + x_24_4 + x_25_4 + x_26_4 + x_27_4 + x_28_4 + x_29_4 + x_30_4 + x_31_4 + x_32_4 + x_33_4 + x_34_4 + x_35_4 + x_36_4 + x_37_4 + x_38_4 + x_39_4 + x_40_4 + x_41_4 + x_42_4 = 2 x_5_1 + x_5_2 + x_5_3 + x_5_4 + x_6_5 + x_7_5 + x_8_5 + x_9_5 + x_10_5 + x_11_5 + x_12_5 + x_13_5 + x_14_5 + x_15_5 + x_16_5 + x_17_5 + x_18_5 + x_19_5 + x_20_5 + x_21_5 + x_22_5 + x_23_5 + x_24_5 + x_25_5 + x_26_5 + x_27_5 + x_28_5 + x_29_5 + x_30_5 + x_31_5 + x_32_5 + x_33_5 + x_34_5 + x_35_5 + x_36_5 + x_37_5 + x_38_5 + x_39_5 + x_40_5 + x_41_5 + x_42_5 = 2 x_6_1 + x_6_2 + x_6_3 + x_6_4 + x_6_5 + x_7_6 + x_8_6 + x_9_6 + x_10_6 + x_11_6 + x_12_6 + x_13_6 + x_14_6 + x_15_6 + x_16_6 + x_17_6 + x_18_6 + x_19_6 + x_20_6 + x_21_6 + x_22_6 + x_23_6 + x_24_6 + x_25_6 + x_26_6 + x_27_6 + x_28_6 + x_29_6 + x_30_6 + x_31_6 + x_32_6 + x_33_6 + x_34_6 + x_35_6 + x_36_6 + x_37_6 + x_38_6 + x_39_6 + x_40_6 + x_41_6 + x_42_6 = 2 x_7_1 + x_7_2 + x_7_3 + x_7_4 + x_7_5 + x_7_6 + x_8_7 + x_9_7 + x_10_7 + x_11_7 + x_12_7 + x_13_7 + x_14_7 + x_15_7 + x_16_7 + x_17_7 + x_18_7 + x_19_7 + x_20_7 + x_21_7 + x_22_7 + x_23_7 + x_24_7 + x_25_7 + x_26_7 + x_27_7 + x_28_7 + x_29_7 + x_30_7 + x_31_7 + x_32_7 + x_33_7 + x_34_7 + x_35_7 + x_36_7 + x_37_7 + x_38_7 + x_39_7 + x_40_7 + x_41_7 + x_42_7 = 2 x_8_1 + x_8_2 + x_8_3 + x_8_4 + x_8_5 + x_8_6 + x_8_7 + x_9_8 + x_10_8 + x_11_8 + x_12_8 + x_13_8 + x_14_8 + x_15_8 + x_16_8 + x_17_8 + x_18_8 + x_19_8 + x_20_8 + x_21_8 + x_22_8 + x_23_8 + x_24_8 + x_25_8 + x_26_8 + x_27_8 + x_28_8 + x_29_8 + x_30_8 + x_31_8 + x_32_8 + x_33_8 + x_34_8 + x_35_8 + x_36_8 + x_37_8 + x_38_8 + x_39_8 + x_40_8 + x_41_8 + x_42_8 = 2 x_9_1 + x_9_2 + x_9_3 + x_9_4 + x_9_5 + x_9_6 + x_9_7 + x_9_8 + x_10_9 + x_11_9 + x_12_9 + x_13_9 + x_14_9 + x_15_9 + x_16_9 + x_17_9 + x_18_9 + x_19_9 + x_20_9 + x_21_9 + x_22_9 + x_23_9 + x_24_9 + x_25_9 + x_26_9 + x_27_9 + x_28_9 + x_29_9 + x_30_9 + x_31_9 + x_32_9 + x_33_9 + x_34_9 + x_35_9 + x_36_9 + x_37_9 + x_38_9 + x_39_9 + x_40_9 + x_41_9 + x_42_9 = 2 x_10_1 + x_10_2 + x_10_3 + x_10_4 + x_10_5 + x_10_6 + x_10_7 + x_10_8 + x_10_9 + x_11_10 + x_12_10 + x_13_10 + x_14_10 + x_15_10 + x_16_10 + x_17_10 + x_18_10 + x_19_10 + x_20_10 + x_21_10 + x_22_10 + x_23_10 + x_24_10 + x_25_10 + x_26_10 + x_27_10 + x_28_10 + x_29_10 + x_30_10 + x_31_10 + x_32_10 + x_33_10 + x_34_10 + x_35_10 + x_36_10 + x_37_10 + x_38_10 + x_39_10 + x_40_10 + x_41_10 + x_42_10 = 2 x_11_1 + x_11_2 + x_11_3 + x_11_4 + x_11_5 + x_11_6 + x_11_7 + x_11_8 + x_11_9 + x_11_10 + x_12_11 + x_13_11 + x_14_11 + x_15_11 + x_16_11 + x_17_11 + x_18_11 + x_19_11 + x_20_11 + x_21_11 + x_22_11 + x_23_11 + x_24_11 + x_25_11 + x_26_11 + x_27_11 + x_28_11 + x_29_11 + x_30_11 + x_31_11 + x_32_11 + x_33_11 + x_34_11 + x_35_11 + x_36_11 + x_37_11 + x_38_11 + x_39_11 + x_40_11 + x_41_11 + x_42_11 = 2 x_12_1 + x_12_2 + x_12_3 + x_12_4 + x_12_5 + x_12_6 + x_12_7 + x_12_8 + x_12_9 + x_12_10 + x_12_11 + x_13_12 + x_14_12 + x_15_12 + x_16_12 + x_17_12 + x_18_12 + x_19_12 + x_20_12 + x_21_12 + x_22_12 + x_23_12 + x_24_12 + x_25_12 + x_26_12 + x_27_12 + x_28_12 + x_29_12 + x_30_12 + x_31_12 + x_32_12 + x_33_12 + x_34_12 + x_35_12 + x_36_12 + x_37_12 + x_38_12 + x_39_12 + x_40_12 + x_41_12 + x_42_12 = 2 x_13_1 + x_13_2 + x_13_3 + x_13_4 + x_13_5 + x_13_6 + x_13_7 + x_13_8 + x_13_9 + x_13_10 + x_13_11 + x_13_12 + x_14_13 + x_15_13 + x_16_13 + x_17_13 + x_18_13 + x_19_13 + x_20_13 + x_21_13 + x_22_13 + x_23_13 + x_24_13 + x_25_13 + x_26_13 + x_27_13 + x_28_13 + x_29_13 + x_30_13 + x_31_13 + x_32_13 + x_33_13 + x_34_13 + x_35_13 + x_36_13 + x_37_13 + x_38_13 + x_39_13 + x_40_13 + x_41_13 + x_42_13 = 2 x_14_1 + x_14_2 + x_14_3 + x_14_4 + x_14_5 + x_14_6 + x_14_7 + x_14_8 + x_14_9 + x_14_10 + x_14_11 + x_14_12 + x_14_13 + x_15_14 + x_16_14 + x_17_14 + x_18_14 + x_19_14 + x_20_14 + x_21_14 + x_22_14 + x_23_14 + x_24_14 + x_25_14 + x_26_14 + x_27_14 + x_28_14 + x_29_14 + x_30_14 + x_31_14 + x_32_14 + x_33_14 + x_34_14 + x_35_14 + x_36_14 + x_37_14 + x_38_14 + x_39_14 + x_40_14 + x_41_14 + x_42_14 = 2 x_15_1 + x_15_2 + x_15_3 + x_15_4 + x_15_5 + x_15_6 + x_15_7 + x_15_8 + x_15_9 + x_15_10 + x_15_11 + x_15_12 + x_15_13 + x_15_14 + x_16_15 + x_17_15 + x_18_15 + x_19_15 + x_20_15 + x_21_15 + x_22_15 + x_23_15 + x_24_15 + x_25_15 + x_26_15 + x_27_15 + x_28_15 + x_29_15 + x_30_15 + x_31_15 + x_32_15 + x_33_15 + x_34_15 + x_35_15 + x_36_15 + x_37_15 + x_38_15 + x_39_15 + x_40_15 + x_41_15 + x_42_15 = 2 x_16_1 + x_16_2 + x_16_3 + x_16_4 + x_16_5 + x_16_6 + x_16_7 + x_16_8 + x_16_9 + x_16_10 + x_16_11 + x_16_12 + x_16_13 + x_16_14 + x_16_15 + x_17_16 + x_18_16 + x_19_16 + x_20_16 + x_21_16 + x_22_16 + x_23_16 + x_24_16 + x_25_16 + x_26_16 + x_27_16 + x_28_16 + x_29_16 + x_30_16 + x_31_16 + x_32_16 + x_33_16 + x_34_16 + x_35_16 + x_36_16 + x_37_16 + x_38_16 + x_39_16 + x_40_16 + x_41_16 + x_42_16 = 2 x_17_1 + x_17_2 + x_17_3 + x_17_4 + x_17_5 + x_17_6 + x_17_7 + x_17_8 + x_17_9 + x_17_10 + x_17_11 + x_17_12 + x_17_13 + x_17_14 + x_17_15 + x_17_16 + x_18_17 + x_19_17 + x_20_17 + x_21_17 + x_22_17 + x_23_17 + x_24_17 + x_25_17 + x_26_17 + x_27_17 + x_28_17 + x_29_17 + x_30_17 + x_31_17 + x_32_17 + x_33_17 + x_34_17 + x_35_17 + x_36_17 + x_37_17 + x_38_17 + x_39_17 + x_40_17 + x_41_17 + x_42_17 = 2 x_18_1 + x_18_2 + x_18_3 + x_18_4 + x_18_5 + x_18_6 + x_18_7 + x_18_8 + x_18_9 + x_18_10 + x_18_11 + x_18_12 + x_18_13 + x_18_14 + x_18_15 + x_18_16 + x_18_17 + x_19_18 + x_20_18 + x_21_18 + x_22_18 + x_23_18 + x_24_18 + x_25_18 + x_26_18 + x_27_18 + x_28_18 + x_29_18 + x_30_18 + x_31_18 + x_32_18 + x_33_18 + x_34_18 + x_35_18 + x_36_18 + x_37_18 + x_38_18 + x_39_18 + x_40_18 + x_41_18 + x_42_18 = 2 x_19_1 + x_19_2 + x_19_3 + x_19_4 + x_19_5 + x_19_6 + x_19_7 + x_19_8 + x_19_9 + x_19_10 + x_19_11 + x_19_12 + x_19_13 + x_19_14 + x_19_15 + x_19_16 + x_19_17 + x_19_18 + x_20_19 + x_21_19 + x_22_19 + x_23_19 + x_24_19 + x_25_19 + x_26_19 + x_27_19 + x_28_19 + x_29_19 + x_30_19 + x_31_19 + x_32_19 + x_33_19 + x_34_19 + x_35_19 + x_36_19 + x_37_19 + x_38_19 + x_39_19 + x_40_19 + x_41_19 + x_42_19 = 2 x_20_1 + x_20_2 + x_20_3 + x_20_4 + x_20_5 + x_20_6 + x_20_7 + x_20_8 + x_20_9 + x_20_10 + x_20_11 + x_20_12 + x_20_13 + x_20_14 + x_20_15 + x_20_16 + x_20_17 + x_20_18 + x_20_19 + x_21_20 + x_22_20 + x_23_20 + x_24_20 + x_25_20 + x_26_20 + x_27_20 + x_28_20 + x_29_20 + x_30_20 + x_31_20 + x_32_20 + x_33_20 + x_34_20 + x_35_20 + x_36_20 + x_37_20 + x_38_20 + x_39_20 + x_40_20 + x_41_20 + x_42_20 = 2 x_21_1 + x_21_2 + x_21_3 + x_21_4 + x_21_5 + x_21_6 + x_21_7 + x_21_8 + x_21_9 + x_21_10 + x_21_11 + x_21_12 + x_21_13 + x_21_14 + x_21_15 + x_21_16 + x_21_17 + x_21_18 + x_21_19 + x_21_20 + x_22_21 + x_23_21 + x_24_21 + x_25_21 + x_26_21 + x_27_21 + x_28_21 + x_29_21 + x_30_21 + x_31_21 + x_32_21 + x_33_21 + x_34_21 + x_35_21 + x_36_21 + x_37_21 + x_38_21 + x_39_21 + x_40_21 + x_41_21 + x_42_21 = 2 x_22_1 + x_22_2 + x_22_3 + x_22_4 + x_22_5 + x_22_6 + x_22_7 + x_22_8 + x_22_9 + x_22_10 + x_22_11 + x_22_12 + x_22_13 + x_22_14 + x_22_15 + x_22_16 + x_22_17 + x_22_18 + x_22_19 + x_22_20 + x_22_21 + x_23_22 + x_24_22 + x_25_22 + x_26_22 + x_27_22 + x_28_22 + x_29_22 + x_30_22 + x_31_22 + x_32_22 + x_33_22 + x_34_22 + x_35_22 + x_36_22 + x_37_22 + x_38_22 + x_39_22 + x_40_22 + x_41_22 + x_42_22 = 2 x_23_1 + x_23_2 + x_23_3 + x_23_4 + x_23_5 + x_23_6 + x_23_7 + x_23_8 + x_23_9 + x_23_10 + x_23_11 + x_23_12 + x_23_13 + x_23_14 + x_23_15 + x_23_16 + x_23_17 + x_23_18 + x_23_19 + x_23_20 + x_23_21 + x_23_22 + x_24_23 + x_25_23 + x_26_23 + x_27_23 + x_28_23 + x_29_23 + x_30_23 + x_31_23 + x_32_23 + x_33_23 + x_34_23 + x_35_23 + x_36_23 + x_37_23 + x_38_23 + x_39_23 + x_40_23 + x_41_23 + x_42_23 = 2 x_24_1 + x_24_2 + x_24_3 + x_24_4 + x_24_5 + x_24_6 + x_24_7 + x_24_8 + x_24_9 + x_24_10 + x_24_11 + x_24_12 + x_24_13 + x_24_14 + x_24_15 + x_24_16 + x_24_17 + x_24_18 + x_24_19 + x_24_20 + x_24_21 + x_24_22 + x_24_23 + x_25_24 + x_26_24 + x_27_24 + x_28_24 + x_29_24 + x_30_24 + x_31_24 + x_32_24 + x_33_24 + x_34_24 + x_35_24 + x_36_24 + x_37_24 + x_38_24 + x_39_24 + x_40_24 + x_41_24 + x_42_24 = 2 x_25_1 + x_25_2 + x_25_3 + x_25_4 + x_25_5 + x_25_6 + x_25_7 + x_25_8 + x_25_9 + x_25_10 + x_25_11 + x_25_12 + x_25_13 + x_25_14 + x_25_15 + x_25_16 + x_25_17 + x_25_18 + x_25_19 + x_25_20 + x_25_21 + x_25_22 + x_25_23 + x_25_24 + x_26_25 + x_27_25 + x_28_25 + x_29_25 + x_30_25 + x_31_25 + x_32_25 + x_33_25 + x_34_25 + x_35_25 + x_36_25 + x_37_25 + x_38_25 + x_39_25 + x_40_25 + x_41_25 + x_42_25 = 2 x_26_1 + x_26_2 + x_26_3 + x_26_4 + x_26_5 + x_26_6 + x_26_7 + x_26_8 + x_26_9 + x_26_10 + x_26_11 + x_26_12 + x_26_13 + x_26_14 + x_26_15 + x_26_16 + x_26_17 + x_26_18 + x_26_19 + x_26_20 + x_26_21 + x_26_22 + x_26_23 + x_26_24 + x_26_25 + x_27_26 + x_28_26 + x_29_26 + x_30_26 + x_31_26 + x_32_26 + x_33_26 + x_34_26 + x_35_26 + x_36_26 + x_37_26 + x_38_26 + x_39_26 + x_40_26 + x_41_26 + x_42_26 = 2 x_27_1 + x_27_2 + x_27_3 + x_27_4 + x_27_5 + x_27_6 + x_27_7 + x_27_8 + x_27_9 + x_27_10 + x_27_11 + x_27_12 + x_27_13 + x_27_14 + x_27_15 + x_27_16 + x_27_17 + x_27_18 + x_27_19 + x_27_20 + x_27_21 + x_27_22 + x_27_23 + x_27_24 + x_27_25 + x_27_26 + x_28_27 + x_29_27 + x_30_27 + x_31_27 + x_32_27 + x_33_27 + x_34_27 + x_35_27 + x_36_27 + x_37_27 + x_38_27 + x_39_27 + x_40_27 + x_41_27 + x_42_27 = 2 x_28_1 + x_28_2 + x_28_3 + x_28_4 + x_28_5 + x_28_6 + x_28_7 + x_28_8 + x_28_9 + x_28_10 + x_28_11 + x_28_12 + x_28_13 + x_28_14 + x_28_15 + x_28_16 + x_28_17 + x_28_18 + x_28_19 + x_28_20 + x_28_21 + x_28_22 + x_28_23 + x_28_24 + x_28_25 + x_28_26 + x_28_27 + x_29_28 + x_30_28 + x_31_28 + x_32_28 + x_33_28 + x_34_28 + x_35_28 + x_36_28 + x_37_28 + x_38_28 + x_39_28 + x_40_28 + x_41_28 + x_42_28 = 2 x_29_1 + x_29_2 + x_29_3 + x_29_4 + x_29_5 + x_29_6 + x_29_7 + x_29_8 + x_29_9 + x_29_10 + x_29_11 + x_29_12 + x_29_13 + x_29_14 + x_29_15 + x_29_16 + x_29_17 + x_29_18 + x_29_19 + x_29_20 + x_29_21 + x_29_22 + x_29_23 + x_29_24 + x_29_25 + x_29_26 + x_29_27 + x_29_28 + x_30_29 + x_31_29 + x_32_29 + x_33_29 + x_34_29 + x_35_29 + x_36_29 + x_37_29 + x_38_29 + x_39_29 + x_40_29 + x_41_29 + x_42_29 = 2 x_30_1 + x_30_2 + x_30_3 + x_30_4 + x_30_5 + x_30_6 + x_30_7 + x_30_8 + x_30_9 + x_30_10 + x_30_11 + x_30_12 + x_30_13 + x_30_14 + x_30_15 + x_30_16 + x_30_17 + x_30_18 + x_30_19 + x_30_20 + x_30_21 + x_30_22 + x_30_23 + x_30_24 + x_30_25 + x_30_26 + x_30_27 + x_30_28 + x_30_29 + x_31_30 + x_32_30 + x_33_30 + x_34_30 + x_35_30 + x_36_30 + x_37_30 + x_38_30 + x_39_30 + x_40_30 + x_41_30 + x_42_30 = 2 x_31_1 + x_31_2 + x_31_3 + x_31_4 + x_31_5 + x_31_6 + x_31_7 + x_31_8 + x_31_9 + x_31_10 + x_31_11 + x_31_12 + x_31_13 + x_31_14 + x_31_15 + x_31_16 + x_31_17 + x_31_18 + x_31_19 + x_31_20 + x_31_21 + x_31_22 + x_31_23 + x_31_24 + x_31_25 + x_31_26 + x_31_27 + x_31_28 + x_31_29 + x_31_30 + x_32_31 + x_33_31 + x_34_31 + x_35_31 + x_36_31 + x_37_31 + x_38_31 + x_39_31 + x_40_31 + x_41_31 + x_42_31 = 2 x_32_1 + x_32_2 + x_32_3 + x_32_4 + x_32_5 + x_32_6 + x_32_7 + x_32_8 + x_32_9 + x_32_10 + x_32_11 + x_32_12 + x_32_13 + x_32_14 + x_32_15 + x_32_16 + x_32_17 + x_32_18 + x_32_19 + x_32_20 + x_32_21 + x_32_22 + x_32_23 + x_32_24 + x_32_25 + x_32_26 + x_32_27 + x_32_28 + x_32_29 + x_32_30 + x_32_31 + x_33_32 + x_34_32 + x_35_32 + x_36_32 + x_37_32 + x_38_32 + x_39_32 + x_40_32 + x_41_32 + x_42_32 = 2 x_33_1 + x_33_2 + x_33_3 + x_33_4 + x_33_5 + x_33_6 + x_33_7 + x_33_8 + x_33_9 + x_33_10 + x_33_11 + x_33_12 + x_33_13 + x_33_14 + x_33_15 + x_33_16 + x_33_17 + x_33_18 + x_33_19 + x_33_20 + x_33_21 + x_33_22 + x_33_23 + x_33_24 + x_33_25 + x_33_26 + x_33_27 + x_33_28 + x_33_29 + x_33_30 + x_33_31 + x_33_32 + x_34_33 + x_35_33 + x_36_33 + x_37_33 + x_38_33 + x_39_33 + x_40_33 + x_41_33 + x_42_33 = 2 x_34_1 + x_34_2 + x_34_3 + x_34_4 + x_34_5 + x_34_6 + x_34_7 + x_34_8 + x_34_9 + x_34_10 + x_34_11 + x_34_12 + x_34_13 + x_34_14 + x_34_15 + x_34_16 + x_34_17 + x_34_18 + x_34_19 + x_34_20 + x_34_21 + x_34_22 + x_34_23 + x_34_24 + x_34_25 + x_34_26 + x_34_27 + x_34_28 + x_34_29 + x_34_30 + x_34_31 + x_34_32 + x_34_33 + x_35_34 + x_36_34 + x_37_34 + x_38_34 + x_39_34 + x_40_34 + x_41_34 + x_42_34 = 2 x_35_1 + x_35_2 + x_35_3 + x_35_4 + x_35_5 + x_35_6 + x_35_7 + x_35_8 + x_35_9 + x_35_10 + x_35_11 + x_35_12 + x_35_13 + x_35_14 + x_35_15 + x_35_16 + x_35_17 + x_35_18 + x_35_19 + x_35_20 + x_35_21 + x_35_22 + x_35_23 + x_35_24 + x_35_25 + x_35_26 + x_35_27 + x_35_28 + x_35_29 + x_35_30 + x_35_31 + x_35_32 + x_35_33 + x_35_34 + x_36_35 + x_37_35 + x_38_35 + x_39_35 + x_40_35 + x_41_35 + x_42_35 = 2 x_36_1 + x_36_2 + x_36_3 + x_36_4 + x_36_5 + x_36_6 + x_36_7 + x_36_8 + x_36_9 + x_36_10 + x_36_11 + x_36_12 + x_36_13 + x_36_14 + x_36_15 + x_36_16 + x_36_17 + x_36_18 + x_36_19 + x_36_20 + x_36_21 + x_36_22 + x_36_23 + x_36_24 + x_36_25 + x_36_26 + x_36_27 + x_36_28 + x_36_29 + x_36_30 + x_36_31 + x_36_32 + x_36_33 + x_36_34 + x_36_35 + x_37_36 + x_38_36 + x_39_36 + x_40_36 + x_41_36 + x_42_36 = 2 x_37_1 + x_37_2 + x_37_3 + x_37_4 + x_37_5 + x_37_6 + x_37_7 + x_37_8 + x_37_9 + x_37_10 + x_37_11 + x_37_12 + x_37_13 + x_37_14 + x_37_15 + x_37_16 + x_37_17 + x_37_18 + x_37_19 + x_37_20 + x_37_21 + x_37_22 + x_37_23 + x_37_24 + x_37_25 + x_37_26 + x_37_27 + x_37_28 + x_37_29 + x_37_30 + x_37_31 + x_37_32 + x_37_33 + x_37_34 + x_37_35 + x_37_36 + x_38_37 + x_39_37 + x_40_37 + x_41_37 + x_42_37 = 2 x_38_1 + x_38_2 + x_38_3 + x_38_4 + x_38_5 + x_38_6 + x_38_7 + x_38_8 + x_38_9 + x_38_10 + x_38_11 + x_38_12 + x_38_13 + x_38_14 + x_38_15 + x_38_16 + x_38_17 + x_38_18 + x_38_19 + x_38_20 + x_38_21 + x_38_22 + x_38_23 + x_38_24 + x_38_25 + x_38_26 + x_38_27 + x_38_28 + x_38_29 + x_38_30 + x_38_31 + x_38_32 + x_38_33 + x_38_34 + x_38_35 + x_38_36 + x_38_37 + x_39_38 + x_40_38 + x_41_38 + x_42_38 = 2 x_39_1 + x_39_2 + x_39_3 + x_39_4 + x_39_5 + x_39_6 + x_39_7 + x_39_8 + x_39_9 + x_39_10 + x_39_11 + x_39_12 + x_39_13 + x_39_14 + x_39_15 + x_39_16 + x_39_17 + x_39_18 + x_39_19 + x_39_20 + x_39_21 + x_39_22 + x_39_23 + x_39_24 + x_39_25 + x_39_26 + x_39_27 + x_39_28 + x_39_29 + x_39_30 + x_39_31 + x_39_32 + x_39_33 + x_39_34 + x_39_35 + x_39_36 + x_39_37 + x_39_38 + x_40_39 + x_41_39 + x_42_39 = 2 x_40_1 + x_40_2 + x_40_3 + x_40_4 + x_40_5 + x_40_6 + x_40_7 + x_40_8 + x_40_9 + x_40_10 + x_40_11 + x_40_12 + x_40_13 + x_40_14 + x_40_15 + x_40_16 + x_40_17 + x_40_18 + x_40_19 + x_40_20 + x_40_21 + x_40_22 + x_40_23 + x_40_24 + x_40_25 + x_40_26 + x_40_27 + x_40_28 + x_40_29 + x_40_30 + x_40_31 + x_40_32 + x_40_33 + x_40_34 + x_40_35 + x_40_36 + x_40_37 + x_40_38 + x_40_39 + x_41_40 + x_42_40 = 2 x_41_1 + x_41_2 + x_41_3 + x_41_4 + x_41_5 + x_41_6 + x_41_7 + x_41_8 + x_41_9 + x_41_10 + x_41_11 + x_41_12 + x_41_13 + x_41_14 + x_41_15 + x_41_16 + x_41_17 + x_41_18 + x_41_19 + x_41_20 + x_41_21 + x_41_22 + x_41_23 + x_41_24 + x_41_25 + x_41_26 + x_41_27 + x_41_28 + x_41_29 + x_41_30 + x_41_31 + x_41_32 + x_41_33 + x_41_34 + x_41_35 + x_41_36 + x_41_37 + x_41_38 + x_41_39 + x_41_40 + x_42_41 = 2 x_42_1 + x_42_2 + x_42_3 + x_42_4 + x_42_5 + x_42_6 + x_42_7 + x_42_8 + x_42_9 + x_42_10 + x_42_11 + x_42_12 + x_42_13 + x_42_14 + x_42_15 + x_42_16 + x_42_17 + x_42_18 + x_42_19 + x_42_20 + x_42_21 + x_42_22 + x_42_23 + x_42_24 + x_42_25 + x_42_26 + x_42_27 + x_42_28 + x_42_29 + x_42_30 + x_42_31 + x_42_32 + x_42_33 + x_42_34 + x_42_35 + x_42_36 + x_42_37 + x_42_38 + x_42_39 + x_42_40 + x_42_41 = 2 x_9_8 <= 1 x_23_22 <= 1 x_33_32 <= 1 x_12_11 <= 1 x_25_24 <= 1 x_35_34 <= 1 x_41_1 <= 1 x_14_13 <= 1 x_27_26 <= 1 x_37_36 <= 1 x_4_3 <= 1 x_15_14 <= 1 x_29_28 <= 1 x_7_6 <= 1 x_20_19 <= 1 x_31_30 <= 1 x_3_1 + x_4_1 + x_5_1 + x_6_1 + x_7_1 + x_8_1 + x_9_1 + x_10_1 + x_11_1 + x_12_1 + x_13_1 + x_14_1 + x_15_1 + x_16_1 + x_17_1 + x_18_1 + x_19_1 + x_20_1 + x_21_1 + x_22_1 + x_23_1 + x_24_1 + x_25_1 + x_26_1 + x_27_1 + x_28_1 + x_29_1 + x_30_1 + x_31_1 + x_32_1 + x_33_1 + x_34_1 + x_35_1 + x_36_1 + x_37_1 + x_38_1 + x_39_1 + x_40_1 + x_3_2 + x_4_2 + x_5_2 + x_6_2 + x_7_2 + x_8_2 + x_9_2 + x_10_2 + x_11_2 + x_12_2 + x_13_2 + x_14_2 + x_15_2 + x_16_2 + x_17_2 + x_18_2 + x_19_2 + x_20_2 + x_21_2 + x_22_2 + x_23_2 + x_24_2 + x_25_2 + x_26_2 + x_27_2 + x_28_2 + x_29_2 + x_30_2 + x_31_2 + x_32_2 + x_33_2 + x_34_2 + x_35_2 + x_36_2 + x_37_2 + x_38_2 + x_39_2 + x_40_2 + x_41_3 + x_41_4 + x_41_5 + x_41_6 + x_41_7 + x_41_8 + x_41_9 + x_41_10 + x_41_11 + x_41_12 + x_41_13 + x_41_14 + x_41_15 + x_41_16 + x_41_17 + x_41_18 + x_41_19 + x_41_20 + x_41_21 + x_41_22 + x_41_23 + x_41_24 + x_41_25 + x_41_26 + x_41_27 + x_41_28 + x_41_29 + x_41_30 + x_41_31 + x_41_32 + x_41_33 + x_41_34 + x_41_35 + x_41_36 + x_41_37 + x_41_38 + x_41_39 + x_41_40 + x_42_3 + x_42_4 + x_42_5 + x_42_6 + x_42_7 + x_42_8 + x_42_9 + x_42_10 + x_42_11 + x_42_12 + x_42_13 + x_42_14 + x_42_15 + x_42_16 + x_42_17 + x_42_18 + x_42_19 + x_42_20 + x_42_21 + x_42_22 + x_42_23 + x_42_24 + x_42_25 + x_42_26 + x_42_27 + x_42_28 + x_42_29 + x_42_30 + x_42_31 + x_42_32 + x_42_33 + x_42_34 + x_42_35 + x_42_36 + x_42_37 + x_42_38 + x_42_39 + x_42_40 >= 2 x_3_1 + x_3_2 + x_10_3 + x_11_3 + x_12_3 + x_13_3 + x_14_3 + x_15_3 + x_16_3 + x_17_3 + x_18_3 + x_19_3 + x_20_3 + x_21_3 + x_22_3 + x_23_3 + x_24_3 + x_25_3 + x_26_3 + x_27_3 + x_28_3 + x_29_3 + x_30_3 + x_31_3 + x_32_3 + x_33_3 + x_34_3 + x_35_3 + x_36_3 + x_37_3 + x_38_3 + x_39_3 + x_40_3 + x_41_3 + x_42_3 + x_4_1 + x_4_2 + x_10_4 + x_11_4 + x_12_4 + x_13_4 + x_14_4 + x_15_4 + x_16_4 + x_17_4 + x_18_4 + x_19_4 + x_20_4 + x_21_4 + x_22_4 + x_23_4 + x_24_4 + x_25_4 + x_26_4 + x_27_4 + x_28_4 + x_29_4 + x_30_4 + x_31_4 + x_32_4 + x_33_4 + x_34_4 + x_35_4 + x_36_4 + x_37_4 + x_38_4 + x_39_4 + x_40_4 + x_41_4 + x_42_4 + x_5_1 + x_5_2 + x_10_5 + x_11_5 + x_12_5 + x_13_5 + x_14_5 + x_15_5 + x_16_5 + x_17_5 + x_18_5 + x_19_5 + x_20_5 + x_21_5 + x_22_5 + x_23_5 + x_24_5 + x_25_5 + x_26_5 + x_27_5 + x_28_5 + x_29_5 + x_30_5 + x_31_5 + x_32_5 + x_33_5 + x_34_5 + x_35_5 + x_36_5 + x_37_5 + x_38_5 + x_39_5 + x_40_5 + x_41_5 + x_42_5 + x_6_1 + x_6_2 + x_10_6 + x_11_6 + x_12_6 + x_13_6 + x_14_6 + x_15_6 + x_16_6 + x_17_6 + x_18_6 + x_19_6 + x_20_6 + x_21_6 + x_22_6 + x_23_6 + x_24_6 + x_25_6 + x_26_6 + x_27_6 + x_28_6 + x_29_6 + x_30_6 + x_31_6 + x_32_6 + x_33_6 + x_34_6 + x_35_6 + x_36_6 + x_37_6 + x_38_6 + x_39_6 + x_40_6 + x_41_6 + x_42_6 + x_7_1 + x_7_2 + x_10_7 + x_11_7 + x_12_7 + x_13_7 + x_14_7 + x_15_7 + x_16_7 + x_17_7 + x_18_7 + x_19_7 + x_20_7 + x_21_7 + x_22_7 + x_23_7 + x_24_7 + x_25_7 + x_26_7 + x_27_7 + x_28_7 + x_29_7 + x_30_7 + x_31_7 + x_32_7 + x_33_7 + x_34_7 + x_35_7 + x_36_7 + x_37_7 + x_38_7 + x_39_7 + x_40_7 + x_41_7 + x_42_7 + x_8_1 + x_8_2 + x_10_8 + x_11_8 + x_12_8 + x_13_8 + x_14_8 + x_15_8 + x_16_8 + x_17_8 + x_18_8 + x_19_8 + x_20_8 + x_21_8 + x_22_8 + x_23_8 + x_24_8 + x_25_8 + x_26_8 + x_27_8 + x_28_8 + x_29_8 + x_30_8 + x_31_8 + x_32_8 + x_33_8 + x_34_8 + x_35_8 + x_36_8 + x_37_8 + x_38_8 + x_39_8 + x_40_8 + x_41_8 + x_42_8 + x_9_1 + x_9_2 + x_10_9 + x_11_9 + x_12_9 + x_13_9 + x_14_9 + x_15_9 + x_16_9 + x_17_9 + x_18_9 + x_19_9 + x_20_9 + x_21_9 + x_22_9 + x_23_9 + x_24_9 + x_25_9 + x_26_9 + x_27_9 + x_28_9 + x_29_9 + x_30_9 + x_31_9 + x_32_9 + x_33_9 + x_34_9 + x_35_9 + x_36_9 + x_37_9 + x_38_9 + x_39_9 + x_40_9 + x_41_9 + x_42_9 >= 2 x_10_1 + x_11_1 + x_12_1 + x_13_1 + x_14_1 + x_15_1 + x_16_1 + x_17_1 + x_18_1 + x_19_1 + x_20_1 + x_21_1 + x_22_1 + x_23_1 + x_24_1 + x_25_1 + x_26_1 + x_27_1 + x_28_1 + x_10_2 + x_11_2 + x_12_2 + x_13_2 + x_14_2 + x_15_2 + x_16_2 + x_17_2 + x_18_2 + x_19_2 + x_20_2 + x_21_2 + x_22_2 + x_23_2 + x_24_2 + x_25_2 + x_26_2 + x_27_2 + x_28_2 + x_10_3 + x_11_3 + x_12_3 + x_13_3 + x_14_3 + x_15_3 + x_16_3 + x_17_3 + x_18_3 + x_19_3 + x_20_3 + x_21_3 + x_22_3 + x_23_3 + x_24_3 + x_25_3 + x_26_3 + x_27_3 + x_28_3 + x_10_4 + x_11_4 + x_12_4 + x_13_4 + x_14_4 + x_15_4 + x_16_4 + x_17_4 + x_18_4 + x_19_4 + x_20_4 + x_21_4 + x_22_4 + x_23_4 + x_24_4 + x_25_4 + x_26_4 + x_27_4 + x_28_4 + x_10_5 + x_11_5 + x_12_5 + x_13_5 + x_14_5 + x_15_5 + x_16_5 + x_17_5 + x_18_5 + x_19_5 + x_20_5 + x_21_5 + x_22_5 + x_23_5 + x_24_5 + x_25_5 + x_26_5 + x_27_5 + x_28_5 + x_10_6 + x_11_6 + x_12_6 + x_13_6 + x_14_6 + x_15_6 + x_16_6 + x_17_6 + x_18_6 + x_19_6 + x_20_6 + x_21_6 + x_22_6 + x_23_6 + x_24_6 + x_25_6 + x_26_6 + x_27_6 + x_28_6 + x_10_7 + x_11_7 + x_12_7 + x_13_7 + x_14_7 + x_15_7 + x_16_7 + x_17_7 + x_18_7 + x_19_7 + x_20_7 + x_21_7 + x_22_7 + x_23_7 + x_24_7 + x_25_7 + x_26_7 + x_27_7 + x_28_7 + x_10_8 + x_11_8 + x_12_8 + x_13_8 + x_14_8 + x_15_8 + x_16_8 + x_17_8 + x_18_8 + x_19_8 + x_20_8 + x_21_8 + x_22_8 + x_23_8 + x_24_8 + x_25_8 + x_26_8 + x_27_8 + x_28_8 + x_10_9 + x_11_9 + x_12_9 + x_13_9 + x_14_9 + x_15_9 + x_16_9 + x_17_9 + x_18_9 + x_19_9 + x_20_9 + x_21_9 + x_22_9 + x_23_9 + x_24_9 + x_25_9 + x_26_9 + x_27_9 + x_28_9 + x_29_10 + x_29_11 + x_29_12 + x_29_13 + x_29_14 + x_29_15 + x_29_16 + x_29_17 + x_29_18 + x_29_19 + x_29_20 + x_29_21 + x_29_22 + x_29_23 + x_29_24 + x_29_25 + x_29_26 + x_29_27 + x_29_28 + x_30_10 + x_30_11 + x_30_12 + x_30_13 + x_30_14 + x_30_15 + x_30_16 + x_30_17 + x_30_18 + x_30_19 + x_30_20 + x_30_21 + x_30_22 + x_30_23 + x_30_24 + x_30_25 + x_30_26 + x_30_27 + x_30_28 + x_31_10 + x_31_11 + x_31_12 + x_31_13 + x_31_14 + x_31_15 + x_31_16 + x_31_17 + x_31_18 + x_31_19 + x_31_20 + x_31_21 + x_31_22 + x_31_23 + x_31_24 + x_31_25 + x_31_26 + x_31_27 + x_31_28 + x_32_10 + x_32_11 + x_32_12 + x_32_13 + x_32_14 + x_32_15 + x_32_16 + x_32_17 + x_32_18 + x_32_19 + x_32_20 + x_32_21 + x_32_22 + x_32_23 + x_32_24 + x_32_25 + x_32_26 + x_32_27 + x_32_28 + x_33_10 + x_33_11 + x_33_12 + x_33_13 + x_33_14 + x_33_15 + x_33_16 + x_33_17 + x_33_18 + x_33_19 + x_33_20 + x_33_21 + x_33_22 + x_33_23 + x_33_24 + x_33_25 + x_33_26 + x_33_27 + x_33_28 + x_34_10 + x_34_11 + x_34_12 + x_34_13 + x_34_14 + x_34_15 + x_34_16 + x_34_17 + x_34_18 + x_34_19 + x_34_20 + x_34_21 + x_34_22 + x_34_23 + x_34_24 + x_34_25 + x_34_26 + x_34_27 + x_34_28 + x_35_10 + x_35_11 + x_35_12 + x_35_13 + x_35_14 + x_35_15 + x_35_16 + x_35_17 + x_35_18 + x_35_19 + x_35_20 + x_35_21 + x_35_22 + x_35_23 + x_35_24 + x_35_25 + x_35_26 + x_35_27 + x_35_28 + x_36_10 + x_36_11 + x_36_12 + x_36_13 + x_36_14 + x_36_15 + x_36_16 + x_36_17 + x_36_18 + x_36_19 + x_36_20 + x_36_21 + x_36_22 + x_36_23 + x_36_24 + x_36_25 + x_36_26 + x_36_27 + x_36_28 + x_37_10 + x_37_11 + x_37_12 + x_37_13 + x_37_14 + x_37_15 + x_37_16 + x_37_17 + x_37_18 + x_37_19 + x_37_20 + x_37_21 + x_37_22 + x_37_23 + x_37_24 + x_37_25 + x_37_26 + x_37_27 + x_37_28 + x_38_10 + x_38_11 + x_38_12 + x_38_13 + x_38_14 + x_38_15 + x_38_16 + x_38_17 + x_38_18 + x_38_19 + x_38_20 + x_38_21 + x_38_22 + x_38_23 + x_38_24 + x_38_25 + x_38_26 + x_38_27 + x_38_28 + x_39_10 + x_39_11 + x_39_12 + x_39_13 + x_39_14 + x_39_15 + x_39_16 + x_39_17 + x_39_18 + x_39_19 + x_39_20 + x_39_21 + x_39_22 + x_39_23 + x_39_24 + x_39_25 + x_39_26 + x_39_27 + x_39_28 + x_40_10 + x_40_11 + x_40_12 + x_40_13 + x_40_14 + x_40_15 + x_40_16 + x_40_17 + x_40_18 + x_40_19 + x_40_20 + x_40_21 + x_40_22 + x_40_23 + x_40_24 + x_40_25 + x_40_26 + x_40_27 + x_40_28 + x_41_10 + x_41_11 + x_41_12 + x_41_13 + x_41_14 + x_41_15 + x_41_16 + x_41_17 + x_41_18 + x_41_19 + x_41_20 + x_41_21 + x_41_22 + x_41_23 + x_41_24 + x_41_25 + x_41_26 + x_41_27 + x_41_28 + x_42_10 + x_42_11 + x_42_12 + x_42_13 + x_42_14 + x_42_15 + x_42_16 + x_42_17 + x_42_18 + x_42_19 + x_42_20 + x_42_21 + x_42_22 + x_42_23 + x_42_24 + x_42_25 + x_42_26 + x_42_27 + x_42_28 >= 2 x_11_1 + x_11_2 + x_11_3 + x_11_4 + x_11_5 + x_11_6 + x_11_7 + x_11_8 + x_11_9 + x_11_10 + x_24_11 + x_25_11 + x_26_11 + x_27_11 + x_28_11 + x_29_11 + x_30_11 + x_31_11 + x_32_11 + x_33_11 + x_34_11 + x_35_11 + x_36_11 + x_37_11 + x_38_11 + x_39_11 + x_40_11 + x_41_11 + x_42_11 + x_12_1 + x_12_2 + x_12_3 + x_12_4 + x_12_5 + x_12_6 + x_12_7 + x_12_8 + x_12_9 + x_12_10 + x_24_12 + x_25_12 + x_26_12 + x_27_12 + x_28_12 + x_29_12 + x_30_12 + x_31_12 + x_32_12 + x_33_12 + x_34_12 + x_35_12 + x_36_12 + x_37_12 + x_38_12 + x_39_12 + x_40_12 + x_41_12 + x_42_12 + x_13_1 + x_13_2 + x_13_3 + x_13_4 + x_13_5 + x_13_6 + x_13_7 + x_13_8 + x_13_9 + x_13_10 + x_24_13 + x_25_13 + x_26_13 + x_27_13 + x_28_13 + x_29_13 + x_30_13 + x_31_13 + x_32_13 + x_33_13 + x_34_13 + x_35_13 + x_36_13 + x_37_13 + x_38_13 + x_39_13 + x_40_13 + x_41_13 + x_42_13 + x_14_1 + x_14_2 + x_14_3 + x_14_4 + x_14_5 + x_14_6 + x_14_7 + x_14_8 + x_14_9 + x_14_10 + x_24_14 + x_25_14 + x_26_14 + x_27_14 + x_28_14 + x_29_14 + x_30_14 + x_31_14 + x_32_14 + x_33_14 + x_34_14 + x_35_14 + x_36_14 + x_37_14 + x_38_14 + x_39_14 + x_40_14 + x_41_14 + x_42_14 + x_15_1 + x_15_2 + x_15_3 + x_15_4 + x_15_5 + x_15_6 + x_15_7 + x_15_8 + x_15_9 + x_15_10 + x_24_15 + x_25_15 + x_26_15 + x_27_15 + x_28_15 + x_29_15 + x_30_15 + x_31_15 + x_32_15 + x_33_15 + x_34_15 + x_35_15 + x_36_15 + x_37_15 + x_38_15 + x_39_15 + x_40_15 + x_41_15 + x_42_15 + x_16_1 + x_16_2 + x_16_3 + x_16_4 + x_16_5 + x_16_6 + x_16_7 + x_16_8 + x_16_9 + x_16_10 + x_24_16 + x_25_16 + x_26_16 + x_27_16 + x_28_16 + x_29_16 + x_30_16 + x_31_16 + x_32_16 + x_33_16 + x_34_16 + x_35_16 + x_36_16 + x_37_16 + x_38_16 + x_39_16 + x_40_16 + x_41_16 + x_42_16 + x_17_1 + x_17_2 + x_17_3 + x_17_4 + x_17_5 + x_17_6 + x_17_7 + x_17_8 + x_17_9 + x_17_10 + x_24_17 + x_25_17 + x_26_17 + x_27_17 + x_28_17 + x_29_17 + x_30_17 + x_31_17 + x_32_17 + x_33_17 + x_34_17 + x_35_17 + x_36_17 + x_37_17 + x_38_17 + x_39_17 + x_40_17 + x_41_17 + x_42_17 + x_18_1 + x_18_2 + x_18_3 + x_18_4 + x_18_5 + x_18_6 + x_18_7 + x_18_8 + x_18_9 + x_18_10 + x_24_18 + x_25_18 + x_26_18 + x_27_18 + x_28_18 + x_29_18 + x_30_18 + x_31_18 + x_32_18 + x_33_18 + x_34_18 + x_35_18 + x_36_18 + x_37_18 + x_38_18 + x_39_18 + x_40_18 + x_41_18 + x_42_18 + x_19_1 + x_19_2 + x_19_3 + x_19_4 + x_19_5 + x_19_6 + x_19_7 + x_19_8 + x_19_9 + x_19_10 + x_24_19 + x_25_19 + x_26_19 + x_27_19 + x_28_19 + x_29_19 + x_30_19 + x_31_19 + x_32_19 + x_33_19 + x_34_19 + x_35_19 + x_36_19 + x_37_19 + x_38_19 + x_39_19 + x_40_19 + x_41_19 + x_42_19 + x_20_1 + x_20_2 + x_20_3 + x_20_4 + x_20_5 + x_20_6 + x_20_7 + x_20_8 + x_20_9 + x_20_10 + x_24_20 + x_25_20 + x_26_20 + x_27_20 + x_28_20 + x_29_20 + x_30_20 + x_31_20 + x_32_20 + x_33_20 + x_34_20 + x_35_20 + x_36_20 + x_37_20 + x_38_20 + x_39_20 + x_40_20 + x_41_20 + x_42_20 + x_21_1 + x_21_2 + x_21_3 + x_21_4 + x_21_5 + x_21_6 + x_21_7 + x_21_8 + x_21_9 + x_21_10 + x_24_21 + x_25_21 + x_26_21 + x_27_21 + x_28_21 + x_29_21 + x_30_21 + x_31_21 + x_32_21 + x_33_21 + x_34_21 + x_35_21 + x_36_21 + x_37_21 + x_38_21 + x_39_21 + x_40_21 + x_41_21 + x_42_21 + x_22_1 + x_22_2 + x_22_3 + x_22_4 + x_22_5 + x_22_6 + x_22_7 + x_22_8 + x_22_9 + x_22_10 + x_24_22 + x_25_22 + x_26_22 + x_27_22 + x_28_22 + x_29_22 + x_30_22 + x_31_22 + x_32_22 + x_33_22 + x_34_22 + x_35_22 + x_36_22 + x_37_22 + x_38_22 + x_39_22 + x_40_22 + x_41_22 + x_42_22 + x_23_1 + x_23_2 + x_23_3 + x_23_4 + x_23_5 + x_23_6 + x_23_7 + x_23_8 + x_23_9 + x_23_10 + x_24_23 + x_25_23 + x_26_23 + x_27_23 + x_28_23 + x_29_23 + x_30_23 + x_31_23 + x_32_23 + x_33_23 + x_34_23 + x_35_23 + x_36_23 + x_37_23 + x_38_23 + x_39_23 + x_40_23 + x_41_23 + x_42_23 >= 2 x_13_1 + x_13_2 + x_13_3 + x_13_4 + x_13_5 + x_13_6 + x_13_7 + x_13_8 + x_13_9 + x_13_10 + x_13_11 + x_13_12 + x_24_13 + x_25_13 + x_26_13 + x_27_13 + x_28_13 + x_29_13 + x_30_13 + x_31_13 + x_32_13 + x_33_13 + x_34_13 + x_35_13 + x_36_13 + x_37_13 + x_38_13 + x_39_13 + x_40_13 + x_41_13 + x_42_13 + x_14_1 + x_14_2 + x_14_3 + x_14_4 + x_14_5 + x_14_6 + x_14_7 + x_14_8 + x_14_9 + x_14_10 + x_14_11 + x_14_12 + x_24_14 + x_25_14 + x_26_14 + x_27_14 + x_28_14 + x_29_14 + x_30_14 + x_31_14 + x_32_14 + x_33_14 + x_34_14 + x_35_14 + x_36_14 + x_37_14 + x_38_14 + x_39_14 + x_40_14 + x_41_14 + x_42_14 + x_15_1 + x_15_2 + x_15_3 + x_15_4 + x_15_5 + x_15_6 + x_15_7 + x_15_8 + x_15_9 + x_15_10 + x_15_11 + x_15_12 + x_24_15 + x_25_15 + x_26_15 + x_27_15 + x_28_15 + x_29_15 + x_30_15 + x_31_15 + x_32_15 + x_33_15 + x_34_15 + x_35_15 + x_36_15 + x_37_15 + x_38_15 + x_39_15 + x_40_15 + x_41_15 + x_42_15 + x_16_1 + x_16_2 + x_16_3 + x_16_4 + x_16_5 + x_16_6 + x_16_7 + x_16_8 + x_16_9 + x_16_10 + x_16_11 + x_16_12 + x_24_16 + x_25_16 + x_26_16 + x_27_16 + x_28_16 + x_29_16 + x_30_16 + x_31_16 + x_32_16 + x_33_16 + x_34_16 + x_35_16 + x_36_16 + x_37_16 + x_38_16 + x_39_16 + x_40_16 + x_41_16 + x_42_16 + x_17_1 + x_17_2 + x_17_3 + x_17_4 + x_17_5 + x_17_6 + x_17_7 + x_17_8 + x_17_9 + x_17_10 + x_17_11 + x_17_12 + x_24_17 + x_25_17 + x_26_17 + x_27_17 + x_28_17 + x_29_17 + x_30_17 + x_31_17 + x_32_17 + x_33_17 + x_34_17 + x_35_17 + x_36_17 + x_37_17 + x_38_17 + x_39_17 + x_40_17 + x_41_17 + x_42_17 + x_18_1 + x_18_2 + x_18_3 + x_18_4 + x_18_5 + x_18_6 + x_18_7 + x_18_8 + x_18_9 + x_18_10 + x_18_11 + x_18_12 + x_24_18 + x_25_18 + x_26_18 + x_27_18 + x_28_18 + x_29_18 + x_30_18 + x_31_18 + x_32_18 + x_33_18 + x_34_18 + x_35_18 + x_36_18 + x_37_18 + x_38_18 + x_39_18 + x_40_18 + x_41_18 + x_42_18 + x_19_1 + x_19_2 + x_19_3 + x_19_4 + x_19_5 + x_19_6 + x_19_7 + x_19_8 + x_19_9 + x_19_10 + x_19_11 + x_19_12 + x_24_19 + x_25_19 + x_26_19 + x_27_19 + x_28_19 + x_29_19 + x_30_19 + x_31_19 + x_32_19 + x_33_19 + x_34_19 + x_35_19 + x_36_19 + x_37_19 + x_38_19 + x_39_19 + x_40_19 + x_41_19 + x_42_19 + x_20_1 + x_20_2 + x_20_3 + x_20_4 + x_20_5 + x_20_6 + x_20_7 + x_20_8 + x_20_9 + x_20_10 + x_20_11 + x_20_12 + x_24_20 + x_25_20 + x_26_20 + x_27_20 + x_28_20 + x_29_20 + x_30_20 + x_31_20 + x_32_20 + x_33_20 + x_34_20 + x_35_20 + x_36_20 + x_37_20 + x_38_20 + x_39_20 + x_40_20 + x_41_20 + x_42_20 + x_21_1 + x_21_2 + x_21_3 + x_21_4 + x_21_5 + x_21_6 + x_21_7 + x_21_8 + x_21_9 + x_21_10 + x_21_11 + x_21_12 + x_24_21 + x_25_21 + x_26_21 + x_27_21 + x_28_21 + x_29_21 + x_30_21 + x_31_21 + x_32_21 + x_33_21 + x_34_21 + x_35_21 + x_36_21 + x_37_21 + x_38_21 + x_39_21 + x_40_21 + x_41_21 + x_42_21 + x_22_1 + x_22_2 + x_22_3 + x_22_4 + x_22_5 + x_22_6 + x_22_7 + x_22_8 + x_22_9 + x_22_10 + x_22_11 + x_22_12 + x_24_22 + x_25_22 + x_26_22 + x_27_22 + x_28_22 + x_29_22 + x_30_22 + x_31_22 + x_32_22 + x_33_22 + x_34_22 + x_35_22 + x_36_22 + x_37_22 + x_38_22 + x_39_22 + x_40_22 + x_41_22 + x_42_22 + x_23_1 + x_23_2 + x_23_3 + x_23_4 + x_23_5 + x_23_6 + x_23_7 + x_23_8 + x_23_9 + x_23_10 + x_23_11 + x_23_12 + x_24_23 + x_25_23 + x_26_23 + x_27_23 + x_28_23 + x_29_23 + x_30_23 + x_31_23 + x_32_23 + x_33_23 + x_34_23 + x_35_23 + x_36_23 + x_37_23 + x_38_23 + x_39_23 + x_40_23 + x_41_23 + x_42_23 >= 2 x_17_16 + x_17_15 + x_17_14 + x_17_13 + x_16_15 + x_16_14 + x_16_13 + x_15_14 + x_15_13 + x_14_13 <= 4 x_27_26 + x_27_25 + x_27_24 + x_26_25 + x_26_24 + x_25_24 <= 3 c66: x_15_14 - x_15_1- x_15_2- x_15_3- x_15_4- x_15_5- x_15_6- x_15_7- x_15_8- x_15_9- x_15_10- x_15_11- x_15_12- x_15_13- x_15_14- x_17_15- x_18_15- x_20_15- x_21_15- x_22_15- x_23_15- x_24_15- x_25_15- x_26_15- x_27_15- x_28_15- x_29_15- x_30_15- x_31_15- x_32_15- x_33_15- x_34_15- x_35_15- x_36_15- x_37_15- x_38_15- x_39_15- x_40_15- x_41_15- x_42_15- x_16_1- x_16_2- x_16_3- x_16_4- x_16_5- x_16_6- x_16_7- x_16_8- x_16_9- x_16_10- x_16_11- x_16_12- x_16_13- x_16_14- x_17_16- x_18_16- x_20_16- x_21_16- x_22_16- x_23_16- x_24_16- x_25_16- x_26_16- x_27_16- x_28_16- x_29_16- x_30_16- x_31_16- x_32_16- x_33_16- x_34_16- x_35_16- x_36_16- x_37_16- x_38_16- x_39_16- x_40_16- x_41_16- x_42_16- x_19_1- x_19_2- x_19_3- x_19_4- x_19_5- x_19_6- x_19_7- x_19_8- x_19_9- x_19_10- x_19_11- x_19_12- x_19_13- x_19_14- x_19_17- x_19_18- x_20_19- x_21_19- x_22_19- x_23_19- x_24_19- x_25_19- x_26_19- x_27_19- x_28_19- x_29_19- x_30_19- x_31_19- x_32_19- x_33_19- x_34_19- x_35_19- x_36_19- x_37_19- x_38_19- x_39_19- x_40_19- x_41_19- x_42_19+ x_15_14 - x_19_16 - x_19_15 - x_16_15 + x_18_15 + x_18_16 + x_17_16 + x_19_18 + x_20_19 <= 0 c67:x_2_1 +x_3_1 +x_3_2 +x_4_1 +x_4_2 +x_4_3 +x_5_1 +x_5_2 +x_5_3 +x_5_4 +x_6_1 +x_6_2 +x_6_3 +x_6_4 +x_6_5 +x_7_1 +x_7_2 +x_7_3 +x_7_4 +x_7_5 +x_7_6 +x_8_1 +x_8_2 +x_8_3 +x_8_4 +x_8_5 +x_8_6 +x_8_7 +x_9_1 +x_9_2 +x_9_3 +x_9_4 +x_9_5 +x_9_6 +x_9_7 +x_9_8 +x_10_1 +x_10_2 +x_10_3 +x_10_4 +x_10_5 +x_10_6 +x_10_7 +x_10_8 +x_10_9 +x_11_1 +x_11_2 +x_11_3 +x_11_4 +x_11_5 +x_11_6 +x_11_7 +x_11_8 +x_11_9 +x_11_10 +x_12_1 +x_12_2 +x_12_3 +x_12_4 +x_12_5 +x_12_6 +x_12_7 +x_12_8 +x_12_9 +x_12_10 +x_12_11 +x_13_1 +x_13_2 +x_13_3 +x_13_4 +x_13_5 +x_13_6 +x_13_7 +x_13_8 +x_13_9 +x_13_10 +x_13_11 +x_13_12 +x_14_1 +x_14_2 +x_14_3 +x_14_4 +x_14_5 +x_14_6 +x_14_7 +x_14_8 +x_14_9 +x_14_10 +x_14_11 +x_14_12 +x_14_13 +x_15_1 +x_15_2 +x_15_3 +x_15_4 +x_15_5 +x_15_6 +x_15_7 +x_15_8 +x_15_9 +x_15_10 +x_15_11 +x_15_12 +x_15_13 +x_15_14 +x_16_1 +x_16_2 +x_16_3 +x_16_4 +x_16_5 +x_16_6 +x_16_7 +x_16_8 +x_16_9 +x_16_10 +x_16_11 +x_16_12 +x_16_13 +x_16_14 +x_16_15 +x_17_1 +x_17_2 +x_17_3 +x_17_4 +x_17_5 +x_17_6 +x_17_7 +x_17_8 +x_17_9 +x_17_10 +x_17_11 +x_17_12 +x_17_13 +x_17_14 +x_17_15 +x_17_16 +x_18_1 +x_18_2 +x_18_3 +x_18_4 +x_18_5 +x_18_6 +x_18_7 +x_18_8 +x_18_9 +x_18_10 +x_18_11 +x_18_12 +x_18_13 +x_18_14 +x_18_15 +x_18_16 +x_18_17 +x_19_1 +x_19_2 +x_19_3 +x_19_4 +x_19_5 +x_19_6 +x_19_7 +x_19_8 +x_19_9 +x_19_10 +x_19_11 +x_19_12 +x_19_13 +x_19_14 +x_19_15 +x_19_16 +x_19_17 +x_19_18 +x_20_1 +x_20_2 +x_20_3 +x_20_4 +x_20_5 +x_20_6 +x_20_7 +x_20_8 +x_20_9 +x_20_10 +x_20_11 +x_20_12 +x_20_13 +x_20_14 +x_20_15 +x_20_16 +x_20_17 +x_20_18 +x_20_19 +x_21_1 +x_21_2 +x_21_3 +x_21_4 +x_21_5 +x_21_6 +x_21_7 +x_21_8 +x_21_9 +x_21_10 +x_21_11 +x_21_12 +x_21_13 +x_21_14 +x_21_15 +x_21_16 +x_21_17 +x_21_18 +x_21_19 +x_21_20 +x_22_1 +x_22_2 +x_22_3 +x_22_4 +x_22_5 +x_22_6 +x_22_7 +x_22_8 +x_22_9 +x_22_10 +x_22_11 +x_22_12 +x_22_13 +x_22_14 +x_22_15 +x_22_16 +x_22_17 +x_22_18 +x_22_19 +x_22_20 +x_22_21 +x_23_1 +x_23_2 +x_23_3 +x_23_4 +x_23_5 +x_23_6 +x_23_7 +x_23_8 +x_23_9 +x_23_10 +x_23_11 +x_23_12 +x_23_13 +x_23_14 +x_23_15 +x_23_16 +x_23_17 +x_23_18 +x_23_19 +x_23_20 +x_23_21 +x_23_22 +x_24_1 +x_24_2 +x_24_3 +x_24_4 +x_24_5 +x_24_6 +x_24_7 +x_24_8 +x_24_9 +x_24_10 +x_24_11 +x_24_12 +x_24_13 +x_24_14 +x_24_15 +x_24_16 +x_24_17 +x_24_18 +x_24_19 +x_24_20 +x_24_21 +x_24_22 +x_24_23 +x_25_1 +x_25_2 +x_25_3 +x_25_4 +x_25_5 +x_25_6 +x_25_7 +x_25_8 +x_25_9 +x_25_10 +x_25_11 +x_25_12 +x_25_13 +x_25_14 +x_25_15 +x_25_16 +x_25_17 +x_25_18 +x_25_19 +x_25_20 +x_25_21 +x_25_22 +x_25_23 +x_25_24 +x_26_1 +x_26_2 +x_26_3 +x_26_4 +x_26_5 +x_26_6 +x_26_7 +x_26_8 +x_26_9 +x_26_10 +x_26_11 +x_26_12 +x_26_13 +x_26_14 +x_26_15 +x_26_16 +x_26_17 +x_26_18 +x_26_19 +x_26_20 +x_26_21 +x_26_22 +x_26_23 +x_26_24 +x_26_25 +x_27_1 +x_27_2 +x_27_3 +x_27_4 +x_27_5 +x_27_6 +x_27_7 +x_27_8 +x_27_9 +x_27_10 +x_27_11 +x_27_12 +x_27_13 +x_27_14 +x_27_15 +x_27_16 +x_27_17 +x_27_18 +x_27_19 +x_27_20 +x_27_21 +x_27_22 +x_27_23 +x_27_24 +x_27_25 +x_27_26 +x_28_1 +x_28_2 +x_28_3 +x_28_4 +x_28_5 +x_28_6 +x_28_7 +x_28_8 +x_28_9 +x_28_10 +x_28_11 +x_28_12 +x_28_13 +x_28_14 +x_28_15 +x_28_16 +x_28_17 +x_28_18 +x_28_19 +x_28_20 +x_28_21 +x_28_22 +x_28_23 +x_28_24 +x_28_25 +x_28_26 +x_28_27 +x_29_1 +x_29_2 +x_29_3 +x_29_4 +x_29_5 +x_29_6 +x_29_7 +x_29_8 +x_29_9 +x_29_10 +x_29_11 +x_29_12 +x_29_13 +x_29_14 +x_29_15 +x_29_16 +x_29_17 +x_29_18 +x_29_19 +x_29_20 +x_29_21 +x_29_22 +x_29_23 +x_29_24 +x_29_25 +x_29_26 +x_29_27 +x_29_28 +x_30_1 +x_30_2 +x_30_3 +x_30_4 +x_30_5 +x_30_6 +x_30_7 +x_30_8 +x_30_9 +x_30_10 +x_30_11 +x_30_12 +x_30_13 +x_30_14 +x_30_15 +x_30_16 +x_30_17 +x_30_18 +x_30_19 +x_30_20 +x_30_21 +x_30_22 +x_30_23 +x_30_24 +x_30_25 +x_30_26 +x_30_27 +x_30_28 +x_30_29 +x_31_1 +x_31_2 +x_31_3 +x_31_4 +x_31_5 +x_31_6 +x_31_7 +x_31_8 +x_31_9 +x_31_10 +x_31_11 +x_31_12 +x_31_13 +x_31_14 +x_31_15 +x_31_16 +x_31_17 +x_31_18 +x_31_19 +x_31_20 +x_31_21 +x_31_22 +x_31_23 +x_31_24 +x_31_25 +x_31_26 +x_31_27 +x_31_28 +x_31_29 +x_31_30 +x_32_1 +x_32_2 +x_32_3 +x_32_4 +x_32_5 +x_32_6 +x_32_7 +x_32_8 +x_32_9 +x_32_10 +x_32_11 +x_32_12 +x_32_13 +x_32_14 +x_32_15 +x_32_16 +x_32_17 +x_32_18 +x_32_19 +x_32_20 +x_32_21 +x_32_22 +x_32_23 +x_32_24 +x_32_25 +x_32_26 +x_32_27 +x_32_28 +x_32_29 +x_32_30 +x_32_31 +x_33_1 +x_33_2 +x_33_3 +x_33_4 +x_33_5 +x_33_6 +x_33_7 +x_33_8 +x_33_9 +x_33_10 +x_33_11 +x_33_12 +x_33_13 +x_33_14 +x_33_15 +x_33_16 +x_33_17 +x_33_18 +x_33_19 +x_33_20 +x_33_21 +x_33_22 +x_33_23 +x_33_24 +x_33_25 +x_33_26 +x_33_27 +x_33_28 +x_33_29 +x_33_30 +x_33_31 +x_33_32 +x_34_1 +x_34_2 +x_34_3 +x_34_4 +x_34_5 +x_34_6 +x_34_7 +x_34_8 +x_34_9 +x_34_10 +x_34_11 +x_34_12 +x_34_13 +x_34_14 +x_34_15 +x_34_16 +x_34_17 +x_34_18 +x_34_19 +x_34_20 +x_34_21 +x_34_22 +x_34_23 +x_34_24 +x_34_25 +x_34_26 +x_34_27 +x_34_28 +x_34_29 +x_34_30 +x_34_31 +x_34_32 +x_34_33 +x_35_1 +x_35_2 +x_35_3 +x_35_4 +x_35_5 +x_35_6 +x_35_7 +x_35_8 +x_35_9 +x_35_10 +x_35_11 +x_35_12 +x_35_13 +x_35_14 +x_35_15 +x_35_16 +x_35_17 +x_35_18 +x_35_19 +x_35_20 +x_35_21 +x_35_22 +x_35_23 +x_35_24 +x_35_25 +x_35_26 +x_35_27 +x_35_28 +x_35_29 +x_35_30 +x_35_31 +x_35_32 +x_35_33 +x_35_34 +x_36_1 +x_36_2 +x_36_3 +x_36_4 +x_36_5 +x_36_6 +x_36_7 +x_36_8 +x_36_9 +x_36_10 +x_36_11 +x_36_12 +x_36_13 +x_36_14 +x_36_15 +x_36_16 +x_36_17 +x_36_18 +x_36_19 +x_36_20 +x_36_21 +x_36_22 +x_36_23 +x_36_24 +x_36_25 +x_36_26 +x_36_27 +x_36_28 +x_36_29 +x_36_30 +x_36_31 +x_36_32 +x_36_33 +x_36_34 +x_36_35 +x_37_1 +x_37_2 +x_37_3 +x_37_4 +x_37_5 +x_37_6 +x_37_7 +x_37_8 +x_37_9 +x_37_10 +x_37_11 +x_37_12 +x_37_13 +x_37_14 +x_37_15 +x_37_16 +x_37_17 +x_37_18 +x_37_19 +x_37_20 +x_37_21 +x_37_22 +x_37_23 +x_37_24 +x_37_25 +x_37_26 +x_37_27 +x_37_28 +x_37_29 +x_37_30 +x_37_31 +x_37_32 +x_37_33 +x_37_34 +x_37_35 +x_37_36 +x_38_1 +x_38_2 +x_38_3 +x_38_4 +x_38_5 +x_38_6 +x_38_7 +x_38_8 +x_38_9 +x_38_10 +x_38_11 +x_38_12 +x_38_13 +x_38_14 +x_38_15 +x_38_16 +x_38_17 +x_38_18 +x_38_19 +x_38_20 +x_38_21 +x_38_22 +x_38_23 +x_38_24 +x_38_25 +x_38_26 +x_38_27 +x_38_28 +x_38_29 +x_38_30 +x_38_31 +x_38_32 +x_38_33 +x_38_34 +x_38_35 +x_38_36 +x_38_37 +x_39_1 +x_39_2 +x_39_3 +x_39_4 +x_39_5 +x_39_6 +x_39_7 +x_39_8 +x_39_9 +x_39_10 +x_39_11 +x_39_12 +x_39_13 +x_39_14 +x_39_15 +x_39_16 +x_39_17 +x_39_18 +x_39_19 +x_39_20 +x_39_21 +x_39_22 +x_39_23 +x_39_24 +x_39_25 +x_39_26 +x_39_27 +x_39_28 +x_39_29 +x_39_30 +x_39_31 +x_39_32 +x_39_33 +x_39_34 +x_39_35 +x_39_36 +x_39_37 +x_39_38 +x_40_1 +x_40_2 +x_40_3 +x_40_4 +x_40_5 +x_40_6 +x_40_7 +x_40_8 +x_40_9 +x_40_10 +x_40_11 +x_40_12 +x_40_13 +x_40_14 +x_40_15 +x_40_16 +x_40_17 +x_40_18 +x_40_19 +x_40_20 +x_40_21 +x_40_22 +x_40_23 +x_40_24 +x_40_25 +x_40_26 +x_40_27 +x_40_28 +x_40_29 +x_40_30 +x_40_31 +x_40_32 +x_40_33 +x_40_34 +x_40_35 +x_40_36 +x_40_37 +x_40_38 +x_40_39 +x_41_1 +x_41_2 +x_41_3 +x_41_4 +x_41_5 +x_41_6 +x_41_7 +x_41_8 +x_41_9 +x_41_10 +x_41_11 +x_41_12 +x_41_13 +x_41_14 +x_41_15 +x_41_16 +x_41_17 +x_41_18 +x_41_19 +x_41_20 +x_41_21 +x_41_22 +x_41_23 +x_41_24 +x_41_25 +x_41_26 +x_41_27 +x_41_28 +x_41_29 +x_41_30 +x_41_31 +x_41_32 +x_41_33 +x_41_34 +x_41_35 +x_41_36 +x_41_37 +x_41_38 +x_41_39 +x_41_40 +x_42_1 +x_42_2 +x_42_3 +x_42_4 +x_42_5 +x_42_6 +x_42_7 +x_42_8 +x_42_9 +x_42_10 +x_42_11 +x_42_12 +x_42_13 +x_42_14 +x_42_15 +x_42_16 +x_42_17 +x_42_18 +x_42_19 +x_42_20 +x_42_21 +x_42_22 +x_42_23 +x_42_24 +x_42_25 +x_42_26 +x_42_27 +x_42_28 +x_42_29 +x_42_30 +x_42_31 +x_42_32 +x_42_33 +x_42_34 +x_42_35 +x_42_36 +x_42_37 +x_42_38 +x_42_39 +x_42_40 +x_42_41 +x_23_22 - x_26_25- x_10_1- x_11_1- x_12_1- x_13_1- x_14_1- x_15_1- x_16_1- x_17_1- x_18_1- x_19_1- x_20_1- x_21_1- x_22_1- x_23_1- x_24_1- x_25_1- x_26_1- x_27_1- x_28_1- x_10_2- x_11_2- x_12_2- x_13_2- x_14_2- x_15_2- x_16_2- x_17_2- x_18_2- x_19_2- x_20_2- x_21_2- x_22_2- x_23_2- x_24_2- x_25_2- x_26_2- x_27_2- x_28_2- x_10_3- x_11_3- x_12_3- x_13_3- x_14_3- x_15_3- x_16_3- x_17_3- x_18_3- x_19_3- x_20_3- x_21_3- x_22_3- x_23_3- x_24_3- x_25_3- x_26_3- x_27_3- x_28_3- x_10_4- x_11_4- x_12_4- x_13_4- x_14_4- x_15_4- x_16_4- x_17_4- x_18_4- x_19_4- x_20_4- x_21_4- x_22_4- x_23_4- x_24_4- x_25_4- x_26_4- x_27_4- x_28_4- x_10_5- x_11_5- x_12_5- x_13_5- x_14_5- x_15_5- x_16_5- x_17_5- x_18_5- x_19_5- x_20_5- x_21_5- x_22_5- x_23_5- x_24_5- x_25_5- x_26_5- x_27_5- x_28_5- x_10_6- x_11_6- x_12_6- x_13_6- x_14_6- x_15_6- x_16_6- x_17_6- x_18_6- x_19_6- x_20_6- x_21_6- x_22_6- x_23_6- x_24_6- x_25_6- x_26_6- x_27_6- x_28_6- x_10_7- x_11_7- x_12_7- x_13_7- x_14_7- x_15_7- x_16_7- x_17_7- x_18_7- x_19_7- x_20_7- x_21_7- x_22_7- x_23_7- x_24_7- x_25_7- x_26_7- x_27_7- x_28_7- x_10_8- x_11_8- x_12_8- x_13_8- x_14_8- x_15_8- x_16_8- x_17_8- x_18_8- x_19_8- x_20_8- x_21_8- x_22_8- x_23_8- x_24_8- x_25_8- x_26_8- x_27_8- x_28_8- x_10_9- x_11_9- x_12_9- x_13_9- x_14_9- x_15_9- x_16_9- x_17_9- x_18_9- x_19_9- x_20_9- x_21_9- x_22_9- x_23_9- x_24_9- x_25_9- x_26_9- x_27_9- x_28_9- x_29_10- x_29_11- x_29_12- x_29_13- x_29_14- x_29_15- x_29_16- x_29_17- x_29_18- x_29_19- x_29_20- x_29_21- x_29_22- x_29_23- x_29_24- x_29_25- x_29_26- x_29_27- x_29_28- x_30_10- x_30_11- x_30_12- x_30_13- x_30_14- x_30_15- x_30_16- x_30_17- x_30_18- x_30_19- x_30_20- x_30_21- x_30_22- x_30_23- x_30_24- x_30_25- x_30_26- x_30_27- x_30_28- x_31_10- x_31_11- x_31_12- x_31_13- x_31_14- x_31_15- x_31_16- x_31_17- x_31_18- x_31_19- x_31_20- x_31_21- x_31_22- x_31_23- x_31_24- x_31_25- x_31_26- x_31_27- x_31_28- x_32_10- x_32_11- x_32_12- x_32_13- x_32_14- x_32_15- x_32_16- x_32_17- x_32_18- x_32_19- x_32_20- x_32_21- x_32_22- x_32_23- x_32_24- x_32_25- x_32_26- x_32_27- x_32_28- x_33_10- x_33_11- x_33_12- x_33_13- x_33_14- x_33_15- x_33_16- x_33_17- x_33_18- x_33_19- x_33_20- x_33_21- x_33_22- x_33_23- x_33_24- x_33_25- x_33_26- x_33_27- x_33_28- x_34_10- x_34_11- x_34_12- x_34_13- x_34_14- x_34_15- x_34_16- x_34_17- x_34_18- x_34_19- x_34_20- x_34_21- x_34_22- x_34_23- x_34_24- x_34_25- x_34_26- x_34_27- x_34_28- x_35_10- x_35_11- x_35_12- x_35_13- x_35_14- x_35_15- x_35_16- x_35_17- x_35_18- x_35_19- x_35_20- x_35_21- x_35_22- x_35_23- x_35_24- x_35_25- x_35_26- x_35_27- x_35_28- x_36_10- x_36_11- x_36_12- x_36_13- x_36_14- x_36_15- x_36_16- x_36_17- x_36_18- x_36_19- x_36_20- x_36_21- x_36_22- x_36_23- x_36_24- x_36_25- x_36_26- x_36_27- x_36_28- x_37_10- x_37_11- x_37_12- x_37_13- x_37_14- x_37_15- x_37_16- x_37_17- x_37_18- x_37_19- x_37_20- x_37_21- x_37_22- x_37_23- x_37_24- x_37_25- x_37_26- x_37_27- x_37_28- x_38_10- x_38_11- x_38_12- x_38_13- x_38_14- x_38_15- x_38_16- x_38_17- x_38_18- x_38_19- x_38_20- x_38_21- x_38_22- x_38_23- x_38_24- x_38_25- x_38_26- x_38_27- x_38_28- x_39_10- x_39_11- x_39_12- x_39_13- x_39_14- x_39_15- x_39_16- x_39_17- x_39_18- x_39_19- x_39_20- x_39_21- x_39_22- x_39_23- x_39_24- x_39_25- x_39_26- x_39_27- x_39_28- x_40_10- x_40_11- x_40_12- x_40_13- x_40_14- x_40_15- x_40_16- x_40_17- x_40_18- x_40_19- x_40_20- x_40_21- x_40_22- x_40_23- x_40_24- x_40_25- x_40_26- x_40_27- x_40_28- x_41_10- x_41_11- x_41_12- x_41_13- x_41_14- x_41_15- x_41_16- x_41_17- x_41_18- x_41_19- x_41_20- x_41_21- x_41_22- x_41_23- x_41_24- x_41_25- x_41_26- x_41_27- x_41_28- x_42_10- x_42_11- x_42_12- x_42_13- x_42_14- x_42_15- x_42_16- x_42_17- x_42_18- x_42_19- x_42_20- x_42_21- x_42_22- x_42_23- x_42_24- x_42_25- x_42_26- x_42_27- x_42_28+ x_10_9 + x_29_28- x_13_10- x_14_10- x_15_10- x_16_10- x_17_10- x_18_10- x_19_10- x_20_10- x_22_10- x_23_10- x_24_10- x_21_11- x_21_12- x_21_13- x_21_14- x_21_15- x_21_16- x_21_17- x_21_18- x_21_19- x_23_21- x_24_21- x_25_11- x_25_12- x_25_13- x_25_14- x_25_15- x_25_16- x_25_17- x_25_18- x_25_19- x_25_20- x_25_22- x_25_23- x_26_11- x_26_12- x_26_13- x_26_14- x_26_15- x_26_16- x_26_17- x_26_18- x_26_19- x_26_20- x_26_22- x_26_23- x_26_24- x_27_11- x_27_12- x_27_13- x_27_14- x_27_15- x_27_16- x_27_17- x_27_18- x_27_19- x_27_20- x_27_23- x_28_11- x_28_12- x_28_13- x_28_14- x_28_15- x_28_16- x_28_17- x_28_18- x_28_19- x_28_20- x_28_23- x_28_24 - x_28_27 - x_28_26 - x_28_25 - x_28_21 - x_28_10 - x_27_26 - x_27_25 - x_27_21 - x_27_10 - x_26_25 - x_26_21 - x_26_10 - x_25_21 - x_25_10 - x_21_10+x_28_27 + x_28_26 + x_28_21 + x_26_25+ x_27_26 + x_25_10 <= 42 Bounds x_2_1 >= 0 x_3_1 >= 0 x_4_1 >= 0 x_5_1 >= 0 x_6_1 >= 0 x_7_1 >= 0 x_8_1 >= 0 x_9_1 >= 0 x_10_1 >= 0 x_11_1 >= 0 x_12_1 >= 0 x_13_1 >= 0 x_14_1 >= 0 x_15_1 >= 0 x_16_1 >= 0 x_17_1 >= 0 x_18_1 >= 0 x_19_1 >= 0 x_20_1 >= 0 x_21_1 >= 0 x_22_1 >= 0 x_23_1 >= 0 x_24_1 >= 0 x_25_1 >= 0 x_26_1 >= 0 x_27_1 >= 0 x_28_1 >= 0 x_29_1 >= 0 x_30_1 >= 0 x_31_1 >= 0 x_32_1 >= 0 x_33_1 >= 0 x_34_1 >= 0 x_35_1 >= 0 x_36_1 >= 0 x_37_1 >= 0 x_38_1 >= 0 x_39_1 >= 0 x_40_1 >= 0 x_41_1 >= 0 x_42_1 >= 0 x_3_2 >= 0 x_4_2 >= 0 x_5_2 >= 0 x_6_2 >= 0 x_7_2 >= 0 x_8_2 >= 0 x_9_2 >= 0 x_10_2 >= 0 x_11_2 >= 0 x_12_2 >= 0 x_13_2 >= 0 x_14_2 >= 0 x_15_2 >= 0 x_16_2 >= 0 x_17_2 >= 0 x_18_2 >= 0 x_19_2 >= 0 x_20_2 >= 0 x_21_2 >= 0 x_22_2 >= 0 x_23_2 >= 0 x_24_2 >= 0 x_25_2 >= 0 x_26_2 >= 0 x_27_2 >= 0 x_28_2 >= 0 x_29_2 >= 0 x_30_2 >= 0 x_31_2 >= 0 x_32_2 >= 0 x_33_2 >= 0 x_34_2 >= 0 x_35_2 >= 0 x_36_2 >= 0 x_37_2 >= 0 x_38_2 >= 0 x_39_2 >= 0 x_40_2 >= 0 x_41_2 >= 0 x_42_2 >= 0 x_4_3 >= 0 x_5_3 >= 0 x_6_3 >= 0 x_7_3 >= 0 x_8_3 >= 0 x_9_3 >= 0 x_10_3 >= 0 x_11_3 >= 0 x_12_3 >= 0 x_13_3 >= 0 x_14_3 >= 0 x_15_3 >= 0 x_16_3 >= 0 x_17_3 >= 0 x_18_3 >= 0 x_19_3 >= 0 x_20_3 >= 0 x_21_3 >= 0 x_22_3 >= 0 x_23_3 >= 0 x_24_3 >= 0 x_25_3 >= 0 x_26_3 >= 0 x_27_3 >= 0 x_28_3 >= 0 x_29_3 >= 0 x_30_3 >= 0 x_31_3 >= 0 x_32_3 >= 0 x_33_3 >= 0 x_34_3 >= 0 x_35_3 >= 0 x_36_3 >= 0 x_37_3 >= 0 x_38_3 >= 0 x_39_3 >= 0 x_40_3 >= 0 x_41_3 >= 0 x_42_3 >= 0 x_5_4 >= 0 x_6_4 >= 0 x_7_4 >= 0 x_8_4 >= 0 x_9_4 >= 0 x_10_4 >= 0 x_11_4 >= 0 x_12_4 >= 0 x_13_4 >= 0 x_14_4 >= 0 x_15_4 >= 0 x_16_4 >= 0 x_17_4 >= 0 x_18_4 >= 0 x_19_4 >= 0 x_20_4 >= 0 x_21_4 >= 0 x_22_4 >= 0 x_23_4 >= 0 x_24_4 >= 0 x_25_4 >= 0 x_26_4 >= 0 x_27_4 >= 0 x_28_4 >= 0 x_29_4 >= 0 x_30_4 >= 0 x_31_4 >= 0 x_32_4 >= 0 x_33_4 >= 0 x_34_4 >= 0 x_35_4 >= 0 x_36_4 >= 0 x_37_4 >= 0 x_38_4 >= 0 x_39_4 >= 0 x_40_4 >= 0 x_41_4 >= 0 x_42_4 >= 0 x_6_5 >= 0 x_7_5 >= 0 x_8_5 >= 0 x_9_5 >= 0 x_10_5 >= 0 x_11_5 >= 0 x_12_5 >= 0 x_13_5 >= 0 x_14_5 >= 0 x_15_5 >= 0 x_16_5 >= 0 x_17_5 >= 0 x_18_5 >= 0 x_19_5 >= 0 x_20_5 >= 0 x_21_5 >= 0 x_22_5 >= 0 x_23_5 >= 0 x_24_5 >= 0 x_25_5 >= 0 x_26_5 >= 0 x_27_5 >= 0 x_28_5 >= 0 x_29_5 >= 0 x_30_5 >= 0 x_31_5 >= 0 x_32_5 >= 0 x_33_5 >= 0 x_34_5 >= 0 x_35_5 >= 0 x_36_5 >= 0 x_37_5 >= 0 x_38_5 >= 0 x_39_5 >= 0 x_40_5 >= 0 x_41_5 >= 0 x_42_5 >= 0 x_7_6 >= 0 x_8_6 >= 0 x_9_6 >= 0 x_10_6 >= 0 x_11_6 >= 0 x_12_6 >= 0 x_13_6 >= 0 x_14_6 >= 0 x_15_6 >= 0 x_16_6 >= 0 x_17_6 >= 0 x_18_6 >= 0 x_19_6 >= 0 x_20_6 >= 0 x_21_6 >= 0 x_22_6 >= 0 x_23_6 >= 0 x_24_6 >= 0 x_25_6 >= 0 x_26_6 >= 0 x_27_6 >= 0 x_28_6 >= 0 x_29_6 >= 0 x_30_6 >= 0 x_31_6 >= 0 x_32_6 >= 0 x_33_6 >= 0 x_34_6 >= 0 x_35_6 >= 0 x_36_6 >= 0 x_37_6 >= 0 x_38_6 >= 0 x_39_6 >= 0 x_40_6 >= 0 x_41_6 >= 0 x_42_6 >= 0 x_8_7 >= 0 x_9_7 >= 0 x_10_7 >= 0 x_11_7 >= 0 x_12_7 >= 0 x_13_7 >= 0 x_14_7 >= 0 x_15_7 >= 0 x_16_7 >= 0 x_17_7 >= 0 x_18_7 >= 0 x_19_7 >= 0 x_20_7 >= 0 x_21_7 >= 0 x_22_7 >= 0 x_23_7 >= 0 x_24_7 >= 0 x_25_7 >= 0 x_26_7 >= 0 x_27_7 >= 0 x_28_7 >= 0 x_29_7 >= 0 x_30_7 >= 0 x_31_7 >= 0 x_32_7 >= 0 x_33_7 >= 0 x_34_7 >= 0 x_35_7 >= 0 x_36_7 >= 0 x_37_7 >= 0 x_38_7 >= 0 x_39_7 >= 0 x_40_7 >= 0 x_41_7 >= 0 x_42_7 >= 0 x_9_8 >= 0 x_10_8 >= 0 x_11_8 >= 0 x_12_8 >= 0 x_13_8 >= 0 x_14_8 >= 0 x_15_8 >= 0 x_16_8 >= 0 x_17_8 >= 0 x_18_8 >= 0 x_19_8 >= 0 x_20_8 >= 0 x_21_8 >= 0 x_22_8 >= 0 x_23_8 >= 0 x_24_8 >= 0 x_25_8 >= 0 x_26_8 >= 0 x_27_8 >= 0 x_28_8 >= 0 x_29_8 >= 0 x_30_8 >= 0 x_31_8 >= 0 x_32_8 >= 0 x_33_8 >= 0 x_34_8 >= 0 x_35_8 >= 0 x_36_8 >= 0 x_37_8 >= 0 x_38_8 >= 0 x_39_8 >= 0 x_40_8 >= 0 x_41_8 >= 0 x_42_8 >= 0 x_10_9 >= 0 x_11_9 >= 0 x_12_9 >= 0 x_13_9 >= 0 x_14_9 >= 0 x_15_9 >= 0 x_16_9 >= 0 x_17_9 >= 0 x_18_9 >= 0 x_19_9 >= 0 x_20_9 >= 0 x_21_9 >= 0 x_22_9 >= 0 x_23_9 >= 0 x_24_9 >= 0 x_25_9 >= 0 x_26_9 >= 0 x_27_9 >= 0 x_28_9 >= 0 x_29_9 >= 0 x_30_9 >= 0 x_31_9 >= 0 x_32_9 >= 0 x_33_9 >= 0 x_34_9 >= 0 x_35_9 >= 0 x_36_9 >= 0 x_37_9 >= 0 x_38_9 >= 0 x_39_9 >= 0 x_40_9 >= 0 x_41_9 >= 0 x_42_9 >= 0 x_11_10 >= 0 x_12_10 >= 0 x_13_10 >= 0 x_14_10 >= 0 x_15_10 >= 0 x_16_10 >= 0 x_17_10 >= 0 x_18_10 >= 0 x_19_10 >= 0 x_20_10 >= 0 x_21_10 >= 0 x_22_10 >= 0 x_23_10 >= 0 x_24_10 >= 0 x_25_10 >= 0 x_26_10 >= 0 x_27_10 >= 0 x_28_10 >= 0 x_29_10 >= 0 x_30_10 >= 0 x_31_10 >= 0 x_32_10 >= 0 x_33_10 >= 0 x_34_10 >= 0 x_35_10 >= 0 x_36_10 >= 0 x_37_10 >= 0 x_38_10 >= 0 x_39_10 >= 0 x_40_10 >= 0 x_41_10 >= 0 x_42_10 >= 0 x_12_11 >= 0 x_13_11 >= 0 x_14_11 >= 0 x_15_11 >= 0 x_16_11 >= 0 x_17_11 >= 0 x_18_11 >= 0 x_19_11 >= 0 x_20_11 >= 0 x_21_11 >= 0 x_22_11 >= 0 x_23_11 >= 0 x_24_11 >= 0 x_25_11 >= 0 x_26_11 >= 0 x_27_11 >= 0 x_28_11 >= 0 x_29_11 >= 0 x_30_11 >= 0 x_31_11 >= 0 x_32_11 >= 0 x_33_11 >= 0 x_34_11 >= 0 x_35_11 >= 0 x_36_11 >= 0 x_37_11 >= 0 x_38_11 >= 0 x_39_11 >= 0 x_40_11 >= 0 x_41_11 >= 0 x_42_11 >= 0 x_13_12 >= 0 x_14_12 >= 0 x_15_12 >= 0 x_16_12 >= 0 x_17_12 >= 0 x_18_12 >= 0 x_19_12 >= 0 x_20_12 >= 0 x_21_12 >= 0 x_22_12 >= 0 x_23_12 >= 0 x_24_12 >= 0 x_25_12 >= 0 x_26_12 >= 0 x_27_12 >= 0 x_28_12 >= 0 x_29_12 >= 0 x_30_12 >= 0 x_31_12 >= 0 x_32_12 >= 0 x_33_12 >= 0 x_34_12 >= 0 x_35_12 >= 0 x_36_12 >= 0 x_37_12 >= 0 x_38_12 >= 0 x_39_12 >= 0 x_40_12 >= 0 x_41_12 >= 0 x_42_12 >= 0 x_14_13 >= 0 x_15_13 >= 0 x_16_13 >= 0 x_17_13 >= 0 x_18_13 >= 0 x_19_13 >= 0 x_20_13 >= 0 x_21_13 >= 0 x_22_13 >= 0 x_23_13 >= 0 x_24_13 >= 0 x_25_13 >= 0 x_26_13 >= 0 x_27_13 >= 0 x_28_13 >= 0 x_29_13 >= 0 x_30_13 >= 0 x_31_13 >= 0 x_32_13 >= 0 x_33_13 >= 0 x_34_13 >= 0 x_35_13 >= 0 x_36_13 >= 0 x_37_13 >= 0 x_38_13 >= 0 x_39_13 >= 0 x_40_13 >= 0 x_41_13 >= 0 x_42_13 >= 0 x_15_14 >= 0 x_16_14 >= 0 x_17_14 >= 0 x_18_14 >= 0 x_19_14 >= 0 x_20_14 >= 0 x_21_14 >= 0 x_22_14 >= 0 x_23_14 >= 0 x_24_14 >= 0 x_25_14 >= 0 x_26_14 >= 0 x_27_14 >= 0 x_28_14 >= 0 x_29_14 >= 0 x_30_14 >= 0 x_31_14 >= 0 x_32_14 >= 0 x_33_14 >= 0 x_34_14 >= 0 x_35_14 >= 0 x_36_14 >= 0 x_37_14 >= 0 x_38_14 >= 0 x_39_14 >= 0 x_40_14 >= 0 x_41_14 >= 0 x_42_14 >= 0 x_16_15 >= 0 x_17_15 >= 0 x_18_15 >= 0 x_19_15 >= 0 x_20_15 >= 0 x_21_15 >= 0 x_22_15 >= 0 x_23_15 >= 0 x_24_15 >= 0 x_25_15 >= 0 x_26_15 >= 0 x_27_15 >= 0 x_28_15 >= 0 x_29_15 >= 0 x_30_15 >= 0 x_31_15 >= 0 x_32_15 >= 0 x_33_15 >= 0 x_34_15 >= 0 x_35_15 >= 0 x_36_15 >= 0 x_37_15 >= 0 x_38_15 >= 0 x_39_15 >= 0 x_40_15 >= 0 x_41_15 >= 0 x_42_15 >= 0 x_17_16 >= 0 x_18_16 >= 0 x_19_16 >= 0 x_20_16 >= 0 x_21_16 >= 0 x_22_16 >= 0 x_23_16 >= 0 x_24_16 >= 0 x_25_16 >= 0 x_26_16 >= 0 x_27_16 >= 0 x_28_16 >= 0 x_29_16 >= 0 x_30_16 >= 0 x_31_16 >= 0 x_32_16 >= 0 x_33_16 >= 0 x_34_16 >= 0 x_35_16 >= 0 x_36_16 >= 0 x_37_16 >= 0 x_38_16 >= 0 x_39_16 >= 0 x_40_16 >= 0 x_41_16 >= 0 x_42_16 >= 0 x_18_17 >= 0 x_19_17 >= 0 x_20_17 >= 0 x_21_17 >= 0 x_22_17 >= 0 x_23_17 >= 0 x_24_17 >= 0 x_25_17 >= 0 x_26_17 >= 0 x_27_17 >= 0 x_28_17 >= 0 x_29_17 >= 0 x_30_17 >= 0 x_31_17 >= 0 x_32_17 >= 0 x_33_17 >= 0 x_34_17 >= 0 x_35_17 >= 0 x_36_17 >= 0 x_37_17 >= 0 x_38_17 >= 0 x_39_17 >= 0 x_40_17 >= 0 x_41_17 >= 0 x_42_17 >= 0 x_19_18 >= 0 x_20_18 >= 0 x_21_18 >= 0 x_22_18 >= 0 x_23_18 >= 0 x_24_18 >= 0 x_25_18 >= 0 x_26_18 >= 0 x_27_18 >= 0 x_28_18 >= 0 x_29_18 >= 0 x_30_18 >= 0 x_31_18 >= 0 x_32_18 >= 0 x_33_18 >= 0 x_34_18 >= 0 x_35_18 >= 0 x_36_18 >= 0 x_37_18 >= 0 x_38_18 >= 0 x_39_18 >= 0 x_40_18 >= 0 x_41_18 >= 0 x_42_18 >= 0 x_20_19 >= 0 x_21_19 >= 0 x_22_19 >= 0 x_23_19 >= 0 x_24_19 >= 0 x_25_19 >= 0 x_26_19 >= 0 x_27_19 >= 0 x_28_19 >= 0 x_29_19 >= 0 x_30_19 >= 0 x_31_19 >= 0 x_32_19 >= 0 x_33_19 >= 0 x_34_19 >= 0 x_35_19 >= 0 x_36_19 >= 0 x_37_19 >= 0 x_38_19 >= 0 x_39_19 >= 0 x_40_19 >= 0 x_41_19 >= 0 x_42_19 >= 0 x_21_20 >= 0 x_22_20 >= 0 x_23_20 >= 0 x_24_20 >= 0 x_25_20 >= 0 x_26_20 >= 0 x_27_20 >= 0 x_28_20 >= 0 x_29_20 >= 0 x_30_20 >= 0 x_31_20 >= 0 x_32_20 >= 0 x_33_20 >= 0 x_34_20 >= 0 x_35_20 >= 0 x_36_20 >= 0 x_37_20 >= 0 x_38_20 >= 0 x_39_20 >= 0 x_40_20 >= 0 x_41_20 >= 0 x_42_20 >= 0 x_22_21 >= 0 x_23_21 >= 0 x_24_21 >= 0 x_25_21 >= 0 x_26_21 >= 0 x_27_21 >= 0 x_28_21 >= 0 x_29_21 >= 0 x_30_21 >= 0 x_31_21 >= 0 x_32_21 >= 0 x_33_21 >= 0 x_34_21 >= 0 x_35_21 >= 0 x_36_21 >= 0 x_37_21 >= 0 x_38_21 >= 0 x_39_21 >= 0 x_40_21 >= 0 x_41_21 >= 0 x_42_21 >= 0 x_23_22 >= 0 x_24_22 >= 0 x_25_22 >= 0 x_26_22 >= 0 x_27_22 >= 0 x_28_22 >= 0 x_29_22 >= 0 x_30_22 >= 0 x_31_22 >= 0 x_32_22 >= 0 x_33_22 >= 0 x_34_22 >= 0 x_35_22 >= 0 x_36_22 >= 0 x_37_22 >= 0 x_38_22 >= 0 x_39_22 >= 0 x_40_22 >= 0 x_41_22 >= 0 x_42_22 >= 0 x_24_23 >= 0 x_25_23 >= 0 x_26_23 >= 0 x_27_23 >= 0 x_28_23 >= 0 x_29_23 >= 0 x_30_23 >= 0 x_31_23 >= 0 x_32_23 >= 0 x_33_23 >= 0 x_34_23 >= 0 x_35_23 >= 0 x_36_23 >= 0 x_37_23 >= 0 x_38_23 >= 0 x_39_23 >= 0 x_40_23 >= 0 x_41_23 >= 0 x_42_23 >= 0 x_25_24 >= 0 x_26_24 >= 0 x_27_24 >= 0 x_28_24 >= 0 x_29_24 >= 0 x_30_24 >= 0 x_31_24 >= 0 x_32_24 >= 0 x_33_24 >= 0 x_34_24 >= 0 x_35_24 >= 0 x_36_24 >= 0 x_37_24 >= 0 x_38_24 >= 0 x_39_24 >= 0 x_40_24 >= 0 x_41_24 >= 0 x_42_24 >= 0 x_26_25 >= 0 x_27_25 >= 0 x_28_25 >= 0 x_29_25 >= 0 x_30_25 >= 0 x_31_25 >= 0 x_32_25 >= 0 x_33_25 >= 0 x_34_25 >= 0 x_35_25 >= 0 x_36_25 >= 0 x_37_25 >= 0 x_38_25 >= 0 x_39_25 >= 0 x_40_25 >= 0 x_41_25 >= 0 x_42_25 >= 0 x_27_26 >= 0 x_28_26 >= 0 x_29_26 >= 0 x_30_26 >= 0 x_31_26 >= 0 x_32_26 >= 0 x_33_26 >= 0 x_34_26 >= 0 x_35_26 >= 0 x_36_26 >= 0 x_37_26 >= 0 x_38_26 >= 0 x_39_26 >= 0 x_40_26 >= 0 x_41_26 >= 0 x_42_26 >= 0 x_28_27 >= 0 x_29_27 >= 0 x_30_27 >= 0 x_31_27 >= 0 x_32_27 >= 0 x_33_27 >= 0 x_34_27 >= 0 x_35_27 >= 0 x_36_27 >= 0 x_37_27 >= 0 x_38_27 >= 0 x_39_27 >= 0 x_40_27 >= 0 x_41_27 >= 0 x_42_27 >= 0 x_29_28 >= 0 x_30_28 >= 0 x_31_28 >= 0 x_32_28 >= 0 x_33_28 >= 0 x_34_28 >= 0 x_35_28 >= 0 x_36_28 >= 0 x_37_28 >= 0 x_38_28 >= 0 x_39_28 >= 0 x_40_28 >= 0 x_41_28 >= 0 x_42_28 >= 0 x_30_29 >= 0 x_31_29 >= 0 x_32_29 >= 0 x_33_29 >= 0 x_34_29 >= 0 x_35_29 >= 0 x_36_29 >= 0 x_37_29 >= 0 x_38_29 >= 0 x_39_29 >= 0 x_40_29 >= 0 x_41_29 >= 0 x_42_29 >= 0 x_31_30 >= 0 x_32_30 >= 0 x_33_30 >= 0 x_34_30 >= 0 x_35_30 >= 0 x_36_30 >= 0 x_37_30 >= 0 x_38_30 >= 0 x_39_30 >= 0 x_40_30 >= 0 x_41_30 >= 0 x_42_30 >= 0 x_32_31 >= 0 x_33_31 >= 0 x_34_31 >= 0 x_35_31 >= 0 x_36_31 >= 0 x_37_31 >= 0 x_38_31 >= 0 x_39_31 >= 0 x_40_31 >= 0 x_41_31 >= 0 x_42_31 >= 0 x_33_32 >= 0 x_34_32 >= 0 x_35_32 >= 0 x_36_32 >= 0 x_37_32 >= 0 x_38_32 >= 0 x_39_32 >= 0 x_40_32 >= 0 x_41_32 >= 0 x_42_32 >= 0 x_34_33 >= 0 x_35_33 >= 0 x_36_33 >= 0 x_37_33 >= 0 x_38_33 >= 0 x_39_33 >= 0 x_40_33 >= 0 x_41_33 >= 0 x_42_33 >= 0 x_35_34 >= 0 x_36_34 >= 0 x_37_34 >= 0 x_38_34 >= 0 x_39_34 >= 0 x_40_34 >= 0 x_41_34 >= 0 x_42_34 >= 0 x_36_35 >= 0 x_37_35 >= 0 x_38_35 >= 0 x_39_35 >= 0 x_40_35 >= 0 x_41_35 >= 0 x_42_35 >= 0 x_37_36 >= 0 x_38_36 >= 0 x_39_36 >= 0 x_40_36 >= 0 x_41_36 >= 0 x_42_36 >= 0 x_38_37 >= 0 x_39_37 >= 0 x_40_37 >= 0 x_41_37 >= 0 x_42_37 >= 0 x_39_38 >= 0 x_40_38 >= 0 x_41_38 >= 0 x_42_38 >= 0 x_40_39 >= 0 x_41_39 >= 0 x_42_39 >= 0 x_41_40 >= 0 x_42_40 >= 0 x_42_41 >= 0 End