| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 334 | 3600.23 | 3610.22 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb |
| MD5SUM | eddbc5130f16a1842e21dd4bd4477bf2 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 254 |
| Best CPU time to get the best result obtained on this benchmark | 3558.02 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 10000 |
| Total number of constraints | 656900 |
| Number of constraints which are clauses | 656900 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 99 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 494527 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 99 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 494527 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 2.69/2.78 c #variables 10000 #constraints 656900 4.28/4.39 c bounds 494528 >= 0 @ 2.01522 4.28/4.39 c rational objective 181.5 22.33/22.40 c bounds 6291 >= 0 @ 7.67154 22.33/22.40 c bounds 5939 >= 0 @ 7.6788 22.33/22.40 c bounds 5897 >= 0 @ 7.68766 22.33/22.40 c bounds 5700 >= 0 @ 7.69209 22.33/22.40 c bounds 5632 >= 0 @ 7.69547 22.33/22.40 c bounds 5426 >= 0 @ 7.7022 22.33/22.40 c bounds 5399 >= 0 @ 7.71105 22.33/22.40 c bounds 5307 >= 0 @ 7.71587 22.33/22.40 c bounds 5296 >= 0 @ 7.73253 22.33/22.40 c bounds 5244 >= 0 @ 7.73691 22.33/22.40 c bounds 5240 >= 0 @ 7.74101 22.33/22.40 c bounds 5202 >= 0 @ 7.74739 22.33/22.40 c bounds 5173 >= 0 @ 7.75943 22.33/22.40 c bounds 5111 >= 0 @ 7.76554 22.33/22.40 c bounds 5097 >= 0 @ 7.77504 22.33/22.40 c bounds 5054 >= 0 @ 7.78063 22.33/22.40 c bounds 5021 >= 0 @ 7.78626 22.33/22.40 c bounds 4966 >= 0 @ 7.79297 22.33/22.40 c bounds 4896 >= 0 @ 7.79991 22.33/22.40 c bounds 4870 >= 0 @ 7.81121 22.33/22.40 c bounds 4823 >= 0 @ 7.81865 22.33/22.40 c bounds 4674 >= 0 @ 7.82431 22.33/22.40 c bounds 4661 >= 0 @ 7.8444 22.33/22.40 c #Conflicts: 1000 | #Constraints: 657937 22.33/22.40 c #Conflicts: 2000 | #Constraints: 658956 22.33/22.40 c INPROCESSING 22.33/22.40 c GARBAGE COLLECT 22.33/22.40 c bounds 4658 >= 0 @ 15.1912 22.33/22.40 c bounds 4655 >= 0 @ 15.1975 22.33/22.40 c bounds 4644 >= 0 @ 15.2057 22.33/22.40 c bounds 4627 >= 0 @ 15.2158 22.33/22.40 c bounds 4626 >= 0 @ 15.2294 22.33/22.40 c bounds 4612 >= 0 @ 15.2443 22.33/22.40 c bounds 4553 >= 0 @ 15.2512 22.33/22.40 c bounds 4538 >= 0 @ 15.2616 22.33/22.40 c bounds 4498 >= 0 @ 15.2927 22.33/22.40 c bounds 4475 >= 0 @ 15.3395 22.33/22.40 c bounds 4449 >= 0 @ 15.4405 22.33/22.40 c bounds 4402 >= 0 @ 15.4514 22.33/22.40 c bounds 4339 >= 0 @ 15.4619 22.33/22.40 c bounds 4289 >= 0 @ 15.4714 22.33/22.40 c bounds 4287 >= 0 @ 15.4792 22.33/22.40 c bounds 4215 >= 0 @ 15.4901 22.33/22.40 c bounds 4189 >= 0 @ 15.5024 22.33/22.40 c bounds 4140 >= 0 @ 15.6011 22.33/22.40 c bounds 4109 >= 0 @ 15.6154 22.33/22.40 c bounds 4074 >= 0 @ 15.6248 22.33/22.40 c bounds 4066 >= 0 @ 15.6322 22.33/22.40 c bounds 4028 >= 0 @ 15.6412 22.33/22.40 c bounds 4000 >= 0 @ 15.654 22.33/22.40 c bounds 3928 >= 0 @ 15.6668 22.33/22.40 c bounds 3895 >= 0 @ 15.6756 22.33/22.40 c bounds 3853 >= 0 @ 15.6868 22.33/22.40 c bounds 3845 >= 0 @ 15.6986 22.33/22.40 c bounds 3843 >= 0 @ 15.7057 22.33/22.40 c bounds 3780 >= 0 @ 15.7149 22.33/22.40 c bounds 3756 >= 0 @ 15.7259 22.33/22.40 c bounds 3738 >= 0 @ 15.8245 22.33/22.40 c bounds 3705 >= 0 @ 15.8342 22.33/22.40 c bounds 3686 >= 0 @ 15.8466 22.33/22.40 c bounds 3635 >= 0 @ 15.942 22.33/22.40 c bounds 3606 >= 0 @ 16.0361 22.33/22.40 c bounds 3593 >= 0 @ 16.1235 22.33/22.40 c bounds 3550 >= 0 @ 16.2012 22.33/22.40 c bounds 3522 >= 0 @ 16.3685 22.33/22.40 c bounds 3507 >= 0 @ 16.4538 22.33/22.40 c bounds 3502 >= 0 @ 16.578 22.33/22.40 c bounds 3490 >= 0 @ 16.5928 22.33/22.40 c bounds 3468 >= 0 @ 16.6048 22.33/22.40 c bounds 3445 >= 0 @ 16.6184 22.33/22.40 c bounds 3377 >= 0 @ 16.6344 22.33/22.40 c bounds 3367 >= 0 @ 16.6511 22.33/22.40 c bounds 3348 >= 0 @ 16.6647 22.33/22.40 c bounds 3312 >= 0 @ 16.6755 22.33/22.40 c bounds 3294 >= 0 @ 16.6899 22.33/22.40 c bounds 3252 >= 0 @ 16.7061 22.33/22.40 c bounds 3240 >= 0 @ 16.7209 22.33/22.40 c bounds 3224 >= 0 @ 16.7384 22.33/22.40 c bounds 3223 >= 0 @ 16.765 22.33/22.40 c bounds 3217 >= 0 @ 16.8848 22.33/22.40 c bounds 3178 >= 0 @ 16.9789 22.33/22.40 c bounds 3174 >= 0 @ 16.9965 22.33/22.40 c bounds 3172 >= 0 @ 17.0871 22.33/22.40 c bounds 3149 >= 0 @ 17.1052 22.33/22.40 c bounds 3095 >= 0 @ 17.1918 22.33/22.40 c bounds 3090 >= 0 @ 17.2042 22.33/22.40 c bounds 3084 >= 0 @ 17.3141 22.33/22.40 c bounds 3079 >= 0 @ 17.3323 22.33/22.40 c bounds 3051 >= 0 @ 17.431 22.33/22.40 c bounds 2980 >= 0 @ 17.4604 22.33/22.40 c bounds 2966 >= 0 @ 17.4767 22.33/22.40 c bounds 2951 >= 0 @ 17.4944 22.33/22.40 c bounds 2945 >= 0 @ 17.592 22.33/22.40 c bounds 2944 >= 0 @ 17.6031 22.33/22.40 c bounds 2930 >= 0 @ 17.618 22.33/22.40 c bounds 2926 >= 0 @ 17.7124 22.33/22.40 c bounds 2912 >= 0 @ 17.8178 22.33/22.40 c bounds 2900 >= 0 @ 17.8345 22.33/22.40 c bounds 2894 >= 0 @ 17.8477 22.33/22.40 c bounds 2850 >= 0 @ 17.9412 22.33/22.40 c bounds 2836 >= 0 @ 17.9584 22.33/22.40 c bounds 2785 >= 0 @ 18.0776 22.33/22.40 c bounds 2764 >= 0 @ 18.0933 22.33/22.40 c bounds 2739 >= 0 @ 18.1105 22.33/22.40 c bounds 2733 >= 0 @ 18.1228 22.33/22.40 c bounds 2700 >= 0 @ 18.2306 22.33/22.40 c bounds 2673 >= 0 @ 18.8244 22.33/22.40 c bounds 2652 >= 0 @ 18.9598 22.33/22.40 c bounds 2633 >= 0 @ 18.9992 22.33/22.40 c bounds 2611 >= 0 @ 19.0093 22.33/22.40 c bounds 2609 >= 0 @ 19.1211 22.33/22.40 c bounds 2590 >= 0 @ 19.1331 22.33/22.40 c bounds 2574 >= 0 @ 19.1468 22.33/22.40 c bounds 2548 >= 0 @ 19.1611 22.33/22.40 c bounds 2541 >= 0 @ 19.1914 22.33/22.40 c bounds 2534 >= 0 @ 19.2024 22.33/22.40 c bounds 2530 >= 0 @ 19.2157 22.33/22.40 c bounds 2519 >= 0 @ 19.3278 22.33/22.40 c bounds 2499 >= 0 @ 19.435 22.33/22.40 c bounds 2487 >= 0 @ 19.5425 22.33/22.40 c bounds 2466 >= 0 @ 19.561 22.33/22.40 c bounds 2438 >= 0 @ 19.9816 22.33/22.40 c bounds 2395 >= 0 @ 20.0062 22.33/22.40 c bounds 2375 >= 0 @ 20.0184 22.33/22.40 c bounds 2353 >= 0 @ 20.1357 22.33/22.40 c bounds 2325 >= 0 @ 20.3272 22.33/22.40 c bounds 2318 >= 0 @ 20.3442 22.33/22.40 c bounds 2295 >= 0 @ 20.3604 22.33/22.40 c bounds 2280 >= 0 @ 20.3751 22.33/22.40 c bounds 2222 >= 0 @ 20.4848 22.33/22.40 c bounds 2209 >= 0 @ 20.5989 22.33/22.40 c bounds 2183 >= 0 @ 20.6095 22.33/22.40 c bounds 2179 >= 0 @ 20.6182 22.33/22.40 c bounds 2178 >= 0 @ 20.6337 22.33/22.40 c bounds 2177 >= 0 @ 20.7402 22.33/22.40 c bounds 2146 >= 0 @ 20.7506 22.33/22.40 c bounds 2141 >= 0 @ 20.7697 22.33/22.40 c bounds 2140 >= 0 @ 20.8819 22.33/22.40 c bounds 2111 >= 0 @ 20.8973 22.33/22.40 c bounds 2091 >= 0 @ 20.9106 22.33/22.40 c bounds 2090 >= 0 @ 20.9961 90.54/90.85 c bounds 2078 >= 0 @ 21.168 90.54/90.85 c bounds 2067 >= 0 @ 21.1857 90.54/90.85 c bounds 2026 >= 0 @ 21.2059 90.54/90.85 c bounds 2017 >= 0 @ 21.2995 90.54/90.85 c bounds 2014 >= 0 @ 21.4108 90.54/90.85 c bounds 2011 >= 0 @ 21.4266 90.54/90.85 c bounds 1996 >= 0 @ 21.5555 90.54/90.85 c bounds 1982 >= 0 @ 21.6669 90.54/90.85 c bounds 1964 >= 0 @ 21.6849 90.54/90.85 c bounds 1953 >= 0 @ 21.7042 90.54/90.85 c bounds 1952 >= 0 @ 21.8092 90.54/90.85 c bounds 1949 >= 0 @ 21.8263 90.54/90.85 c bounds 1948 >= 0 @ 21.8385 90.54/90.85 c bounds 1941 >= 0 @ 22.0145 90.54/90.85 c bounds 1930 >= 0 @ 22.1267 90.54/90.85 c bounds 1922 >= 0 @ 22.1619 90.54/90.85 c bounds 1894 >= 0 @ 22.2796 90.54/90.85 c bounds 1884 >= 0 @ 22.2975 90.54/90.85 c bounds 1879 >= 0 @ 22.3106 90.54/90.85 c bounds 1873 >= 0 @ 22.411 90.54/90.85 c bounds 1864 >= 0 @ 22.4293 90.54/90.85 c bounds 1839 >= 0 @ 22.4419 90.54/90.85 c bounds 1799 >= 0 @ 22.5327 90.54/90.85 c bounds 1795 >= 0 @ 22.548 90.54/90.85 c bounds 1793 >= 0 @ 22.8251 90.54/90.85 c bounds 1789 >= 0 @ 22.8464 90.54/90.85 c bounds 1786 >= 0 @ 22.9608 90.54/90.85 c bounds 1785 >= 0 @ 23.181 90.54/90.85 c bounds 1769 >= 0 @ 23.2921 90.54/90.85 c bounds 1756 >= 0 @ 23.3148 90.54/90.85 c bounds 1745 >= 0 @ 23.3352 90.54/90.85 c bounds 1710 >= 0 @ 23.3599 90.54/90.85 c bounds 1706 >= 0 @ 23.464 90.54/90.85 c bounds 1705 >= 0 @ 23.5635 90.54/90.85 c bounds 1695 >= 0 @ 23.6808 90.54/90.85 c bounds 1690 >= 0 @ 23.7206 90.54/90.85 c bounds 1687 >= 0 @ 23.8336 90.54/90.85 c bounds 1685 >= 0 @ 25.3251 90.54/90.85 c #Conflicts: 3000 | #Constraints: 659125 90.54/90.85 c bounds 1678 >= 0 @ 26.9988 90.54/90.85 c bounds 1674 >= 0 @ 27.0638 90.54/90.85 c bounds 1673 >= 0 @ 27.1216 90.54/90.85 c bounds 1669 >= 0 @ 27.1559 90.54/90.85 c bounds 1662 >= 0 @ 27.1972 90.54/90.85 c bounds 1661 >= 0 @ 27.327 90.54/90.85 c bounds 1646 >= 0 @ 27.3587 90.54/90.85 c bounds 1634 >= 0 @ 27.3888 90.54/90.85 c bounds 1626 >= 0 @ 27.4171 90.54/90.85 c bounds 1623 >= 0 @ 27.532 90.54/90.85 c bounds 1620 >= 0 @ 27.574 90.54/90.85 c bounds 1615 >= 0 @ 27.6121 90.54/90.85 c bounds 1576 >= 0 @ 27.7265 90.54/90.85 c bounds 1572 >= 0 @ 27.8543 90.54/90.85 c bounds 1570 >= 0 @ 27.877 90.54/90.85 c bounds 1561 >= 0 @ 27.9184 90.54/90.85 c bounds 1560 >= 0 @ 27.9429 90.54/90.85 c bounds 1553 >= 0 @ 28.0405 90.54/90.85 c bounds 1547 >= 0 @ 28.1588 90.54/90.85 c bounds 1494 >= 0 @ 28.1935 90.54/90.85 c bounds 1451 >= 0 @ 28.2248 90.54/90.85 c bounds 1447 >= 0 @ 28.2562 90.54/90.85 c bounds 1433 >= 0 @ 28.3673 90.54/90.85 c bounds 1431 >= 0 @ 28.3916 90.54/90.85 c bounds 1428 >= 0 @ 28.4123 90.54/90.85 c bounds 1418 >= 0 @ 28.54 90.54/90.85 c bounds 1413 >= 0 @ 28.5655 90.54/90.85 c bounds 1411 >= 0 @ 28.6021 90.54/90.85 c bounds 1408 >= 0 @ 28.7147 90.54/90.85 c bounds 1404 >= 0 @ 28.7645 90.54/90.85 c bounds 1398 >= 0 @ 28.8764 90.54/90.85 c bounds 1370 >= 0 @ 28.9161 90.54/90.85 c bounds 1354 >= 0 @ 28.9431 90.54/90.85 c bounds 1351 >= 0 @ 28.9744 90.54/90.85 c bounds 1338 >= 0 @ 29.1056 90.54/90.85 c bounds 1336 >= 0 @ 29.497 90.54/90.85 c bounds 1314 >= 0 @ 29.5216 90.54/90.85 c bounds 1313 >= 0 @ 31.0426 90.54/90.85 c bounds 1312 >= 0 @ 31.3094 90.54/90.85 c bounds 1308 >= 0 @ 31.5294 90.54/90.85 c bounds 1298 >= 0 @ 31.5657 90.54/90.85 c bounds 1277 >= 0 @ 31.6162 90.54/90.85 c bounds 1268 >= 0 @ 31.657 90.54/90.85 c bounds 1253 >= 0 @ 31.6992 90.54/90.85 c bounds 1250 >= 0 @ 31.8261 90.54/90.85 c bounds 1246 >= 0 @ 31.8586 90.54/90.85 c bounds 1243 >= 0 @ 31.9116 90.54/90.85 c bounds 1238 >= 0 @ 32.8895 90.54/90.85 c #Conflicts: 4000 | #Constraints: 660214 90.54/90.85 c bounds 1217 >= 0 @ 34.1941 90.54/90.85 c INPROCESSING 90.54/90.85 c GARBAGE COLLECT 90.54/90.85 c #Conflicts: 5000 | #Constraints: 659375 90.54/90.85 c #Conflicts: 6000 | #Constraints: 660387 90.54/90.85 c INPROCESSING 90.54/90.85 c GARBAGE COLLECT 90.54/90.85 c bounds 1216 >= 0 @ 85.3486 90.54/90.85 c bounds 1210 >= 0 @ 85.3777 90.54/90.85 c bounds 1208 >= 0 @ 85.427 90.54/90.85 c bounds 1204 >= 0 @ 85.4536 90.54/90.85 c bounds 1197 >= 0 @ 85.4826 90.54/90.85 c bounds 1195 >= 0 @ 85.5184 90.54/90.85 c bounds 1178 >= 0 @ 85.5466 90.54/90.85 c bounds 1162 >= 0 @ 85.8023 90.54/90.85 c bounds 1158 >= 0 @ 85.8493 90.54/90.85 c bounds 1140 >= 0 @ 85.8826 90.54/90.85 c bounds 1138 >= 0 @ 85.9048 90.54/90.85 c bounds 1137 >= 0 @ 85.9265 90.54/90.85 c bounds 1127 >= 0 @ 86.0882 90.54/90.85 c bounds 1116 >= 0 @ 86.12 90.54/90.85 c bounds 1108 >= 0 @ 86.1543 90.54/90.85 c bounds 1096 >= 0 @ 86.2793 90.54/90.85 c bounds 1076 >= 0 @ 86.3133 90.54/90.85 c bounds 1074 >= 0 @ 86.3374 90.54/90.85 c bounds 1072 >= 0 @ 86.4448 90.54/90.85 c bounds 1057 >= 0 @ 86.664 90.54/90.85 c bounds 1049 >= 0 @ 86.6933 90.54/90.85 c bounds 1047 >= 0 @ 86.7252 90.54/90.85 c bounds 1043 >= 0 @ 86.9266 90.54/90.85 c bounds 1039 >= 0 @ 87.0501 90.54/90.85 c bounds 1021 >= 0 @ 87.0851 90.54/90.85 c bounds 1011 >= 0 @ 87.1142 90.54/90.85 c bounds 1002 >= 0 @ 87.1575 90.54/90.85 c bounds 1001 >= 0 @ 87.1834 90.54/90.85 c bounds 996 >= 0 @ 87.2109 90.54/90.85 c bounds 992 >= 0 @ 87.34 90.54/90.85 c bounds 973 >= 0 @ 87.3648 90.54/90.85 c bounds 963 >= 0 @ 87.3891 90.54/90.85 c bounds 954 >= 0 @ 87.4229 90.54/90.85 c bounds 953 >= 0 @ 87.4439 90.54/90.85 c bounds 947 >= 0 @ 87.47 90.54/90.85 c bounds 946 >= 0 @ 87.5016 90.54/90.85 c bounds 940 >= 0 @ 87.6289 90.54/90.85 c bounds 939 >= 0 @ 87.8018 90.54/90.85 c bounds 932 >= 0 @ 87.8376 90.54/90.85 c bounds 928 >= 0 @ 87.8693 90.54/90.85 c bounds 927 >= 0 @ 87.902 90.54/90.85 c bounds 925 >= 0 @ 88.0179 90.54/90.85 c bounds 923 >= 0 @ 88.1447 90.54/90.85 c bounds 921 >= 0 @ 88.2661 90.54/90.85 c bounds 920 >= 0 @ 88.2935 90.54/90.85 c bounds 916 >= 0 @ 88.3245 90.54/90.85 c bounds 910 >= 0 @ 88.3606 225.47/226.11 c bounds 908 >= 0 @ 88.3867 225.47/226.11 c bounds 900 >= 0 @ 88.5168 225.47/226.11 c bounds 892 >= 0 @ 88.5544 225.47/226.11 c bounds 891 >= 0 @ 88.5903 225.47/226.11 c bounds 867 >= 0 @ 88.6251 225.47/226.11 c bounds 861 >= 0 @ 88.7539 225.47/226.11 c bounds 860 >= 0 @ 88.7942 225.47/226.11 c bounds 859 >= 0 @ 88.8306 225.47/226.11 c bounds 849 >= 0 @ 88.8666 225.47/226.11 c bounds 827 >= 0 @ 88.9946 225.47/226.11 c bounds 808 >= 0 @ 89.1349 225.47/226.11 c bounds 807 >= 0 @ 89.1768 225.47/226.11 c bounds 805 >= 0 @ 89.3042 225.47/226.11 c bounds 802 >= 0 @ 89.3306 225.47/226.11 c #Conflicts: 7000 | #Constraints: 659442 225.47/226.11 c bounds 801 >= 0 @ 89.7869 225.47/226.11 c bounds 799 >= 0 @ 89.9446 225.47/226.11 c bounds 789 >= 0 @ 90.6613 225.47/226.11 c #Conflicts: 8000 | #Constraints: 660466 225.47/226.11 c bounds 787 >= 0 @ 97.1327 225.47/226.11 c bounds 779 >= 0 @ 97.3828 225.47/226.11 c bounds 778 >= 0 @ 97.6091 225.47/226.11 c bounds 770 >= 0 @ 97.9412 225.47/226.11 c bounds 769 >= 0 @ 98.3781 225.47/226.11 c #Conflicts: 9000 | #Constraints: 661491 225.47/226.11 c INPROCESSING 225.47/226.11 c GARBAGE COLLECT 225.47/226.11 c bounds 757 >= 0 @ 133.611 225.47/226.11 c bounds 756 >= 0 @ 133.717 225.47/226.11 c bounds 755 >= 0 @ 133.756 225.47/226.11 c bounds 751 >= 0 @ 133.811 225.47/226.11 c bounds 742 >= 0 @ 133.861 225.47/226.11 c bounds 738 >= 0 @ 134.061 225.47/226.11 c bounds 737 >= 0 @ 134.093 225.47/226.11 c bounds 736 >= 0 @ 134.366 225.47/226.11 c bounds 734 >= 0 @ 134.401 225.47/226.11 c bounds 728 >= 0 @ 134.447 225.47/226.11 c bounds 722 >= 0 @ 134.611 225.47/226.11 c bounds 719 >= 0 @ 134.783 225.47/226.11 c bounds 713 >= 0 @ 134.807 225.47/226.11 c bounds 712 >= 0 @ 134.838 225.47/226.11 c bounds 706 >= 0 @ 134.873 225.47/226.11 c bounds 681 >= 0 @ 134.895 225.47/226.11 c bounds 679 >= 0 @ 135.107 225.47/226.11 c bounds 678 >= 0 @ 135.145 225.47/226.11 c bounds 673 >= 0 @ 135.177 225.47/226.11 c bounds 670 >= 0 @ 135.208 225.47/226.11 c bounds 660 >= 0 @ 135.24 225.47/226.11 c bounds 657 >= 0 @ 135.277 225.47/226.11 c bounds 652 >= 0 @ 135.326 225.47/226.11 c bounds 649 >= 0 @ 135.46 225.47/226.11 c bounds 648 >= 0 @ 135.598 225.47/226.11 c bounds 644 >= 0 @ 135.642 225.47/226.11 c bounds 643 >= 0 @ 135.67 225.47/226.11 c bounds 642 >= 0 @ 135.747 225.47/226.11 c bounds 638 >= 0 @ 135.782 225.47/226.11 c bounds 636 >= 0 @ 135.812 225.47/226.11 c bounds 634 >= 0 @ 135.953 225.47/226.11 c bounds 632 >= 0 @ 136.039 225.47/226.11 c bounds 630 >= 0 @ 136.154 225.47/226.11 c bounds 628 >= 0 @ 136.301 225.47/226.11 c bounds 621 >= 0 @ 137.274 225.47/226.11 c bounds 619 >= 0 @ 137.667 225.47/226.11 c bounds 618 >= 0 @ 138.698 225.47/226.11 c bounds 608 >= 0 @ 139.374 225.47/226.11 c bounds 604 >= 0 @ 139.916 225.47/226.11 c bounds 602 >= 0 @ 140.354 225.47/226.11 c bounds 586 >= 0 @ 140.532 225.47/226.11 c bounds 584 >= 0 @ 140.733 225.47/226.11 c bounds 579 >= 0 @ 140.801 225.47/226.11 c bounds 578 >= 0 @ 140.939 225.47/226.11 c bounds 573 >= 0 @ 141.115 225.47/226.11 c #Conflicts: 10000 | #Constraints: 660146 225.47/226.11 c bounds 569 >= 0 @ 141.598 225.47/226.11 c bounds 564 >= 0 @ 141.929 225.47/226.11 c bounds 561 >= 0 @ 142.87 225.47/226.11 c bounds 559 >= 0 @ 143.261 225.47/226.11 c bounds 557 >= 0 @ 143.615 225.47/226.11 c bounds 554 >= 0 @ 144.095 225.47/226.11 c #Conflicts: 11000 | #Constraints: 661182 225.47/226.11 c bounds 553 >= 0 @ 150.123 225.47/226.11 c #Conflicts: 12000 | #Constraints: 662199 225.47/226.11 c INPROCESSING 225.47/226.11 c GARBAGE COLLECT 225.47/226.11 c #Conflicts: 13000 | #Constraints: 660544 225.47/226.11 c #Conflicts: 14000 | #Constraints: 661554 225.47/226.11 c #Conflicts: 15000 | #Constraints: 662564 225.47/226.11 c INPROCESSING 225.47/226.11 c GARBAGE COLLECT 225.47/226.11 c bounds 552 >= 0 @ 180.885 225.47/226.11 c bounds 551 >= 0 @ 180.984 225.47/226.11 c bounds 547 >= 0 @ 183.508 225.47/226.11 c bounds 546 >= 0 @ 183.569 225.47/226.11 c bounds 540 >= 0 @ 184.482 225.47/226.11 c bounds 539 >= 0 @ 184.638 225.47/226.11 c bounds 537 >= 0 @ 184.828 225.47/226.11 c bounds 536 >= 0 @ 185.359 225.47/226.11 c bounds 534 >= 0 @ 185.683 225.47/226.11 c bounds 531 >= 0 @ 185.713 225.47/226.11 c bounds 529 >= 0 @ 185.834 225.47/226.11 c bounds 527 >= 0 @ 185.978 225.47/226.11 c bounds 522 >= 0 @ 186.191 225.47/226.11 c bounds 518 >= 0 @ 187.161 225.47/226.11 c bounds 517 >= 0 @ 189.581 225.47/226.11 c bounds 514 >= 0 @ 190.075 225.47/226.11 c #Conflicts: 16000 | #Constraints: 660788 225.47/226.11 c bounds 513 >= 0 @ 191.184 225.47/226.11 c #Conflicts: 17000 | #Constraints: 661806 225.47/226.11 c bounds 511 >= 0 @ 203.683 225.47/226.11 c #Conflicts: 18000 | #Constraints: 662826 225.47/226.11 c INPROCESSING 225.47/226.11 c GARBAGE COLLECT 225.47/226.11 c rational objective 182.875 313.53/314.43 c bounds 505 >= 0 @ 230.535 313.53/314.43 c bounds 501 >= 0 @ 230.578 313.53/314.43 c #Conflicts: 19000 | #Constraints: 660785 313.53/314.43 c bounds 500 >= 0 @ 237.884 313.53/314.43 c #Conflicts: 20000 | #Constraints: 661797 313.53/314.43 c #Conflicts: 21000 | #Constraints: 662810 313.53/314.43 c INPROCESSING 313.53/314.43 c GARBAGE COLLECT 313.53/314.43 c bounds 499 >= 0 @ 259.145 313.53/314.43 c bounds 498 >= 0 @ 259.42 313.53/314.43 c bounds 497 >= 0 @ 260.033 313.53/314.43 c bounds 495 >= 0 @ 262.125 313.53/314.43 c #Conflicts: 22000 | #Constraints: 660578 313.53/314.43 c bounds 487 >= 0 @ 266.854 313.53/314.43 c #Conflicts: 23000 | #Constraints: 661601 313.53/314.43 c #Conflicts: 24000 | #Constraints: 662612 313.53/314.43 c #Conflicts: 25000 | #Constraints: 663618 313.53/314.43 c INPROCESSING 313.53/314.43 c GARBAGE COLLECT 313.53/314.43 c rational objective 185.312 495.47/496.91 c bounds 481 >= 0 @ 313.944 495.47/496.91 c bounds 478 >= 0 @ 314.018 495.47/496.91 c #Conflicts: 26000 | #Constraints: 661193 495.47/496.91 c bounds 472 >= 0 @ 320.848 495.47/496.91 c bounds 470 >= 0 @ 321.355 495.47/496.91 c bounds 469 >= 0 @ 321.416 495.47/496.91 c bounds 468 >= 0 @ 321.959 495.47/496.91 c bounds 467 >= 0 @ 322.008 495.47/496.91 c bounds 466 >= 0 @ 322.166 495.47/496.91 c bounds 465 >= 0 @ 322.22 495.47/496.91 c bounds 460 >= 0 @ 322.284 495.47/496.91 c #Conflicts: 27000 | #Constraints: 662223 495.47/496.91 c bounds 455 >= 0 @ 331.777 495.47/496.91 c #Conflicts: 28000 | #Constraints: 663236 495.47/496.91 c #Conflicts: 29000 | #Constraints: 664243 495.47/496.91 c INPROCESSING 495.47/496.91 c GARBAGE COLLECT 495.47/496.91 c bounds 454 >= 0 @ 353.976 495.47/496.91 c bounds 440 >= 0 @ 354.149 495.47/496.91 c #Conflicts: 30000 | #Constraints: 661599 495.47/496.91 c bounds 438 >= 0 @ 365.417 495.47/496.91 c #Conflicts: 31000 | #Constraints: 662617 495.47/496.91 c #Conflicts: 32000 | #Constraints: 663625 495.47/496.91 c #Conflicts: 33000 | #Constraints: 664634 495.47/496.91 c INPROCESSING 495.47/496.91 c GARBAGE COLLECT 495.47/496.91 c rational objective 186.375 807.83/810.19 c #Conflicts: 34000 | #Constraints: 661796 807.83/810.19 c bounds 437 >= 0 @ 509.993 807.83/810.19 c bounds 436 >= 0 @ 510.125 807.83/810.19 c #Conflicts: 35000 | #Constraints: 662814 807.83/810.19 c #Conflicts: 36000 | #Constraints: 663826 807.83/810.19 c #Conflicts: 37000 | #Constraints: 664834 807.83/810.19 c INPROCESSING 807.83/810.19 c GARBAGE COLLECT 807.83/810.19 c #Conflicts: 38000 | #Constraints: 661791 807.83/810.19 c bounds 435 >= 0 @ 549.144 807.83/810.19 c bounds 433 >= 0 @ 549.284 807.83/810.19 c #Conflicts: 39000 | #Constraints: 662805 807.83/810.19 c #Conflicts: 40000 | #Constraints: 663823 807.83/810.19 c #Conflicts: 41000 | #Constraints: 664835 807.83/810.19 c INPROCESSING 807.83/810.19 c GARBAGE COLLECT 807.83/810.19 c #Conflicts: 42000 | #Constraints: 661598 807.83/810.19 c #Conflicts: 43000 | #Constraints: 662607 807.83/810.19 c #Conflicts: 44000 | #Constraints: 663617 807.83/810.19 c #Conflicts: 45000 | #Constraints: 664627 807.83/810.19 c #Conflicts: 46000 | #Constraints: 665635 807.83/810.19 c INPROCESSING 807.83/810.19 c GARBAGE COLLECT 807.83/810.19 c rational objective 187.667 1169.72/1173.05 c bounds 429 >= 0 @ 807.719 1169.72/1173.05 c bounds 428 >= 0 @ 810.061 1169.72/1173.05 c bounds 424 >= 0 @ 811.19 1169.72/1173.05 c bounds 399 >= 0 @ 812.157 1169.72/1173.05 c bounds 397 >= 0 @ 813.159 1169.72/1173.05 c #Conflicts: 47000 | #Constraints: 662210 1169.72/1173.05 c #Conflicts: 48000 | #Constraints: 663222 1169.72/1173.05 c bounds 396 >= 0 @ 831.971 1169.72/1173.05 c #Conflicts: 49000 | #Constraints: 664242 1169.72/1173.05 c #Conflicts: 50000 | #Constraints: 665260 1169.72/1173.05 c bounds 395 >= 0 @ 864.199 1169.72/1173.05 c #Conflicts: 51000 | #Constraints: 666276 1169.72/1173.05 c INPROCESSING 1169.72/1173.05 c GARBAGE COLLECT 1169.72/1173.05 c #Conflicts: 52000 | #Constraints: 662617 1169.72/1173.05 c #Conflicts: 53000 | #Constraints: 663627 1169.72/1173.05 c #Conflicts: 54000 | #Constraints: 664638 1169.72/1173.05 c #Conflicts: 55000 | #Constraints: 665646 1169.72/1173.05 c #Conflicts: 56000 | #Constraints: 666653 1169.72/1173.05 c INPROCESSING 1169.72/1173.05 c GARBAGE COLLECT 1169.72/1173.05 c bounds 394 >= 0 @ 934.82 1169.72/1173.05 c bounds 392 >= 0 @ 934.882 1169.72/1173.05 c bounds 391 >= 0 @ 935.796 1169.72/1173.05 c bounds 389 >= 0 @ 936.626 1169.72/1173.05 c bounds 388 >= 0 @ 937.973 1169.72/1173.05 c bounds 387 >= 0 @ 941.066 1169.72/1173.05 c bounds 383 >= 0 @ 941.128 1169.72/1173.05 c bounds 382 >= 0 @ 943.047 1169.72/1173.05 c bounds 381 >= 0 @ 943.326 1169.72/1173.05 c #Conflicts: 57000 | #Constraints: 662814 1169.72/1173.05 c #Conflicts: 58000 | #Constraints: 663832 1169.72/1173.05 c bounds 377 >= 0 @ 960.776 1169.72/1173.05 c bounds 372 >= 0 @ 967.642 1169.72/1173.05 c bounds 369 >= 0 @ 968.133 1169.72/1173.05 c #Conflicts: 59000 | #Constraints: 664857 1169.72/1173.05 c bounds 368 >= 0 @ 981.821 1169.72/1173.05 c #Conflicts: 60000 | #Constraints: 665876 1169.72/1173.05 c #Conflicts: 61000 | #Constraints: 666887 1169.72/1173.05 c INPROCESSING 1169.72/1173.05 c GARBAGE COLLECT 1169.72/1173.05 c rational objective 189.034 1457.62/1461.73 c #Conflicts: 62000 | #Constraints: 662815 1457.62/1461.73 c #Conflicts: 63000 | #Constraints: 663831 1457.62/1461.73 c #Conflicts: 64000 | #Constraints: 664842 1457.62/1461.73 c #Conflicts: 65000 | #Constraints: 665856 1457.62/1461.73 c #Conflicts: 66000 | #Constraints: 666862 1457.62/1461.73 c INPROCESSING 1457.62/1461.73 c GARBAGE COLLECT 1457.62/1461.73 c #Conflicts: 67000 | #Constraints: 662602 1457.62/1461.73 c #Conflicts: 68000 | #Constraints: 663613 1457.62/1461.73 c #Conflicts: 69000 | #Constraints: 664620 1457.62/1461.73 c #Conflicts: 70000 | #Constraints: 665628 1457.62/1461.73 c #Conflicts: 71000 | #Constraints: 666637 1457.62/1461.73 c #Conflicts: 72000 | #Constraints: 667642 1457.62/1461.73 c INPROCESSING 1457.62/1461.73 c GARBAGE COLLECT 1457.62/1461.73 c #Conflicts: 73000 | #Constraints: 663189 1457.62/1461.73 c #Conflicts: 74000 | #Constraints: 664194 1457.62/1461.73 c #Conflicts: 75000 | #Constraints: 665201 1457.62/1461.73 c #Conflicts: 76000 | #Constraints: 666204 1457.62/1461.73 c #Conflicts: 77000 | #Constraints: 667211 1457.62/1461.73 c #Conflicts: 78000 | #Constraints: 668216 1457.62/1461.73 c INPROCESSING 1457.62/1461.73 c GARBAGE COLLECT 1457.62/1461.73 c rational objective 189.444 1704.15/1708.95 c #Conflicts: 79000 | #Constraints: 663576 1704.15/1708.95 c #Conflicts: 80000 | #Constraints: 664584 1704.15/1708.95 c #Conflicts: 81000 | #Constraints: 665590 1704.15/1708.95 c #Conflicts: 82000 | #Constraints: 666594 1704.15/1708.95 c #Conflicts: 83000 | #Constraints: 667598 1704.15/1708.95 c #Conflicts: 84000 | #Constraints: 668601 1704.15/1708.95 c INPROCESSING 1704.15/1708.95 c GARBAGE COLLECT 1704.15/1708.95 c bounds 364 >= 0 @ 1564.89 1704.15/1708.95 c #Conflicts: 85000 | #Constraints: 663781 1704.15/1708.95 c bounds 363 >= 0 @ 1582.77 1704.15/1708.95 c bounds 362 >= 0 @ 1582.86 1704.15/1708.95 c bounds 360 >= 0 @ 1585.95 1704.15/1708.95 c #Conflicts: 86000 | #Constraints: 664803 1704.15/1708.95 c bounds 359 >= 0 @ 1589.49 1704.15/1708.95 c bounds 357 >= 0 @ 1590.49 1704.15/1708.95 c #Conflicts: 87000 | #Constraints: 665824 1704.15/1708.95 c #Conflicts: 88000 | #Constraints: 666832 1704.15/1708.95 c #Conflicts: 89000 | #Constraints: 667839 1704.15/1708.95 c #Conflicts: 90000 | #Constraints: 668845 1704.15/1708.95 c INPROCESSING 1704.15/1708.95 c GARBAGE COLLECT 1704.15/1708.95 c rational objective 189.465 1783.63/1788.69 c #Conflicts: 91000 | #Constraints: 663795 1783.63/1788.69 c #Conflicts: 92000 | #Constraints: 664795 1783.63/1788.69 c #Conflicts: 93000 | #Constraints: 665797 1783.63/1788.69 c #Conflicts: 94000 | #Constraints: 666797 1783.63/1788.69 c #Conflicts: 95000 | #Constraints: 667799 1783.63/1788.69 c #Conflicts: 96000 | #Constraints: 668801 1783.63/1788.69 c INPROCESSING 1783.63/1788.69 c rational objective 189.465 2179.57/2185.75 c #Conflicts: 97000 | #Constraints: 663581 2179.57/2185.75 c #Conflicts: 98000 | #Constraints: 664585 2179.57/2185.75 c #Conflicts: 99000 | #Constraints: 665593 2179.57/2185.75 c #Conflicts: 100000 | #Constraints: 666602 2179.57/2185.75 c #Conflicts: 101000 | #Constraints: 667607 2179.57/2185.75 c #Conflicts: 102000 | #Constraints: 668612 2179.57/2185.75 c #Conflicts: 103000 | #Constraints: 669615 2179.57/2185.75 c INPROCESSING 2179.57/2185.75 c GARBAGE COLLECT 2179.57/2185.75 c #Conflicts: 104000 | #Constraints: 664180 2179.57/2185.75 c #Conflicts: 105000 | #Constraints: 665195 2179.57/2185.75 c #Conflicts: 106000 | #Constraints: 666204 2179.57/2185.75 c #Conflicts: 107000 | #Constraints: 667215 2179.57/2185.75 c #Conflicts: 108000 | #Constraints: 668229 2179.57/2185.75 c bounds 356 >= 0 @ 1961.54 2179.57/2185.75 c #Conflicts: 109000 | #Constraints: 669243 2179.57/2185.75 c #Conflicts: 110000 | #Constraints: 670250 2179.57/2185.75 c INPROCESSING 2179.57/2185.75 c GARBAGE COLLECT 2179.57/2185.75 c rational objective 189.468 2472.69/2479.68 c #Conflicts: 111000 | #Constraints: 664602 2472.69/2479.68 c #Conflicts: 112000 | #Constraints: 665611 2472.69/2479.68 c #Conflicts: 113000 | #Constraints: 666616 2472.69/2479.68 c #Conflicts: 114000 | #Constraints: 667622 2472.69/2479.68 c #Conflicts: 115000 | #Constraints: 668629 2472.69/2479.68 c #Conflicts: 116000 | #Constraints: 669633 2472.69/2479.68 c #Conflicts: 117000 | #Constraints: 670640 2472.69/2479.68 c INPROCESSING 2472.69/2479.68 c GARBAGE COLLECT 2472.69/2479.68 c #Conflicts: 118000 | #Constraints: 664789 2472.69/2479.68 c #Conflicts: 119000 | #Constraints: 665792 2472.69/2479.68 c #Conflicts: 120000 | #Constraints: 666799 2472.69/2479.68 c #Conflicts: 121000 | #Constraints: 667802 2472.69/2479.68 c #Conflicts: 122000 | #Constraints: 668808 2472.69/2479.68 c #Conflicts: 123000 | #Constraints: 669814 2472.69/2479.68 c #Conflicts: 124000 | #Constraints: 670823 2472.69/2479.68 c INPROCESSING 2472.69/2479.68 c GARBAGE COLLECT 2472.69/2479.68 c rational objective 189.468 2788.65/2796.48 c #Conflicts: 125000 | #Constraints: 664778 2788.65/2796.48 c #Conflicts: 126000 | #Constraints: 665792 2788.65/2796.48 c bounds 355 >= 0 @ 2499.19 2788.65/2796.48 c bounds 353 >= 0 @ 2505.48 2788.65/2796.48 c #Conflicts: 127000 | #Constraints: 666806 2788.65/2796.48 c #Conflicts: 128000 | #Constraints: 667824 2788.65/2796.48 c bounds 352 >= 0 @ 2527.55 2788.65/2796.48 c #Conflicts: 129000 | #Constraints: 668841 2788.65/2796.48 c bounds 351 >= 0 @ 2549.61 2788.65/2796.48 c bounds 350 >= 0 @ 2551.15 2788.65/2796.48 c bounds 349 >= 0 @ 2551.33 2788.65/2796.48 c bounds 348 >= 0 @ 2551.54 2788.65/2796.48 c bounds 346 >= 0 @ 2553.82 2788.65/2796.48 c bounds 344 >= 0 @ 2562.99 2788.65/2796.48 c bounds 342 >= 0 @ 2563.16 2788.65/2796.48 c #Conflicts: 130000 | #Constraints: 669857 2788.65/2796.48 c #Conflicts: 131000 | #Constraints: 670864 2788.65/2796.48 c INPROCESSING 2788.65/2796.48 c GARBAGE COLLECT 2788.65/2796.48 c bounds 339 >= 0 @ 2594.26 2788.65/2796.48 c bounds 337 >= 0 @ 2594.34 2788.65/2796.48 c #Conflicts: 132000 | #Constraints: 664592 2788.65/2796.48 c #Conflicts: 133000 | #Constraints: 665610 2788.65/2796.48 c #Conflicts: 134000 | #Constraints: 666619 2788.65/2796.48 c #Conflicts: 135000 | #Constraints: 667629 2788.65/2796.48 c #Conflicts: 136000 | #Constraints: 668636 2788.65/2796.48 c #Conflicts: 137000 | #Constraints: 669649 2788.65/2796.48 c #Conflicts: 138000 | #Constraints: 670658 2788.65/2796.48 c #Conflicts: 139000 | #Constraints: 671669 2788.65/2796.48 c INPROCESSING 2788.65/2796.48 c GARBAGE COLLECT 2788.65/2796.48 c rational objective 189.471 3170.75/3179.60 c #Conflicts: 140000 | #Constraints: 665244 3170.75/3179.60 c #Conflicts: 141000 | #Constraints: 666284 3170.75/3179.60 c #Conflicts: 142000 | #Constraints: 667519 3170.75/3179.60 c #Conflicts: 143000 | #Constraints: 668815 3170.75/3179.60 c #Conflicts: 144000 | #Constraints: 669868 3170.75/3179.60 c #Conflicts: 145000 | #Constraints: 670965 3170.75/3179.60 c #Conflicts: 146000 | #Constraints: 672659 3170.75/3179.60 c #Conflicts: 147000 | #Constraints: 674526 3170.75/3179.60 c INPROCESSING 3170.75/3179.60 c GARBAGE COLLECT 3170.75/3179.60 c rational objective 189.471 3392.87/3402.31 c bounds 335 >= 0 @ 3178.29 3392.87/3402.31 c bounds 334 >= 0 @ 3178.46 3392.87/3402.31 c #Conflicts: 148000 | #Constraints: 666777 3392.87/3402.31 c #Conflicts: 149000 | #Constraints: 667797 3392.87/3402.31 c #Conflicts: 150000 | #Constraints: 668810 3392.87/3402.31 c #Conflicts: 151000 | #Constraints: 669824 3392.87/3402.31 c #Conflicts: 152000 | #Constraints: 670839 3392.87/3402.31 c #Conflicts: 153000 | #Constraints: 671855 3392.87/3402.31 c #Conflicts: 154000 | #Constraints: 672865 3392.87/3402.31 c #Conflicts: 155000 | #Constraints: 673880 3392.87/3402.31 c INPROCESSING 3392.87/3402.31 c GARBAGE COLLECT 3392.87/3402.31 c rational objective 189.471 3577.18/3587.19 c #Conflicts: 156000 | #Constraints: 666410 3577.18/3587.19 c #Conflicts: 157000 | #Constraints: 667413 3577.18/3587.19 c #Conflicts: 158000 | #Constraints: 668421 3577.18/3587.19 c #Conflicts: 159000 | #Constraints: 669426 3577.18/3587.19 c #Conflicts: 160000 | #Constraints: 670432 3577.18/3587.19 c #Conflicts: 161000 | #Constraints: 671439 3577.18/3587.19 c #Conflicts: 162000 | #Constraints: 672443 3577.18/3587.19 c #Conflicts: 163000 | #Constraints: 673448 3577.18/3587.19 c INPROCESSING 3577.18/3587.19 c GARBAGE COLLECT 3577.18/3587.19 c rational objective 189.471 3600.02/3610.01 c 3600.02/3610.01 s SATISFIABLE 3600.02/3610.01 v ~x1 ~x2 ~x3 ~x4 ~x5 ~x6 ~x7 ~x8 ~x9 ~x10 ~x11 ~x12 ~x13 x14 ~x15 ~x16 ~x17 ~x18 ~x19 ~x20 ~x21 ~x22 ~x23 ~x24 ~x25 ~x26 ~x27 ~x28 ~x29 ~x30 ~x31 ~x32 ~x33 ~x34 ~x35 ~x36 ~x37 ~x38 ~x39 ~x40 ~x41 ~x42 ~x43 ~x44 ~x45 ~x46 ~x47 ~x48 ~x49 ~x50 ~x51 ~x52 ~x53 ~x54 ~x55 ~x56 ~x57 ~x58 ~x59 ~x60 ~x61 ~x62 ~x63 ~x64 ~x65 ~x66 ~x67 ~x68 ~x69 ~x70 ~x71 ~x72 ~x73 ~x74 ~x75 ~x76 ~x77 ~x78 ~x79 ~x80 ~x81 ~x82 ~x83 ~x84 ~x85 ~x86 ~x87 ~x88 ~x89 ~x90 ~x91 ~x92 ~x93 ~x94 ~x95 ~x96 ~x97 ~x98 ~x99 ~x100 ~x101 ~x102 ~x103 ~x104 ~x105 ~x106 ~x107 ~x108 ~x109 ~x110 ~x111 ~x112 ~x113 ~x114 ~x115 ~x116 ~x117 ~x118 ~x119 ~x120 ~x121 ~x122 ~x123 ~x124 ~x125 ~x126 ~x127 x128 ~x129 ~x130 ~x131 ~x132 ~x133 ~x134 ~x135 ~x136 ~x137 ~x138 ~x139 ~x140 ~x141 ~x142 ~x143 ~x144 ~x145 ~x146 ~x147 ~x148 ~x149 ~x150 ~x151 ~x152 ~x153 ~x154 ~x155 ~x156 ~x157 ~x158 ~x159 ~x160 ~x161 ~x162 ~x163 ~x164 ~x165 ~x166 ~x167 ~x168 ~x169 ~x170 ~x171 ~x172 ~x173 ~x174 ~x175 ~x176 ~x177 ~x178 ~x179 ~x180 ~x181 ~x182 ~x183 ~x184 ~x185 ~x186 ~x187 ~x188 ~x189 ~x190 ~x191 ~x192 ~x193 ~x194 ~x195 ~x196 ~x197 ~x198 ~x199 ~x200 ~x201 ~x202 ~x203 ~x204 ~x205 ~x206 ~x207 ~x208 ~x209 ~x210 ~x211 ~x212 ~x213 ~x214 ~x215 ~x216 ~x217 ~x218 ~x219 ~x220 ~x221 ~x222 ~x223 ~x224 ~x225 ~x226 ~x227 ~x228 ~x229 ~x230 ~x231 ~x232 ~x233 ~x234 ~x235 ~x236 ~x237 ~x238 ~x239 ~x240 ~x241 ~x242 ~x243 ~x244 ~x245 ~x246 ~x247 ~x248 ~x249 ~x250 ~x251 ~x252 ~x253 ~x254 ~x255 ~x256 ~x257 ~x258 ~x259 ~x260 ~x261 ~x262 ~x263 ~x264 ~x265 ~x266 ~x267 ~x268 ~x269 ~x270 ~x271 ~x272 ~x273 ~x274 ~x275 ~x276 ~x277 ~x278 ~x279 ~x280 ~x281 x282 ~x283 ~x284 ~x285 ~x286 ~x287 ~x288 ~x289 ~x290 ~x291 ~x292 ~x293 ~x294 ~x295 ~x296 ~x297 ~x298 ~x299 ~x300 ~x301 ~x302 ~x303 ~x304 ~x305 ~x306 ~x307 ~x308 ~x309 ~x310 ~x311 ~x312 ~x313 ~x314 ~x315 ~x316 ~x317 ~x318 ~x319 ~x320 ~x321 ~x322 ~x323 ~x324 ~x325 ~x326 ~x327 ~x328 ~x329 ~x330 ~x331 ~x332 ~x333 ~x334 x335 ~x336 ~x337 ~x338 ~x339 ~x340 ~x341 ~x342 ~x343 ~x344 ~x345 ~x346 ~x347 ~x348 ~x349 ~x350 ~x351 ~x352 ~x353 ~x354 ~x355 ~x356 ~x357 ~x358 ~x359 ~x360 ~x361 ~x362 ~x363 ~x364 ~x365 ~x366 ~x367 ~x368 ~x369 ~x370 ~x371 ~x372 ~x373 ~x374 ~x375 ~x376 ~x377 ~x378 ~x379 ~x380 ~x381 ~x382 ~x383 ~x384 ~x385 ~x386 ~x387 ~x388 ~x389 ~x390 ~x391 ~x392 ~x393 ~x394 ~x395 ~x396 ~x397 ~x398 ~x399 ~x400 ~x401 ~x402 ~x403 ~x404 ~x405 ~x406 ~x407 ~x408 ~x409 ~x410 ~x411 ~x412 ~x413 ~x414 ~x415 ~x416 ~x417 ~x418 ~x419 ~x420 ~x421 ~x422 ~x423 ~x424 ~x425 ~x426 ~x427 ~x428 ~x429 ~x430 ~x431 ~x432 ~x433 ~x434 ~x435 ~x436 ~x437 ~x438 ~x439 ~x440 ~x441 ~x442 ~x443 ~x444 ~x445 ~x446 ~x447 ~x448 ~x449 ~x450 ~x451 ~x452 ~x453 ~x454 ~x455 x456 ~x457 ~x458 ~x459 ~x460 ~x461 ~x462 ~x463 ~x464 ~x465 ~x466 ~x467 ~x468 ~x469 ~x470 ~x471 ~x472 ~x473 ~x474 ~x475 ~x476 ~x477 ~x478 ~x479 ~x480 ~x481 ~x482 ~x483 ~x484 ~x485 ~x486 ~x487 ~x488 ~x489 ~x490 ~x491 ~x492 ~x493 ~x494 ~x495 ~x496 ~x497 ~x498 ~x499 ~x500 ~x501 ~x502 ~x503 ~x504 ~x505 ~x506 ~x507 ~x508 ~x509 ~x510 ~x511 ~x512 ~x513 ~x514 ~x515 ~x516 ~x517 ~x518 ~x519 ~x520 ~x521 ~x522 ~x523 ~x524 ~x525 ~x526 ~x527 ~x528 x529 ~x530 ~x531 ~x532 ~x533 ~x534 ~x535 ~x536 ~x537 ~x538 ~x539 ~x540 ~x541 ~x542 ~x543 ~x544 ~x545 ~x546 ~x547 ~x548 ~x549 ~x550 ~x551 ~x552 ~x553 ~x554 ~x555 ~x556 ~x557 ~x558 ~x559 ~x560 ~x561 ~x562 ~x563 ~x564 ~x565 ~x566 ~x567 ~x568 ~x569 ~x570 ~x571 ~x572 ~x573 ~x574 ~x575 ~x576 ~x577 ~x578 ~x579 ~x580 ~x581 ~x582 ~x583 ~x584 ~x585 ~x586 ~x587 ~x588 ~x589 ~x590 ~x591 ~x592 ~x593 ~x594 ~x595 ~x596 ~x597 ~x598 ~x599 ~x600 ~x601 ~x602 ~x603 ~x604 ~x605 ~x606 ~x607 ~x608 ~x609 x610 ~x611 ~x612 ~x613 ~x614 ~x615 ~x616 ~x617 ~x618 ~x619 ~x620 ~x621 ~x622 ~x623 ~x624 ~x625 ~x626 ~x627 ~x628 ~x629 ~x630 ~x631 ~x632 ~x633 ~x634 ~x635 ~x636 ~x637 ~x638 ~x639 ~x640 ~x641 ~x642 ~x643 ~x644 ~x645 ~x646 ~x647 ~x648 ~x649 ~x650 ~x651 ~x652 ~x653 ~x654 ~x655 ~x656 ~x657 ~x658 ~x659 ~x660 ~x661 ~x662 ~x663 ~x664 ~x665 ~x666 ~x667 ~x668 ~x669 ~x670 ~x671 ~x672 ~x673 ~x674 ~x675 ~x676 ~x677 ~x678 ~x679 ~x680 ~x681 ~x682 ~x683 ~x684 ~x685 ~x686 ~x687 ~x688 ~x689 ~x690 ~x691 ~x692 ~x693 ~x694 ~x695 ~x696 ~x697 ~x698 ~x699 ~x700 ~x701 ~x702 ~x703 ~x704 ~x705 ~x706 ~x707 ~x708 ~x709 ~x710 ~x711 ~x712 ~x713 ~x714 ~x715 ~x716 ~x717 ~x718 ~x719 ~x720 ~x721 ~x722 ~x723 ~x724 ~x725 ~x726 ~x727 ~x728 ~x729 ~x730 ~x731 ~x732 ~x733 ~x734 ~x735 ~x736 ~x737 ~x738 ~x739 ~x740 ~x741 ~x742 ~x743 ~x744 ~x745 ~x746 ~x747 ~x748 ~x749 ~x750 ~x751 ~x752 ~x753 ~x754 ~x755 ~x756 ~x757 ~x758 ~x759 x760 ~x761 ~x762 ~x763 ~x764 ~x765 ~x766 ~x767 ~x768 ~x769 ~x770 ~x771 ~x772 ~x773 ~x774 ~x775 ~x776 ~x777 ~x778 ~x779 ~x780 ~x781 ~x782 ~x783 ~x784 ~x785 ~x786 ~x787 ~x788 ~x789 ~x790 ~x791 ~x792 ~x793 ~x794 ~x795 ~x796 ~x797 ~x798 ~x799 ~x800 ~x801 ~x802 ~x803 x804 ~x805 ~x806 ~x807 ~x808 ~x809 ~x810 ~x811 ~x812 ~x813 ~x814 ~x815 ~x816 ~x817 ~x818 ~x819 ~x820 ~x821 ~x822 ~x823 ~x824 ~x825 ~x826 ~x827 ~x828 ~x829 ~x830 ~x831 ~x832 ~x833 ~x834 ~x835 ~x836 ~x837 ~x838 ~x839 ~x840 ~x841 ~x842 ~x843 ~x844 ~x845 ~x846 ~x847 ~x848 ~x849 ~x850 ~x851 ~x852 ~x853 ~x854 ~x855 ~x856 ~x857 ~x858 ~x859 ~x860 ~x861 ~x862 ~x863 ~x864 ~x865 ~x866 ~x867 ~x868 ~x869 ~x870 ~x871 ~x872 ~x873 ~x874 ~x875 ~x876 ~x877 ~x878 ~x879 ~x880 ~x881 ~x882 ~x883 ~x884 ~x885 ~x886 ~x887 ~x888 ~x889 ~x890 ~x891 ~x892 ~x893 ~x894 ~x895 ~x896 ~x897 ~x898 ~x899 ~x900 ~x901 ~x902 ~x903 ~x904 ~x905 ~x906 ~x907 ~x908 ~x909 ~x910 ~x911 ~x912 ~x913 ~x914 x915 ~x916 ~x917 ~x918 ~x919 ~x920 ~x921 ~x922 ~x923 ~x924 ~x925 ~x926 ~x927 ~x928 ~x929 ~x930 ~x931 ~x932 ~x933 ~x934 ~x935 ~x936 ~x937 ~x938 ~x939 ~x940 ~x941 ~x942 ~x943 ~x944 ~x945 ~x946 ~x947 ~x948 ~x949 ~x950 ~x951 ~x952 ~x953 ~x954 ~x955 ~x956 ~x957 ~x958 ~x959 ~x960 ~x961 ~x962 ~x963 ~x964 ~x965 ~x966 ~x967 ~x968 ~x969 ~x970 ~x971 ~x972 ~x973 ~x974 ~x975 ~x976 ~x977 ~x978 ~x979 ~x980 ~x981 ~x982 ~x983 ~x984 ~x985 ~x986 ~x987 ~x988 ~x989 ~x990 ~x991 ~x992 ~x993 ~x994 ~x995 ~x996 ~x997 ~x998 ~x999 ~x1000 ~x1001 ~x1002 ~x1003 ~x1004 ~x1005 ~x1006 ~x1007 ~x1008 ~x1009 ~x1010 ~x1011 ~x1012 ~x1013 ~x1014 ~x1015 ~x1016 ~x1017 ~x1018 ~x1019 ~x1020 x1021 ~x1022 ~x1023 ~x1024 ~x1025 ~x1026 ~x1027 ~x1028 ~x1029 ~x1030 ~x1031 ~x1032 ~x1033 ~x1034 ~x1035 ~x1036 ~x1037 ~x1038 ~x1039 ~x1040 ~x1041 ~x1042 ~x1043 ~x1044 ~x1045 ~x1046 ~x1047 ~x1048 ~x1049 ~x1050 ~x1051 ~x1052 ~x1053 ~x1054 ~x1055 ~x1056 ~x1057 ~x1058 ~x1059 ~x1060 ~x1061 ~x1062 ~x1063 ~x1064 ~x1065 ~x1066 ~x1067 ~x1068 ~x1069 ~x1070 ~x1071 ~x1072 ~x1073 ~x1074 ~x1075 ~x1076 ~x1077 ~x1078 ~x1079 ~x1080 ~x1081 ~x1082 ~x1083 ~x1084 ~x1085 ~x1086 ~x1087 ~x1088 ~x1089 ~x1090 ~x1091 ~x1092 ~x1093 ~x1094 ~x1095 ~x1096 ~x1097 ~x1098 ~x1099 ~x1100 ~x1101 ~x1102 ~x1103 ~x1104 ~x1105 ~x1106 ~x1107 ~x1108 ~x1109 ~x1110 ~x1111 ~x1112 ~x1113 ~x1114 ~x1115 ~x1116 ~x1117 ~x1118 ~x1119 ~x1120 ~x1121 ~x1122 ~x1123 ~x1124 ~x1125 ~x1126 ~x1127 ~x1128 ~x1129 ~x1130 ~x1131 ~x1132 ~x1133 ~x1134 ~x1135 ~x1136 ~x1137 ~x1138 ~x1139 ~x1140 ~x1141 ~x1142 ~x1143 ~x1144 ~x1145 ~x1146 ~x1147 ~x1148 ~x1149 ~x1150 ~x1151 ~x1152 ~x1153 ~x1154 ~x1155 ~x1156 ~x1157 ~x1158 ~x1159 ~x1160 ~x1161 ~x1162 ~x1163 ~x1164 ~x1165 ~x1166 ~x1167 ~x1168 ~x1169 ~x1170 ~x1171 ~x1172 ~x1173 ~x1174 ~x1175 ~x1176 ~x1177 ~x1178 ~x1179 ~x1180 ~x1181 ~x1182 ~x1183 ~x1184 ~x1185 x1186 ~x1187 ~x1188 ~x1189 ~x1190 ~x1191 ~x1192 ~x1193 ~x1194 ~x1195 ~x1196 ~x1197 ~x1198 ~x1199 ~x1200 ~x1201 ~x1202 ~x1203 ~x1204 ~x1205 ~x1206 ~x1207 ~x1208 ~x1209 ~x1210 ~x1211 ~x1212 ~x1213 ~x1214 ~x1215 ~x1216 ~x1217 ~x1218 ~x1219 x1220 ~x1221 ~x1222 ~x1223 ~x1224 ~x1225 ~x1226 ~x1227 ~x1228 ~x1229 ~x1230 ~x1231 ~x1232 ~x1233 ~x1234 ~x1235 ~x1236 ~x1237 ~x1238 ~x1239 ~x1240 ~x1241 ~x1242 ~x1243 ~x1244 ~x1245 ~x1246 ~x1247 ~x1248 ~x1249 ~x1250 ~x1251 ~x1252 ~x1253 ~x1254 ~x1255 ~x1256 ~x1257 ~x1258 ~x1259 ~x1260 ~x1261 ~x1262 ~x1263 ~x1264 ~x1265 ~x1266 ~x1267 ~x1268 ~x1269 ~x1270 ~x1271 ~x1272 ~x1273 ~x1274 ~x1275 ~x1276 ~x1277 ~x1278 ~x1279 ~x1280 ~x1281 ~x1282 ~x1283 ~x1284 ~x1285 ~x1286 ~x1287 ~x1288 ~x1289 ~x1290 ~x1291 ~x1292 ~x1293 ~x1294 ~x1295 ~x1296 ~x1297 ~x1298 ~x1299 ~x1300 ~x1301 ~x1302 ~x1303 ~x1304 ~x1305 ~x1306 ~x1307 ~x1308 ~x1309 ~x1310 ~x1311 ~x1312 ~x1313 ~x1314 ~x1315 ~x1316 ~x1317 ~x1318 ~x1319 ~x1320 ~x1321 ~x1322 ~x1323 ~x1324 ~x1325 ~x1326 ~x1327 ~x1328 ~x1329 ~x1330 ~x1331 ~x1332 ~x1333 ~x1334 ~x1335 ~x1336 ~x1337 ~x1338 ~x1339 ~x1340 ~x1341 ~x1342 ~x1343 ~x1344 ~x1345 ~x1346 ~x1347 x1348 ~x1349 ~x1350 ~x1351 ~x1352 ~x1353 ~x1354 ~x1355 ~x1356 ~x1357 ~x1358 ~x1359 ~x1360 ~x1361 ~x1362 ~x1363 ~x1364 ~x1365 ~x1366 ~x1367 ~x1368 ~x1369 ~x1370 ~x1371 ~x1372 ~x1373 ~x1374 ~x1375 ~x1376 ~x1377 ~x1378 ~x1379 ~x1380 ~x1381 ~x1382 ~x1383 ~x1384 ~x1385 ~x1386 ~x1387 ~x1388 ~x1389 ~x1390 ~x1391 ~x1392 ~x1393 ~x1394 ~x1395 ~x1396 ~x1397 ~x1398 ~x1399 ~x1400 ~x1401 ~x1402 ~x1403 ~x1404 ~x1405 ~x1406 x1407 ~x1408 ~x1409 ~x1410 ~x1411 ~x1412 ~x1413 ~x1414 ~x1415 ~x1416 ~x1417 ~x1418 ~x1419 ~x1420 ~x1421 ~x1422 ~x1423 ~x1424 ~x1425 ~x1426 ~x1427 ~x1428 ~x1429 ~x1430 ~x1431 ~x1432 ~x1433 ~x1434 ~x1435 ~x1436 ~x1437 ~x1438 ~x1439 ~x1440 ~x1441 ~x1442 ~x1443 ~x1444 ~x1445 ~x1446 ~x1447 ~x1448 ~x1449 ~x1450 ~x1451 ~x1452 ~x1453 ~x1454 ~x1455 ~x1456 ~x1457 ~x1458 ~x1459 ~x1460 ~x1461 ~x1462 ~x1463 ~x1464 ~x1465 ~x1466 ~x1467 ~x1468 ~x1469 ~x1470 ~x1471 ~x1472 ~x1473 ~x1474 ~x1475 ~x1476 ~x1477 ~x1478 ~x1479 ~x1480 ~x1481 ~x1482 ~x1483 ~x1484 ~x1485 ~x1486 ~x1487 ~x1488 ~x1489 ~x1490 ~x1491 ~x1492 ~x1493 ~x1494 ~x1495 ~x1496 ~x1497 ~x1498 ~x1499 ~x1500 ~x1501 ~x1502 ~x1503 ~x1504 ~x1505 ~x1506 ~x1507 ~x1508 ~x1509 ~x1510 ~x1511 ~x1512 ~x1513 ~x1514 ~x1515 ~x1516 ~x1517 ~x1518 ~x1519 ~x1520 ~x1521 ~x1522 ~x1523 ~x1524 ~x1525 ~x1526 ~x1527 ~x1528 ~x1529 ~x1530 ~x1531 ~x1532 ~x1533 ~x1534 ~x1535 ~x1536 ~x1537 ~x1538 ~x1539 ~x1540 ~x1541 ~x1542 ~x1543 ~x1544 ~x1545 ~x1546 ~x1547 ~x1548 x1549 ~x1550 ~x1551 ~x1552 ~x1553 ~x1554 ~x1555 ~x1556 ~x1557 ~x1558 ~x1559 ~x1560 ~x1561 ~x1562 ~x1563 ~x1564 ~x1565 ~x1566 ~x1567 ~x1568 ~x1569 ~x1570 ~x1571 ~x1572 ~x1573 ~x1574 ~x1575 ~x1576 ~x1577 ~x1578 ~x1579 ~x1580 ~x1581 ~x1582 ~x1583 ~x1584 ~x1585 ~x1586 ~x1587 ~x1588 ~x1589 ~x1590 ~x1591 ~x1592 ~x1593 ~x1594 ~x1595 ~x1596 ~x1597 ~x1598 ~x1599 ~x1600 ~x1601 ~x1602 ~x1603 ~x1604 ~x1605 ~x1606 ~x1607 ~x1608 ~x1609 ~x1610 ~x1611 ~x1612 ~x1613 ~x1614 ~x1615 ~x1616 ~x1617 ~x1618 ~x1619 ~x1620 ~x1621 ~x1622 ~x1623 ~x1624 ~x1625 ~x1626 ~x1627 ~x1628 ~x1629 ~x1630 ~x1631 ~x1632 ~x1633 ~x1634 ~x1635 ~x1636 ~x1637 ~x1638 ~x1639 ~x1640 ~x1641 ~x1642 ~x1643 ~x1644 ~x1645 ~x1646 ~x1647 ~x1648 ~x1649 ~x1650 ~x1651 ~x1652 ~x1653 ~x1654 ~x1655 ~x1656 ~x1657 ~x1658 ~x1659 ~x1660 ~x1661 ~x1662 ~x1663 ~x1664 ~x1665 ~x1666 ~x1667 ~x1668 ~x1669 ~x1670 ~x1671 ~x1672 ~x1673 ~x1674 ~x1675 ~x1676 ~x1677 ~x1678 ~x1679 ~x1680 ~x1681 ~x1682 ~x1683 x1684 ~x1685 ~x1686 ~x1687 ~x1688 x1689 ~x1690 ~x1691 ~x1692 ~x1693 ~x1694 ~x1695 ~x1696 ~x1697 ~x1698 ~x1699 ~x1700 ~x1701 ~x1702 ~x1703 ~x1704 ~x1705 ~x1706 ~x1707 ~x1708 ~x1709 ~x1710 ~x1711 ~x1712 ~x1713 ~x1714 ~x1715 ~x1716 ~x1717 ~x1718 ~x1719 ~x1720 ~x1721 ~x1722 ~x1723 ~x1724 ~x1725 ~x1726 ~x1727 ~x1728 ~x1729 ~x1730 ~x1731 ~x1732 ~x1733 ~x1734 ~x1735 ~x1736 ~x1737 ~x1738 ~x1739 ~x1740 ~x1741 ~x1742 ~x1743 ~x1744 ~x1745 ~x1746 ~x1747 ~x1748 ~x1749 ~x1750 ~x1751 ~x1752 ~x1753 ~x1754 ~x1755 ~x1756 ~x1757 ~x1758 ~x1759 ~x1760 ~x1761 ~x1762 ~x1763 ~x1764 ~x1765 ~x1766 ~x1767 ~x1768 ~x1769 ~x1770 ~x1771 ~x1772 ~x1773 ~x1774 ~x1775 ~x1776 ~x1777 ~x1778 ~x1779 ~x1780 ~x1781 ~x1782 ~x1783 ~x1784 ~x1785 ~x1786 ~x1787 ~x1788 ~x1789 ~x1790 ~x1791 ~x1792 ~x1793 ~x1794 ~x1795 ~x1796 ~x1797 ~x1798 ~x1799 x1800 ~x1801 ~x1802 ~x1803 ~x1804 ~x1805 ~x1806 ~x1807 ~x1808 ~x1809 ~x1810 ~x1811 ~x1812 ~x1813 ~x1814 ~x1815 ~x1816 ~x1817 ~x1818 ~x1819 ~x1820 ~x1821 ~x1822 ~x1823 ~x1824 ~x1825 ~x1826 ~x1827 ~x1828 ~x1829 x1830 ~x1831 ~x1832 ~x1833 ~x1834 ~x1835 ~x1836 ~x1837 ~x1838 ~x1839 ~x1840 ~x1841 ~x1842 ~x1843 ~x1844 ~x1845 ~x1846 ~x1847 ~x1848 ~x1849 ~x1850 ~x1851 ~x1852 ~x1853 ~x1854 ~x1855 ~x1856 ~x1857 ~x1858 ~x1859 ~x1860 ~x1861 ~x1862 ~x1863 ~x1864 ~x1865 ~x1866 ~x1867 ~x1868 ~x1869 ~x1870 ~x1871 ~x1872 ~x1873 ~x1874 ~x1875 ~x1876 ~x1877 ~x1878 ~x1879 ~x1880 ~x1881 ~x1882 ~x1883 ~x1884 ~x1885 ~x1886 ~x1887 ~x1888 ~x1889 ~x1890 ~x1891 ~x1892 ~x1893 ~x1894 ~x1895 ~x1896 ~x1897 ~x1898 ~x1899 ~x1900 ~x1901 ~x1902 ~x1903 ~x1904 ~x1905 ~x1906 ~x1907 ~x1908 ~x1909 ~x1910 x1911 ~x1912 ~x1913 ~x1914 ~x1915 ~x1916 ~x1917 ~x1918 ~x1919 ~x1920 ~x1921 ~x1922 ~x1923 ~x1924 ~x1925 ~x1926 ~x1927 ~x1928 ~x1929 ~x1930 ~x1931 ~x1932 ~x1933 ~x1934 ~x1935 ~x1936 ~x1937 ~x1938 ~x1939 ~x1940 ~x1941 ~x1942 ~x1943 ~x1944 ~x1945 ~x1946 ~x1947 ~x1948 ~x1949 ~x1950 ~x1951 ~x1952 ~x1953 ~x1954 ~x1955 ~x1956 ~x1957 ~x1958 ~x1959 ~x1960 ~x1961 ~x1962 ~x1963 ~x1964 ~x1965 ~x1966 ~x1967 ~x1968 ~x1969 ~x1970 ~x1971 ~x1972 ~x1973 ~x1974 ~x1975 ~x1976 ~x1977 ~x1978 ~x1979 ~x1980 ~x1981 ~x1982 ~x1983 ~x1984 ~x1985 ~x1986 ~x1987 ~x1988 ~x1989 ~x1990 ~x1991 ~x1992 ~x1993 ~x1994 ~x1995 ~x1996 ~x1997 ~x1998 ~x1999 ~x2000 ~x2001 ~x2002 ~x2003 ~x2004 ~x2005 ~x2006 ~x2007 ~x2008 ~x2009 ~x2010 ~x2011 ~x2012 ~x2013 ~x2014 ~x2015 ~x2016 ~x2017 ~x2018 ~x2019 ~x2020 ~x2021 ~x2022 ~x2023 ~x2024 ~x2025 ~x2026 ~x2027 ~x2028 ~x2029 ~x2030 ~x2031 ~x2032 ~x2033 ~x2034 ~x2035 ~x2036 ~x2037 ~x2038 ~x2039 ~x2040 ~x2041 ~x2042 ~x2043 ~x2044 ~x2045 ~x2046 ~x2047 ~x2048 ~x2049 ~x2050 ~x2051 ~x2052 ~x2053 ~x2054 ~x2055 ~x2056 ~x2057 ~x2058 ~x2059 ~x2060 ~x2061 ~x2062 ~x2063 ~x2064 ~x2065 ~x2066 ~x2067 ~x2068 ~x2069 ~x2070 ~x2071 ~x2072 ~x2073 ~x2074 ~x2075 ~x2076 ~x2077 ~x2078 ~x2079 ~x2080 ~x2081 ~x2082 ~x2083 ~x2084 ~x2085 ~x2086 ~x2087 ~x2088 ~x2089 ~x2090 x2091 ~x2092 ~x2093 ~x2094 ~x2095 ~x2096 ~x2097 ~x2098 ~x2099 ~x2100 ~x2101 ~x2102 ~x2103 ~x2104 ~x2105 ~x2106 ~x2107 ~x2108 ~x2109 ~x2110 ~x2111 ~x2112 ~x2113 ~x2114 ~x2115 ~x2116 ~x2117 ~x2118 ~x2119 ~x2120 ~x2121 ~x2122 ~x2123 ~x2124 ~x2125 ~x2126 ~x2127 ~x2128 ~x2129 ~x2130 ~x2131 ~x2132 ~x2133 ~x2134 ~x2135 ~x2136 ~x2137 ~x2138 ~x2139 ~x2140 ~x2141 ~x2142 ~x2143 ~x2144 ~x2145 ~x2146 ~x2147 ~x2148 ~x2149 ~x2150 ~x2151 ~x2152 ~x2153 ~x2154 ~x2155 ~x2156 ~x2157 ~x2158 ~x2159 ~x2160 ~x2161 ~x2162 ~x2163 ~x2164 ~x2165 ~x2166 ~x2167 ~x2168 ~x2169 ~x2170 x2171 ~x2172 ~x2173 ~x2174 ~x2175 ~x2176 ~x2177 ~x2178 ~x2179 ~x2180 ~x2181 ~x2182 ~x2183 ~x2184 ~x2185 ~x2186 ~x2187 ~x2188 ~x2189 ~x2190 ~x2191 ~x2192 ~x2193 ~x2194 ~x2195 ~x2196 ~x2197 ~x2198 ~x2199 ~x2200 ~x2201 ~x2202 ~x2203 ~x2204 ~x2205 ~x2206 ~x2207 ~x2208 ~x2209 ~x2210 ~x2211 ~x2212 ~x2213 ~x2214 ~x2215 ~x2216 ~x2217 ~x2218 ~x2219 ~x2220 ~x2221 ~x2222 ~x2223 ~x2224 ~x2225 ~x2226 ~x2227 ~x2228 ~x2229 ~x2230 ~x2231 ~x2232 ~x2233 ~x2234 ~x2235 ~x2236 ~x2237 ~x2238 ~x2239 ~x2240 ~x2241 ~x2242 ~x2243 ~x2244 ~x2245 ~x2246 ~x2247 ~x2248 ~x2249 ~x2250 ~x2251 ~x2252 ~x2253 ~x2254 ~x2255 ~x2256 ~x2257 ~x2258 ~x2259 ~x2260 ~x2261 ~x2262 x2263 ~x2264 ~x2265 ~x2266 ~x2267 ~x2268 ~x2269 ~x2270 ~x2271 ~x2272 x2273 ~x2274 ~x2275 ~x2276 ~x2277 ~x2278 ~x2279 ~x2280 ~x2281 ~x2282 ~x2283 ~x2284 ~x2285 ~x2286 ~x2287 ~x2288 ~x2289 ~x2290 ~x2291 x2292 ~x2293 ~x2294 ~x2295 ~x2296 ~x2297 ~x2298 ~x2299 ~x2300 ~x2301 ~x2302 ~x2303 ~x2304 ~x2305 ~x2306 ~x2307 ~x2308 ~x2309 ~x2310 ~x2311 ~x2312 ~x2313 ~x2314 ~x2315 ~x2316 ~x2317 ~x2318 ~x2319 ~x2320 ~x2321 ~x2322 ~x2323 ~x2324 ~x2325 ~x2326 ~x2327 ~x2328 ~x2329 ~x2330 ~x2331 x2332 ~x2333 ~x2334 ~x2335 ~x2336 ~x2337 ~x2338 ~x2339 ~x2340 ~x2341 ~x2342 ~x2343 ~x2344 ~x2345 ~x2346 ~x2347 ~x2348 ~x2349 ~x2350 ~x2351 ~x2352 ~x2353 ~x2354 ~x2355 ~x2356 ~x2357 ~x2358 ~x2359 ~x2360 ~x2361 ~x2362 ~x2363 ~x2364 ~x2365 ~x2366 ~x2367 ~x2368 ~x2369 ~x2370 ~x2371 ~x2372 ~x2373 ~x2374 ~x2375 ~x2376 ~x2377 ~x2378 ~x2379 ~x2380 ~x2381 ~x2382 ~x2383 ~x2384 ~x2385 ~x2386 x2387 ~x2388 ~x2389 ~x2390 ~x2391 ~x2392 ~x2393 ~x2394 ~x2395 ~x2396 ~x2397 ~x2398 ~x2399 ~x2400 ~x2401 ~x2402 ~x2403 ~x2404 ~x2405 ~x2406 ~x2407 ~x2408 ~x2409 ~x2410 ~x2411 ~x2412 ~x2413 ~x2414 ~x2415 ~x2416 ~x2417 ~x2418 ~x2419 ~x2420 ~x2421 ~x2422 ~x2423 ~x2424 ~x2425 ~x2426 ~x2427 ~x2428 ~x2429 ~x2430 ~x2431 ~x2432 ~x2433 ~x2434 ~x2435 ~x2436 ~x2437 ~x2438 ~x2439 ~x2440 ~x2441 ~x2442 ~x2443 ~x2444 ~x2445 ~x2446 ~x2447 ~x2448 ~x2449 ~x2450 ~x2451 ~x2452 ~x2453 ~x2454 ~x2455 ~x2456 ~x2457 ~x2458 ~x2459 ~x2460 ~x2461 ~x2462 ~x2463 ~x2464 ~x2465 ~x2466 ~x2467 ~x2468 ~x2469 ~x2470 ~x2471 ~x2472 ~x2473 ~x2474 ~x2475 ~x2476 ~x2477 ~x2478 ~x2479 x2480 ~x2481 ~x2482 ~x2483 ~x2484 ~x2485 ~x2486 ~x2487 ~x2488 ~x2489 ~x2490 ~x2491 ~x2492 ~x2493 ~x2494 ~x2495 ~x2496 ~x2497 ~x2498 ~x2499 ~x2500 ~x2501 ~x2502 ~x2503 ~x2504 ~x2505 ~x2506 ~x2507 ~x2508 ~x2509 ~x2510 ~x2511 ~x2512 ~x2513 ~x2514 ~x2515 ~x2516 ~x2517 ~x2518 ~x2519 ~x2520 ~x2521 ~x2522 ~x2523 ~x2524 ~x2525 ~x2526 ~x2527 ~x2528 ~x2529 ~x2530 ~x2531 ~x2532 ~x2533 ~x2534 ~x2535 ~x2536 ~x2537 ~x2538 ~x2539 ~x2540 ~x2541 ~x2542 ~x2543 ~x2544 ~x2545 ~x2546 ~x2547 ~x2548 ~x2549 x2550 ~x2551 ~x2552 ~x2553 ~x2554 ~x2555 ~x2556 ~x2557 ~x2558 ~x2559 ~x2560 ~x2561 ~x2562 ~x2563 ~x2564 ~x2565 ~x2566 ~x2567 ~x2568 ~x2569 ~x2570 ~x2571 ~x2572 ~x2573 ~x2574 ~x2575 ~x2576 ~x2577 ~x2578 ~x2579 ~x2580 ~x2581 ~x2582 ~x2583 ~x2584 ~x2585 ~x2586 ~x2587 ~x2588 ~x2589 ~x2590 ~x2591 ~x2592 ~x2593 ~x2594 ~x2595 ~x2596 ~x2597 ~x2598 ~x2599 ~x2600 ~x2601 ~x2602 ~x2603 ~x2604 ~x2605 ~x2606 ~x2607 ~x2608 ~x2609 ~x2610 ~x2611 ~x2612 ~x2613 ~x2614 ~x2615 ~x2616 ~x2617 ~x2618 ~x2619 ~x2620 ~x2621 ~x2622 ~x2623 ~x2624 ~x2625 ~x2626 ~x2627 ~x2628 ~x2629 ~x2630 ~x2631 ~x2632 ~x2633 ~x2634 ~x2635 ~x2636 ~x2637 ~x2638 ~x2639 ~x2640 ~x2641 ~x2642 ~x2643 ~x2644 ~x2645 ~x2646 x2647 ~x2648 ~x2649 ~x2650 ~x2651 ~x2652 ~x2653 ~x2654 ~x2655 ~x2656 ~x2657 ~x2658 ~x2659 ~x2660 ~x2661 ~x2662 ~x2663 ~x2664 ~x2665 ~x2666 ~x2667 ~x2668 ~x2669 ~x2670 ~x2671 ~x2672 ~x2673 ~x2674 ~x2675 ~x2676 ~x2677 ~x2678 ~x2679 ~x2680 ~x2681 ~x2682 ~x2683 ~x2684 ~x2685 ~x2686 ~x2687 ~x2688 ~x2689 ~x2690 ~x2691 ~x2692 ~x2693 ~x2694 ~x2695 ~x2696 ~x2697 ~x2698 ~x2699 ~x2700 ~x2701 ~x2702 ~x2703 ~x2704 ~x2705 ~x2706 ~x2707 ~x2708 ~x2709 ~x2710 ~x2711 ~x2712 ~x2713 ~x2714 ~x2715 ~x2716 ~x2717 ~x2718 ~x2719 ~x2720 ~x2721 ~x2722 ~x2723 ~x2724 x2725 ~x2726 ~x2727 ~x2728 ~x2729 ~x2730 ~x2731 ~x2732 ~x2733 ~x2734 ~x2735 ~x2736 ~x2737 ~x2738 ~x2739 ~x2740 ~x2741 ~x2742 ~x2743 ~x2744 ~x2745 ~x2746 ~x2747 ~x2748 ~x2749 ~x2750 ~x2751 ~x2752 ~x2753 ~x2754 ~x2755 ~x2756 ~x2757 ~x2758 ~x2759 ~x2760 ~x2761 ~x2762 ~x2763 ~x2764 ~x2765 ~x2766 ~x2767 ~x2768 ~x2769 ~x2770 ~x2771 ~x2772 ~x2773 ~x2774 ~x2775 ~x2776 ~x2777 ~x2778 ~x2779 ~x2780 ~x2781 ~x2782 ~x2783 ~x2784 ~x2785 ~x2786 ~x2787 ~x2788 ~x2789 ~x2790 ~x2791 ~x2792 ~x2793 ~x2794 ~x2795 ~x2796 ~x2797 ~x2798 ~x2799 ~x2800 ~x2801 ~x2802 ~x2803 ~x2804 x2805 ~x2806 ~x2807 ~x2808 ~x2809 ~x2810 ~x2811 ~x2812 ~x2813 ~x2814 ~x2815 ~x2816 ~x2817 ~x2818 ~x2819 ~x2820 ~x2821 ~x2822 ~x2823 ~x2824 ~x2825 ~x2826 ~x2827 ~x2828 ~x2829 ~x2830 ~x2831 ~x2832 ~x2833 ~x2834 ~x2835 ~x2836 ~x2837 ~x2838 ~x2839 ~x2840 ~x2841 ~x2842 ~x2843 ~x2844 ~x2845 ~x2846 ~x2847 ~x2848 ~x2849 ~x2850 ~x2851 ~x2852 ~x2853 ~x2854 ~x2855 ~x2856 ~x2857 ~x2858 ~x2859 ~x2860 ~x2861 ~x2862 ~x2863 ~x2864 ~x2865 ~x2866 ~x2867 ~x2868 ~x2869 ~x2870 ~x2871 ~x2872 ~x2873 ~x2874 ~x2875 ~x2876 ~x2877 ~x2878 ~x2879 ~x2880 ~x2881 ~x2882 ~x2883 ~x2884 ~x2885 ~x2886 ~x2887 ~x2888 ~x2889 ~x2890 ~x2891 ~x2892 ~x2893 ~x2894 ~x2895 ~x2896 ~x2897 ~x2898 ~x2899 ~x2900 ~x2901 ~x2902 ~x2903 ~x2904 ~x2905 ~x2906 ~x2907 ~x2908 ~x2909 ~x2910 ~x2911 ~x2912 ~x2913 ~x2914 ~x2915 ~x2916 ~x2917 ~x2918 ~x2919 ~x2920 ~x2921 ~x2922 ~x2923 ~x2924 ~x2925 ~x2926 ~x2927 ~x2928 ~x2929 ~x2930 ~x2931 ~x2932 ~x2933 ~x2934 ~x2935 ~x2936 ~x2937 ~x2938 ~x2939 ~x2940 ~x2941 ~x2942 ~x2943 ~x2944 ~x2945 ~x2946 ~x2947 ~x2948 ~x2949 ~x2950 x2951 ~x2952 ~x2953 ~x2954 ~x2955 ~x2956 ~x2957 ~x2958 ~x2959 ~x2960 ~x2961 ~x2962 ~x2963 ~x2964 ~x2965 ~x2966 ~x2967 ~x2968 ~x2969 ~x2970 ~x2971 ~x2972 ~x2973 ~x2974 ~x2975 ~x2976 ~x2977 ~x2978 ~x2979 ~x2980 ~x2981 ~x2982 ~x2983 ~x2984 ~x2985 ~x2986 ~x2987 ~x2988 ~x2989 ~x2990 ~x2991 ~x2992 ~x2993 ~x2994 ~x2995 ~x2996 ~x2997 ~x2998 ~x2999 ~x3000 ~x3001 ~x3002 ~x3003 ~x3004 ~x3005 ~x3006 ~x3007 ~x3008 ~x3009 ~x3010 ~x3011 ~x3012 ~x3013 ~x3014 ~x3015 x3016 ~x3017 ~x3018 ~x3019 ~x3020 ~x3021 ~x3022 ~x3023 ~x3024 ~x3025 ~x3026 ~x3027 ~x3028 ~x3029 ~x3030 ~x3031 ~x3032 ~x3033 ~x3034 ~x3035 ~x3036 ~x3037 ~x3038 ~x3039 ~x3040 ~x3041 ~x3042 ~x3043 ~x3044 ~x3045 ~x3046 ~x3047 ~x3048 ~x3049 ~x3050 ~x3051 ~x3052 ~x3053 ~x3054 ~x3055 ~x3056 ~x3057 ~x3058 ~x3059 ~x3060 ~x3061 ~x3062 ~x3063 ~x3064 ~x3065 x3066 ~x3067 ~x3068 ~x3069 ~x3070 ~x3071 ~x3072 ~x3073 ~x3074 ~x3075 ~x3076 ~x3077 ~x3078 ~x3079 ~x3080 ~x3081 ~x3082 ~x3083 ~x3084 ~x3085 ~x3086 ~x3087 ~x3088 ~x3089 ~x3090 ~x3091 ~x3092 ~x3093 ~x3094 ~x3095 ~x3096 ~x3097 ~x3098 ~x3099 ~x3100 ~x3101 ~x3102 ~x3103 ~x3104 ~x3105 ~x3106 ~x3107 ~x3108 ~x3109 ~x3110 ~x3111 ~x3112 ~x3113 ~x3114 ~x3115 ~x3116 ~x3117 ~x3118 ~x3119 ~x3120 ~x3121 ~x3122 ~x3123 ~x3124 ~x3125 ~x3126 ~x3127 ~x3128 ~x3129 ~x3130 ~x3131 ~x3132 ~x3133 ~x3134 ~x3135 ~x3136 ~x3137 ~x3138 ~x3139 ~x3140 ~x3141 ~x3142 ~x3143 ~x3144 ~x3145 ~x3146 ~x3147 ~x3148 ~x3149 ~x3150 ~x3151 ~x3152 ~x3153 ~x3154 ~x3155 ~x3156 ~x3157 ~x3158 ~x3159 ~x3160 ~x3161 ~x3162 ~x3163 ~x3164 ~x3165 ~x3166 ~x3167 ~x3168 ~x3169 ~x3170 ~x3171 ~x3172 ~x3173 ~x3174 ~x3175 x3176 ~x3177 ~x3178 ~x3179 ~x3180 ~x3181 ~x3182 ~x3183 ~x3184 ~x3185 ~x3186 ~x3187 ~x3188 ~x3189 ~x3190 ~x3191 ~x3192 ~x3193 ~x3194 ~x3195 ~x3196 ~x3197 ~x3198 ~x3199 ~x3200 ~x3201 ~x3202 ~x3203 ~x3204 ~x3205 ~x3206 ~x3207 ~x3208 ~x3209 ~x3210 ~x3211 ~x3212 ~x3213 ~x3214 ~x3215 ~x3216 x3217 ~x3218 ~x3219 ~x3220 ~x3221 ~x3222 ~x3223 ~x3224 ~x3225 ~x3226 ~x3227 ~x3228 ~x3229 ~x3230 ~x3231 ~x3232 ~x3233 ~x3234 ~x3235 ~x3236 ~x3237 ~x3238 ~x3239 ~x3240 ~x3241 ~x3242 ~x3243 ~x3244 ~x3245 ~x3246 ~x3247 ~x3248 ~x3249 ~x3250 ~x3251 ~x3252 ~x3253 ~x3254 ~x3255 ~x3256 ~x3257 ~x3258 ~x3259 ~x3260 ~x3261 x3262 ~x3263 ~x3264 ~x3265 ~x3266 ~x3267 ~x3268 ~x3269 ~x3270 ~x3271 ~x3272 ~x3273 ~x3274 ~x3275 ~x3276 ~x3277 ~x3278 ~x3279 ~x3280 ~x3281 ~x3282 ~x3283 ~x3284 ~x3285 ~x3286 ~x3287 ~x3288 ~x3289 ~x3290 ~x3291 ~x3292 ~x3293 ~x3294 ~x3295 ~x3296 ~x3297 ~x3298 ~x3299 ~x3300 ~x3301 ~x3302 x3303 ~x3304 ~x3305 ~x3306 ~x3307 ~x3308 ~x3309 ~x3310 ~x3311 ~x3312 ~x3313 ~x3314 ~x3315 ~x3316 ~x3317 ~x3318 ~x3319 ~x3320 ~x3321 ~x3322 ~x3323 ~x3324 ~x3325 ~x3326 ~x3327 ~x3328 ~x3329 ~x3330 ~x3331 ~x3332 ~x3333 ~x3334 ~x3335 ~x3336 ~x3337 ~x3338 ~x3339 ~x3340 ~x3341 ~x3342 ~x3343 ~x3344 ~x3345 ~x3346 ~x3347 ~x3348 ~x3349 ~x3350 ~x3351 ~x3352 ~x3353 ~x3354 ~x3355 ~x3356 ~x3357 ~x3358 ~x3359 ~x3360 ~x3361 ~x3362 ~x3363 ~x3364 ~x3365 ~x3366 ~x3367 ~x3368 ~x3369 ~x3370 ~x3371 ~x3372 ~x3373 ~x3374 ~x3375 ~x3376 ~x3377 ~x3378 ~x3379 ~x3380 ~x3381 ~x3382 ~x3383 ~x3384 ~x3385 ~x3386 ~x3387 ~x3388 ~x3389 ~x3390 ~x3391 ~x3392 ~x3393 ~x3394 ~x3395 ~x3396 ~x3397 ~x3398 ~x3399 ~x3400 ~x3401 ~x3402 ~x3403 ~x3404 ~x3405 ~x3406 ~x3407 ~x3408 ~x3409 ~x3410 ~x3411 ~x3412 ~x3413 ~x3414 ~x3415 ~x3416 ~x3417 ~x3418 ~x3419 ~x3420 ~x3421 ~x3422 ~x3423 ~x3424 ~x3425 ~x3426 ~x3427 ~x3428 ~x3429 ~x3430 ~x3431 ~x3432 ~x3433 ~x3434 ~x3435 ~x3436 ~x3437 ~x3438 ~x3439 ~x3440 ~x3441 ~x3442 ~x3443 ~x3444 ~x3445 ~x3446 ~x3447 ~x3448 ~x3449 ~x3450 ~x3451 ~x3452 ~x3453 x3454 ~x3455 ~x3456 ~x3457 ~x3458 ~x3459 ~x3460 ~x3461 ~x3462 ~x3463 ~x3464 ~x3465 ~x3466 ~x3467 ~x3468 ~x3469 ~x3470 ~x3471 ~x3472 ~x3473 ~x3474 ~x3475 ~x3476 ~x3477 ~x3478 ~x3479 ~x3480 ~x3481 ~x3482 ~x3483 ~x3484 ~x3485 ~x3486 ~x3487 ~x3488 ~x3489 ~x3490 ~x3491 ~x3492 ~x3493 ~x3494 ~x3495 ~x3496 ~x3497 ~x3498 ~x3499 ~x3500 ~x3501 ~x3502 ~x3503 ~x3504 ~x3505 ~x3506 ~x3507 ~x3508 ~x3509 ~x3510 ~x3511 ~x3512 ~x3513 ~x3514 ~x3515 ~x3516 ~x3517 ~x3518 ~x3519 ~x3520 ~x3521 ~x3522 ~x3523 ~x3524 ~x3525 ~x3526 ~x3527 ~x3528 ~x3529 ~x3530 ~x3531 ~x3532 ~x3533 ~x3534 ~x3535 ~x3536 ~x3537 ~x3538 ~x3539 ~x3540 ~x3541 ~x3542 ~x3543 ~x3544 ~x3545 ~x3546 ~x3547 ~x3548 ~x3549 ~x3550 ~x3551 ~x3552 ~x3553 ~x3554 ~x3555 ~x3556 ~x3557 ~x3558 ~x3559 ~x3560 ~x3561 ~x3562 ~x3563 ~x3564 ~x3565 ~x3566 ~x3567 ~x3568 ~x3569 ~x3570 ~x3571 ~x3572 ~x3573 ~x3574 ~x3575 ~x3576 ~x3577 ~x3578 ~x3579 ~x3580 x3581 ~x3582 ~x3583 ~x3584 ~x3585 ~x3586 ~x3587 ~x3588 ~x3589 ~x3590 ~x3591 ~x3592 ~x3593 ~x3594 ~x3595 ~x3596 ~x3597 ~x3598 ~x3599 ~x3600 ~x3601 ~x3602 ~x3603 ~x3604 ~x3605 ~x3606 ~x3607 ~x3608 ~x3609 ~x3610 ~x3611 ~x3612 ~x3613 ~x3614 ~x3615 ~x3616 ~x3617 ~x3618 ~x3619 ~x3620 ~x3621 ~x3622 ~x3623 ~x3624 ~x3625 ~x3626 ~x3627 ~x3628 ~x3629 ~x3630 ~x3631 ~x3632 ~x3633 ~x3634 ~x3635 ~x3636 ~x3637 ~x3638 ~x3639 ~x3640 ~x3641 ~x3642 ~x3643 ~x3644 ~x3645 x3646 ~x3647 ~x3648 ~x3649 ~x3650 ~x3651 ~x3652 ~x3653 ~x3654 ~x3655 ~x3656 ~x3657 ~x3658 ~x3659 ~x3660 ~x3661 ~x3662 ~x3663 ~x3664 ~x3665 ~x3666 ~x3667 ~x3668 ~x3669 ~x3670 ~x3671 ~x3672 ~x3673 ~x3674 ~x3675 ~x3676 ~x3677 ~x3678 ~x3679 ~x3680 ~x3681 ~x3682 ~x3683 ~x3684 ~x3685 ~x3686 ~x3687 ~x3688 ~x3689 ~x3690 ~x3691 ~x3692 ~x3693 ~x3694 ~x3695 ~x3696 ~x3697 ~x3698 ~x3699 ~x3700 ~x3701 ~x3702 ~x3703 ~x3704 ~x3705 ~x3706 ~x3707 ~x3708 ~x3709 ~x3710 ~x3711 ~x3712 ~x3713 ~x3714 ~x3715 ~x3716 ~x3717 ~x3718 ~x3719 ~x3720 ~x3721 ~x3722 ~x3723 ~x3724 ~x3725 x3726 ~x3727 ~x3728 ~x3729 ~x3730 ~x3731 ~x3732 ~x3733 ~x3734 ~x3735 ~x3736 ~x3737 ~x3738 ~x3739 ~x3740 ~x3741 ~x3742 ~x3743 ~x3744 ~x3745 ~x3746 ~x3747 ~x3748 ~x3749 ~x3750 ~x3751 ~x3752 ~x3753 ~x3754 ~x3755 ~x3756 ~x3757 ~x3758 ~x3759 ~x3760 ~x3761 ~x3762 ~x3763 ~x3764 ~x3765 ~x3766 ~x3767 ~x3768 ~x3769 ~x3770 ~x3771 ~x3772 ~x3773 ~x3774 ~x3775 ~x3776 ~x3777 ~x3778 ~x3779 ~x3780 ~x3781 ~x3782 ~x3783 ~x3784 ~x3785 ~x3786 ~x3787 ~x3788 ~x3789 ~x3790 ~x3791 ~x3792 ~x3793 ~x3794 ~x3795 ~x3796 ~x3797 ~x3798 ~x3799 ~x3800 ~x3801 ~x3802 ~x3803 ~x3804 ~x3805 ~x3806 ~x3807 ~x3808 x3809 ~x3810 ~x3811 ~x3812 ~x3813 ~x3814 ~x3815 ~x3816 ~x3817 ~x3818 ~x3819 ~x3820 ~x3821 ~x3822 ~x3823 ~x3824 ~x3825 ~x3826 ~x3827 ~x3828 ~x3829 ~x3830 ~x3831 ~x3832 ~x3833 ~x3834 ~x3835 ~x3836 ~x3837 ~x3838 ~x3839 ~x3840 ~x3841 ~x3842 ~x3843 ~x3844 ~x3845 ~x3846 ~x3847 ~x3848 ~x3849 ~x3850 ~x3851 ~x3852 ~x3853 ~x3854 ~x3855 ~x3856 ~x3857 ~x3858 ~x3859 ~x3860 ~x3861 ~x3862 ~x3863 ~x3864 ~x3865 ~x3866 ~x3867 ~x3868 ~x3869 ~x3870 ~x3871 ~x3872 ~x3873 ~x3874 ~x3875 ~x3876 ~x3877 ~x3878 ~x3879 ~x3880 ~x3881 ~x3882 ~x3883 ~x3884 ~x3885 ~x3886 ~x3887 ~x3888 ~x3889 ~x3890 ~x3891 ~x3892 ~x3893 ~x3894 ~x3895 ~x3896 ~x3897 ~x3898 ~x3899 ~x3900 ~x3901 ~x3902 ~x3903 ~x3904 ~x3905 ~x3906 ~x3907 ~x3908 ~x3909 ~x3910 ~x3911 ~x3912 ~x3913 ~x3914 ~x3915 ~x3916 ~x3917 ~x3918 ~x3919 ~x3920 ~x3921 ~x3922 ~x3923 ~x3924 ~x3925 ~x3926 ~x3927 ~x3928 ~x3929 ~x3930 ~x3931 ~x3932 ~x3933 ~x3934 ~x3935 ~x3936 ~x3937 ~x3938 ~x3939 ~x3940 ~x3941 ~x3942 ~x3943 ~x3944 ~x3945 ~x3946 ~x3947 ~x3948 ~x3949 ~x3950 ~x3951 ~x3952 ~x3953 ~x3954 ~x3955 ~x3956 ~x3957 ~x3958 ~x3959 ~x3960 ~x3961 ~x3962 ~x3963 ~x3964 ~x3965 ~x3966 ~x3967 ~x3968 ~x3969 ~x3970 ~x3971 ~x3972 ~x3973 ~x3974 ~x3975 ~x3976 ~x3977 ~x3978 ~x3979 ~x3980 ~x3981 ~x3982 ~x3983 ~x3984 ~x3985 ~x3986 ~x3987 ~x3988 ~x3989 ~x3990 ~x3991 ~x3992 ~x3993 ~x3994 ~x3995 x3996 ~x3997 ~x3998 ~x3999 ~x4000 ~x4001 ~x4002 ~x4003 ~x4004 ~x4005 ~x4006 ~x4007 ~x4008 ~x4009 ~x4010 ~x4011 ~x4012 ~x4013 ~x4014 ~x4015 ~x4016 ~x4017 ~x4018 ~x4019 ~x4020 ~x4021 ~x4022 ~x4023 ~x4024 ~x4025 ~x4026 ~x4027 ~x4028 ~x4029 ~x4030 ~x4031 ~x4032 ~x4033 ~x4034 ~x4035 ~x4036 ~x4037 ~x4038 ~x4039 ~x4040 ~x4041 ~x4042 ~x4043 ~x4044 ~x4045 ~x4046 ~x4047 ~x4048 ~x4049 ~x4050 ~x4051 ~x4052 ~x4053 ~x4054 ~x4055 ~x4056 ~x4057 ~x4058 ~x4059 ~x4060 ~x4061 ~x4062 ~x4063 ~x4064 ~x4065 ~x4066 ~x4067 ~x4068 ~x4069 ~x4070 ~x4071 ~x4072 ~x4073 ~x4074 ~x4075 ~x4076 ~x4077 ~x4078 ~x4079 ~x4080 ~x4081 ~x4082 ~x4083 ~x4084 ~x4085 ~x4086 ~x4087 ~x4088 ~x4089 ~x4090 ~x4091 ~x4092 ~x4093 ~x4094 ~x4095 ~x4096 ~x4097 x4098 ~x4099 ~x4100 ~x4101 ~x4102 ~x4103 ~x4104 ~x4105 ~x4106 ~x4107 ~x4108 ~x4109 ~x4110 ~x4111 ~x4112 ~x4113 ~x4114 ~x4115 ~x4116 ~x4117 ~x4118 ~x4119 ~x4120 ~x4121 ~x4122 ~x4123 ~x4124 ~x4125 ~x4126 ~x4127 ~x4128 ~x4129 ~x4130 ~x4131 ~x4132 ~x4133 ~x4134 ~x4135 ~x4136 ~x4137 ~x4138 ~x4139 ~x4140 ~x4141 ~x4142 ~x4143 ~x4144 ~x4145 ~x4146 ~x4147 ~x4148 ~x4149 ~x4150 ~x4151 ~x4152 ~x4153 ~x4154 ~x4155 ~x4156 x4157 ~x4158 ~x4159 ~x4160 ~x4161 ~x4162 ~x4163 ~x4164 ~x4165 ~x4166 ~x4167 ~x4168 ~x4169 ~x4170 ~x4171 ~x4172 ~x4173 ~x4174 ~x4175 ~x4176 ~x4177 ~x4178 ~x4179 ~x4180 ~x4181 ~x4182 ~x4183 ~x4184 ~x4185 ~x4186 ~x4187 ~x4188 ~x4189 ~x4190 ~x4191 ~x4192 ~x4193 ~x4194 ~x4195 ~x4196 ~x4197 ~x4198 ~x4199 ~x4200 ~x4201 ~x4202 ~x4203 ~x4204 ~x4205 ~x4206 ~x4207 ~x4208 ~x4209 ~x4210 ~x4211 ~x4212 ~x4213 ~x4214 ~x4215 ~x4216 ~x4217 ~x4218 ~x4219 ~x4220 ~x4221 ~x4222 ~x4223 ~x4224 ~x4225 ~x4226 ~x4227 ~x4228 ~x4229 ~x4230 ~x4231 ~x4232 ~x4233 ~x4234 ~x4235 ~x4236 ~x4237 ~x4238 ~x4239 ~x4240 ~x4241 ~x4242 ~x4243 ~x4244 x4245 ~x4246 ~x4247 ~x4248 ~x4249 ~x4250 ~x4251 ~x4252 ~x4253 ~x4254 ~x4255 ~x4256 ~x4257 ~x4258 ~x4259 ~x4260 ~x4261 ~x4262 ~x4263 ~x4264 ~x4265 ~x4266 ~x4267 ~x4268 ~x4269 ~x4270 ~x4271 ~x4272 ~x4273 ~x4274 ~x4275 ~x4276 ~x4277 ~x4278 ~x4279 ~x4280 ~x4281 ~x4282 ~x4283 ~x4284 ~x4285 ~x4286 ~x4287 ~x4288 ~x4289 ~x4290 ~x4291 ~x4292 ~x4293 ~x4294 ~x4295 ~x4296 ~x4297 ~x4298 ~x4299 ~x4300 x4301 ~x4302 ~x4303 ~x4304 ~x4305 ~x4306 ~x4307 ~x4308 ~x4309 ~x4310 ~x4311 ~x4312 ~x4313 ~x4314 ~x4315 ~x4316 ~x4317 ~x4318 ~x4319 ~x4320 ~x4321 ~x4322 ~x4323 ~x4324 ~x4325 ~x4326 ~x4327 ~x4328 ~x4329 ~x4330 ~x4331 ~x4332 ~x4333 ~x4334 ~x4335 ~x4336 ~x4337 ~x4338 ~x4339 ~x4340 ~x4341 ~x4342 ~x4343 ~x4344 ~x4345 ~x4346 ~x4347 ~x4348 ~x4349 ~x4350 ~x4351 ~x4352 ~x4353 ~x4354 ~x4355 ~x4356 ~x4357 ~x4358 ~x4359 ~x4360 ~x4361 ~x4362 ~x4363 ~x4364 ~x4365 ~x4366 ~x4367 ~x4368 ~x4369 ~x4370 ~x4371 ~x4372 ~x4373 ~x4374 ~x4375 ~x4376 ~x4377 ~x4378 ~x4379 ~x4380 ~x4381 ~x4382 ~x4383 ~x4384 ~x4385 ~x4386 ~x4387 ~x4388 ~x4389 ~x4390 ~x4391 ~x4392 ~x4393 ~x4394 ~x4395 ~x4396 ~x4397 ~x4398 ~x4399 ~x4400 ~x4401 ~x4402 ~x4403 ~x4404 ~x4405 ~x4406 ~x4407 ~x4408 ~x4409 x4410 ~x4411 ~x4412 ~x4413 ~x4414 ~x4415 ~x4416 ~x4417 ~x4418 ~x4419 ~x4420 ~x4421 ~x4422 ~x4423 ~x4424 ~x4425 ~x4426 ~x4427 ~x4428 ~x4429 ~x4430 ~x4431 ~x4432 ~x4433 ~x4434 ~x4435 ~x4436 ~x4437 ~x4438 ~x4439 ~x4440 ~x4441 ~x4442 ~x4443 ~x4444 ~x4445 ~x4446 ~x4447 ~x4448 ~x4449 ~x4450 ~x4451 ~x4452 ~x4453 ~x4454 ~x4455 ~x4456 ~x4457 ~x4458 ~x4459 ~x4460 ~x4461 ~x4462 ~x4463 ~x4464 ~x4465 ~x4466 ~x4467 ~x4468 ~x4469 ~x4470 ~x4471 ~x4472 ~x4473 ~x4474 ~x4475 ~x4476 ~x4477 ~x4478 ~x4479 ~x4480 ~x4481 ~x4482 ~x4483 ~x4484 ~x4485 ~x4486 ~x4487 ~x4488 ~x4489 ~x4490 ~x4491 ~x4492 ~x4493 ~x4494 ~x4495 ~x4496 ~x4497 ~x4498 ~x4499 ~x4500 ~x4501 ~x4502 ~x4503 ~x4504 ~x4505 ~x4506 ~x4507 ~x4508 ~x4509 ~x4510 ~x4511 ~x4512 ~x4513 ~x4514 ~x4515 ~x4516 ~x4517 ~x4518 ~x4519 ~x4520 ~x4521 ~x4522 ~x4523 ~x4524 ~x4525 ~x4526 ~x4527 ~x4528 ~x4529 ~x4530 ~x4531 ~x4532 ~x4533 ~x4534 ~x4535 ~x4536 ~x4537 ~x4538 ~x4539 ~x4540 ~x4541 ~x4542 ~x4543 ~x4544 ~x4545 ~x4546 ~x4547 ~x4548 ~x4549 ~x4550 ~x4551 ~x4552 ~x4553 ~x4554 ~x4555 ~x4556 ~x4557 ~x4558 ~x4559 ~x4560 ~x4561 ~x4562 ~x4563 ~x4564 ~x4565 ~x4566 ~x4567 x4568 ~x4569 ~x4570 ~x4571 ~x4572 ~x4573 ~x4574 ~x4575 ~x4576 ~x4577 ~x4578 ~x4579 ~x4580 ~x4581 ~x4582 ~x4583 ~x4584 ~x4585 ~x4586 ~x4587 ~x4588 ~x4589 ~x4590 ~x4591 ~x4592 ~x4593 ~x4594 ~x4595 ~x4596 ~x4597 ~x4598 ~x4599 ~x4600 ~x4601 ~x4602 ~x4603 ~x4604 ~x4605 ~x4606 ~x4607 ~x4608 ~x4609 ~x4610 ~x4611 ~x4612 ~x4613 ~x4614 ~x4615 ~x4616 ~x4617 ~x4618 ~x4619 ~x4620 ~x4621 ~x4622 ~x4623 ~x4624 ~x4625 ~x4626 ~x4627 ~x4628 ~x4629 ~x4630 ~x4631 ~x4632 ~x4633 ~x4634 ~x4635 ~x4636 ~x4637 ~x4638 ~x4639 ~x4640 ~x4641 ~x4642 ~x4643 ~x4644 ~x4645 ~x4646 ~x4647 ~x4648 ~x4649 ~x4650 ~x4651 ~x4652 ~x4653 ~x4654 ~x4655 ~x4656 ~x4657 ~x4658 ~x4659 ~x4660 ~x4661 ~x4662 ~x4663 ~x4664 ~x4665 ~x4666 ~x4667 ~x4668 ~x4669 ~x4670 ~x4671 ~x4672 ~x4673 ~x4674 ~x4675 ~x4676 ~x4677 ~x4678 ~x4679 ~x4680 ~x4681 ~x4682 ~x4683 ~x4684 x4685 ~x4686 ~x4687 ~x4688 ~x4689 ~x4690 ~x4691 ~x4692 ~x4693 ~x4694 ~x4695 ~x4696 ~x4697 ~x4698 ~x4699 ~x4700 ~x4701 ~x4702 x4703 ~x4704 ~x4705 ~x4706 ~x4707 ~x4708 ~x4709 ~x4710 ~x4711 ~x4712 ~x4713 ~x4714 ~x4715 ~x4716 ~x4717 ~x4718 ~x4719 ~x4720 ~x4721 ~x4722 ~x4723 ~x4724 ~x4725 ~x4726 ~x4727 ~x4728 ~x4729 ~x4730 ~x4731 ~x4732 ~x4733 ~x4734 ~x4735 ~x4736 ~x4737 ~x4738 ~x4739 ~x4740 ~x4741 ~x4742 ~x4743 ~x4744 ~x4745 ~x4746 ~x4747 ~x4748 ~x4749 ~x4750 ~x4751 ~x4752 ~x4753 ~x4754 ~x4755 ~x4756 ~x4757 ~x4758 ~x4759 ~x4760 ~x4761 ~x4762 ~x4763 ~x4764 ~x4765 ~x4766 ~x4767 ~x4768 ~x4769 ~x4770 ~x4771 ~x4772 ~x4773 ~x4774 ~x4775 ~x4776 ~x4777 ~x4778 ~x4779 ~x4780 ~x4781 ~x4782 ~x4783 ~x4784 ~x4785 ~x4786 ~x4787 ~x4788 ~x4789 ~x4790 ~x4791 ~x4792 ~x4793 ~x4794 ~x4795 ~x4796 ~x4797 ~x4798 ~x4799 ~x4800 ~x4801 ~x4802 ~x4803 ~x4804 ~x4805 ~x4806 ~x4807 x4808 ~x4809 ~x4810 ~x4811 ~x4812 ~x4813 ~x4814 ~x4815 ~x4816 ~x4817 ~x4818 ~x4819 ~x4820 ~x4821 ~x4822 ~x4823 ~x4824 ~x4825 ~x4826 ~x4827 ~x4828 ~x4829 ~x4830 ~x4831 ~x4832 ~x4833 ~x4834 ~x4835 ~x4836 ~x4837 ~x4838 ~x4839 ~x4840 ~x4841 ~x4842 ~x4843 ~x4844 ~x4845 ~x4846 ~x4847 ~x4848 ~x4849 ~x4850 ~x4851 ~x4852 ~x4853 ~x4854 ~x4855 ~x4856 ~x4857 ~x4858 ~x4859 ~x4860 ~x4861 ~x4862 ~x4863 ~x4864 ~x4865 ~x4866 ~x4867 ~x4868 ~x4869 ~x4870 ~x4871 ~x4872 ~x4873 ~x4874 ~x4875 ~x4876 ~x4877 ~x4878 ~x4879 ~x4880 ~x4881 ~x4882 ~x4883 ~x4884 ~x4885 ~x4886 ~x4887 ~x4888 ~x4889 ~x4890 ~x4891 ~x4892 ~x4893 ~x4894 ~x4895 ~x4896 ~x4897 ~x4898 ~x4899 ~x4900 ~x4901 ~x4902 ~x4903 ~x4904 ~x4905 ~x4906 ~x4907 ~x4908 ~x4909 ~x4910 ~x4911 ~x4912 ~x4913 ~x4914 ~x4915 ~x4916 ~x4917 ~x4918 ~x4919 ~x4920 ~x4921 ~x4922 ~x4923 ~x4924 ~x4925 ~x4926 ~x4927 ~x4928 ~x4929 ~x4930 ~x4931 ~x4932 ~x4933 ~x4934 ~x4935 ~x4936 ~x4937 ~x4938 ~x4939 ~x4940 ~x4941 ~x4942 ~x4943 ~x4944 ~x4945 ~x4946 ~x4947 ~x4948 ~x4949 ~x4950 ~x4951 ~x4952 ~x4953 ~x4954 ~x4955 ~x4956 ~x4957 ~x4958 ~x4959 ~x4960 ~x4961 ~x4962 ~x4963 ~x4964 ~x4965 ~x4966 ~x4967 ~x4968 ~x4969 ~x4970 ~x4971 ~x4972 ~x4973 ~x4974 ~x4975 ~x4976 x4977 ~x4978 ~x4979 ~x4980 ~x4981 ~x4982 ~x4983 ~x4984 ~x4985 ~x4986 ~x4987 ~x4988 ~x4989 ~x4990 ~x4991 ~x4992 ~x4993 ~x4994 ~x4995 ~x4996 ~x4997 ~x4998 ~x4999 ~x5000 ~x5001 ~x5002 ~x5003 ~x5004 ~x5005 ~x5006 ~x5007 ~x5008 ~x5009 ~x5010 ~x5011 ~x5012 ~x5013 ~x5014 ~x5015 ~x5016 ~x5017 ~x5018 ~x5019 ~x5020 ~x5021 ~x5022 ~x5023 ~x5024 ~x5025 ~x5026 ~x5027 ~x5028 ~x5029 ~x5030 ~x5031 ~x5032 ~x5033 ~x5034 ~x5035 ~x5036 ~x5037 ~x5038 ~x5039 ~x5040 ~x5041 ~x5042 ~x5043 ~x5044 ~x5045 ~x5046 ~x5047 ~x5048 ~x5049 ~x5050 x5051 ~x5052 ~x5053 ~x5054 ~x5055 ~x5056 ~x5057 ~x5058 ~x5059 ~x5060 ~x5061 ~x5062 ~x5063 ~x5064 ~x5065 ~x5066 ~x5067 ~x5068 ~x5069 ~x5070 ~x5071 ~x5072 ~x5073 ~x5074 ~x5075 ~x5076 ~x5077 ~x5078 ~x5079 ~x5080 ~x5081 ~x5082 ~x5083 ~x5084 ~x5085 ~x5086 ~x5087 ~x5088 ~x5089 ~x5090 ~x5091 ~x5092 ~x5093 ~x5094 ~x5095 ~x5096 ~x5097 ~x5098 ~x5099 ~x5100 ~x5101 ~x5102 ~x5103 ~x5104 ~x5105 ~x5106 ~x5107 ~x5108 ~x5109 ~x5110 ~x5111 ~x5112 ~x5113 ~x5114 ~x5115 ~x5116 ~x5117 ~x5118 ~x5119 ~x5120 ~x5121 ~x5122 ~x5123 ~x5124 ~x5125 ~x5126 x5127 ~x5128 ~x5129 ~x5130 ~x5131 ~x5132 ~x5133 ~x5134 ~x5135 ~x5136 ~x5137 ~x5138 ~x5139 ~x5140 ~x5141 ~x5142 ~x5143 ~x5144 ~x5145 ~x5146 ~x5147 ~x5148 ~x5149 ~x5150 ~x5151 ~x5152 ~x5153 ~x5154 ~x5155 ~x5156 ~x5157 ~x5158 ~x5159 ~x5160 ~x5161 ~x5162 ~x5163 ~x5164 ~x5165 ~x5166 ~x5167 ~x5168 ~x5169 ~x5170 ~x5171 ~x5172 ~x5173 ~x5174 ~x5175 ~x5176 ~x5177 ~x5178 ~x5179 ~x5180 ~x5181 ~x5182 ~x5183 ~x5184 ~x5185 ~x5186 ~x5187 ~x5188 ~x5189 ~x5190 ~x5191 ~x5192 ~x5193 ~x5194 ~x5195 ~x5196 ~x5197 ~x5198 ~x5199 ~x5200 ~x5201 ~x5202 ~x5203 ~x5204 ~x5205 ~x5206 ~x5207 ~x5208 ~x5209 ~x5210 ~x5211 ~x5212 ~x5213 ~x5214 ~x5215 ~x5216 ~x5217 ~x5218 ~x5219 ~x5220 ~x5221 ~x5222 ~x5223 ~x5224 ~x5225 ~x5226 ~x5227 ~x5228 ~x5229 ~x5230 ~x5231 ~x5232 ~x5233 ~x5234 ~x5235 ~x5236 ~x5237 ~x5238 ~x5239 ~x5240 ~x5241 ~x5242 ~x5243 ~x5244 ~x5245 ~x5246 ~x5247 ~x5248 ~x5249 ~x5250 ~x5251 ~x5252 ~x5253 ~x5254 ~x5255 ~x5256 ~x5257 ~x5258 ~x5259 ~x5260 ~x5261 ~x5262 ~x5263 ~x5264 ~x5265 ~x5266 ~x5267 ~x5268 ~x5269 ~x5270 ~x5271 ~x5272 ~x5273 ~x5274 ~x5275 ~x5276 ~x5277 ~x5278 ~x5279 ~x5280 ~x5281 ~x5282 ~x5283 ~x5284 ~x5285 ~x5286 ~x5287 ~x5288 ~x5289 ~x5290 ~x5291 ~x5292 ~x5293 ~x5294 ~x5295 ~x5296 ~x5297 ~x5298 x5299 ~x5300 ~x5301 ~x5302 ~x5303 ~x5304 ~x5305 ~x5306 ~x5307 ~x5308 ~x5309 ~x5310 ~x5311 x5312 ~x5313 ~x5314 ~x5315 ~x5316 ~x5317 ~x5318 ~x5319 ~x5320 ~x5321 ~x5322 ~x5323 ~x5324 ~x5325 ~x5326 ~x5327 ~x5328 ~x5329 ~x5330 ~x5331 ~x5332 ~x5333 ~x5334 ~x5335 ~x5336 ~x5337 ~x5338 ~x5339 ~x5340 ~x5341 ~x5342 ~x5343 ~x5344 ~x5345 ~x5346 ~x5347 ~x5348 ~x5349 ~x5350 ~x5351 ~x5352 ~x5353 ~x5354 ~x5355 ~x5356 ~x5357 ~x5358 ~x5359 ~x5360 ~x5361 ~x5362 ~x5363 ~x5364 ~x5365 ~x5366 ~x5367 ~x5368 ~x5369 ~x5370 ~x5371 ~x5372 ~x5373 ~x5374 ~x5375 ~x5376 ~x5377 ~x5378 ~x5379 ~x5380 ~x5381 ~x5382 ~x5383 ~x5384 ~x5385 ~x5386 ~x5387 ~x5388 ~x5389 ~x5390 ~x5391 ~x5392 ~x5393 ~x5394 ~x5395 ~x5396 ~x5397 ~x5398 ~x5399 ~x5400 ~x5401 ~x5402 ~x5403 ~x5404 ~x5405 ~x5406 ~x5407 ~x5408 ~x5409 ~x5410 ~x5411 ~x5412 ~x5413 ~x5414 ~x5415 ~x5416 ~x5417 ~x5418 ~x5419 ~x5420 ~x5421 ~x5422 ~x5423 ~x5424 ~x5425 ~x5426 ~x5427 ~x5428 ~x5429 ~x5430 ~x5431 ~x5432 ~x5433 ~x5434 ~x5435 ~x5436 ~x5437 ~x5438 ~x5439 ~x5440 ~x5441 ~x5442 ~x5443 ~x5444 ~x5445 ~x5446 ~x5447 ~x5448 ~x5449 ~x5450 ~x5451 ~x5452 ~x5453 ~x5454 ~x5455 ~x5456 ~x5457 ~x5458 ~x5459 ~x5460 x5461 ~x5462 ~x5463 ~x5464 ~x5465 ~x5466 ~x5467 ~x5468 ~x5469 ~x5470 ~x5471 ~x5472 ~x5473 ~x5474 ~x5475 ~x5476 ~x5477 ~x5478 ~x5479 ~x5480 ~x5481 ~x5482 ~x5483 ~x5484 ~x5485 ~x5486 ~x5487 ~x5488 ~x5489 ~x5490 ~x5491 ~x5492 ~x5493 ~x5494 ~x5495 ~x5496 ~x5497 ~x5498 ~x5499 ~x5500 ~x5501 ~x5502 ~x5503 ~x5504 ~x5505 ~x5506 ~x5507 ~x5508 ~x5509 ~x5510 ~x5511 ~x5512 ~x5513 ~x5514 ~x5515 ~x5516 ~x5517 ~x5518 ~x5519 ~x5520 ~x5521 ~x5522 ~x5523 ~x5524 ~x5525 ~x5526 ~x5527 ~x5528 ~x5529 ~x5530 ~x5531 ~x5532 ~x5533 ~x5534 ~x5535 ~x5536 ~x5537 ~x5538 ~x5539 ~x5540 ~x5541 ~x5542 ~x5543 ~x5544 ~x5545 ~x5546 ~x5547 ~x5548 ~x5549 ~x5550 ~x5551 ~x5552 ~x5553 ~x5554 ~x5555 ~x5556 ~x5557 ~x5558 ~x5559 ~x5560 ~x5561 ~x5562 ~x5563 ~x5564 ~x5565 ~x5566 ~x5567 ~x5568 ~x5569 ~x5570 ~x5571 ~x5572 ~x5573 ~x5574 ~x5575 ~x5576 ~x5577 ~x5578 ~x5579 ~x5580 ~x5581 ~x5582 ~x5583 ~x5584 ~x5585 ~x5586 ~x5587 ~x5588 ~x5589 ~x5590 ~x5591 ~x5592 ~x5593 ~x5594 ~x5595 ~x5596 ~x5597 ~x5598 x5599 ~x5600 ~x5601 ~x5602 ~x5603 ~x5604 ~x5605 ~x5606 ~x5607 ~x5608 ~x5609 ~x5610 ~x5611 ~x5612 ~x5613 ~x5614 ~x5615 ~x5616 ~x5617 ~x5618 ~x5619 ~x5620 ~x5621 ~x5622 ~x5623 ~x5624 ~x5625 ~x5626 ~x5627 ~x5628 ~x5629 ~x5630 ~x5631 ~x5632 ~x5633 ~x5634 ~x5635 ~x5636 ~x5637 ~x5638 ~x5639 ~x5640 ~x5641 ~x5642 ~x5643 ~x5644 ~x5645 ~x5646 ~x5647 ~x5648 ~x5649 ~x5650 ~x5651 ~x5652 ~x5653 ~x5654 ~x5655 ~x5656 ~x5657 ~x5658 ~x5659 ~x5660 ~x5661 ~x5662 ~x5663 ~x5664 ~x5665 ~x5666 ~x5667 ~x5668 ~x5669 ~x5670 ~x5671 ~x5672 ~x5673 ~x5674 ~x5675 ~x5676 ~x5677 ~x5678 ~x5679 ~x5680 ~x5681 ~x5682 ~x5683 ~x5684 ~x5685 ~x5686 ~x5687 ~x5688 ~x5689 ~x5690 ~x5691 ~x5692 ~x5693 x5694 ~x5695 ~x5696 ~x5697 ~x5698 ~x5699 ~x5700 ~x5701 ~x5702 ~x5703 ~x5704 ~x5705 ~x5706 ~x5707 ~x5708 ~x5709 ~x5710 ~x5711 ~x5712 ~x5713 ~x5714 ~x5715 ~x5716 ~x5717 ~x5718 ~x5719 ~x5720 ~x5721 ~x5722 ~x5723 ~x5724 ~x5725 ~x5726 ~x5727 ~x5728 ~x5729 ~x5730 ~x5731 ~x5732 ~x5733 ~x5734 ~x5735 ~x5736 ~x5737 ~x5738 ~x5739 ~x5740 ~x5741 ~x5742 ~x5743 ~x5744 ~x5745 ~x5746 ~x5747 ~x5748 ~x5749 ~x5750 ~x5751 ~x5752 ~x5753 ~x5754 ~x5755 ~x5756 ~x5757 ~x5758 ~x5759 ~x5760 ~x5761 ~x5762 ~x5763 ~x5764 ~x5765 ~x5766 ~x5767 ~x5768 ~x5769 ~x5770 ~x5771 x5772 ~x5773 ~x5774 ~x5775 ~x5776 ~x5777 ~x5778 ~x5779 ~x5780 ~x5781 ~x5782 ~x5783 ~x5784 ~x5785 ~x5786 ~x5787 ~x5788 ~x5789 ~x5790 ~x5791 ~x5792 ~x5793 ~x5794 ~x5795 ~x5796 ~x5797 ~x5798 ~x5799 ~x5800 ~x5801 ~x5802 ~x5803 ~x5804 ~x5805 ~x5806 ~x5807 ~x5808 ~x5809 ~x5810 ~x5811 ~x5812 ~x5813 ~x5814 ~x5815 ~x5816 ~x5817 ~x5818 x5819 ~x5820 ~x5821 ~x5822 ~x5823 ~x5824 ~x5825 ~x5826 ~x5827 ~x5828 ~x5829 ~x5830 ~x5831 ~x5832 ~x5833 ~x5834 ~x5835 ~x5836 ~x5837 ~x5838 ~x5839 ~x5840 ~x5841 ~x5842 ~x5843 ~x5844 ~x5845 ~x5846 ~x5847 ~x5848 ~x5849 ~x5850 ~x5851 ~x5852 ~x5853 ~x5854 ~x5855 ~x5856 ~x5857 ~x5858 ~x5859 ~x5860 ~x5861 ~x5862 ~x5863 ~x5864 ~x5865 ~x5866 ~x5867 ~x5868 ~x5869 ~x5870 ~x5871 ~x5872 ~x5873 ~x5874 ~x5875 ~x5876 ~x5877 ~x5878 ~x5879 ~x5880 ~x5881 ~x5882 ~x5883 ~x5884 ~x5885 ~x5886 ~x5887 ~x5888 ~x5889 ~x5890 ~x5891 ~x5892 ~x5893 ~x5894 ~x5895 ~x5896 ~x5897 ~x5898 ~x5899 ~x5900 ~x5901 ~x5902 ~x5903 ~x5904 ~x5905 ~x5906 ~x5907 ~x5908 ~x5909 ~x5910 ~x5911 ~x5912 ~x5913 ~x5914 ~x5915 ~x5916 ~x5917 ~x5918 ~x5919 ~x5920 ~x5921 ~x5922 ~x5923 ~x5924 ~x5925 ~x5926 ~x5927 ~x5928 ~x5929 ~x5930 ~x5931 ~x5932 ~x5933 x5934 ~x5935 ~x5936 ~x5937 ~x5938 ~x5939 ~x5940 ~x5941 ~x5942 ~x5943 ~x5944 ~x5945 ~x5946 ~x5947 ~x5948 ~x5949 ~x5950 ~x5951 ~x5952 ~x5953 ~x5954 ~x5955 ~x5956 ~x5957 ~x5958 ~x5959 ~x5960 ~x5961 ~x5962 ~x5963 ~x5964 ~x5965 ~x5966 ~x5967 ~x5968 ~x5969 ~x5970 ~x5971 ~x5972 ~x5973 ~x5974 ~x5975 ~x5976 ~x5977 ~x5978 ~x5979 ~x5980 ~x5981 ~x5982 ~x5983 ~x5984 ~x5985 ~x5986 ~x5987 ~x5988 ~x5989 ~x5990 ~x5991 ~x5992 ~x5993 ~x5994 ~x5995 ~x5996 ~x5997 ~x5998 ~x5999 ~x6000 ~x6001 ~x6002 ~x6003 ~x6004 ~x6005 ~x6006 ~x6007 ~x6008 ~x6009 ~x6010 ~x6011 ~x6012 ~x6013 ~x6014 ~x6015 ~x6016 ~x6017 ~x6018 ~x6019 ~x6020 ~x6021 ~x6022 ~x6023 ~x6024 ~x6025 ~x6026 ~x6027 ~x6028 ~x6029 ~x6030 ~x6031 ~x6032 ~x6033 ~x6034 ~x6035 ~x6036 ~x6037 ~x6038 ~x6039 ~x6040 ~x6041 ~x6042 x6043 ~x6044 ~x6045 ~x6046 ~x6047 ~x6048 ~x6049 ~x6050 ~x6051 ~x6052 ~x6053 ~x6054 ~x6055 ~x6056 ~x6057 ~x6058 ~x6059 ~x6060 ~x6061 ~x6062 ~x6063 ~x6064 ~x6065 ~x6066 ~x6067 ~x6068 ~x6069 ~x6070 ~x6071 ~x6072 ~x6073 ~x6074 ~x6075 ~x6076 ~x6077 ~x6078 ~x6079 ~x6080 ~x6081 ~x6082 ~x6083 ~x6084 ~x6085 ~x6086 ~x6087 ~x6088 ~x6089 ~x6090 ~x6091 ~x6092 ~x6093 ~x6094 ~x6095 ~x6096 ~x6097 ~x6098 ~x6099 ~x6100 ~x6101 ~x6102 ~x6103 ~x6104 ~x6105 ~x6106 ~x6107 x6108 ~x6109 ~x6110 ~x6111 ~x6112 ~x6113 ~x6114 ~x6115 ~x6116 ~x6117 ~x6118 ~x6119 ~x6120 ~x6121 ~x6122 ~x6123 ~x6124 ~x6125 ~x6126 ~x6127 ~x6128 ~x6129 ~x6130 ~x6131 ~x6132 ~x6133 ~x6134 ~x6135 ~x6136 ~x6137 ~x6138 ~x6139 ~x6140 ~x6141 ~x6142 ~x6143 ~x6144 ~x6145 ~x6146 ~x6147 ~x6148 ~x6149 ~x6150 ~x6151 ~x6152 ~x6153 ~x6154 ~x6155 ~x6156 ~x6157 ~x6158 ~x6159 ~x6160 ~x6161 ~x6162 ~x6163 ~x6164 ~x6165 ~x6166 ~x6167 ~x6168 ~x6169 ~x6170 ~x6171 ~x6172 ~x6173 ~x6174 ~x6175 ~x6176 ~x6177 ~x6178 ~x6179 ~x6180 ~x6181 ~x6182 ~x6183 ~x6184 ~x6185 ~x6186 ~x6187 ~x6188 ~x6189 ~x6190 ~x6191 ~x6192 ~x6193 ~x6194 ~x6195 ~x6196 ~x6197 ~x6198 ~x6199 ~x6200 ~x6201 ~x6202 ~x6203 ~x6204 ~x6205 ~x6206 ~x6207 ~x6208 ~x6209 ~x6210 ~x6211 ~x6212 ~x6213 ~x6214 ~x6215 ~x6216 ~x6217 ~x6218 ~x6219 ~x6220 ~x6221 ~x6222 ~x6223 ~x6224 ~x6225 ~x6226 ~x6227 ~x6228 ~x6229 ~x6230 ~x6231 ~x6232 ~x6233 ~x6234 ~x6235 ~x6236 ~x6237 ~x6238 ~x6239 x6240 ~x6241 ~x6242 ~x6243 ~x6244 ~x6245 ~x6246 ~x6247 ~x6248 ~x6249 ~x6250 ~x6251 ~x6252 ~x6253 ~x6254 ~x6255 ~x6256 ~x6257 ~x6258 ~x6259 ~x6260 ~x6261 ~x6262 ~x6263 ~x6264 ~x6265 ~x6266 ~x6267 ~x6268 ~x6269 ~x6270 ~x6271 ~x6272 ~x6273 ~x6274 ~x6275 ~x6276 ~x6277 ~x6278 ~x6279 ~x6280 ~x6281 ~x6282 ~x6283 ~x6284 ~x6285 ~x6286 ~x6287 ~x6288 ~x6289 ~x6290 ~x6291 ~x6292 ~x6293 ~x6294 ~x6295 ~x6296 ~x6297 ~x6298 ~x6299 ~x6300 ~x6301 ~x6302 ~x6303 ~x6304 ~x6305 ~x6306 ~x6307 ~x6308 ~x6309 ~x6310 ~x6311 ~x6312 ~x6313 ~x6314 ~x6315 ~x6316 ~x6317 ~x6318 ~x6319 ~x6320 ~x6321 ~x6322 ~x6323 ~x6324 ~x6325 ~x6326 ~x6327 ~x6328 ~x6329 ~x6330 ~x6331 ~x6332 ~x6333 ~x6334 ~x6335 ~x6336 ~x6337 ~x6338 ~x6339 ~x6340 ~x6341 ~x6342 x6343 ~x6344 ~x6345 ~x6346 ~x6347 ~x6348 ~x6349 ~x6350 ~x6351 ~x6352 ~x6353 ~x6354 ~x6355 ~x6356 ~x6357 ~x6358 ~x6359 ~x6360 ~x6361 ~x6362 ~x6363 ~x6364 ~x6365 ~x6366 ~x6367 ~x6368 ~x6369 ~x6370 ~x6371 ~x6372 ~x6373 ~x6374 ~x6375 ~x6376 ~x6377 ~x6378 ~x6379 ~x6380 ~x6381 ~x6382 ~x6383 ~x6384 ~x6385 ~x6386 ~x6387 ~x6388 ~x6389 ~x6390 ~x6391 ~x6392 ~x6393 ~x6394 ~x6395 ~x6396 ~x6397 ~x6398 ~x6399 ~x6400 ~x6401 ~x6402 ~x6403 ~x6404 ~x6405 ~x6406 ~x6407 ~x6408 ~x6409 ~x6410 ~x6411 x6412 ~x6413 ~x6414 ~x6415 ~x6416 ~x6417 ~x6418 ~x6419 ~x6420 ~x6421 ~x6422 ~x6423 ~x6424 ~x6425 ~x6426 ~x6427 ~x6428 ~x6429 ~x6430 ~x6431 ~x6432 ~x6433 ~x6434 ~x6435 ~x6436 ~x6437 ~x6438 ~x6439 ~x6440 ~x6441 ~x6442 ~x6443 ~x6444 ~x6445 ~x6446 ~x6447 ~x6448 ~x6449 ~x6450 ~x6451 ~x6452 ~x6453 ~x6454 ~x6455 ~x6456 ~x6457 ~x6458 ~x6459 ~x6460 ~x6461 ~x6462 ~x6463 ~x6464 ~x6465 ~x6466 ~x6467 ~x6468 ~x6469 ~x6470 ~x6471 ~x6472 ~x6473 ~x6474 ~x6475 ~x6476 ~x6477 ~x6478 ~x6479 ~x6480 ~x6481 ~x6482 ~x6483 ~x6484 ~x6485 ~x6486 ~x6487 ~x6488 ~x6489 ~x6490 ~x6491 ~x6492 ~x6493 ~x6494 ~x6495 ~x6496 ~x6497 ~x6498 ~x6499 ~x6500 ~x6501 ~x6502 ~x6503 ~x6504 ~x6505 x6506 ~x6507 ~x6508 ~x6509 ~x6510 ~x6511 ~x6512 ~x6513 ~x6514 ~x6515 ~x6516 ~x6517 ~x6518 ~x6519 ~x6520 ~x6521 ~x6522 ~x6523 ~x6524 ~x6525 ~x6526 ~x6527 ~x6528 ~x6529 ~x6530 ~x6531 ~x6532 ~x6533 ~x6534 ~x6535 ~x6536 ~x6537 ~x6538 ~x6539 ~x6540 ~x6541 ~x6542 ~x6543 ~x6544 ~x6545 ~x6546 ~x6547 ~x6548 ~x6549 ~x6550 ~x6551 ~x6552 ~x6553 ~x6554 ~x6555 ~x6556 ~x6557 ~x6558 ~x6559 ~x6560 ~x6561 ~x6562 ~x6563 ~x6564 ~x6565 ~x6566 ~x6567 ~x6568 ~x6569 ~x6570 ~x6571 ~x6572 ~x6573 ~x6574 ~x6575 ~x6576 ~x6577 ~x6578 ~x6579 ~x6580 ~x6581 ~x6582 ~x6583 ~x6584 ~x6585 ~x6586 ~x6587 ~x6588 ~x6589 ~x6590 ~x6591 ~x6592 ~x6593 ~x6594 ~x6595 ~x6596 ~x6597 ~x6598 ~x6599 ~x6600 ~x6601 ~x6602 ~x6603 ~x6604 ~x6605 ~x6606 ~x6607 ~x6608 ~x6609 ~x6610 ~x6611 ~x6612 ~x6613 ~x6614 ~x6615 ~x6616 ~x6617 ~x6618 ~x6619 ~x6620 ~x6621 ~x6622 ~x6623 ~x6624 ~x6625 ~x6626 ~x6627 ~x6628 ~x6629 ~x6630 ~x6631 ~x6632 ~x6633 ~x6634 ~x6635 ~x6636 ~x6637 ~x6638 ~x6639 ~x6640 ~x6641 ~x6642 ~x6643 ~x6644 ~x6645 ~x6646 ~x6647 ~x6648 ~x6649 ~x6650 ~x6651 ~x6652 ~x6653 ~x6654 ~x6655 ~x6656 ~x6657 ~x6658 ~x6659 ~x6660 ~x6661 ~x6662 ~x6663 ~x6664 ~x6665 ~x6666 ~x6667 ~x6668 ~x6669 ~x6670 ~x6671 ~x6672 ~x6673 ~x6674 ~x6675 ~x6676 ~x6677 ~x6678 ~x6679 ~x6680 ~x6681 ~x6682 ~x6683 ~x6684 ~x6685 ~x6686 ~x6687 ~x6688 ~x6689 ~x6690 ~x6691 ~x6692 ~x6693 ~x6694 x6695 ~x6696 ~x6697 ~x6698 ~x6699 ~x6700 ~x6701 ~x6702 ~x6703 ~x6704 x6705 ~x6706 ~x6707 ~x6708 ~x6709 ~x6710 ~x6711 ~x6712 ~x6713 ~x6714 ~x6715 ~x6716 ~x6717 ~x6718 ~x6719 ~x6720 ~x6721 ~x6722 ~x6723 ~x6724 ~x6725 ~x6726 ~x6727 ~x6728 ~x6729 ~x6730 ~x6731 ~x6732 ~x6733 ~x6734 ~x6735 ~x6736 ~x6737 ~x6738 ~x6739 ~x6740 ~x6741 ~x6742 ~x6743 ~x6744 ~x6745 ~x6746 ~x6747 ~x6748 ~x6749 ~x6750 ~x6751 ~x6752 ~x6753 ~x6754 ~x6755 ~x6756 ~x6757 ~x6758 ~x6759 ~x6760 ~x6761 ~x6762 ~x6763 ~x6764 ~x6765 ~x6766 ~x6767 ~x6768 ~x6769 ~x6770 ~x6771 ~x6772 ~x6773 ~x6774 ~x6775 ~x6776 ~x6777 ~x6778 ~x6779 ~x6780 ~x6781 ~x6782 ~x6783 ~x6784 ~x6785 ~x6786 ~x6787 ~x6788 ~x6789 ~x6790 ~x6791 ~x6792 ~x6793 ~x6794 ~x6795 ~x6796 ~x6797 ~x6798 ~x6799 ~x6800 ~x6801 ~x6802 ~x6803 ~x6804 ~x6805 ~x6806 ~x6807 ~x6808 ~x6809 ~x6810 ~x6811 ~x6812 ~x6813 ~x6814 ~x6815 ~x6816 ~x6817 ~x6818 ~x6819 ~x6820 ~x6821 ~x6822 ~x6823 ~x6824 ~x6825 ~x6826 ~x6827 ~x6828 ~x6829 ~x6830 x6831 ~x6832 ~x6833 ~x6834 ~x6835 ~x6836 ~x6837 ~x6838 ~x6839 ~x6840 ~x6841 ~x6842 ~x6843 ~x6844 ~x6845 ~x6846 ~x6847 ~x6848 ~x6849 ~x6850 ~x6851 ~x6852 ~x6853 ~x6854 ~x6855 ~x6856 ~x6857 ~x6858 ~x6859 ~x6860 ~x6861 ~x6862 ~x6863 ~x6864 ~x6865 ~x6866 ~x6867 ~x6868 ~x6869 ~x6870 ~x6871 ~x6872 ~x6873 ~x6874 ~x6875 ~x6876 ~x6877 ~x6878 ~x6879 ~x6880 ~x6881 ~x6882 ~x6883 ~x6884 ~x6885 ~x6886 ~x6887 ~x6888 ~x6889 ~x6890 ~x6891 ~x6892 ~x6893 ~x6894 ~x6895 ~x6896 ~x6897 ~x6898 ~x6899 ~x6900 ~x6901 ~x6902 ~x6903 ~x6904 ~x6905 ~x6906 ~x6907 ~x6908 ~x6909 ~x6910 ~x6911 ~x6912 ~x6913 ~x6914 ~x6915 ~x6916 ~x6917 ~x6918 ~x6919 ~x6920 ~x6921 ~x6922 ~x6923 ~x6924 ~x6925 ~x6926 ~x6927 ~x6928 ~x6929 ~x6930 ~x6931 ~x6932 ~x6933 ~x6934 ~x6935 ~x6936 ~x6937 ~x6938 ~x6939 ~x6940 ~x6941 ~x6942 ~x6943 ~x6944 ~x6945 ~x6946 ~x6947 ~x6948 ~x6949 ~x6950 ~x6951 ~x6952 ~x6953 ~x6954 ~x6955 ~x6956 ~x6957 ~x6958 ~x6959 ~x6960 ~x6961 ~x6962 ~x6963 x6964 ~x6965 ~x6966 ~x6967 ~x6968 ~x6969 ~x6970 ~x6971 ~x6972 ~x6973 ~x6974 ~x6975 ~x6976 ~x6977 ~x6978 ~x6979 ~x6980 ~x6981 ~x6982 ~x6983 ~x6984 ~x6985 ~x6986 ~x6987 ~x6988 ~x6989 ~x6990 ~x6991 ~x6992 ~x6993 ~x6994 ~x6995 ~x6996 ~x6997 ~x6998 ~x6999 ~x7000 ~x7001 ~x7002 ~x7003 ~x7004 ~x7005 ~x7006 ~x7007 ~x7008 ~x7009 ~x7010 ~x7011 ~x7012 ~x7013 ~x7014 ~x7015 ~x7016 ~x7017 ~x7018 ~x7019 ~x7020 ~x7021 ~x7022 ~x7023 ~x7024 ~x7025 ~x7026 ~x7027 ~x7028 ~x7029 ~x7030 ~x7031 ~x7032 ~x7033 ~x7034 ~x7035 ~x7036 ~x7037 ~x7038 ~x7039 ~x7040 ~x7041 ~x7042 ~x7043 ~x7044 ~x7045 ~x7046 ~x7047 ~x7048 ~x7049 ~x7050 ~x7051 ~x7052 ~x7053 ~x7054 ~x7055 ~x7056 ~x7057 ~x7058 ~x7059 ~x7060 ~x7061 ~x7062 ~x7063 ~x7064 ~x7065 ~x7066 ~x7067 ~x7068 ~x7069 ~x7070 ~x7071 ~x7072 ~x7073 ~x7074 ~x7075 ~x7076 ~x7077 ~x7078 ~x7079 ~x7080 ~x7081 ~x7082 ~x7083 ~x7084 ~x7085 ~x7086 ~x7087 x7088 ~x7089 ~x7090 ~x7091 ~x7092 ~x7093 ~x7094 ~x7095 ~x7096 ~x7097 ~x7098 ~x7099 ~x7100 ~x7101 ~x7102 ~x7103 ~x7104 ~x7105 ~x7106 ~x7107 ~x7108 ~x7109 ~x7110 ~x7111 ~x7112 ~x7113 ~x7114 ~x7115 ~x7116 ~x7117 ~x7118 ~x7119 ~x7120 ~x7121 ~x7122 ~x7123 ~x7124 ~x7125 ~x7126 ~x7127 ~x7128 ~x7129 ~x7130 ~x7131 ~x7132 ~x7133 ~x7134 ~x7135 ~x7136 ~x7137 ~x7138 ~x7139 ~x7140 ~x7141 ~x7142 ~x7143 ~x7144 ~x7145 ~x7146 ~x7147 ~x7148 ~x7149 ~x7150 ~x7151 ~x7152 ~x7153 ~x7154 ~x7155 ~x7156 ~x7157 ~x7158 x7159 ~x7160 ~x7161 ~x7162 ~x7163 ~x7164 ~x7165 ~x7166 ~x7167 ~x7168 ~x7169 ~x7170 ~x7171 ~x7172 ~x7173 ~x7174 ~x7175 ~x7176 ~x7177 ~x7178 ~x7179 ~x7180 ~x7181 ~x7182 ~x7183 ~x7184 ~x7185 ~x7186 ~x7187 ~x7188 ~x7189 ~x7190 ~x7191 ~x7192 ~x7193 ~x7194 ~x7195 ~x7196 ~x7197 ~x7198 ~x7199 ~x7200 ~x7201 ~x7202 ~x7203 ~x7204 ~x7205 ~x7206 ~x7207 ~x7208 ~x7209 ~x7210 ~x7211 ~x7212 ~x7213 ~x7214 ~x7215 ~x7216 ~x7217 ~x7218 ~x7219 ~x7220 ~x7221 ~x7222 ~x7223 ~x7224 ~x7225 ~x7226 ~x7227 ~x7228 ~x7229 ~x7230 ~x7231 ~x7232 ~x7233 ~x7234 ~x7235 ~x7236 ~x7237 ~x7238 ~x7239 ~x7240 ~x7241 ~x7242 ~x7243 ~x7244 ~x7245 ~x7246 ~x7247 ~x7248 ~x7249 ~x7250 ~x7251 ~x7252 x7253 ~x7254 ~x7255 ~x7256 ~x7257 ~x7258 ~x7259 ~x7260 ~x7261 ~x7262 ~x7263 ~x7264 ~x7265 ~x7266 ~x7267 ~x7268 ~x7269 ~x7270 ~x7271 ~x7272 ~x7273 ~x7274 ~x7275 ~x7276 ~x7277 ~x7278 ~x7279 ~x7280 ~x7281 ~x7282 ~x7283 ~x7284 ~x7285 ~x7286 ~x7287 ~x7288 ~x7289 ~x7290 ~x7291 ~x7292 ~x7293 ~x7294 ~x7295 ~x7296 ~x7297 ~x7298 ~x7299 ~x7300 ~x7301 ~x7302 ~x7303 ~x7304 ~x7305 ~x7306 ~x7307 ~x7308 ~x7309 ~x7310 ~x7311 ~x7312 x7313 ~x7314 ~x7315 ~x7316 ~x7317 x7318 ~x7319 ~x7320 ~x7321 ~x7322 ~x7323 ~x7324 ~x7325 ~x7326 ~x7327 ~x7328 ~x7329 ~x7330 ~x7331 ~x7332 ~x7333 ~x7334 ~x7335 ~x7336 ~x7337 ~x7338 ~x7339 ~x7340 ~x7341 ~x7342 ~x7343 ~x7344 ~x7345 ~x7346 ~x7347 ~x7348 ~x7349 ~x7350 ~x7351 ~x7352 ~x7353 ~x7354 ~x7355 ~x7356 ~x7357 ~x7358 ~x7359 ~x7360 ~x7361 ~x7362 ~x7363 ~x7364 ~x7365 ~x7366 ~x7367 ~x7368 ~x7369 x7370 ~x7371 ~x7372 ~x7373 ~x7374 ~x7375 ~x7376 ~x7377 ~x7378 ~x7379 ~x7380 ~x7381 ~x7382 ~x7383 ~x7384 ~x7385 ~x7386 ~x7387 ~x7388 ~x7389 ~x7390 ~x7391 ~x7392 ~x7393 ~x7394 ~x7395 ~x7396 ~x7397 ~x7398 ~x7399 ~x7400 ~x7401 ~x7402 ~x7403 ~x7404 ~x7405 ~x7406 ~x7407 ~x7408 ~x7409 ~x7410 ~x7411 ~x7412 ~x7413 ~x7414 ~x7415 ~x7416 ~x7417 ~x7418 ~x7419 ~x7420 ~x7421 ~x7422 ~x7423 ~x7424 ~x7425 ~x7426 ~x7427 ~x7428 ~x7429 ~x7430 ~x7431 ~x7432 ~x7433 ~x7434 ~x7435 ~x7436 ~x7437 x7438 ~x7439 ~x7440 ~x7441 ~x7442 ~x7443 ~x7444 ~x7445 ~x7446 ~x7447 ~x7448 ~x7449 ~x7450 ~x7451 ~x7452 ~x7453 ~x7454 ~x7455 ~x7456 ~x7457 ~x7458 ~x7459 ~x7460 ~x7461 ~x7462 ~x7463 ~x7464 ~x7465 ~x7466 ~x7467 ~x7468 ~x7469 ~x7470 ~x7471 ~x7472 ~x7473 ~x7474 ~x7475 ~x7476 ~x7477 ~x7478 ~x7479 ~x7480 ~x7481 ~x7482 ~x7483 ~x7484 ~x7485 ~x7486 ~x7487 ~x7488 ~x7489 ~x7490 ~x7491 ~x7492 ~x7493 ~x7494 ~x7495 ~x7496 ~x7497 ~x7498 ~x7499 ~x7500 ~x7501 ~x7502 ~x7503 ~x7504 ~x7505 ~x7506 ~x7507 ~x7508 ~x7509 ~x7510 ~x7511 ~x7512 ~x7513 ~x7514 ~x7515 ~x7516 ~x7517 ~x7518 ~x7519 ~x7520 ~x7521 ~x7522 ~x7523 ~x7524 ~x7525 ~x7526 ~x7527 ~x7528 ~x7529 ~x7530 ~x7531 ~x7532 ~x7533 ~x7534 ~x7535 ~x7536 ~x7537 ~x7538 ~x7539 ~x7540 ~x7541 ~x7542 ~x7543 ~x7544 ~x7545 ~x7546 ~x7547 ~x7548 ~x7549 ~x7550 ~x7551 ~x7552 ~x7553 ~x7554 ~x7555 ~x7556 ~x7557 ~x7558 ~x7559 ~x7560 ~x7561 ~x7562 ~x7563 ~x7564 ~x7565 ~x7566 ~x7567 ~x7568 ~x7569 ~x7570 ~x7571 ~x7572 ~x7573 x7574 ~x7575 ~x7576 ~x7577 ~x7578 ~x7579 ~x7580 ~x7581 ~x7582 ~x7583 ~x7584 ~x7585 ~x7586 ~x7587 ~x7588 ~x7589 ~x7590 ~x7591 ~x7592 ~x7593 ~x7594 ~x7595 ~x7596 ~x7597 ~x7598 ~x7599 ~x7600 ~x7601 ~x7602 ~x7603 ~x7604 ~x7605 ~x7606 ~x7607 ~x7608 ~x7609 ~x7610 ~x7611 ~x7612 ~x7613 ~x7614 ~x7615 ~x7616 ~x7617 ~x7618 ~x7619 ~x7620 ~x7621 ~x7622 ~x7623 ~x7624 ~x7625 ~x7626 ~x7627 ~x7628 ~x7629 ~x7630 ~x7631 ~x7632 ~x7633 ~x7634 ~x7635 ~x7636 ~x7637 ~x7638 ~x7639 ~x7640 ~x7641 ~x7642 ~x7643 ~x7644 ~x7645 ~x7646 ~x7647 ~x7648 ~x7649 ~x7650 ~x7651 ~x7652 ~x7653 ~x7654 ~x7655 ~x7656 ~x7657 ~x7658 ~x7659 ~x7660 ~x7661 ~x7662 ~x7663 ~x7664 ~x7665 ~x7666 ~x7667 ~x7668 ~x7669 ~x7670 ~x7671 ~x7672 ~x7673 ~x7674 ~x7675 ~x7676 ~x7677 ~x7678 ~x7679 ~x7680 ~x7681 ~x7682 ~x7683 ~x7684 ~x7685 ~x7686 ~x7687 ~x7688 ~x7689 ~x7690 ~x7691 ~x7692 x7693 ~x7694 ~x7695 ~x7696 ~x7697 ~x7698 ~x7699 ~x7700 ~x7701 ~x7702 ~x7703 ~x7704 ~x7705 ~x7706 ~x7707 ~x7708 ~x7709 ~x7710 ~x7711 ~x7712 ~x7713 ~x7714 ~x7715 ~x7716 ~x7717 ~x7718 ~x7719 ~x7720 ~x7721 ~x7722 ~x7723 ~x7724 ~x7725 ~x7726 ~x7727 ~x7728 ~x7729 ~x7730 ~x7731 ~x7732 ~x7733 ~x7734 ~x7735 ~x7736 ~x7737 ~x7738 ~x7739 ~x7740 ~x7741 ~x7742 ~x7743 ~x7744 ~x7745 ~x7746 ~x7747 ~x7748 ~x7749 ~x7750 ~x7751 ~x7752 ~x7753 ~x7754 ~x7755 ~x7756 ~x7757 ~x7758 ~x7759 ~x7760 ~x7761 ~x7762 ~x7763 ~x7764 ~x7765 ~x7766 ~x7767 ~x7768 ~x7769 ~x7770 ~x7771 ~x7772 ~x7773 ~x7774 ~x7775 ~x7776 ~x7777 ~x7778 x7779 ~x7780 ~x7781 ~x7782 ~x7783 ~x7784 ~x7785 ~x7786 ~x7787 ~x7788 ~x7789 ~x7790 ~x7791 ~x7792 ~x7793 ~x7794 ~x7795 ~x7796 ~x7797 ~x7798 ~x7799 ~x7800 ~x7801 ~x7802 ~x7803 ~x7804 ~x7805 ~x7806 ~x7807 ~x7808 ~x7809 ~x7810 ~x7811 ~x7812 ~x7813 ~x7814 ~x7815 ~x7816 ~x7817 ~x7818 ~x7819 ~x7820 ~x7821 ~x7822 ~x7823 ~x7824 ~x7825 ~x7826 ~x7827 ~x7828 ~x7829 ~x7830 ~x7831 ~x7832 ~x7833 ~x7834 ~x7835 ~x7836 ~x7837 ~x7838 ~x7839 ~x7840 ~x7841 ~x7842 ~x7843 ~x7844 ~x7845 ~x7846 ~x7847 ~x7848 ~x7849 ~x7850 ~x7851 ~x7852 ~x7853 ~x7854 ~x7855 ~x7856 ~x7857 ~x7858 ~x7859 ~x7860 ~x7861 ~x7862 ~x7863 ~x7864 ~x7865 ~x7866 ~x7867 ~x7868 ~x7869 ~x7870 ~x7871 ~x7872 ~x7873 ~x7874 ~x7875 ~x7876 ~x7877 ~x7878 ~x7879 ~x7880 ~x7881 ~x7882 ~x7883 ~x7884 ~x7885 ~x7886 ~x7887 ~x7888 ~x7889 ~x7890 ~x7891 ~x7892 ~x7893 ~x7894 ~x7895 ~x7896 x7897 ~x7898 ~x7899 ~x7900 ~x7901 ~x7902 ~x7903 ~x7904 ~x7905 ~x7906 ~x7907 ~x7908 ~x7909 ~x7910 ~x7911 ~x7912 ~x7913 ~x7914 ~x7915 ~x7916 ~x7917 ~x7918 ~x7919 ~x7920 ~x7921 ~x7922 ~x7923 ~x7924 ~x7925 ~x7926 ~x7927 ~x7928 ~x7929 ~x7930 ~x7931 ~x7932 ~x7933 ~x7934 ~x7935 ~x7936 ~x7937 ~x7938 ~x7939 ~x7940 ~x7941 ~x7942 ~x7943 ~x7944 ~x7945 ~x7946 ~x7947 ~x7948 ~x7949 ~x7950 ~x7951 ~x7952 ~x7953 ~x7954 ~x7955 ~x7956 ~x7957 ~x7958 ~x7959 ~x7960 ~x7961 ~x7962 ~x7963 ~x7964 ~x7965 ~x7966 ~x7967 ~x7968 x7969 ~x7970 ~x7971 ~x7972 ~x7973 ~x7974 ~x7975 ~x7976 ~x7977 ~x7978 ~x7979 ~x7980 ~x7981 ~x7982 ~x7983 ~x7984 ~x7985 ~x7986 ~x7987 ~x7988 ~x7989 ~x7990 ~x7991 ~x7992 ~x7993 ~x7994 ~x7995 ~x7996 ~x7997 ~x7998 ~x7999 ~x8000 ~x8001 ~x8002 ~x8003 ~x8004 ~x8005 ~x8006 ~x8007 ~x8008 ~x8009 ~x8010 ~x8011 ~x8012 ~x8013 ~x8014 ~x8015 ~x8016 ~x8017 ~x8018 ~x8019 ~x8020 ~x8021 ~x8022 ~x8023 ~x8024 ~x8025 ~x8026 ~x8027 ~x8028 ~x8029 ~x8030 ~x8031 ~x8032 ~x8033 ~x8034 ~x8035 ~x8036 ~x8037 ~x8038 ~x8039 ~x8040 ~x8041 ~x8042 ~x8043 ~x8044 ~x8045 ~x8046 ~x8047 ~x8048 ~x8049 ~x8050 ~x8051 ~x8052 ~x8053 ~x8054 ~x8055 ~x8056 ~x8057 ~x8058 x8059 ~x8060 ~x8061 ~x8062 ~x8063 ~x8064 ~x8065 ~x8066 ~x8067 ~x8068 ~x8069 ~x8070 ~x8071 ~x8072 ~x8073 ~x8074 ~x8075 ~x8076 ~x8077 ~x8078 ~x8079 ~x8080 ~x8081 ~x8082 ~x8083 ~x8084 ~x8085 ~x8086 ~x8087 ~x8088 ~x8089 ~x8090 ~x8091 ~x8092 ~x8093 ~x8094 ~x8095 ~x8096 ~x8097 ~x8098 ~x8099 ~x8100 ~x8101 ~x8102 ~x8103 ~x8104 ~x8105 ~x8106 ~x8107 ~x8108 ~x8109 ~x8110 ~x8111 ~x8112 ~x8113 ~x8114 ~x8115 ~x8116 ~x8117 ~x8118 ~x8119 ~x8120 ~x8121 ~x8122 ~x8123 ~x8124 ~x8125 ~x8126 ~x8127 ~x8128 ~x8129 ~x8130 ~x8131 ~x8132 ~x8133 ~x8134 ~x8135 ~x8136 ~x8137 ~x8138 ~x8139 ~x8140 ~x8141 ~x8142 ~x8143 ~x8144 ~x8145 ~x8146 ~x8147 ~x8148 ~x8149 ~x8150 ~x8151 ~x8152 ~x8153 ~x8154 x8155 ~x8156 ~x8157 ~x8158 ~x8159 ~x8160 ~x8161 ~x8162 ~x8163 ~x8164 ~x8165 ~x8166 ~x8167 ~x8168 ~x8169 ~x8170 ~x8171 ~x8172 ~x8173 ~x8174 ~x8175 ~x8176 ~x8177 ~x8178 ~x8179 ~x8180 ~x8181 ~x8182 ~x8183 ~x8184 ~x8185 ~x8186 ~x8187 ~x8188 ~x8189 ~x8190 ~x8191 ~x8192 ~x8193 ~x8194 ~x8195 ~x8196 ~x8197 ~x8198 ~x8199 ~x8200 ~x8201 ~x8202 ~x8203 ~x8204 ~x8205 ~x8206 ~x8207 ~x8208 ~x8209 ~x8210 ~x8211 ~x8212 ~x8213 ~x8214 ~x8215 ~x8216 ~x8217 ~x8218 ~x8219 ~x8220 ~x8221 ~x8222 ~x8223 ~x8224 ~x8225 ~x8226 ~x8227 ~x8228 ~x8229 ~x8230 ~x8231 ~x8232 ~x8233 ~x8234 ~x8235 ~x8236 ~x8237 ~x8238 x8239 ~x8240 ~x8241 ~x8242 ~x8243 ~x8244 ~x8245 ~x8246 ~x8247 ~x8248 ~x8249 ~x8250 ~x8251 ~x8252 ~x8253 ~x8254 ~x8255 ~x8256 ~x8257 ~x8258 ~x8259 ~x8260 ~x8261 ~x8262 ~x8263 ~x8264 ~x8265 ~x8266 ~x8267 ~x8268 ~x8269 ~x8270 ~x8271 ~x8272 ~x8273 ~x8274 ~x8275 ~x8276 ~x8277 ~x8278 ~x8279 ~x8280 ~x8281 ~x8282 ~x8283 ~x8284 ~x8285 ~x8286 ~x8287 ~x8288 ~x8289 ~x8290 ~x8291 ~x8292 ~x8293 ~x8294 ~x8295 ~x8296 ~x8297 ~x8298 ~x8299 ~x8300 ~x8301 ~x8302 ~x8303 ~x8304 ~x8305 ~x8306 ~x8307 ~x8308 ~x8309 ~x8310 ~x8311 ~x8312 ~x8313 ~x8314 ~x8315 ~x8316 ~x8317 ~x8318 ~x8319 ~x8320 ~x8321 ~x8322 ~x8323 ~x8324 ~x8325 ~x8326 ~x8327 ~x8328 ~x8329 ~x8330 ~x8331 ~x8332 ~x8333 ~x8334 ~x8335 x8336 ~x8337 ~x8338 ~x8339 ~x8340 ~x8341 ~x8342 ~x8343 ~x8344 ~x8345 ~x8346 ~x8347 ~x8348 ~x8349 ~x8350 ~x8351 ~x8352 ~x8353 ~x8354 ~x8355 ~x8356 ~x8357 ~x8358 ~x8359 ~x8360 ~x8361 ~x8362 ~x8363 ~x8364 ~x8365 ~x8366 ~x8367 ~x8368 ~x8369 ~x8370 ~x8371 ~x8372 ~x8373 ~x8374 ~x8375 ~x8376 ~x8377 ~x8378 ~x8379 ~x8380 ~x8381 ~x8382 ~x8383 ~x8384 ~x8385 ~x8386 ~x8387 ~x8388 ~x8389 ~x8390 ~x8391 ~x8392 ~x8393 ~x8394 ~x8395 ~x8396 ~x8397 ~x8398 ~x8399 ~x8400 ~x8401 ~x8402 ~x8403 ~x8404 x8405 ~x8406 ~x8407 ~x8408 ~x8409 ~x8410 ~x8411 ~x8412 ~x8413 ~x8414 ~x8415 ~x8416 ~x8417 ~x8418 ~x8419 ~x8420 ~x8421 ~x8422 ~x8423 ~x8424 ~x8425 ~x8426 ~x8427 ~x8428 ~x8429 ~x8430 ~x8431 ~x8432 ~x8433 ~x8434 ~x8435 ~x8436 ~x8437 ~x8438 ~x8439 ~x8440 ~x8441 ~x8442 ~x8443 ~x8444 ~x8445 ~x8446 ~x8447 ~x8448 ~x8449 ~x8450 ~x8451 ~x8452 ~x8453 ~x8454 ~x8455 ~x8456 ~x8457 ~x8458 ~x8459 ~x8460 ~x8461 ~x8462 ~x8463 ~x8464 ~x8465 ~x8466 ~x8467 ~x8468 ~x8469 ~x8470 ~x8471 ~x8472 ~x8473 ~x8474 ~x8475 ~x8476 ~x8477 ~x8478 ~x8479 ~x8480 ~x8481 ~x8482 ~x8483 ~x8484 ~x8485 ~x8486 ~x8487 ~x8488 ~x8489 ~x8490 ~x8491 ~x8492 ~x8493 ~x8494 ~x8495 ~x8496 ~x8497 ~x8498 ~x8499 ~x8500 ~x8501 ~x8502 ~x8503 ~x8504 ~x8505 ~x8506 ~x8507 ~x8508 ~x8509 ~x8510 ~x8511 ~x8512 ~x8513 ~x8514 ~x8515 ~x8516 ~x8517 ~x8518 ~x8519 ~x8520 ~x8521 ~x8522 ~x8523 ~x8524 ~x8525 ~x8526 ~x8527 ~x8528 ~x8529 ~x8530 ~x8531 ~x8532 ~x8533 ~x8534 ~x8535 ~x8536 ~x8537 ~x8538 ~x8539 ~x8540 ~x8541 ~x8542 ~x8543 ~x8544 ~x8545 ~x8546 ~x8547 ~x8548 ~x8549 ~x8550 ~x8551 x8552 ~x8553 ~x8554 ~x8555 ~x8556 ~x8557 ~x8558 ~x8559 ~x8560 ~x8561 ~x8562 ~x8563 ~x8564 ~x8565 ~x8566 ~x8567 ~x8568 ~x8569 ~x8570 ~x8571 ~x8572 ~x8573 ~x8574 ~x8575 ~x8576 ~x8577 ~x8578 ~x8579 ~x8580 ~x8581 ~x8582 ~x8583 ~x8584 ~x8585 ~x8586 ~x8587 ~x8588 ~x8589 ~x8590 ~x8591 ~x8592 ~x8593 ~x8594 ~x8595 ~x8596 ~x8597 ~x8598 ~x8599 ~x8600 ~x8601 ~x8602 ~x8603 ~x8604 ~x8605 ~x8606 ~x8607 ~x8608 ~x8609 ~x8610 ~x8611 ~x8612 ~x8613 ~x8614 ~x8615 ~x8616 ~x8617 ~x8618 ~x8619 ~x8620 ~x8621 x8622 ~x8623 ~x8624 ~x8625 ~x8626 ~x8627 ~x8628 ~x8629 ~x8630 ~x8631 ~x8632 ~x8633 ~x8634 ~x8635 ~x8636 ~x8637 ~x8638 ~x8639 ~x8640 ~x8641 ~x8642 ~x8643 ~x8644 ~x8645 ~x8646 ~x8647 ~x8648 ~x8649 ~x8650 ~x8651 ~x8652 ~x8653 ~x8654 ~x8655 ~x8656 ~x8657 ~x8658 ~x8659 ~x8660 ~x8661 ~x8662 ~x8663 ~x8664 ~x8665 ~x8666 ~x8667 ~x8668 ~x8669 ~x8670 ~x8671 ~x8672 ~x8673 ~x8674 ~x8675 ~x8676 ~x8677 ~x8678 ~x8679 ~x8680 ~x8681 ~x8682 ~x8683 ~x8684 ~x8685 ~x8686 ~x8687 ~x8688 ~x8689 ~x8690 ~x8691 ~x8692 ~x8693 ~x8694 ~x8695 ~x8696 ~x8697 ~x8698 ~x8699 ~x8700 ~x8701 ~x8702 ~x8703 ~x8704 ~x8705 ~x8706 ~x8707 ~x8708 ~x8709 ~x8710 ~x8711 ~x8712 ~x8713 ~x8714 ~x8715 ~x8716 ~x8717 ~x8718 ~x8719 ~x8720 ~x8721 ~x8722 ~x8723 ~x8724 ~x8725 ~x8726 ~x8727 ~x8728 ~x8729 ~x8730 ~x8731 ~x8732 ~x8733 ~x8734 ~x8735 ~x8736 x8737 ~x8738 ~x8739 ~x8740 x8741 ~x8742 ~x8743 ~x8744 ~x8745 ~x8746 ~x8747 ~x8748 ~x8749 ~x8750 ~x8751 ~x8752 ~x8753 ~x8754 ~x8755 ~x8756 ~x8757 ~x8758 ~x8759 ~x8760 ~x8761 ~x8762 ~x8763 ~x8764 ~x8765 ~x8766 ~x8767 ~x8768 ~x8769 ~x8770 ~x8771 ~x8772 ~x8773 ~x8774 ~x8775 ~x8776 ~x8777 ~x8778 ~x8779 ~x8780 ~x8781 ~x8782 ~x8783 ~x8784 ~x8785 ~x8786 ~x8787 ~x8788 ~x8789 ~x8790 ~x8791 ~x8792 ~x8793 ~x8794 ~x8795 ~x8796 ~x8797 ~x8798 ~x8799 ~x8800 ~x8801 x8802 ~x8803 ~x8804 ~x8805 ~x8806 ~x8807 ~x8808 ~x8809 ~x8810 ~x8811 ~x8812 ~x8813 ~x8814 ~x8815 ~x8816 ~x8817 ~x8818 ~x8819 ~x8820 ~x8821 ~x8822 ~x8823 ~x8824 ~x8825 ~x8826 ~x8827 ~x8828 ~x8829 ~x8830 ~x8831 ~x8832 ~x8833 ~x8834 ~x8835 ~x8836 ~x8837 ~x8838 ~x8839 ~x8840 ~x8841 ~x8842 ~x8843 ~x8844 ~x8845 ~x8846 ~x8847 ~x8848 ~x8849 ~x8850 ~x8851 ~x8852 ~x8853 ~x8854 ~x8855 ~x8856 ~x8857 ~x8858 ~x8859 ~x8860 ~x8861 ~x8862 ~x8863 ~x8864 ~x8865 ~x8866 ~x8867 ~x8868 ~x8869 ~x8870 ~x8871 ~x8872 ~x8873 ~x8874 ~x8875 ~x8876 ~x8877 ~x8878 ~x8879 ~x8880 ~x8881 ~x8882 ~x8883 ~x8884 ~x8885 ~x8886 ~x8887 ~x8888 ~x8889 ~x8890 ~x8891 ~x8892 ~x8893 ~x8894 ~x8895 ~x8896 ~x8897 ~x8898 ~x8899 ~x8900 ~x8901 ~x8902 ~x8903 ~x8904 ~x8905 ~x8906 ~x8907 ~x8908 ~x8909 ~x8910 ~x8911 ~x8912 ~x8913 ~x8914 ~x8915 ~x8916 ~x8917 ~x8918 ~x8919 ~x8920 ~x8921 ~x8922 ~x8923 ~x8924 ~x8925 ~x8926 ~x8927 ~x8928 ~x8929 ~x8930 ~x8931 ~x8932 ~x8933 ~x8934 ~x8935 ~x8936 ~x8937 ~x8938 ~x8939 ~x8940 ~x8941 ~x8942 ~x8943 ~x8944 ~x8945 ~x8946 ~x8947 ~x8948 ~x8949 ~x8950 ~x8951 ~x8952 ~x8953 ~x8954 ~x8955 ~x8956 ~x8957 x8958 ~x8959 ~x8960 ~x8961 ~x8962 ~x8963 ~x8964 ~x8965 ~x8966 ~x8967 ~x8968 ~x8969 ~x8970 ~x8971 ~x8972 ~x8973 ~x8974 ~x8975 ~x8976 ~x8977 ~x8978 ~x8979 ~x8980 ~x8981 ~x8982 x8983 ~x8984 ~x8985 ~x8986 ~x8987 ~x8988 ~x8989 ~x8990 ~x8991 ~x8992 ~x8993 ~x8994 ~x8995 ~x8996 ~x8997 ~x8998 ~x8999 ~x9000 ~x9001 ~x9002 ~x9003 ~x9004 ~x9005 ~x9006 ~x9007 ~x9008 ~x9009 ~x9010 ~x9011 ~x9012 ~x9013 ~x9014 ~x9015 ~x9016 ~x9017 ~x9018 ~x9019 ~x9020 ~x9021 ~x9022 ~x9023 ~x9024 ~x9025 ~x9026 ~x9027 ~x9028 ~x9029 ~x9030 ~x9031 ~x9032 x9033 ~x9034 ~x9035 ~x9036 ~x9037 ~x9038 ~x9039 ~x9040 ~x9041 ~x9042 ~x9043 ~x9044 ~x9045 ~x9046 ~x9047 ~x9048 ~x9049 ~x9050 ~x9051 ~x9052 ~x9053 ~x9054 ~x9055 ~x9056 ~x9057 ~x9058 ~x9059 ~x9060 ~x9061 ~x9062 ~x9063 ~x9064 ~x9065 ~x9066 ~x9067 ~x9068 ~x9069 ~x9070 ~x9071 ~x9072 ~x9073 ~x9074 ~x9075 ~x9076 ~x9077 ~x9078 ~x9079 ~x9080 ~x9081 ~x9082 ~x9083 ~x9084 ~x9085 ~x9086 ~x9087 ~x9088 ~x9089 ~x9090 ~x9091 ~x9092 ~x9093 ~x9094 ~x9095 ~x9096 ~x9097 ~x9098 ~x9099 ~x9100 ~x9101 ~x9102 ~x9103 ~x9104 ~x9105 ~x9106 ~x9107 ~x9108 ~x9109 ~x9110 ~x9111 ~x9112 ~x9113 ~x9114 ~x9115 ~x9116 ~x9117 ~x9118 ~x9119 ~x9120 ~x9121 ~x9122 ~x9123 ~x9124 ~x9125 ~x9126 ~x9127 ~x9128 ~x9129 ~x9130 ~x9131 ~x9132 ~x9133 ~x9134 ~x9135 ~x9136 ~x9137 ~x9138 ~x9139 ~x9140 ~x9141 ~x9142 ~x9143 ~x9144 ~x9145 ~x9146 ~x9147 ~x9148 ~x9149 ~x9150 ~x9151 ~x9152 ~x9153 ~x9154 ~x9155 ~x9156 ~x9157 ~x9158 ~x9159 ~x9160 ~x9161 ~x9162 ~x9163 ~x9164 ~x9165 ~x9166 ~x9167 ~x9168 ~x9169 ~x9170 ~x9171 ~x9172 ~x9173 ~x9174 x9175 ~x9176 ~x9177 ~x9178 ~x9179 ~x9180 ~x9181 ~x9182 ~x9183 ~x9184 ~x9185 ~x9186 ~x9187 ~x9188 ~x9189 ~x9190 ~x9191 ~x9192 ~x9193 ~x9194 ~x9195 ~x9196 ~x9197 ~x9198 ~x9199 ~x9200 ~x9201 ~x9202 ~x9203 ~x9204 ~x9205 ~x9206 ~x9207 ~x9208 ~x9209 ~x9210 ~x9211 ~x9212 ~x9213 ~x9214 ~x9215 ~x9216 ~x9217 ~x9218 ~x9219 ~x9220 ~x9221 ~x9222 ~x9223 ~x9224 ~x9225 ~x9226 ~x9227 ~x9228 ~x9229 ~x9230 ~x9231 ~x9232 ~x9233 ~x9234 ~x9235 ~x9236 ~x9237 ~x9238 ~x9239 ~x9240 ~x9241 ~x9242 ~x9243 ~x9244 ~x9245 ~x9246 ~x9247 ~x9248 ~x9249 ~x9250 ~x9251 ~x9252 ~x9253 ~x9254 ~x9255 ~x9256 ~x9257 ~x9258 ~x9259 ~x9260 ~x9261 ~x9262 ~x9263 ~x9264 x9265 ~x9266 ~x9267 ~x9268 ~x9269 ~x9270 ~x9271 ~x9272 ~x9273 ~x9274 ~x9275 ~x9276 ~x9277 ~x9278 ~x9279 ~x9280 ~x9281 ~x9282 ~x9283 ~x9284 ~x9285 ~x9286 ~x9287 ~x9288 ~x9289 ~x9290 ~x9291 ~x9292 ~x9293 ~x9294 ~x9295 ~x9296 ~x9297 ~x9298 ~x9299 ~x9300 ~x9301 ~x9302 ~x9303 ~x9304 ~x9305 ~x9306 ~x9307 ~x9308 ~x9309 ~x9310 ~x9311 ~x9312 ~x9313 ~x9314 ~x9315 ~x9316 ~x9317 ~x9318 ~x9319 ~x9320 ~x9321 ~x9322 ~x9323 ~x9324 ~x9325 ~x9326 ~x9327 ~x9328 ~x9329 ~x9330 ~x9331 ~x9332 ~x9333 ~x9334 ~x9335 ~x9336 ~x9337 ~x9338 ~x9339 ~x9340 ~x9341 ~x9342 ~x9343 ~x9344 ~x9345 ~x9346 ~x9347 ~x9348 ~x9349 ~x9350 ~x9351 ~x9352 ~x9353 ~x9354 ~x9355 ~x9356 ~x9357 ~x9358 ~x9359 ~x9360 ~x9361 ~x9362 ~x9363 ~x9364 ~x9365 ~x9366 ~x9367 ~x9368 ~x9369 ~x9370 ~x9371 ~x9372 ~x9373 ~x9374 ~x9375 ~x9376 ~x9377 ~x9378 ~x9379 ~x9380 ~x9381 ~x9382 ~x9383 ~x9384 ~x9385 ~x9386 ~x9387 ~x9388 ~x9389 ~x9390 ~x9391 ~x9392 ~x9393 ~x9394 ~x9395 ~x9396 ~x9397 x9398 ~x9399 ~x9400 ~x9401 ~x9402 ~x9403 ~x9404 ~x9405 ~x9406 ~x9407 ~x9408 ~x9409 ~x9410 ~x9411 ~x9412 ~x9413 ~x9414 ~x9415 ~x9416 ~x9417 ~x9418 ~x9419 ~x9420 ~x9421 ~x9422 ~x9423 x9424 ~x9425 ~x9426 ~x9427 ~x9428 ~x9429 ~x9430 ~x9431 ~x9432 ~x9433 ~x9434 ~x9435 ~x9436 ~x9437 ~x9438 ~x9439 ~x9440 ~x9441 ~x9442 ~x9443 ~x9444 ~x9445 ~x9446 ~x9447 ~x9448 ~x9449 ~x9450 ~x9451 ~x9452 ~x9453 ~x9454 ~x9455 ~x9456 ~x9457 ~x9458 ~x9459 ~x9460 ~x9461 ~x9462 ~x9463 ~x9464 ~x9465 ~x9466 ~x9467 ~x9468 ~x9469 ~x9470 ~x9471 ~x9472 ~x9473 ~x9474 ~x9475 ~x9476 ~x9477 ~x9478 ~x9479 ~x9480 ~x9481 ~x9482 ~x9483 ~x9484 ~x9485 ~x9486 ~x9487 ~x9488 ~x9489 ~x9490 ~x9491 ~x9492 ~x9493 ~x9494 ~x9495 ~x9496 ~x9497 ~x9498 ~x9499 ~x9500 ~x9501 ~x9502 ~x9503 ~x9504 ~x9505 ~x9506 ~x9507 ~x9508 ~x9509 ~x9510 ~x9511 ~x9512 ~x9513 ~x9514 ~x9515 ~x9516 ~x9517 ~x9518 ~x9519 ~x9520 ~x9521 ~x9522 ~x9523 ~x9524 ~x9525 ~x9526 ~x9527 ~x9528 ~x9529 ~x9530 ~x9531 ~x9532 ~x9533 ~x9534 ~x9535 ~x9536 ~x9537 ~x9538 ~x9539 ~x9540 ~x9541 ~x9542 ~x9543 ~x9544 ~x9545 ~x9546 ~x9547 ~x9548 ~x9549 ~x9550 ~x9551 ~x9552 ~x9553 ~x9554 ~x9555 ~x9556 ~x9557 ~x9558 ~x9559 ~x9560 ~x9561 ~x9562 ~x9563 ~x9564 ~x9565 ~x9566 x9567 ~x9568 ~x9569 ~x9570 ~x9571 ~x9572 ~x9573 ~x9574 ~x9575 ~x9576 ~x9577 ~x9578 ~x9579 ~x9580 ~x9581 ~x9582 ~x9583 ~x9584 ~x9585 ~x9586 ~x9587 ~x9588 ~x9589 ~x9590 ~x9591 ~x9592 ~x9593 ~x9594 ~x9595 ~x9596 ~x9597 ~x9598 ~x9599 ~x9600 ~x9601 ~x9602 ~x9603 ~x9604 ~x9605 ~x9606 ~x9607 ~x9608 ~x9609 ~x9610 ~x9611 ~x9612 ~x9613 ~x9614 ~x9615 ~x9616 ~x9617 ~x9618 ~x9619 ~x9620 ~x9621 ~x9622 ~x9623 ~x9624 ~x9625 ~x9626 ~x9627 ~x9628 ~x9629 ~x9630 ~x9631 ~x9632 ~x9633 ~x9634 ~x9635 ~x9636 ~x9637 ~x9638 ~x9639 ~x9640 ~x9641 ~x9642 ~x9643 ~x9644 ~x9645 ~x9646 ~x9647 ~x9648 ~x9649 ~x9650 ~x9651 ~x9652 ~x9653 ~x9654 ~x9655 ~x9656 ~x9657 ~x9658 ~x9659 ~x9660 ~x9661 ~x9662 ~x9663 ~x9664 ~x9665 ~x9666 ~x9667 ~x9668 ~x9669 ~x9670 ~x9671 ~x9672 ~x9673 ~x9674 ~x9675 ~x9676 ~x9677 x9678 ~x9679 ~x9680 ~x9681 ~x9682 ~x9683 ~x9684 ~x9685 ~x9686 ~x9687 ~x9688 ~x9689 ~x9690 ~x9691 ~x9692 ~x9693 ~x9694 ~x9695 ~x9696 ~x9697 ~x9698 ~x9699 ~x9700 ~x9701 ~x9702 ~x9703 ~x9704 ~x9705 ~x9706 ~x9707 ~x9708 ~x9709 ~x9710 ~x9711 ~x9712 ~x9713 ~x9714 ~x9715 ~x9716 ~x9717 ~x9718 ~x9719 ~x9720 ~x9721 ~x9722 x9723 ~x9724 ~x9725 ~x9726 ~x9727 ~x9728 ~x9729 ~x9730 ~x9731 ~x9732 ~x9733 ~x9734 ~x9735 ~x9736 ~x9737 ~x9738 ~x9739 ~x9740 ~x9741 ~x9742 ~x9743 ~x9744 ~x9745 ~x9746 ~x9747 ~x9748 ~x9749 ~x9750 ~x9751 ~x9752 ~x9753 ~x9754 ~x9755 ~x9756 ~x9757 ~x9758 ~x9759 ~x9760 ~x9761 ~x9762 ~x9763 ~x9764 ~x9765 ~x9766 ~x9767 ~x9768 ~x9769 ~x9770 ~x9771 ~x9772 ~x9773 ~x9774 ~x9775 ~x9776 ~x9777 ~x9778 ~x9779 ~x9780 ~x9781 ~x9782 ~x9783 ~x9784 ~x9785 ~x9786 ~x9787 ~x9788 ~x9789 ~x9790 ~x9791 ~x9792 ~x9793 ~x9794 ~x9795 ~x9796 ~x9797 ~x9798 ~x9799 ~x9800 ~x9801 ~x9802 ~x9803 ~x9804 ~x9805 ~x9806 ~x9807 ~x9808 ~x9809 ~x9810 ~x9811 ~x9812 ~x9813 ~x9814 ~x9815 ~x9816 ~x9817 ~x9818 ~x9819 ~x9820 ~x9821 ~x9822 ~x9823 ~x9824 ~x9825 ~x9826 ~x9827 ~x9828 ~x9829 ~x9830 ~x9831 ~x9832 ~x9833 ~x9834 ~x9835 ~x9836 ~x9837 ~x9838 ~x9839 ~x9840 ~x9841 x9842 ~x9843 x9844 ~x9845 ~x9846 ~x9847 ~x9848 ~x9849 ~x9850 ~x9851 ~x9852 ~x9853 ~x9854 ~x9855 ~x9856 ~x9857 ~x9858 ~x9859 ~x9860 ~x9861 ~x9862 ~x9863 ~x9864 ~x9865 ~x9866 ~x9867 ~x9868 ~x9869 ~x9870 ~x9871 ~x9872 ~x9873 ~x9874 ~x9875 ~x9876 ~x9877 ~x9878 ~x9879 ~x9880 ~x9881 ~x9882 ~x9883 ~x9884 ~x9885 ~x9886 ~x9887 ~x9888 ~x9889 ~x9890 ~x9891 ~x9892 ~x9893 ~x9894 ~x9895 ~x9896 ~x9897 ~x9898 ~x9899 ~x9900 ~x9901 ~x9902 ~x9903 ~x9904 ~x9905 ~x9906 ~x9907 ~x9908 ~x9909 ~x9910 ~x9911 ~x9912 ~x9913 ~x9914 ~x9915 ~x9916 ~x9917 ~x9918 ~x9919 ~x9920 ~x9921 ~x9922 ~x9923 ~x9924 ~x9925 ~x9926 ~x9927 ~x9928 ~x9929 ~x9930 ~x9931 ~x9932 ~x9933 ~x9934 ~x9935 ~x9936 ~x9937 ~x9938 ~x9939 ~x9940 ~x9941 ~x9942 ~x9943 ~x9944 ~x9945 ~x9946 ~x9947 ~x9948 ~x9949 ~x9950 ~x9951 ~x9952 ~x9953 ~x9954 ~x9955 ~x9956 ~x9957 ~x9958 ~x9959 ~x9960 ~x9961 ~x9962 ~x9963 ~x9964 ~x9965 ~x9966 ~x9967 ~x9968 ~x9969 ~x9970 ~x9971 ~x9972 ~x9973 ~x9974 ~x9975 ~x9976 ~x9977 ~x9978 ~x9979 ~x9980 ~x9981 ~x9982 ~x9983 ~x9984 ~x9985 ~x9986 ~x9987 ~x9988 ~x9989 x9990 ~x9991 ~x9992 ~x9993 ~x9994 ~x9995 ~x9996 ~x9997 ~x9998 ~x9999 ~x10000 3600.02/3610.04 c #Conflicts: 164000 | #Constraints: 666096
OK 334
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (63313 MiB free)
memory of node 1: 64510 MiB (61523 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429432-1721048430/watcher-4429432-1721048430 -o /tmp/evaluation-result-4429432-1721048430/solver-4429432-1721048430 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721048443-794533 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429432-1721048430.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=794596, runsolver pid=794589
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 3.94 4.11 4.13 6/250 794597
/proc/meminfo: memFree=127821388/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=40440 memory=8636 CPUtime=0.11 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 1523 0 0 0 8 3 0 0 20 0 1 0 157000065 41410560 2159 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 10110 2159 1227 922 0 2062 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 40440 KiB
Current children cumulated memory: 8636 KiB
[startup+0.21331 s]*
/proc/loadavg: 3.94 4.11 4.13 7/250 794597
/proc/meminfo: memFree=127817708/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=40440 memory=9428 CPUtime=0.21 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 1708 0 0 0 16 5 0 0 20 0 1 0 157000065 41410560 2357 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 10110 2357 1227 922 0 2062 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40440 KiB
Current children cumulated memory: 9428 KiB
[startup+0.312745 s]*
/proc/loadavg: 3.94 4.11 4.13 6/250 794597
/proc/meminfo: memFree=127811008/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=40828 memory=10220 CPUtime=0.31 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 1922 0 0 0 23 8 0 0 20 0 1 0 157000065 41807872 2555 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 10207 2555 1227 922 0 2159 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 10220 KiB
[startup+0.700258 s]
/proc/loadavg: 3.94 4.11 4.13 6/250 794597
/proc/meminfo: memFree=127798232/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=42400 memory=14112 CPUtime=0.68 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 2338 0 0 0 50 18 0 0 20 0 1 0 157000065 43417600 3528 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 10600 3528 1227 922 0 2552 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42400 KiB
Current children cumulated memory: 14112 KiB
[startup+1.50027 s]
/proc/loadavg: 3.94 4.11 4.13 6/250 794597
/proc/meminfo: memFree=127762512/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=63188 memory=27664 CPUtime=1.49 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 4709 0 0 0 107 42 0 0 20 0 1 0 157000065 64704512 6916 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 15797 6916 1227 922 0 7749 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 63188 KiB
Current children cumulated memory: 27664 KiB
[startup+3.11369 s]
/proc/loadavg: 3.94 4.11 4.13 6/249 794597
/proc/meminfo: memFree=126432628/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=360720 memory=329240 CPUtime=3.09 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 57468 0 0 0 225 84 0 0 20 0 1 0 157000065 369377280 82310 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 90180 82310 1608 922 0 82132 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 360720 KiB
Current children cumulated memory: 329240 KiB
[startup+6.30031 s]
/proc/loadavg: 3.95 4.11 4.13 6/249 794597
/proc/meminfo: memFree=126546980/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=360720 memory=329240 CPUtime=6.27 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 57486 0 0 0 542 85 0 0 20 0 1 0 157000065 369377280 82310 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 90180 82310 1608 922 0 82132 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 360720 KiB
Current children cumulated memory: 329240 KiB
[startup+12.7003 s]
/proc/loadavg: 3.95 4.11 4.13 6/249 794599
/proc/meminfo: memFree=126318540/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=505576 memory=404960 CPUtime=12.66 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 62858 0 0 0 1167 99 0 0 20 0 1 0 157000065 517709824 101240 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 126394 101240 1813 922 0 118346 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 505576 KiB
Current children cumulated memory: 404960 KiB
[startup+25.5003 s]
/proc/loadavg: 4.03 4.12 4.13 6/249 794611
/proc/meminfo: memFree=125979644/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=569120 memory=485252 CPUtime=25.42 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 68736 0 0 0 2396 146 0 0 20 0 1 0 157000065 582778880 121313 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 142280 121313 1813 922 0 134232 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 569120 KiB
Current children cumulated memory: 485252 KiB
[startup+51.1134 s]
/proc/loadavg: 4.02 4.11 4.13 6/249 794616
/proc/meminfo: memFree=125557836/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=885888 memory=791620 CPUtime=50.96 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 101675 0 0 0 4901 195 0 0 20 0 1 0 157000065 907149312 197905 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 221472 197905 1813 922 0 213424 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 885888 KiB
Current children cumulated memory: 791620 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.13 6/249 794625
/proc/meminfo: memFree=124673176/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=1048592 memory=840164 CPUtime=102 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 107345 0 0 0 9963 237 0 0 20 0 1 0 157000065 1073758208 210041 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 262148 210041 1813 922 0 254100 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1048592 KiB
Current children cumulated memory: 840164 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.12 6/249 794635
/proc/meminfo: memFree=123821040/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=1222976 memory=1065976 CPUtime=161.83 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 136446 0 0 0 15882 301 0 0 20 0 1 0 157000065 1252327424 266494 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 305744 266494 1813 922 0 297696 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1222976 KiB
Current children cumulated memory: 1065976 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.12 6/246 794645
/proc/meminfo: memFree=123373980/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=1552928 memory=1230332 CPUtime=221.67 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 158820 0 0 0 21821 346 0 0 20 0 1 0 157000065 1590198272 307583 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 388232 307583 1813 922 0 380184 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 1552928 KiB
Current children cumulated memory: 1230332 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.10 4.11 6/246 794656
/proc/meminfo: memFree=122863784/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=1594888 memory=1334892 CPUtime=281.52 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 168187 0 0 0 27757 395 0 0 20 0 1 0 157000065 1633165312 333723 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 398722 333723 1813 922 0 390674 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 1594888 KiB
Current children cumulated memory: 1334892 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.09 4.10 6/241 794667
/proc/meminfo: memFree=122551092/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=1637948 memory=1430916 CPUtime=341.36 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 175980 0 0 0 33703 433 0 0 20 0 1 0 157000065 1677258752 357729 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 409487 357729 1813 922 0 401439 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 1637948 KiB
Current children cumulated memory: 1430916 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.10 4.10 6/241 794677
/proc/meminfo: memFree=122258380/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=1637948 memory=1482656 CPUtime=401.2 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 178912 0 0 0 39650 470 0 0 20 0 1 0 157000065 1677258752 370664 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 409487 370664 1813 922 0 401439 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 1637948 KiB
Current children cumulated memory: 1482656 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.11 4.10 6/241 794687
/proc/meminfo: memFree=122183820/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=1648384 memory=1493140 CPUtime=460.97 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 179569 0 0 0 45619 478 0 0 20 0 1 0 157000065 1687945216 373285 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 412096 373285 1813 922 0 404048 0
################
# More data... #
################
/proc/794596/statm: 829144 663241 1813 922 0 821096 0
Current children cumulated CPU time: 2854.38 s
Current children cumulated vsize: 3316576 KiB
Current children cumulated memory: 2652964 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.14 4.14 6/241 795858
/proc/meminfo: memFree=117878224/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=3316576 memory=2652964 CPUtime=2914.23 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 327912 0 0 0 290222 1201 0 0 20 0 1 0 157000065 3396173824 663241 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 829144 663241 1813 922 0 821096 0
Current children cumulated CPU time: 2914.23 s
Current children cumulated vsize: 3316576 KiB
Current children cumulated memory: 2652964 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.15 4.14 6/241 795868
/proc/meminfo: memFree=117795092/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=3316576 memory=2663208 CPUtime=2974.06 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 328294 0 0 0 296198 1208 0 0 20 0 1 0 157000065 3396173824 665802 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 829144 665802 1813 922 0 821096 0
Current children cumulated CPU time: 2974.06 s
Current children cumulated vsize: 3316576 KiB
Current children cumulated memory: 2663208 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.14 4.13 6/243 795884
/proc/meminfo: memFree=117719728/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=3316576 memory=2786864 CPUtime=3033.85 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 334073 0 0 0 302168 1217 0 0 20 0 1 0 157000065 3396173824 696716 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 829144 696716 1813 922 0 821096 0
Current children cumulated CPU time: 3033.85 s
Current children cumulated vsize: 3316576 KiB
Current children cumulated memory: 2786864 KiB
[startup+3102.3 s]
/proc/loadavg: 4.22 4.16 4.14 6/243 795894
/proc/meminfo: memFree=117605916/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=3316576 memory=2859000 CPUtime=3093.67 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 339061 0 0 0 308141 1226 0 0 20 0 1 0 157000065 3396173824 714750 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 829144 714750 1813 922 0 821096 0
Current children cumulated CPU time: 3093.67 s
Current children cumulated vsize: 3316576 KiB
Current children cumulated memory: 2859000 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.16 4.14 6/243 795904
/proc/meminfo: memFree=117707340/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=3337404 memory=2872992 CPUtime=3153.49 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 340117 0 0 0 314116 1233 0 0 20 0 1 0 157000065 3417501696 718248 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 834351 718248 1813 922 0 826303 0
Current children cumulated CPU time: 3153.49 s
Current children cumulated vsize: 3337404 KiB
Current children cumulated memory: 2872992 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.14 4.13 6/243 795915
/proc/meminfo: memFree=117654156/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=3380912 memory=2923336 CPUtime=3213.35 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 343416 0 0 0 320077 1258 0 0 20 0 1 0 157000065 3462053888 730834 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 845228 730834 1813 922 0 837180 0
Current children cumulated CPU time: 3213.35 s
Current children cumulated vsize: 3380912 KiB
Current children cumulated memory: 2923336 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.13 6/243 795926
/proc/meminfo: memFree=117651952/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=3380912 memory=2923336 CPUtime=3273.19 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 343803 0 0 0 326041 1278 0 0 20 0 1 0 157000065 3462053888 730834 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 845228 730834 1813 922 0 837180 0
Current children cumulated CPU time: 3273.19 s
Current children cumulated vsize: 3380912 KiB
Current children cumulated memory: 2923336 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.12 4.12 6/243 796320
/proc/meminfo: memFree=117627584/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=3380912 memory=2928740 CPUtime=3333.04 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 345790 0 0 0 332013 1291 0 0 20 0 1 0 157000065 3462053888 732185 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 845228 732185 1813 922 0 837180 0
Current children cumulated CPU time: 3333.04 s
Current children cumulated vsize: 3380912 KiB
Current children cumulated memory: 2928740 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.11 4.12 6/243 796331
/proc/meminfo: memFree=117608392/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=3380912 memory=2951688 CPUtime=3392.87 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 350692 0 0 0 337985 1302 0 0 20 0 1 0 157000065 3462053888 737922 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 845228 737922 1813 922 0 837180 0
Current children cumulated CPU time: 3392.87 s
Current children cumulated vsize: 3380912 KiB
Current children cumulated memory: 2951688 KiB
[startup+3462.3 s]
/proc/loadavg: 4.47 4.20 4.14 6/243 796341
/proc/meminfo: memFree=117488552/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=3380912 memory=2951688 CPUtime=3452.72 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 351201 0 0 0 343939 1333 0 0 20 0 1 0 157000065 3462053888 737922 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 845228 737922 1813 922 0 837180 0
Current children cumulated CPU time: 3452.72 s
Current children cumulated vsize: 3380912 KiB
Current children cumulated memory: 2951688 KiB
[startup+3522.3 s]
/proc/loadavg: 4.58 4.30 4.18 6/244 796520
/proc/meminfo: memFree=117580112/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=3380912 memory=2951712 CPUtime=3512.56 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 351953 0 0 0 349899 1357 0 0 20 0 1 0 157000065 3462053888 737928 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 845228 737928 1813 922 0 837180 0
Current children cumulated CPU time: 3512.56 s
Current children cumulated vsize: 3380912 KiB
Current children cumulated memory: 2951712 KiB
[startup+3582.3 s]
/proc/loadavg: 4.45 4.29 4.19 6/244 796530
/proc/meminfo: memFree=117221376/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=3785028 memory=3185448 CPUtime=3572.38 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 406641 0 0 0 355862 1376 0 0 20 0 1 0 157000065 3875868672 796362 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 946257 796362 1813 922 0 938209 0
Current children cumulated CPU time: 3572.38 s
Current children cumulated vsize: 3785028 KiB
Current children cumulated memory: 3185448 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 5.01 4.44 4.24 5/243 796540
/proc/meminfo: memFree=119849984/131655788 swapFree=131071996/131071996
[pid=794596] ppid=794589 vsize=3796928 memory=3187088 CPUtime=3600.02 cores=5,7
/proc/794596/stat : 794596 (roundingsat) R 794589 794596 794518 0 -1 4194304 407308 0 0 0 358617 1385 0 0 20 0 1 0 157000065 3888054272 796772 134679101440 4194304 7968869 140721207741232 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 29593600 140721207743422 140721207743586 140721207743586 140721207750601 0
/proc/794596/statm: 949232 796772 1813 922 0 941184 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 3796928 KiB
Current children cumulated memory: 3187088 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.22 s]
# the end of solver process 794596 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3586.18 s, system=14.0422 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.21 s]
/proc/loadavg: 5.01 4.44 4.24 5/243 796540
/proc/meminfo: memFree=121288064/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 1
Real time (s): 3610.22
CPU time (s): 3600.23
CPU user time (s): 3586.18
CPU system time (s): 14.0422
CPU usage (%): 99.7232
Max. virtual memory (cumulated for all children) (KiB): 3796928
Max. memory (cumulated for all children) (KiB): 3187088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.18
system time used= 14.0422
maximum resident set size= 3187088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 407321
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 1894
# summary of solver processes directly reported to runsolver:
# pid: 794596
# total CPU time (s): 3600.23
# total CPU user time (s): 3586.18
# total CPU system time (s): 14.0422
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3848 second user time and 37.7744 second system time
The end
Begin job on nodeC012 at 2024-07-15 15:00:44 IDJOB=4429432 IDBENCH=147554 IDSOLVER=3051 FILE ID=nodeC012/4429432-1721048430 RUNJOBID= nodeC012-1721048443-794533 SLURM_JOB_ID= 7505465 Free space on /tmp= 723708 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429432-1721048430/watcher-4429432-1721048430 -o /tmp/evaluation-result-4429432-1721048430/solver-4429432-1721048430 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721048443-794533 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429432-1721048430.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= eddbc5130f16a1842e21dd4bd4477bf2 RANDOM SEED=871709197 nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 2195.088 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1895.764 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.589 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.329 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.321 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.574 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.744 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.322 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 127839744 kB MemAvailable: 129922436 kB Buffers: 360832 kB Cached: 2541516 kB SwapCached: 0 kB Active: 587256 kB Inactive: 2655856 kB Active(anon): 1384 kB Inactive(anon): 377424 kB Active(file): 585872 kB Inactive(file): 2278432 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 88420 kB Writeback: 24 kB AnonPages: 341432 kB Mapped: 104012 kB Shmem: 37704 kB KReclaimable: 116836 kB Slab: 215444 kB SReclaimable: 116836 kB SUnreclaim: 98608 kB KernelStack: 3752 kB PageTables: 10440 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 671760 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51392 kB HardwareCorrupted: 0 kB AnonHugePages: 208896 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 256840 kB DirectMap2M: 20619264 kB DirectMap1G: 115343360 kB Free space on /tmp at the end= 723696 MiB End job on nodeC012 at 2024-07-15 16:00:54