ILOG CPLEX 11.110, licensed to "arizona-tempe, az", options: e m b q p=8 FPgen-t 06/06/2005 - Bertacco, Fischetti, Lodi 09/16/2005 - Achterberg, Berthold applying MIP presolve... Selected objective sense: MINIMIZE Selected objective name: obj Selected RHS name: rhs Selected bound name: bnd Tried aggregator 1 time. Presolve has eliminated 10803 rows and 2090 columns... MIP Presolve eliminated 10803 rows and 2090 columns. MIP Presolve modified 2613 coefficients. Reduced MIP has 119122 rows, 40891 columns, and 324303 nonzeros. presolving objective offset = 0 (restat: 0) Problem: bench/neos506428.mps Max iter Stage 1: 10000 Max iter Stage 2: 2000 Min change: 20 Initial Presolve: Yes Imported 119122 rows and 40891 columns Objective sense: Minimize Problem is MIP: Yes Initial Algorithm: Auto 40891 integer variables (40891 of which are binary and 0 are general integer) 0 continuous variables Solving relaxed problem...0- 0 -1 0 0 98.5 done obj=0 + 0 = 0 Rounding solution...done Stage 1... improved distance by 0percent 1- 1 96.1277 0 0 69.3191 improved distance by 0.721116percent 1- 2 69.3191 0 0 69.3191 1- 3 69.3333 0 0 69.2778 1- 4 74.2278 0 0 66.6329 improved distance by 0.969429percent 1- 5 67.2 0 0 66.7333 improved distance by 0.984578percent 1- 6 66.1636 0 0 66.1636 1- 7 76.8889 0 0 67.5556 1- 8 67.2 0 0 67.2 1- 9 74.8013 0 0 74.1309 1- 10 73.8895 0 0 73.8895 improved distance by 0.999686percent 1- 11 66.1429 0 0 65.2381 improved distance by 0.984881percent 1- 12 65.1429 0 0 65.1429 1- 13 80.538 0 0 67.807 1- 14 67.807 0 0 67.807 1- 15 66.938 0 0 66.938 1- 16 93.2821 0 0 66.938 1- 17 66.938 0 0 66.938 1- 18 87.8316 0 0 66.938 1- 19 66.938 0 0 66.938 s iter delta rst obj fractionality incumbent 1- 20 90.5569 0 0 66.938 1- 21 96 0 0 96 1- 22 77.675 0 0 72.4363 1- 23 71.316 0 0 71.1013 1- 24 68.6628 0 0 68.6628 1- 25 71.1429 0 0 68.6667 1- 26 66.09 0 0 66.09 1- 27 90.5802 0 0 66.09 1- 28 66.09 0 0 66.09 1- 29 1346 0 0 106 1- 30 96 0 0 96 1- 31 85.6316 0 0 82.1531 1- 32 78.3048 0 0 78.3048 1- 33 78.1429 0 0 70.2857 1- 34 65.1429 0 0 65.1429 1- 35 73.1481 0 0 70.1975 1- 36 69.5177 0 0 69.5177 1- 37 73.1429 0 0 68.2381 1- 38 71.1429 0 0 68.2381 1- 39 66.09 0 0 66.09 s iter delta rst obj fractionality incumbent 1- 40 87.8591 0 0 66.09 1- 41 1170.5 1 0 234.664 1- 42 233.098 1 0 232.902 1- 43 96 1 0 96 1- 44 191.333 1 0 96 1- 45 96 1 0 96 1- 46 80.3797 1 0 76.8643 1- 47 66.15 1 0 66.15 1- 48 79.5271 1 0 73.4898 1- 49 74.0499 1 0 73.4898 1- 50 66.1429 1 0 66 1- 51 65.5319 1 0 65.5319 1- 52 84.4857 1 0 66.2571 1- 53 1235 2 0 234.084 1- 54 234.021 2 0 233.979 1- 55 233 2 0 233 1- 56 96 2 0 96 1- 57 83.9175 2 0 79.4304 1- 58 1202.75 3 0 228.858 1- 59 1179 4 0 239 s iter delta rst obj fractionality incumbent 1- 60 1096 5 0 233 1- 61 1174.76 6 0 245.34 1- 62 255.919 6 0 246.081 1- 63 249.919 6 0 246.081 1- 64 246.376 6 0 245.624 1- 65 1108.5 7 0 265.5 1- 66 262.5 7 0 262.5 1- 67 1078.12 8 0 242.545 1- 68 1151.14 9 0 230.856 1- 69 227.5 9 0 227.5 1- 70 227.5 9 0 227.5 1- 71 227.5 9 0 227.5 1- 72 1082 10 0 249.179 1- 73 1177 11 0 229 1- 74 231 11 0 229 1- 75 227.5 11 0 227.5 1- 76 227.5 11 0 227.5 1- 77 1123.18 12 0 254.818 Too many iteration without 10% improvement Total stage 1 restarts: 12 Stage 2... Using best point from iter: 12 2- 78 65.135 12 0 65.1429 2- 79 73.1859 12 0 68.9055 s iter delta rst obj fractionality incumbent 2- 80 68.6388 12 0 68.6471 2- 81 85.1371 12 0 68 2- 82 67.7841 12 0 67.7904 2- 83 80.1382 12 0 67.2857 2- 84 69.1387 12 0 67.1905 2- 85 67.1391 12 0 66.5714 2- 86 65.2431 12 0 65.2466 2- 87 80.6391 12 0 65.2466 2- 88 84.5355 13 0 66.048 2- 89 100.749 14 0 66.6933 2- 90 129.554 15 0 67.8388 2- 91 148.672 16 0 68.8314 2- 92 65.1411 16 0 65.1429 2- 93 76.886 16 0 67.7904 2- 94 67.7886 16 0 67.7904 2- 95 72.1415 16 0 65.9524 2- 96 67.1417 16 0 65.8571 2- 97 65.2455 16 0 65.2466 2- 98 85.1695 16 0 65.2466 2- 99 104.454 17 0 66.8545 s iter delta rst obj fractionality incumbent 2- 100 124.504 18 0 67.8767 2- 101 146.077 19 0 68.3982 2- 102 166.566 20 0 68.8308 2- 103 186 21 0 106.5 2- 104 283.755 21 0 142.247 2- 105 95.9985 21 0 96 2- 106 191.501 21 0 96.5 2- 107 96.5012 21 0 96.5 2- 108 162.499 22 0 137.5 2- 109 137.501 22 0 137.5 2- 110 157.999 23 0 138 2- 111 138.001 23 0 138 2- 112 183 24 0 146 2- 113 182 25 0 150 2- 114 197 26 0 154 2- 115 194 27 0 151 2- 116 232.5 28 0 164.5 2- 117 164.001 28 0 164 2- 118 224.75 29 0 153.25 2- 119 233.75 30 0 160.75 s iter delta rst obj fractionality incumbent 2- 120 182.001 30 0 161 2- 121 239.25 31 0 163.75 2- 122 239.5 32 0 157 2- 123 252.5 33 0 163.5 2- 124 163 33 0 163 2- 125 163 33 0 163 2- 126 163 33 0 163 2- 127 289.5 34 0 168.5 2- 128 227 35 0 158 2- 129 158 35 0 158 2- 130 228 36 0 159 2- 131 240.5 37 0 163 2- 132 254.585 38 0 163.415 2- 133 162.5 38 0 162.5 2- 134 231 39 0 161 2- 135 267.667 40 0 161.667 2- 136 281.5 41 0 168.5 2- 137 300 42 0 176 2- 138 176 42 0 176 2- 139 266 43 0 169 s iter delta rst obj fractionality incumbent 2- 140 168.5 43 0 168.5 2- 141 244 44 0 161 2- 142 161.024 44 0 160.976 2- 143 237.75 45 0 159.75 2- 144 154 45 0 154 2- 145 245.5 46 0 164.5 2- 146 268.5 47 0 161.5 2- 147 161.5 47 0 161.5 2- 148 161.5 47 0 161.5 2- 149 317 48 0 171 2- 150 171 48 0 171 2- 151 171 48 0 171 2- 152 309.55 49 0 178.45 2- 153 226.5 50 0 159.5 2- 154 229.5 51 0 158.5 2- 155 158.5 51 0 158.5 2- 156 225.337 52 0 158.663 2- 157 262.5 53 0 169.5 2- 158 245 54 0 160 2- 159 271.512 55 0 170.488 s iter delta rst obj fractionality incumbent 2- 160 170.012 55 0 169.988 2- 161 169.5 55 0 169.5 2- 162 169.5 55 0 169.5 2- 163 223.5 56 0 161.5 2- 164 251.5 57 0 161.5 2- 165 165.175 57 0 161.825 2- 166 229.5 58 0 161.5 2- 167 161.5 58 0 161.5 2- 168 222 59 0 153 2- 169 153 59 0 153 2- 170 226 60 0 160 2- 171 160.049 60 0 159.951 2- 172 203.878 61 0 157.122 2- 173 227 62 0 162 2- 174 162 62 0 162 2- 175 161.5 62 0 161.5 2- 176 204 63 0 151 2- 177 227.75 64 0 154.25 2- 178 252.5 65 0 166.5 2- 179 166.648 65 0 166.352 s iter delta rst obj fractionality incumbent 2- 180 164.5 65 0 164.5 2- 181 207 66 0 156 2- 182 156 66 0 156 2- 183 155.5 66 0 155.5 2- 184 188.5 67 0 151.5 2- 185 151.5 67 0 151.5 2- 186 180 68 0 151 2- 187 151 68 0 151 2- 188 149 68 0 149 2- 189 170.5 69 0 143.5 2- 190 143.5 69 0 143.5 2- 191 143.5 69 0 143.5 2- 192 240.5 70 0 150.5 2- 193 150.5 70 0 150.5 2- 194 150.5 70 0 150.5 2- 195 154 71 0 135 2- 196 135 71 0 135 2- 197 135 71 0 135 2- 198 226.5 72 0 137.5 2- 199 137.5 72 0 137.5 s iter delta rst obj fractionality incumbent 2- 200 137.5 72 0 137.5 2- 201 229.5 73 0 140.5 2- 202 140.5 73 0 140.5 2- 203 140 73 0 140 2- 204 140 73 0 140 2- 205 140 73 0 140 2- 206 146 74 0 133 2- 207 156.5 75 0 139.5 2- 208 139.5 75 0 139.5 2- 209 139.5 75 0 139.5 2- 210 155 76 0 137 2- 211 137 76 0 137 2- 212 158 77 0 137 2- 213 137 77 0 137 2- 214 160 78 0 140 2- 215 140 78 0 140 2- 216 167 79 0 145 2- 217 178 80 0 146 2- 218 199.5 81 0 158.5 2- 219 208 82 0 157 s iter delta rst obj fractionality incumbent 2- 220 157 82 0 157 2- 221 219.75 83 0 157.75 2- 222 145 83 0 145 2- 223 145 83 0 145 2- 224 144.5 83 0 144.5 2- 225 168 84 0 147 2- 226 146.5 84 0 146.5 2- 227 146.5 84 0 146.5 2- 228 175.167 85 0 143.167 2- 229 175.5 86 0 144.5 2- 230 144.5 86 0 144.5 2- 231 144.5 86 0 144.5 2- 232 168.5 87 0 141.5 2- 233 191 88 0 149 2- 234 149 88 0 149 2- 235 187 89 0 151 2- 236 205 90 0 150 2- 237 207 91 0 155 2- 238 155 91 0 155 2- 239 155 91 0 155 s iter delta rst obj fractionality incumbent 2- 240 208 92 0 159 2- 241 159 92 0 159 2- 242 200 93 0 147 2- 243 219 94 0 154 2- 244 234.5 95 0 162.5 2- 245 162.5 95 0 162.5 2- 246 233 96 0 160 2- 247 160.019 96 0 159.981 2- 248 218 97 0 153 2- 249 236.5 98 0 161.5 2- 250 161.5 98 0 161.5 2- 251 161.5 98 0 161.5 2- 252 309 99 0 167 2- 253 218.667 100 0 156 2- 254 230 101 0 164 2- 255 163.5 101 0 163.5 2- 256 163.5 101 0 163.5 2- 257 163.5 101 0 163.5 2- 258 193 102 0 152 2- 259 152.076 102 0 151.924 s iter delta rst obj fractionality incumbent 2- 260 182.5 103 0 147.5 2- 261 149.5 103 0 147.5 2- 262 147 103 0 147 2- 263 147 103 0 147 2- 264 173.5 104 0 143.5 2- 265 143 104 0 143 2- 266 168 105 0 143 2- 267 189 106 0 149 2- 268 149.202 106 0 148.798 2- 269 148.5 106 0 148.5 2- 270 176 107 0 142 2- 271 202 108 0 153 2- 272 206 109 0 153.5 2- 273 148.5 109 0 148.5 2- 274 148.5 109 0 148.5 2- 275 148.5 109 0 148.5 2- 276 168 110 0 144 2- 277 144 110 0 144 2- 278 176.5 111 0 145.5 2- 279 188.5 112 0 148.5 Too many restarts Total stage 2 restarts: 100 Stage 3... Using best point from iter: 78 obj offset: 36 + 0 = 36 Clique table members: 26664. MIP emphasis: hidden feasible solutions. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 110.45 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Node ItCnt Gap 0 0 29.1429 1360 29.1429 26913 0 0 33.8900 1428 Cuts: 232 28991 0 0 37.3808 1175 Cuts: 33 30290 0 0 42.4862 462 Cuts: 183 32905 0 0 49.6373 744 Cuts: 2639 36508 0 0 50.5065 813 Cuts: 3359 37754 0 0 51.1616 818 Cuts: 428 39256 0 0 51.6787 750 Cuts: 712 40459 0 0 51.8072 852 Cuts: 2760 40979 0 0 52.0128 829 Cuts: 69 41587 0 0 52.2082 890 Cuts: 334 42512 0 0 52.3205 909 Cuts: 192 43239 0 0 52.6233 900 Cuts: 249 43916 0 0 52.7856 880 Cuts: 919 44556 0 0 53.1157 940 Cuts: 1446 45935 0 0 53.2496 893 Cuts: 291 46623 0 0 53.3185 864 Cuts: 23 47269 0 0 53.3642 798 Cuts: 54 47937 0 0 53.4737 879 Cuts: 62 48672 0 0 53.5671 844 Cuts: 259 49399 0 0 53.7292 787 Cuts: 1604 50735 0 0 53.7739 911 Cuts: 1124 51563 0 0 53.8527 930 Cuts: 117 52269 0 0 53.9461 945 Cuts: 197 52887 0 0 53.9864 872 Cuts: 26 53325 0 0 53.9875 887 ZeroHalf: 17 53473 0 0 54.0501 936 ZeroHalf: 17 54004 0 0 54.1711 826 Cuts: 130 54924 0 0 54.2586 869 Cuts: 1552 55846 0 0 54.3006 908 Cuts: 804 56309 0 0 54.3706 904 ZeroHalf: 14 56722 0 0 54.3938 884 ZeroHalf: 470 57107 0 0 54.4990 910 Cuts: 653 58040 0 0 54.5104 911 Cuts: 37 58296 Heuristic still looking. Heuristic still looking. * 0+ 0 2104.0000 54.5104 58296 97.41% Clique cuts applied: 71 Implied bound cuts applied: 434 Zero-half cuts applied: 442 Status: Feasible CplexStatus:SolLim Solution with obj=0 + 0 = 0 found Writing MIP start values to file bench/neos506428.mst Solution (only non-zero entries are reported): obj = 0 x2091 = 1 x2092 = 1 x2093 = 1 x2094 = 1 x2095 = 1 x2096 = 1 x2097 = 1 x2098 = 1 x2099 = 1 x2100 = 1 x2101 = 1 x2102 = 1 x2103 = 1 x2104 = 1 x2105 = 1 x2106 = 1 x2107 = 1 x2108 = 1 x2109 = 1 x2110 = 1 x2111 = 1 x2112 = 1 x2120 = 1 x2123 = 1 x2159 = 1 x2169 = 1 x2196 = 1 x2211 = 1 x2239 = 1 x2248 = 1 x2271 = 1 x2296 = 1 x2314 = 1 x2337 = 1 x2356 = 1 x2375 = 1 x2401 = 1 x2405 = 1 x2427 = 1 x2450 = 1 x2468 = 1 x2487 = 1 x2523 = 1 x2539 = 1 x2551 = 1 x2571 = 1 x2595 = 1 x2623 = 1 x2628 = 1 x2652 = 1 x2663 = 1 x2692 = 1 x2709 = 1 x2718 = 1 x2732 = 1 x2748 = 1 x2758 = 1 x2782 = 1 x2786 = 1 x2793 = 1 x2814 = 1 x2820 = 1 x2846 = 1 x2880 = 1 x2893 = 1 x2917 = 1 x2936 = 1 x2948 = 1 x2974 = 1 x3003 = 1 x3009 = 1 x3029 = 1 x3048 = 1 x3059 = 1 x3077 = 1 x3106 = 1 x3127 = 1 x3147 = 1 x3171 = 1 x3193 = 1 x3217 = 1 x3235 = 1 x3260 = 1 x3275 = 1 x3291 = 1 x3311 = 1 x3317 = 1 x3334 = 1 x3355 = 1 x3380 = 1 x3393 = 1 x3411 = 1 x3436 = 1 x3453 = 1 x3467 = 1 x3488 = 1 x3514 = 1 x3520 = 1 x3542 = 1 x3559 = 1 x3569 = 1 x3594 = 1 x3611 = 1 x3627 = 1 x3651 = 1 x3656 = 1 x3680 = 1 x3689 = 1 x3710 = 1 x3724 = 1 x3736 = 1 x3745 = 1 x3755 = 1 x3778 = 1 x3785 = 1 x3804 = 1 x3836 = 1 x3865 = 1 x3868 = 1 x3911 = 1 x3922 = 1 x3949 = 1 x3966 = 1 x3988 = 1 x3991 = 1 x3998 = 1 x4020 = 1 x4045 = 1 x4072 = 1 x4090 = 1 x4109 = 1 x4141 = 1 x4144 = 1 x4149 = 1 x4158 = 1 x4182 = 1 x4201 = 1 x4237 = 1 x4259 = 1 x4271 = 1 x4291 = 1 x4315 = 1 x4346 = 1 x4351 = 1 x4380 = 1 x4392 = 1 x4426 = 1 x4443 = 1 x4465 = 1 x4484 = 1 x4512 = 1 x4534 = 1 x4560 = 1 x4578 = 1 x4589 = 1 x4623 = 1 x4630 = 1 x4651 = 1 x4687 = 1 x4701 = 1 x4725 = 1 x4737 = 1 x4743 = 1 x4769 = 1 x4806 = 1 x4812 = 1 x4839 = 1 x4868 = 1 x4879 = 1 x4897 = 1 x4926 = 1 x4949 = 1 x4971 = 1 x4994 = 1 x5017 = 1 x5041 = 1 x5059 = 1 x5090 = 1 x5105 = 1 x5132 = 1 x5139 = 1 x5140 = 1 x5169 = 1 x5201 = 1 x5227 = 1 x5240 = 1 x5258 = 1 x5283 = 1 x5304 = 1 x5317 = 1 x5322 = 1 x5360 = 1 x5366 = 1 x5394 = 1 x5418 = 1 x5430 = 1 x5472 = 1 x5489 = 1 x5505 = 1 x5536 = 1 x5540 = 1 x5554 = 1 x5568 = 1 x5593 = 1 x5620 = 1 x5642 = 1 x5662 = 1 x5678 = 1 x5715 = 1 x5725 = 1 x5744 = 1 x5775 = 1 x5804 = 1 x5807 = 1 x5850 = 1 x5861 = 1 x5880 = 1 x5895 = 1 x5920 = 1 x5927 = 1 x5949 = 1 x5963 = 1 x5988 = 1 x6015 = 1 x6034 = 1 x6046 = 1 x6067 = 1 x6071 = 1 x6093 = 1 x6122 = 1 x6146 = 1 x6164 = 1 x6195 = 1 x6217 = 1 x6229 = 1 x6243 = 1 x6260 = 1 x6291 = 1 x6296 = 1 x6332 = 1 x6344 = 1 x6378 = 1 x6395 = 1 x6417 = 1 x6436 = 1 x6464 = 1 x6486 = 1 x6512 = 1 x6530 = 1 x6540 = 1 x6568 = 1 x6575 = 1 x6601 = 1 x6637 = 1 x6651 = 1 x6667 = 1 x6682 = 1 x6692 = 1 x6699 = 1 x6736 = 1 x6742 = 1 x6769 = 1 x6798 = 1 x6807 = 1 x6818 = 1 x6841 = 1 x6864 = 1 x6886 = 1 x6910 = 1 x6933 = 1 x6956 = 1 x6971 = 1 x7000 = 1 x7015 = 1 x7042 = 1 x7062 = 1 x7068 = 1 x7097 = 1 x7128 = 1 x7154 = 1 x7167 = 1 x7185 = 1 x7210 = 1 x7231 = 1 x7246 = 1 x7265 = 1 x7287 = 1 x7292 = 1 x7305 = 1 x7329 = 1 x7341 = 1 x7383 = 1 x7392 = 1 x7403 = 1 x7430 = 1 x7435 = 1 x7466 = 1 x7480 = 1 x7501 = 1 x7528 = 1 x7550 = 1 x7570 = 1 x7584 = 1 x7604 = 1 x7614 = 1 x7631 = 1 x7653 = 1 x7682 = 1 x7685 = 1 x7728 = 1 x7739 = 1 x7766 = 1 x7783 = 1 x7804 = 1 x7808 = 1 x7818 = 1 x7843 = 1 x7868 = 1 x7893 = 1 x7908 = 1 x7924 = 1 x7956 = 1 x7959 = 1 x7967 = 1 x7980 = 1 x8004 = 1 x8023 = 1 x8059 = 1 x8081 = 1 x8093 = 1 x8113 = 1 x8137 = 1 x8168 = 1 x8171 = 1 x8192 = 1 x8204 = 1 x8238 = 1 x8254 = 1 x8276 = 1 x8295 = 1 x8323 = 1 x8345 = 1 x8371 = 1 x8389 = 1 x8399 = 1 x8431 = 1 x8436 = 1 x8453 = 1 x8489 = 1 x8503 = 1 x8527 = 1 x8536 = 1 x8540 = 1 x8566 = 1 x8603 = 1 x8609 = 1 x8636 = 1 x8665 = 1 x8676 = 1 x8694 = 1 x8723 = 1 x8746 = 1 x8768 = 1 x8788 = 1 x8809 = 1 x8833 = 1 x8851 = 1 x8882 = 1 x8897 = 1 x8924 = 1 x8931 = 1 x8932 = 1 x8961 = 1 x8993 = 1 x9019 = 1 x9031 = 1 x9049 = 1 x9074 = 1 x9095 = 1 x9108 = 1 x9113 = 1 x9151 = 1 x9157 = 1 x9185 = 1 x9209 = 1 x9221 = 1 x9263 = 1 x9280 = 1 x9296 = 1 x9327 = 1 x9331 = 1 x9349 = 1 x9363 = 1 x9388 = 1 x9415 = 1 x9437 = 1 x9457 = 1 x9473 = 1 x9510 = 1 x9520 = 1 x9539 = 1 x9567 = 1 x9592 = 1 x9595 = 1 x9638 = 1 x9649 = 1 x9676 = 1 x9693 = 1 x9717 = 1 x9721 = 1 x9729 = 1 x9742 = 1 x9767 = 1 x9794 = 1 x9813 = 1 x9832 = 1 x9864 = 1 x9867 = 1 x9877 = 1 x9893 = 1 x9917 = 1 x9936 = 1 x9972 = 1 x9994 = 1 x10006 = 1 x10026 = 1 x10050 = 1 x10081 = 1 x10086 = 1 x10122 = 1 x10134 = 1 x10168 = 1 x10185 = 1 x10207 = 1 x10226 = 1 x10254 = 1 x10276 = 1 x10302 = 1 x10320 = 1 x10331 = 1 x10365 = 1 x10372 = 1 x10398 = 1 x10434 = 1 x10448 = 1 x10472 = 1 x10491 = 1 x10503 = 1 x10528 = 1 x10565 = 1 x10571 = 1 x10598 = 1 x10627 = 1 x10638 = 1 x10656 = 1 x10685 = 1 x10708 = 1 x10730 = 1 x10754 = 1 x10777 = 1 x10801 = 1 x10819 = 1 x10850 = 1 x10865 = 1 x10892 = 1 x10908 = 1 x10911 = 1 x10940 = 1 x10972 = 1 x10998 = 1 x11011 = 1 x11029 = 1 x11054 = 1 x11075 = 1 x11090 = 1 x11103 = 1 x11132 = 1 x11137 = 1 x11156 = 1 x11180 = 1 x11192 = 1 x11234 = 1 x11251 = 1 x11267 = 1 x11298 = 1 x11302 = 1 x11319 = 1 x11333 = 1 x11358 = 1 x11385 = 1 x11407 = 1 x11427 = 1 x11443 = 1 x11475 = 1 x11485 = 1 x11504 = 1 x11536 = 1 x11556 = 1 x11559 = 1 x11592 = 1 x11603 = 1 x11630 = 1 x11647 = 1 x11675 = 1 x11684 = 1 x11707 = 1 x11732 = 1 x11757 = 1 x11784 = 1 x11803 = 1 x11822 = 1 x11836 = 1 x11838 = 1 x11860 = 1 x11887 = 1 x11911 = 1 x11930 = 1 x11956 = 1 x11963 = 1 x11975 = 1 x11994 = 1 x12018 = 1 x12049 = 1 x12054 = 1 x12090 = 1 x12102 = 1 x12118 = 1 x12133 = 1 x12155 = 1 x12171 = 1 x12189 = 1 x12211 = 1 x12231 = 1 x12249 = 1 x12260 = 1 x12284 = 1 x12291 = 1 x12317 = 1 x12343 = 1 x12357 = 1 x12381 = 1 x12400 = 1 x12412 = 1 x12438 = 1 x12464 = 1 x12466 = 1 x12487 = 1 x12516 = 1 x12527 = 1 x12545 = 1 x12574 = 1 x12597 = 1 x12619 = 1 x12643 = 1 x12666 = 1 x12690 = 1 x12708 = 1 x12739 = 1 x12754 = 1 x12771 = 1 x12791 = 1 x12797 = 1 x12822 = 1 x12854 = 1 x12879 = 1 x12892 = 1 x12906 = 1 x12925 = 1 x12943 = 1 x12958 = 1 x12979 = 1 x13005 = 1 x13011 = 1 x13033 = 1 x13049 = 1 x13061 = 1 x13103 = 1 x13120 = 1 x13136 = 1 x13161 = 1 x13166 = 1 x13197 = 1 x13211 = 1 x13231 = 1 x13242 = 1 x13264 = 1 x13278 = 1 x13291 = 1 x13328 = 1 x13334 = 1 x13347 = 1 x13379 = 1 x13408 = 1 x13411 = 1 x13454 = 1 x13465 = 1 x13492 = 1 x13509 = 1 x13530 = 1 x13535 = 1 x13554 = 1 x13569 = 1 x13594 = 1 x13617 = 1 x13630 = 1 x13645 = 1 x13674 = 1 x13678 = 1 x13700 = 1 x13724 = 1 x13748 = 1 x13767 = 1 x13803 = 1 x13825 = 1 x13837 = 1 x13850 = 1 x13864 = 1 x13895 = 1 x13900 = 1 x13936 = 1 x13948 = 1 x13982 = 1 x13995 = 1 x14015 = 1 x14034 = 1 x14062 = 1 x14084 = 1 x14110 = 1 x14128 = 1 x14133 = 1 x14153 = 1 x14160 = 1 x14182 = 1 x14218 = 1 x14232 = 1 x14256 = 1 x14273 = 1 x14284 = 1 x14298 = 1 x14331 = 1 x14337 = 1 x14364 = 1 x14393 = 1 x14399 = 1 x14406 = 1 x14429 = 1 x14445 = 1 x14467 = 1 x14490 = 1 x14513 = 1 x14537 = 1 x14555 = 1 x14586 = 1 x14601 = 1 x14628 = 1 x14648 = 1 x14654 = 1 x14683 = 1 x14715 = 1 x14741 = 1 x14752 = 1 x14770 = 1 x14795 = 1 x14816 = 1 x14831 = 1 x14851 = 1 x14879 = 1 x14885 = 1 x14907 = 1 x14931 = 1 x14943 = 1 x14974 = 1 x14989 = 1 x15004 = 1 x15035 = 1 x15040 = 1 x15068 = 1 x15082 = 1 x15107 = 1 x15134 = 1 x15156 = 1 x15176 = 1 x15191 = 1 x15219 = 1 x15229 = 1 x15248 = 1 x15277 = 1 x15304 = 1 x15307 = 1 x15350 = 1 x15361 = 1 x15387 = 1 x15403 = 1 x15431 = 1 x15440 = 1 x15463 = 1 x15481 = 1 x15492 = 1 x15519 = 1 x15538 = 1 x15557 = 1 x15589 = 1 x15593 = 1 x15615 = 1 x15644 = 1 x15668 = 1 x15683 = 1 x15711 = 1 x15733 = 1 x15741 = 1 x15758 = 1 x15778 = 1 x15806 = 1 x15811 = 1 x15847 = 1 x15852 = 1 x15872 = 1 x15889 = 1 x15911 = 1 x15927 = 1 x15952 = 1 x15974 = 1 x15994 = 1 x16012 = 1 x16023 = 1 x16057 = 1 x16064 = 1 x16083 = 1 x16105 = 1 x16119 = 1 x16135 = 1 x16151 = 1 x16163 = 1 x16189 = 1 x16226 = 1 x16232 = 1 x16259 = 1 x16288 = 1 x16299 = 1 x16315 = 1 x16334 = 1 x16357 = 1 x16379 = 1 x16403 = 1 x16426 = 1 x16441 = 1 x16448 = 1 x16474 = 1 x16489 = 1 x16516 = 1 x16536 = 1 x16542 = 1 x16568 = 1 x16596 = 1 x16615 = 1 x16628 = 1 x16646 = 1 x16670 = 1 x16690 = 1 x16705 = 1 x16726 = 1 x16764 = 1 x16770 = 1 x16798 = 1 x16822 = 1 x16834 = 1 x16876 = 1 x16893 = 1 x16903 = 1 x16928 = 1 x16933 = 1 x16964 = 1 x16976 = 1 x16987 = 1 x17014 = 1 x17036 = 1 x17056 = 1 x17072 = 1 x17109 = 1 x17119 = 1 x17138 = 1 x17163 = 1 x17178 = 1 x17179 = 1 x17210 = 1 x17220 = 1 x17247 = 1 x17263 = 1 x17291 = 1 x17300 = 1 x17323 = 1 x17348 = 1 x17368 = 1 x17394 = 1 x17413 = 1 x17432 = 1 x17452 = 1 x17456 = 1 x17478 = 1 x17501 = 1 x17520 = 1 x17539 = 1 x17570 = 1 x17586 = 1 x17598 = 1 x17618 = 1 x17642 = 1 x17673 = 1 x17678 = 1 x17710 = 1 x17722 = 1 x17744 = 1 x17761 = 1 x17783 = 1 x17802 = 1 x17818 = 1 x17838 = 1 x17864 = 1 x17878 = 1 x17889 = 1 x17912 = 1 x17919 = 1 x17945 = 1 x17976 = 1 x17990 = 1 x18014 = 1 x18033 = 1 x18045 = 1 x18071 = 1 x18102 = 1 x18107 = 1 x18128 = 1 x18156 = 1 x18167 = 1 x18185 = 1 x18214 = 1 x18237 = 1 x18259 = 1 x18283 = 1 x18306 = 1 x18330 = 1 x18348 = 1 x18379 = 1 x18394 = 1 x18414 = 1 x18434 = 1 x18440 = 1 x18466 = 1 x18491 = 1 x18517 = 1 x18530 = 1 x18547 = 1 x18571 = 1 x18590 = 1 x18605 = 1 x18626 = 1 x18654 = 1 x18660 = 1 x18680 = 1 x18691 = 1 x18703 = 1 x18745 = 1 x18762 = 1 x18778 = 1 x18805 = 1 x18810 = 1 x18838 = 1 x18851 = 1 x18872 = 1 x18881 = 1 x18899 = 1 x18913 = 1 x18920 = 1 x18957 = 1 x18964 = 1 x18981 = 1 x19013 = 1 x19042 = 1 x19045 = 1 x19088 = 1 x19099 = 1 x19120 = 1 x19136 = 1 x19159 = 1 x19165 = 1 x19187 = 1 x19202 = 1 x19227 = 1 x19252 = 1 x19270 = 1 x19285 = 1 x19310 = 1 x19314 = 1 x19336 = 1 x19365 = 1 x19389 = 1 x19408 = 1 x19444 = 1 x19466 = 1 x19478 = 1 x19490 = 1 x19502 = 1 x19530 = 1 x19535 = 1 x19571 = 1 x19583 = 1 x19617 = 1 x19633 = 1 x19655 = 1 x19674 = 1 x19702 = 1 x19724 = 1 x19750 = 1 x19768 = 1 x19777 = 1 x19802 = 1 x19809 = 1 x19835 = 1 x19871 = 1 x19885 = 1 x19906 = 1 x19925 = 1 x19935 = 1 x19947 = 1 x19983 = 1 x19989 = 1 x20016 = 1 x20045 = 1 x20051 = 1 x20058 = 1 x20082 = 1 x20100 = 1 x20122 = 1 x20146 = 1 x20169 = 1 x20193 = 1 x20211 = 1 x20241 = 1 x20256 = 1 x20283 = 1 x20303 = 1 x20309 = 1 x20338 = 1 x20370 = 1 x20396 = 1 x20408 = 1 x20426 = 1 x20451 = 1 x20472 = 1 x20487 = 1 x20507 = 1 x20534 = 1 x20539 = 1 x20559 = 1 x20583 = 1 x20595 = 1 x20626 = 1 x20634 = 1 x20648 = 1 x20678 = 1 x20683 = 1 x20714 = 1 x20728 = 1 x20753 = 1 x20780 = 1 x20802 = 1 x20822 = 1 x20837 = 1 x20861 = 1 x20871 = 1 x20890 = 1 x20920 = 1 x20942 = 1 x20945 = 1 x20970 = 1 x20973 = 1 x20991 = 1 x21000 = 1 x21019 = 1 x21028 = 1 x21051 = 1 x21076 = 1 x21092 = 1 x21109 = 1 x21128 = 1 x21147 = 1 x21179 = 1 x21183 = 1 x21205 = 1 x21228 = 1 x21235 = 1 x21245 = 1 x21281 = 1 x21303 = 1 x21315 = 1 x21335 = 1 x21359 = 1 x21390 = 1 x21395 = 1 x21417 = 1 x21425 = 1 x21459 = 1 x21476 = 1 x21497 = 1 x21516 = 1 x21535 = 1 x21545 = 1 x21569 = 1 x21576 = 1 x21586 = 1 x21617 = 1 x21624 = 1 x21650 = 1 x21686 = 1 x21696 = 1 x21719 = 1 x21738 = 1 x21750 = 1 x21776 = 1 x21813 = 1 x21819 = 1 x21837 = 1 x21855 = 1 x21866 = 1 x21884 = 1 x21913 = 1 x21926 = 1 x21927 = 1 x21941 = 1 x21953 = 1 x21971 = 1 x21989 = 1 x22020 = 1 x22031 = 1 x22056 = 1 x22076 = 1 x22082 = 1 x22111 = 1 x22130 = 1 x22154 = 1 x22167 = 1 x22185 = 1 x22210 = 1 x22221 = 1 x22225 = 1 x22246 = 1 x22284 = 1 x22290 = 1 x22316 = 1 x22329 = 1 x22332 = 1 x22374 = 1 x22391 = 1 x22407 = 1 x22438 = 1 x22443 = 1 x22466 = 1 x22471 = 1 x22496 = 1 x22516 = 1 x22523 = 1 x22529 = 1 x22543 = 1 x22569 = 1 x22578 = 1 x22597 = 1 x22629 = 1 x22658 = 1 x22661 = 1 x22696 = 1 x22707 = 1 x22733 = 1 x22750 = 1 x22778 = 1 x22787 = 1 x22810 = 1 x22833 = 1 x22854 = 1 x22881 = 1 x22900 = 1 x22919 = 1 x22946 = 1 x22950 = 1 x22972 = 1 x23001 = 1 x23025 = 1 x23044 = 1 x23070 = 1 x23082 = 1 x23083 = 1 x23094 = 1 x23108 = 1 x23131 = 1 x23136 = 1 x23172 = 1 x23182 = 1 x23207 = 1 x23224 = 1 x23246 = 1 x23254 = 1 x23272 = 1 x23294 = 1 x23304 = 1 x23322 = 1 x23333 = 1 x23367 = 1 x23374 = 1 x23400 = 1 x23421 = 1 x23435 = 1 x23459 = 1 x23478 = 1 x23490 = 1 x23516 = 1 x23547 = 1 x23548 = 1 x23564 = 1 x23593 = 1 x23604 = 1 x23622 = 1 x23651 = 1 x23674 = 1 x23696 = 1 x23720 = 1 x23743 = 1 x23767 = 1 x23780 = 1 x23804 = 1 x23819 = 1 x23842 = 1 x23862 = 1 x23868 = 1 x23891 = 1 x23916 = 1 x23925 = 1 x23938 = 1 x23951 = 1 x23962 = 1 x23976 = 1 x23991 = 1 x24012 = 1 x24047 = 1 x24053 = 1 x24081 = 1 x24105 = 1 x24117 = 1 x24159 = 1 x24176 = 1 x24192 = 1 x24215 = 1 x24220 = 1 x24251 = 1 x24265 = 1 x24287 = 1 x24313 = 1 x24335 = 1 x24355 = 1 x24371 = 1 x24408 = 1 x24414 = 1 x24427 = 1 x24459 = 1 x24488 = 1 x24491 = 1 x24534 = 1 x24545 = 1 x24572 = 1 x24589 = 1 x24608 = 1 x24612 = 1 x24625 = 1 x24650 = 1 x24675 = 1 x24698 = 1 x24706 = 1 x24720 = 1 x24752 = 1 x24755 = 1 x24765 = 1 x24781 = 1 x24805 = 1 x24824 = 1 x24860 = 1 x24882 = 1 x24894 = 1 x24914 = 1 x24938 = 1 x24969 = 1 x24972 = 1 x24993 = 1 x25005 = 1 x25039 = 1 x25052 = 1 x25072 = 1 x25091 = 1 x25119 = 1 x25141 = 1 x25167 = 1 x25185 = 1 x25195 = 1 x25224 = 1 x25229 = 1 x25241 = 1 x25277 = 1 x25290 = 1 x25314 = 1 x25322 = 1 x25325 = 1 x25351 = 1 x25387 = 1 x25393 = 1 x25420 = 1 x25449 = 1 x25460 = 1 x25478 = 1 x25507 = 1 x25530 = 1 x25552 = 1 x25570 = 1 x25589 = 1 x25613 = 1 x25631 = 1 x25662 = 1 x25676 = 1 x25703 = 1 x25711 = 1 x25712 = 1 x25741 = 1 x25773 = 1 x25799 = 1 x25808 = 1 x25824 = 1 x25849 = 1 x25870 = 1 x25883 = 1 x25890 = 1 x25928 = 1 x25934 = 1 x25962 = 1 x25986 = 1 x25998 = 1 x26040 = 1 x26057 = 1 x26073 = 1 x26104 = 1 x26108 = 1 x26128 = 1 x26142 = 1 x26167 = 1 x26194 = 1 x26216 = 1 x26236 = 1 x26252 = 1 x26289 = 1 x26299 = 1 x26318 = 1 x26341 = 1 x26363 = 1 x26366 = 1 x26409 = 1 x26418 = 1 x26445 = 1 x26460 = 1 x26488 = 1 x26497 = 1 x26520 = 1 x26545 = 1 x26570 = 1 x26597 = 1 x26612 = 1 x26629 = 1 x26661 = 1 x26665 = 1 x26687 = 1 x26716 = 1 x26735 = 1 x26750 = 1 x26786 = 1 x26808 = 1 x26820 = 1 x26840 = 1 x26864 = 1 x26895 = 1 x26900 = 1 x26929 = 1 x26941 = 1 x26975 = 1 x26991 = 1 x27013 = 1 x27032 = 1 x27060 = 1 x27081 = 1 x27107 = 1 x27125 = 1 x27136 = 1 x27170 = 1 x27177 = 1 x27196 = 1 x27232 = 1 x27235 = 1 x27254 = 1 x27269 = 1 x27279 = 1 x27305 = 1 x27341 = 1 x27347 = 1 x27374 = 1 x27403 = 1 x27414 = 1 x27432 = 1 x27461 = 1 x27480 = 1 x27492 = 1 x27501 = 1 x27508 = 1 x27524 = 1 x27542 = 1 x27573 = 1 x27575 = 1 x27594 = 1 x27614 = 1 x27620 = 1 x27649 = 1 x27681 = 1 x27707 = 1 x27717 = 1 x27733 = 1 x27758 = 1 x27776 = 1 x27791 = 1 x27812 = 1 x27850 = 1 x27856 = 1 x27884 = 1 x27904 = 1 x27913 = 1 x27955 = 1 x27972 = 1 x27988 = 1 x28019 = 1 x28024 = 1 x28055 = 1 x28069 = 1 x28094 = 1 x28121 = 1 x28141 = 1 x28161 = 1 x28177 = 1 x28214 = 1 x28224 = 1 x28243 = 1 x28271 = 1 x28295 = 1 x28298 = 1 x28341 = 1 x28352 = 1 x28379 = 1 x28396 = 1 x28424 = 1 x28433 = 1 x28456 = 1 x28481 = 1 x28504 = 1 x28530 = 1 x28549 = 1 x28568 = 1 x28597 = 1 x28601 = 1 x28623 = 1 x28651 = 1 x28675 = 1 x28694 = 1 x28730 = 1 x28748 = 1 x28760 = 1 x28778 = 1 x28802 = 1 x28814 = 1 x28818 = 1 x28850 = 1 x28862 = 1 x28896 = 1 x28911 = 1 x28920 = 1 x28935 = 1 x28959 = 1 x28973 = 1 x28998 = 1 x29008 = 1 x29019 = 1 x29046 = 1 x29053 = 1 x29079 = 1 x29115 = 1 x29128 = 1 x29152 = 1 x29171 = 1 x29183 = 1 x29208 = 1 x29234 = 1 x29240 = 1 x29264 = 1 x29279 = 1 x29286 = 1 x29301 = 1 x29326 = 1 x29345 = 1 x29366 = 1 x29390 = 1 x29412 = 1 x29436 = 1 x29454 = 1 x29475 = 1 x29489 = 1 x29509 = 1 x29529 = 1 x29535 = 1 x29553 = 1 x29581 = 1 x29607 = 1 x29619 = 1 x29637 = 1 x29662 = 1 x29682 = 1 x29697 = 1 x29718 = 1 x29750 = 1 x29756 = 1 x29783 = 1 x29805 = 1 x29817 = 1 x29828 = 1 x29844 = 1 x29860 = 1 x29885 = 1 x29890 = 1 x29918 = 1 x29931 = 1 x29954 = 1 x29980 = 1 x29997 = 1 x30013 = 1 x30028 = 1 x30056 = 1 x30065 = 1 x30084 = 1 x30116 = 1 x30145 = 1 x30148 = 1 x30191 = 1 x30202 = 1 x30216 = 1 x30227 = 1 x30255 = 1 x30264 = 1 x30287 = 1 x30312 = 1 x30334 = 1 x30361 = 1 x30380 = 1 x30397 = 1 x30426 = 1 x30430 = 1 x30452 = 1 x30481 = 1 x30505 = 1 x30524 = 1 x30558 = 1 x30580 = 1 x30589 = 1 x30603 = 1 x30616 = 1 x30638 = 1 x30643 = 1 x30679 = 1 x30689 = 1 x30719 = 1 x30736 = 1 x30758 = 1 x30774 = 1 x30799 = 1 x30821 = 1 x30847 = 1 x30865 = 1 x30876 = 1 x30910 = 1 x30917 = 1 x30943 = 1 x30978 = 1 x30992 = 1 x31008 = 1 x31024 = 1 x31036 = 1 x31057 = 1 x31091 = 1 x31097 = 1 x31124 = 1 x31153 = 1 x31160 = 1 x31169 = 1 x31196 = 1 x31219 = 1 x31241 = 1 x31265 = 1 x31288 = 1 x31312 = 1 x31323 = 1 x31340 = 1 x31355 = 1 x31382 = 1 x31402 = 1 x31408 = 1 x31428 = 1 x31451 = 1 x31477 = 1 x31490 = 1 x31508 = 1 x31533 = 1 x31554 = 1 x31569 = 1 x31590 = 1 x31627 = 1 x31633 = 1 x31661 = 1 x31685 = 1 x31697 = 1 x31732 = 1 x31734 = 1 x31738 = 1 x31758 = 1 x31763 = 1 x31794 = 1 x31808 = 1 x31831 = 1 x31858 = 1 x31880 = 1 x31900 = 1 x31916 = 1 x31949 = 1 x31959 = 1 x31978 = 1 x32007 = 1 x32036 = 1 x32039 = 1 x32082 = 1 x32093 = 1 x32120 = 1 x32137 = 1 x32159 = 1 x32163 = 1 x32171 = 1 x32196 = 1 x32221 = 1 x32248 = 1 x32264 = 1 x32283 = 1 x32315 = 1 x32318 = 1 x32323 = 1 x32336 = 1 x32360 = 1 x32379 = 1 x32415 = 1 x32437 = 1 x32449 = 1 x32469 = 1 x32493 = 1 x32524 = 1 x32528 = 1 x32556 = 1 x32568 = 1 x32602 = 1 x32619 = 1 x32641 = 1 x32660 = 1 x32688 = 1 x32710 = 1 x32736 = 1 x32754 = 1 x32765 = 1 x32799 = 1 x32806 = 1 x32826 = 1 x32862 = 1 x32876 = 1 x32900 = 1 x32910 = 1 x32915 = 1 x32941 = 1 x32978 = 1 x32984 = 1 x33011 = 1 x33040 = 1 x33051 = 1 x33069 = 1 x33098 = 1 x33121 = 1 x33143 = 1 x33166 = 1 x33189 = 1 x33213 = 1 x33231 = 1 x33262 = 1 x33277 = 1 x33304 = 1 x33308 = 1 x33309 = 1 x33338 = 1 x33370 = 1 x33396 = 1 x33409 = 1 x33427 = 1 x33452 = 1 x33473 = 1 x33486 = 1 x33490 = 1 x33528 = 1 x33534 = 1 x33562 = 1 x33586 = 1 x33598 = 1 x33640 = 1 x33657 = 1 x33673 = 1 x33704 = 1 x33708 = 1 x33723 = 1 x33737 = 1 x33762 = 1 x33789 = 1 x33811 = 1 x33831 = 1 x33847 = 1 x33884 = 1 x33894 = 1 x33913 = 1 x33942 = 1 x33960 = 1 x33963 = 1 x33996 = 1 x34005 = 1 x34032 = 1 x34047 = 1 x34075 = 1 x34084 = 1 x34107 = 1 x34132 = 1 x34150 = 1 x34172 = 1 x34191 = 1 x34210 = 1 x34239 = 1 x34243 = 1 x34265 = 1 x34288 = 1 x34306 = 1 x34325 = 1 x34361 = 1 x34380 = 1 x34392 = 1 x34412 = 1 x34436 = 1 x34463 = 1 x34468 = 1 x34490 = 1 x34498 = 1 x34530 = 1 x34546 = 1 x34555 = 1 x34569 = 1 x34586 = 1 x34594 = 1 x34616 = 1 x34618 = 1 x34625 = 1 x34649 = 1 x34656 = 1 x34682 = 1 x34718 = 1 x34730 = 1 x34754 = 1 x34773 = 1 x34785 = 1 x34811 = 1 x34842 = 1 x34848 = 1 x34868 = 1 x34879 = 1 x34887 = 1 x34905 = 1 x34934 = 1 x34953 = 1 x34968 = 1 x34988 = 1 x35008 = 1 x35032 = 1 x35050 = 1 x35077 = 1 x35090 = 1 x35110 = 1 x35130 = 1 x35136 = 1 x35157 = 1 x35177 = 1 x35202 = 1 x35214 = 1 x35232 = 1 x35257 = 1 x35271 = 1 x35282 = 1 x35303 = 1 x35333 = 1 x35339 = 1 x35364 = 1 x35378 = 1 x35383 = 1 x35409 = 1 x35426 = 1 x35442 = 1 x35468 = 1 x35473 = 1 x35496 = 1 x35502 = 1 x35524 = 1 x35542 = 1 x35553 = 1 x35558 = 1 x35571 = 1 x35591 = 1 x35597 = 1 x35616 = 1 x35648 = 1 x35668 = 1 x35671 = 1 x35708 = 1 x35719 = 1 x35746 = 1 x35763 = 1 x35791 = 1 x35800 = 1 x35823 = 1 x35848 = 1 x35871 = 1 x35898 = 1 x35917 = 1 x35936 = 1 x35954 = 1 x35957 = 1 x35979 = 1 x36005 = 1 x36028 = 1 x36047 = 1 x36077 = 1 x36083 = 1 x36093 = 1 x36111 = 1 x36135 = 1 x36166 = 1 x36171 = 1 x36205 = 1 x36217 = 1 x36239 = 1 x36255 = 1 x36272 = 1 x36287 = 1 x36304 = 1 x36326 = 1 x36347 = 1 x36361 = 1 x36372 = 1 x36392 = 1 x36397 = 1 x36423 = 1 x36449 = 1 x36463 = 1 x36487 = 1 x36506 = 1 x36518 = 1 x36544 = 1 x36561 = 1 x36564 = 1 x36586 = 1 x36615 = 1 x36626 = 1 x36644 = 1 x36673 = 1 x36696 = 1 x36718 = 1 x36742 = 1 x36765 = 1 x36789 = 1 x36807 = 1 x36832 = 1 x36847 = 1 x36856 = 1 x36873 = 1 x36879 = 1 x36897 = 1 x36925 = 1 x36949 = 1 x36962 = 1 x36977 = 1 x36996 = 1 x37014 = 1 x37029 = 1 x37050 = 1 x37070 = 1 x37073 = 1 x37095 = 1 x37114 = 1 x37126 = 1 x37162 = 1 x37179 = 1 x37195 = 1 x37212 = 1 x37217 = 1 x37246 = 1 x37260 = 1 x37281 = 1 x37294 = 1 x37316 = 1 x37330 = 1 x37343 = 1 x37378 = 1 x37385 = 1 x37401 = 1 x37433 = 1 x37451 = 1 x37454 = 1 x37486 = 1 x37497 = 1 x37524 = 1 x37541 = 1 x37569 = 1 x37578 = 1 x37601 = 1 x37626 = 1 x37651 = 1 x37678 = 1 x37697 = 1 x37716 = 1 x37731 = 1 x37733 = 1 x37755 = 1 x37781 = 1 x37804 = 1 x37823 = 1 x37850 = 1 x37858 = 1 x37870 = 1 x37890 = 1 x37914 = 1 x37945 = 1 x37950 = 1 x37986 = 1 x37998 = 1 x38016 = 1 x38032 = 1 x38054 = 1 x38072 = 1 x38090 = 1 x38112 = 1 x38136 = 1 x38154 = 1 x38165 = 1 x38188 = 1 x38195 = 1 x38221 = 1 x38247 = 1 x38261 = 1 x38285 = 1 x38304 = 1 x38316 = 1 x38342 = 1 x38368 = 1 x38371 = 1 x38395 = 1 x38424 = 1 x38435 = 1 x38453 = 1 x38482 = 1 x38505 = 1 x38527 = 1 x38551 = 1 x38574 = 1 x38598 = 1 x38616 = 1 x38647 = 1 x38662 = 1 x38679 = 1 x38699 = 1 x38705 = 1 x38729 = 1 x38759 = 1 x38785 = 1 x38798 = 1 x38813 = 1 x38832 = 1 x38850 = 1 x38865 = 1 x38886 = 1 x38912 = 1 x38918 = 1 x38940 = 1 x38953 = 1 x38965 = 1 x39007 = 1 x39024 = 1 x39040 = 1 x39065 = 1 x39070 = 1 x39101 = 1 x39115 = 1 x39135 = 1 x39144 = 1 x39165 = 1 x39179 = 1 x39191 = 1 x39228 = 1 x39234 = 1 x39248 = 1 x39280 = 1 x39309 = 1 x39312 = 1 x39355 = 1 x39366 = 1 x39392 = 1 x39409 = 1 x39437 = 1 x39446 = 1 x39469 = 1 x39494 = 1 x39519 = 1 x39543 = 1 x39560 = 1 x39579 = 1 x39611 = 1 x39615 = 1 x39637 = 1 x39666 = 1 x39690 = 1 x39709 = 1 x39745 = 1 x39765 = 1 x39777 = 1 x39793 = 1 x39810 = 1 x39821 = 1 x39825 = 1 x39859 = 1 x39871 = 1 x39905 = 1 x39918 = 1 x39930 = 1 x39948 = 1 x39976 = 1 x39994 = 1 x40020 = 1 x40034 = 1 x40044 = 1 x40072 = 1 x40079 = 1 x40105 = 1 x40141 = 1 x40154 = 1 x40178 = 1 x40197 = 1 x40209 = 1 x40234 = 1 x40261 = 1 x40267 = 1 x40294 = 1 x40313 = 1 x40317 = 1 x40325 = 1 x40348 = 1 x40364 = 1 x40386 = 1 x40410 = 1 x40433 = 1 x40457 = 1 x40475 = 1 x40496 = 1 x40511 = 1 x40533 = 1 x40553 = 1 x40559 = 1 x40579 = 1 x40609 = 1 x40635 = 1 x40647 = 1 x40665 = 1 x40690 = 1 x40711 = 1 x40726 = 1 x40747 = 1 x40781 = 1 x40787 = 1 x40815 = 1 x40838 = 1 x40850 = 1 x40859 = 1 x40870 = 1 x40885 = 1 x40910 = 1 x40915 = 1 x40945 = 1 x40959 = 1 x40984 = 1 x41011 = 1 x41031 = 1 x41051 = 1 x41067 = 1 x41100 = 1 x41110 = 1 x41129 = 1 x41161 = 1 x41190 = 1 x41193 = 1 x41221 = 1 x41232 = 1 x41259 = 1 x41276 = 1 x41304 = 1 x41313 = 1 x41336 = 1 x41361 = 1 x41386 = 1 x41413 = 1 x41432 = 1 x41451 = 1 x41471 = 1 x41474 = 1 x41496 = 1 x41525 = 1 x41549 = 1 x41568 = 1 x41589 = 1 x41593 = 1 x41597 = 1 x41613 = 1 x41633 = 1 x41661 = 1 x41666 = 1 x41702 = 1 x41714 = 1 x41736 = 1 x41753 = 1 x41775 = 1 x41785 = 1 x41807 = 1 x41829 = 1 x41844 = 1 x41862 = 1 x41873 = 1 x41901 = 1 x41908 = 1 x41934 = 1 x41949 = 1 x41963 = 1 x41987 = 1 x42006 = 1 x42018 = 1 x42044 = 1 x42069 = 1 x42070 = 1 x42085 = 1 x42114 = 1 x42125 = 1 x42143 = 1 x42172 = 1 x42195 = 1 x42217 = 1 x42241 = 1 x42264 = 1 x42288 = 1 x42306 = 1 x42333 = 1 x42348 = 1 x42365 = 1 x42385 = 1 x42391 = 1 x42414 = 1 x42444 = 1 x42462 = 1 x42475 = 1 x42488 = 1 x42498 = 1 x42512 = 1 x42527 = 1 x42548 = 1 x42577 = 1 x42583 = 1 x42608 = 1 x42631 = 1 x42643 = 1 x42685 = 1 x42702 = 1 x42718 = 1 x42738 = 1 x42743 = 1 x42774 = 1 x42788 = 1 x42809 = 1 x42830 = 1 x42852 = 1 x42872 = 1 x42888 = 1 x42925 = 1 x42931 = 1 x42940 = 1 x42972 = 1 Feasible FOUND in 279 iterations! First sol: obj=0 time=1958 iter=279 restarts=112 stage=3 1957.29user 1.21system 32:38.39elapsed 100%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+29648outputs (0major+559504minor)pagefaults 0swaps