Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 fixed | OPT | 8960372673 | 50.3343 | 50.3464 |
Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ random/rand.newlist/normalized-randfd04d4.cudf.trendy.opb |
MD5SUM | 26a46b78eb7773cf62233afd6be8bb91 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 8960372673 |
Best CPU time to get the best result obtained on this benchmark | 7.97879 |
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 | 6956 |
Total number of constraints | 29112 |
Number of constraints which are clauses | 28832 |
Number of constraints which are cardinality constraints (but not clauses) | 280 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 553 |
Number of terms in the objective function | 3264 |
Biggest coefficient in the objective function | 4362708104 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 2408209534577 |
Number of bits of the sum of numbers in the objective function | 42 |
Biggest number in a constraint | 4362708104 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 2408209534577 |
Number of bits of the biggest sum of numbers | 42 |
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 PB/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.39/0.41 c constraints 280/0 clauses 24226/0 units 747 0.39/0.41 c vars 6956 0.39/0.42 c objective 2847 + 46 1.49/1.51 c 1.41379 85.8945 363 82357 1.49/1.51 o 1261297894482 1.59/1.63 c 1.50777 87.6953 402 90172 1.59/1.63 o 1121699245022 1.79/1.83 c 1.68374 87.6953 475 101278 1.79/1.83 o 1073744165292 2.10/2.15 c 1.9657 87.6953 664 126105 2.10/2.15 o 903534470317 2.29/2.36 c 2.15367 87.6953 736 141567 2.29/2.36 o 415092719675 2.39/2.40 c 2.18867 87.8242 751 145072 2.39/2.40 o 410794090506 2.89/2.94 c 2.6496 87.8242 974 178359 2.89/2.94 o 240504296855 2.99/3.05 c 2.74658 87.8242 1003 184311 2.99/3.05 o 122884725170 2.99/3.09 c 2.78358 87.8242 1007 186804 2.99/3.09 o 114071200410 3.09/3.15 c 2.83357 87.8242 1020 189765 3.09/3.15 o 114071200406 3.20/3.24 c 2.90856 87.8242 1052 196205 3.20/3.24 o 114065860508 3.20/3.27 c 2.94055 87.8242 1064 198025 3.20/3.27 o 114023141220 3.29/3.31 c 2.97155 87.8242 1067 199986 3.29/3.31 o 109764561377 3.29/3.34 c 2.99854 87.8242 1070 201888 3.29/3.34 o 109748541644 3.29/3.37 c 3.02654 87.8242 1080 203527 3.29/3.37 o 109737861822 3.39/3.41 c 3.06253 87.8242 1086 206262 3.39/3.41 o 92313728974 3.39/3.46 c 3.10053 87.8242 1091 208607 3.39/3.46 o 92313728970 3.39/3.49 c 3.13152 87.8242 1094 210400 3.39/3.49 o 92271009665 3.49/3.52 c 3.15652 87.8242 1094 211810 3.49/3.52 o 92257659901 3.49/3.55 c 3.18252 87.8242 1094 213322 3.49/3.55 o 92214940599 3.49/3.58 c 3.21151 87.8242 1100 215310 3.49/3.58 o 92214940594 3.59/3.62 c 3.24051 87.8242 1103 216884 3.59/3.62 o 92212270648 3.59/3.66 c 3.2775 87.8242 1107 219235 3.59/3.66 o 92201590812 3.69/3.73 c 3.34049 87.8242 1130 223651 3.69/3.73 o 92198920865 3.89/3.90 c 3.49047 87.8242 1200 232909 3.89/3.90 o 92172221339 4.19/4.25 c 3.80742 87.8242 1281 251943 4.19/4.25 o 92132171969 4.30/4.31 c 3.87141 87.8242 1300 255144 4.30/4.31 o 92014693928 4.30/4.38 c 3.9274 87.8242 1321 257692 4.30/4.38 o 92014693907 4.40/4.43 c 3.9704 87.8242 1335 260335 4.40/4.43 o 92014693897 4.69/4.71 c 4.21336 87.9531 1423 269809 4.69/4.71 o 87788153529 4.69/4.75 c 4.25235 87.9531 1414 271649 4.69/4.75 o 87633296099 4.69/4.78 c 4.28035 87.9531 1419 272519 4.69/4.78 o 87633296091 4.79/4.82 c 4.31334 87.9531 1424 273985 4.79/4.82 o 87633296085 4.79/4.88 c 4.37134 87.9531 1443 276382 4.79/4.88 o 87537177729 4.89/4.92 c 4.40033 87.9531 1451 277652 4.89/4.92 o 87537177715 4.89/4.95 c 4.42733 87.9531 1452 278540 4.89/4.95 o 87537177701 4.99/5.02 c 4.48832 87.9531 1475 282170 4.99/5.02 o 87497128393 4.99/5.08 c 4.53931 87.9531 1483 284528 4.99/5.08 o 87497128380 5.09/5.12 c 4.5783 87.9531 1494 285736 5.09/5.12 o 87497128378 5.19/5.27 c 4.70728 87.9531 1526 286945 5.19/5.27 o 87497128376 5.28/5.31 c 4.74528 87.9531 1535 288075 5.28/5.31 o 87497128370 5.28/5.39 c 4.81227 87.9531 1554 290481 5.28/5.39 o 87497128368 5.40/5.42 c 4.84126 88.082 1557 291276 5.40/5.42 o 87497128357 5.40/5.46 c 4.86926 88.082 1558 292658 5.40/5.46 o 83331996977 5.40/5.49 c 4.90125 88.082 1560 293991 5.40/5.49 o 83329327034 5.49/5.52 c 4.93025 88.082 1560 295012 5.49/5.52 o 83329327015 5.49/5.55 c 4.95825 88.082 1562 296133 5.49/5.55 o 83326657063 5.58/5.61 c 5.00924 88.082 1573 298149 5.58/5.61 o 83323987120 5.58/5.66 c 5.05723 88.082 1579 299693 5.58/5.66 o 83323987119 5.69/5.72 c 5.10922 88.082 1593 301811 5.69/5.72 o 83203839086 5.89/5.92 c 5.2862 88.082 1664 306801 5.89/5.92 o 83201169221 5.89/5.95 c 5.31919 88.082 1661 308065 5.89/5.95 o 83065001479 5.89/5.98 c 5.34919 88.082 1665 309257 5.89/5.98 o 83062331531 5.99/6.03 c 5.39018 88.082 1681 311372 5.99/6.03 o 83062331519 5.99/6.08 c 5.43717 88.082 1690 312924 5.99/6.08 o 78857150755 6.09/6.12 c 5.46717 88.082 1692 314507 6.09/6.12 o 78851810903 6.09/6.15 c 5.49316 88.082 1693 315281 6.09/6.15 o 78851810902 6.09/6.18 c 5.52116 88.082 1693 316192 6.09/6.18 o 78851810896 6.19/6.21 c 5.54616 88.082 1696 317185 6.19/6.21 o 78851810890 6.19/6.26 c 5.59115 88.082 1701 318601 6.19/6.26 o 78851810885 6.19/6.29 c 5.62115 88.082 1706 319889 6.19/6.29 o 78643554316 6.29/6.32 c 5.64714 88.082 1708 321060 6.29/6.32 o 78640884371 6.29/6.36 c 5.67614 88.082 1710 322166 6.29/6.36 o 78640884354 6.39/6.42 c 5.73413 88.082 1740 323530 6.39/6.42 o 74438373592 6.39/6.46 c 5.77012 88.082 1744 325326 6.39/6.46 o 74339585233 6.49/6.50 c 5.80112 88.082 1747 326397 6.49/6.50 o 74336915279 6.49/6.55 c 5.85011 88.082 1764 327637 6.49/6.55 o 74336915253 6.78/6.84 c 6.11107 88.2109 1808 328008 6.78/6.84 o 74336915252 6.99/7.02 c 6.27904 88.2109 1861 330422 6.99/7.02 o 74334245342 7.19/7.29 c 6.52501 88.2109 1924 331438 7.19/7.29 o 74334245328 7.29/7.33 c 6.561 88.2109 1937 332792 7.29/7.33 o 74331575405 7.29/7.36 c 6.587 88.2109 1939 333861 7.29/7.36 o 74331575400 7.29/7.39 c 6.61399 88.2109 1939 334752 7.29/7.39 o 74331575386 7.38/7.44 c 6.65999 88.2109 1940 335996 7.38/7.44 o 74328905433 7.38/7.47 c 6.68698 88.2109 1942 336924 7.38/7.47 o 74328905430 7.49/7.54 c 6.74597 88.2109 1962 338205 7.49/7.54 o 70089015262 7.49/7.58 c 6.78497 88.2109 1974 339491 7.49/7.58 o 69912798195 7.60/7.62 c 6.81196 88.2109 1974 340741 7.60/7.62 o 65769026448 7.60/7.65 c 6.84196 88.2109 1974 342005 7.60/7.65 o 65739656930 7.60/7.68 c 6.86696 88.2109 1974 343141 7.60/7.68 o 65736986975 7.70/7.71 c 6.89295 88.2109 1974 343945 7.70/7.71 o 65736986974 7.70/7.74 c 6.91795 88.2109 1974 345118 7.70/7.74 o 65734317019 7.70/7.77 c 6.94594 88.2109 1974 345935 7.70/7.77 o 65734317018 7.79/7.80 c 6.97494 88.2109 1974 347113 7.79/7.80 o 65734317013 7.79/7.83 c 7.00193 88.2109 1974 347934 7.79/7.83 o 65734317012 7.79/7.86 c 7.02793 88.2109 1974 349091 7.79/7.86 o 65731647062 7.79/7.89 c 7.05693 88.2109 1974 350193 7.79/7.89 o 65731647052 7.89/7.92 c 7.08492 88.2109 1974 351281 7.89/7.92 o 65728977102 7.89/7.95 c 7.11192 88.2109 1974 352421 7.89/7.95 o 65728977099 7.89/7.99 c 7.14891 88.2109 1983 354333 7.89/7.99 o 65726307166 7.99/8.05 c 7.2009 88.2109 1996 356180 7.99/8.05 o 65694267728 7.99/8.09 c 7.2379 88.2109 1998 357598 7.99/8.09 o 65566109813 8.09/8.15 c 7.28989 88.3398 2013 358967 8.09/8.15 o 61416998151 8.09/8.18 c 7.31989 88.3398 2020 360199 8.09/8.18 o 61307529963 8.19/8.21 c 7.34388 88.3398 2022 361381 8.19/8.21 o 61304860009 8.19/8.24 c 7.37188 88.3398 2022 362565 8.19/8.24 o 61302190053 8.19/8.27 c 7.39787 88.3398 2022 363451 8.19/8.27 o 61302190052 8.29/8.30 c 7.42587 88.3398 2022 364247 8.29/8.30 o 61302190051 8.29/8.34 c 7.45887 88.3398 2023 365542 8.29/8.34 o 61299520102 8.29/8.37 c 7.48886 88.3398 2024 366726 8.29/8.37 o 61299520096 8.48/8.50 c 7.61084 88.3398 2039 367497 8.48/8.50 o 61296850192 8.48/8.56 c 7.66483 88.3398 2052 368780 8.48/8.56 o 61296850110 8.59/8.64 c 7.74082 88.3398 2079 369498 8.59/8.64 o 61294180235 8.70/8.70 c 7.79382 88.3398 2097 370742 8.70/8.70 o 61294180161 8.70/8.77 c 7.85081 88.3398 2107 371579 8.70/8.77 o 61291510224 8.79/8.81 c 7.8878 88.3398 2113 372821 8.79/8.81 o 61230101284 8.79/8.87 c 7.93679 88.3398 2138 374106 8.79/8.87 o 57174438078 8.89/8.91 c 7.97279 88.3398 2140 375726 8.89/8.91 o 56880742963 8.89/8.94 c 8.00278 88.3398 2142 376899 8.89/8.94 o 56880742959 8.89/8.97 c 8.03178 88.3398 2142 378009 8.89/8.97 o 56878073006 8.99/9.00 c 8.05777 88.3398 2142 379109 8.99/9.00 o 56878073001 8.99/9.03 c 8.08277 88.3398 2142 380224 8.99/9.03 o 56875403050 8.99/9.06 c 8.10677 88.3398 2142 381038 8.99/9.06 o 56875403042 8.99/9.09 c 8.13476 88.3398 2142 382245 8.99/9.09 o 56870063134 9.09/9.12 c 8.16176 88.3398 2144 383340 9.09/9.12 o 56870063132 9.79/9.81 c 8.78866 88.4688 2226 384130 9.79/9.81 o 56867393198 9.89/9.95 c 8.91564 88.4688 2281 386030 9.89/9.95 o 56867393150 9.99/10.03 c 8.98563 88.4688 2305 387523 9.99/10.03 o 52734301226 9.99/10.07 c 9.02863 88.4688 2317 388978 9.99/10.07 o 52680902116 10.09/10.10 c 9.05562 88.4688 2317 389755 10.09/10.10 o 52680902102 10.09/10.13 c 9.08062 88.4688 2317 390609 10.09/10.13 o 52680902098 10.09/10.17 c 9.10961 88.4688 2321 391015 10.09/10.17 o 52680902097 10.29/10.33 c 9.25859 88.4688 2373 391936 10.29/10.33 o 52678232158 10.39/10.43 c 9.34258 88.4688 2396 394158 10.39/10.43 o 52555414228 10.39/10.46 c 9.37058 88.4688 2397 394570 10.39/10.46 o 52555414227 10.59/10.64 c 9.53655 88.4688 2454 395869 10.59/10.64 o 48302174322 10.59/10.68 c 9.56455 88.4688 2460 397074 10.59/10.68 o 48152656808 10.69/10.71 c 9.59354 88.4688 2462 398248 10.69/10.71 o 48149986850 10.69/10.74 c 9.62154 88.4688 2464 399466 10.69/10.74 o 48133967110 10.79/10.82 c 9.69853 88.4688 2485 400696 10.79/10.82 o 44016894929 10.79/10.85 c 9.72752 88.4688 2485 401849 10.79/10.85 o 43805968442 10.79/10.88 c 9.75452 88.4688 2485 403018 10.79/10.88 o 43779268880 10.89/10.91 c 9.78351 88.4688 2485 404117 10.89/10.91 o 43779268837 10.89/10.94 c 9.80951 88.5977 2485 405254 10.89/10.94 o 43760579188 10.89/10.97 c 9.8375 88.5977 2486 406051 10.89/10.97 o 43760579185 10.89/11.00 c 9.8625 88.5977 2486 406935 10.89/11.00 o 43760579146 11.00/11.03 c 9.8915 88.5977 2486 407998 11.00/11.03 o 43760579145 11.00/11.07 c 9.92649 88.5977 2487 409033 11.00/11.07 o 43757909189 11.09/11.10 c 9.95849 88.5977 2491 410001 11.09/11.10 o 43755239262 11.09/11.13 c 9.98348 88.5977 2491 410737 11.09/11.13 o 43755239253 11.09/11.16 c 10.0085 88.5977 2491 411194 11.09/11.16 o 43755239252 11.09/11.19 c 10.0385 88.5977 2492 411508 11.09/11.19 o 43755239251 11.19/11.23 c 10.0665 88.5977 2494 412828 11.19/11.23 o 43699170189 11.19/11.26 c 10.0895 88.5977 2494 413936 11.19/11.26 o 43699170181 11.19/11.29 c 10.1165 88.5977 2494 415061 11.19/11.29 o 43696500226 11.29/11.32 c 10.1435 88.5977 2494 416219 11.29/11.32 o 43691160312 11.29/11.35 c 10.1685 88.5977 2494 417317 11.29/11.35 o 43688490356 11.29/11.38 c 10.1964 88.5977 2494 418421 11.29/11.38 o 43685820402 11.39/11.44 c 10.2514 88.5977 2508 420636 11.39/11.44 o 39550058541 11.39/11.47 c 10.2844 88.5977 2514 421350 11.39/11.47 o 39550058529 11.49/11.51 c 10.3134 88.5977 2516 422181 11.49/11.51 o 39547388604 11.49/11.54 c 10.3424 88.5977 2519 423038 11.49/11.54 o 39544718650 11.49/11.58 c 10.3774 88.5977 2531 424176 11.49/11.58 o 39544718575 11.59/11.63 c 10.4164 88.5977 2538 424830 11.59/11.63 o 39542048692 11.59/11.67 c 10.4574 88.5977 2550 426178 11.59/11.67 o 39520689025 11.79/11.81 c 10.5814 88.5977 2587 426498 11.79/11.81 o 39520689024 11.79/11.84 c 10.6114 88.5977 2587 427665 11.79/11.84 o 39464619925 11.79/11.87 c 10.6394 88.5977 2587 428775 11.79/11.87 o 39464619922 11.89/11.90 c 10.6664 88.5977 2587 429587 11.89/11.90 o 39464619921 11.89/11.93 c 10.6934 88.5977 2587 430601 11.89/11.93 o 39461949966 11.89/11.97 c 10.7224 88.7266 2589 431900 11.89/11.97 o 39459280010 11.89/11.99 c 10.7484 88.7266 2589 432695 11.89/12.00 o 39459280009 11.99/12.03 c 10.7774 88.7266 2589 433760 11.99/12.03 o 39456610055 11.99/12.06 c 10.8004 88.7266 2589 434860 11.99/12.06 o 39456610053 11.99/12.09 c 10.8284 88.7266 2589 435917 11.99/12.09 o 39453940098 12.10/12.12 c 10.8534 88.7266 2590 436661 12.10/12.12 o 39453940097 12.10/12.15 c 10.8783 88.7266 2590 437680 12.10/12.15 o 39451270142 12.10/12.18 c 10.9063 88.7266 2591 438600 12.10/12.18 o 39448600186 12.19/12.21 c 10.9303 88.7266 2591 439216 12.19/12.21 o 39448600185 12.19/12.24 c 10.9563 88.7266 2591 440269 12.19/12.24 o 39445930231 12.19/12.27 c 10.9843 88.7266 2591 441292 12.19/12.27 o 39445930229 12.19/12.30 c 11.0113 88.7266 2591 442206 12.19/12.30 o 39443260273 12.29/12.33 c 11.0393 88.7266 2591 443118 12.29/12.33 o 39440590318 12.29/12.36 c 11.0673 88.7266 2591 443971 12.29/12.36 o 39437920362 12.29/12.39 c 11.0953 88.7266 2591 444816 12.29/12.39 o 39435250407 12.39/12.42 c 11.1193 88.7266 2591 445318 12.39/12.42 o 39435250406 12.39/12.44 c 11.1443 88.7266 2591 445835 12.39/12.44 o 39435250405 12.39/12.47 c 11.1723 88.7266 2591 446664 12.39/12.47 o 39432580450 12.49/12.50 c 11.1983 88.7266 2591 447154 12.49/12.50 o 39432580449 12.49/12.53 c 11.2263 88.7266 2592 447933 12.49/12.54 o 39429910497 12.59/12.61 c 11.2953 88.7266 2627 449190 12.59/12.61 o 39429910486 12.69/12.71 c 11.3823 88.7266 2644 449856 12.69/12.71 o 39427240603 12.69/12.76 c 11.4303 88.7266 2649 451521 12.69/12.76 o 39363161690 12.79/12.82 c 11.4843 88.7266 2669 452749 12.79/12.82 o 35206040174 12.79/12.85 c 11.5142 88.7266 2671 453931 12.79/12.85 o 35069872426 12.79/12.88 c 11.5402 88.7266 2671 454961 12.79/12.88 o 35069872420 12.89/12.92 c 11.5762 88.7266 2673 455350 12.89/12.92 o 35069872419 12.89/12.98 c 11.6252 88.7266 2681 456139 12.89/12.98 o 35069872415 12.99/13.01 c 11.6522 88.7266 2682 457330 12.99/13.01 o 35032493037 12.99/13.04 c 11.6822 88.7266 2684 458315 12.99/13.04 o 35032492991 13.10/13.11 c 11.7432 88.7266 2700 459526 13.10/13.11 o 30741873740 13.10/13.15 c 11.7802 88.7266 2709 460669 13.10/13.15 o 30741873690 13.10/13.18 c 11.8102 88.7266 2714 461838 13.10/13.18 o 30664445024 13.19/13.25 c 11.8702 88.8555 2740 463071 13.19/13.25 o 26477953994 13.19/13.28 c 11.9002 88.8555 2746 464224 13.19/13.28 o 26477953952 13.29/13.31 c 11.9282 88.8555 2751 465418 13.29/13.31 o 26293727005 13.29/13.35 c 11.9612 88.8555 2764 467057 13.29/13.35 o 22109905935 13.29/13.38 c 11.9892 88.8555 2764 468241 13.29/13.38 o 22003107712 13.39/13.41 c 12.0202 88.8555 2764 469412 13.39/13.41 o 21987087976 13.39/13.44 c 12.0492 88.8555 2764 470079 13.39/13.44 o 21987087975 13.39/13.47 c 12.0772 88.8555 2764 471184 13.39/13.47 o 21984418020 13.48/13.50 c 12.1052 88.8555 2764 472007 13.48/13.50 o 21984418019 13.48/13.53 c 12.1312 88.8555 2764 472800 13.48/13.53 o 21984418018 13.48/13.56 c 12.1602 88.8555 2764 473557 13.48/13.56 o 21981748064 13.48/13.59 c 12.1881 88.8555 2764 474648 13.48/13.59 o 21981748062 13.59/13.62 c 12.2141 88.8555 2764 475456 13.59/13.62 o 21979078107 13.59/13.65 c 12.2391 88.8555 2764 476255 13.59/13.65 o 21979078106 13.59/13.69 c 12.2661 88.8555 2766 477436 13.59/13.69 o 21976408151 13.79/13.81 c 12.3771 88.8555 2816 479142 13.79/13.81 o 17931424766 13.79/13.84 c 12.4041 88.8555 2816 480192 13.79/13.84 o 17928754812 13.79/13.87 c 12.4301 88.8555 2817 481096 13.79/13.87 o 17928754811 13.88/13.90 c 12.4521 88.8555 2817 482041 13.88/13.90 o 17928754808 13.88/13.93 c 12.4791 88.8555 2817 483239 13.88/13.93 o 17912735076 13.88/13.96 c 12.5051 88.8555 2794 484128 13.88/13.96 o 17912735075 13.88/13.99 c 12.5341 88.8555 2795 485066 13.88/13.99 o 17910065119 13.98/14.03 c 12.5661 88.8555 2796 486116 13.98/14.03 o 17907395164 13.98/14.06 c 12.5961 88.8555 2801 487349 13.98/14.06 o 17886035533 13.98/14.09 c 12.6211 88.8555 2801 488539 13.98/14.09 o 17867345840 14.09/14.12 c 12.6471 88.8555 2801 489382 14.09/14.12 o 17867345839 14.09/14.15 c 12.6741 88.8555 2801 490246 14.09/14.15 o 17867345838 14.09/14.18 c 12.6981 88.8555 2801 491289 14.09/14.18 o 17864675882 14.19/14.21 c 12.7261 88.8555 2801 492394 14.19/14.21 o 17862005929 14.19/14.24 c 12.7521 88.8555 2801 493497 14.19/14.24 o 17862005927 14.19/14.27 c 12.7791 88.8555 2801 494367 14.19/14.27 o 17862005926 14.19/14.30 c 12.8071 88.8555 2801 495453 14.19/14.30 o 17859335972 14.29/14.33 c 12.834 88.8555 2801 496335 14.29/14.33 o 17859335971 14.29/14.36 c 12.86 88.8555 2801 497124 14.29/14.36 o 17859335970 14.29/14.39 c 12.885 88.8555 2801 498203 14.29/14.39 o 17856666016 14.38/14.42 c 12.907 88.8555 2801 499002 14.38/14.42 o 17853996066 14.38/14.45 c 12.931 88.8555 2801 499901 14.38/14.45 o 17853996061 14.38/14.48 c 12.959 88.8555 1974 500704 14.38/14.48 o 17853996060 14.49/14.51 c 12.989 88.8555 1974 501789 14.49/14.51 o 17853996058 14.49/14.54 c 13.016 88.8555 1974 502834 14.49/14.54 o 17851326102 14.49/14.57 c 13.047 88.8555 1975 503655 14.49/14.57 o 17848656148 14.58/14.61 c 13.078 88.8555 1977 504437 14.58/14.61 o 17845986193 14.58/14.64 c 13.105 88.8555 1978 505634 14.58/14.64 o 17843316222 14.58/14.67 c 13.126 88.8555 1978 506733 14.58/14.67 o 17840646267 14.69/14.70 c 13.154 88.8555 1978 507622 14.69/14.70 o 17840646266 14.69/14.73 c 13.176 88.8555 1978 508713 14.69/14.73 o 17837976310 14.69/14.76 c 13.201 88.8555 1978 509824 14.69/14.76 o 17835306355 14.69/14.79 c 13.228 88.8555 1978 510921 14.69/14.79 o 17832636400 14.79/14.82 c 13.254 88.8555 1978 512002 14.79/14.82 o 17832636397 14.79/14.86 c 13.289 88.8555 1979 513423 14.79/14.86 o 17829966442 14.79/14.89 c 13.317 88.8555 1979 514550 14.79/14.89 o 17827296486 14.88/14.92 c 13.345 88.8555 1979 515585 14.88/14.92 o 17824626531 14.88/14.95 c 13.369 88.8555 1979 516374 14.88/14.95 o 17824626530 14.88/14.98 c 13.397 88.8555 1979 517419 14.88/14.98 o 17821956574 14.99/15.01 c 13.423 88.8555 1979 518208 14.99/15.01 o 17821956573 14.99/15.04 c 13.452 88.8555 1981 519236 14.99/15.04 o 17819286620 14.99/15.07 c 13.4809 88.8555 1984 520057 14.99/15.07 o 17819286611 15.09/15.10 c 13.5079 88.8555 1986 521234 15.09/15.10 o 17725838243 15.09/15.13 c 13.5309 88.8555 1986 522349 15.09/15.13 o 17725838241 15.09/15.16 c 13.5589 88.8555 1986 523181 15.09/15.16 o 17725838240 15.09/15.19 c 13.5839 88.8555 1986 524266 15.09/15.19 o 17723168285 15.18/15.22 c 13.6109 88.8555 1939 525072 15.18/15.22 o 17723168284 15.18/15.25 c 13.6399 88.8555 1939 526154 15.18/15.25 o 17720498330 15.18/15.28 c 13.6669 88.8555 1939 526702 15.18/15.28 o 17720498329 15.29/15.31 c 13.6929 88.8555 1939 527782 15.29/15.31 o 17717828374 15.29/15.34 c 13.7169 88.8555 1939 528598 15.29/15.34 o 17717828373 15.29/15.37 c 13.7419 88.8555 1940 529425 15.29/15.37 o 17717828372 15.29/15.40 c 13.7709 88.8555 1940 530322 15.29/15.40 o 17715158418 15.40/15.43 c 13.7989 88.8555 1940 531131 15.40/15.43 o 17715158417 15.40/15.46 c 13.8269 88.8555 1940 531575 15.40/15.46 o 17715158416 15.40/15.49 c 13.8529 88.8555 1940 532611 15.40/15.49 o 17712488462 15.49/15.52 c 13.8809 88.8555 1942 533675 15.49/15.52 o 17712488460 15.49/15.55 c 13.9089 88.8555 1942 534875 15.49/15.55 o 17704478584 15.49/15.58 c 13.9369 88.8555 1942 535637 15.49/15.59 o 17704478583 15.58/15.62 c 13.9629 88.8555 1943 536723 15.58/15.62 o 17701808629 15.58/15.65 c 13.9899 88.8555 1943 537823 15.58/15.65 o 17701808627 15.58/15.68 c 14.0149 88.8555 1943 538630 15.58/15.68 o 17701808626 15.69/15.71 c 14.0389 88.8555 1943 539699 15.69/15.71 o 17699138673 15.69/15.74 c 14.0649 88.8555 1943 540774 15.69/15.74 o 17699138671 15.69/15.77 c 14.0919 88.8555 1943 541868 15.69/15.77 o 17696468715 15.78/15.80 c 14.1189 88.8555 1943 542908 15.78/15.80 o 17693798759 15.78/15.83 c 14.1448 88.8555 1943 543725 15.78/15.83 o 17693798758 15.78/15.86 c 14.1708 88.8555 1943 544757 15.78/15.86 o 17691128804 15.78/15.89 c 14.1988 88.8555 1943 545312 15.78/15.89 o 17691128803 15.88/15.91 c 14.2238 88.8555 1943 545731 15.88/15.91 o 17691128802 15.88/15.95 c 14.2538 88.8555 1944 546526 15.88/15.95 o 17688458847 15.88/15.99 c 14.2898 88.8555 1960 547258 15.88/15.99 o 17688458787 15.99/16.03 c 14.3288 88.8555 1979 547945 15.99/16.03 o 17685788890 15.99/16.06 c 14.3568 88.8555 1981 548620 15.99/16.06 o 17685788849 16.08/16.10 c 14.3968 88.9844 1983 549312 16.08/16.10 o 17685788833 16.08/16.15 c 14.4368 88.9844 1990 550020 16.08/16.15 o 17683118932 16.08/16.18 c 14.4588 88.9844 1990 550251 16.08/16.18 o 17683118931 16.18/16.21 c 14.4908 88.9844 1991 550893 16.18/16.21 o 17683118928 16.29/16.30 c 14.5698 88.9844 2017 551119 16.29/16.30 o 17683118927 16.29/16.37 c 14.6258 88.9844 2006 551357 16.29/16.37 o 17683118926 16.39/16.43 c 14.6858 88.9844 2038 551624 16.39/16.43 o 17683118925 16.39/16.50 c 14.7448 88.9844 2070 551881 16.39/16.50 o 17683118924 16.58/16.63 c 14.8657 88.9844 2115 552162 16.58/16.63 o 17683118923 16.88/16.90 c 15.1227 89.1133 2195 552528 16.88/16.90 o 17683118922 17.60/17.62 c 15.7836 89.1133 2171 553016 17.60/17.62 o 17683118921 18.59/18.62 c 16.7065 89.2422 2368 553695 18.59/18.62 o 17683118920 18.59/18.66 c 16.7495 89.2422 2367 554386 18.59/18.66 o 17683118881 18.89/18.95 c 17.0114 89.2422 2437 555150 18.89/18.95 o 17680448976 18.89/18.98 c 17.0384 89.2422 2437 555529 18.89/18.98 o 17680448975 18.99/19.01 c 17.0654 89.2422 2437 555901 18.99/19.01 o 17680448974 18.99/19.04 c 17.0924 89.2422 2437 556096 18.99/19.04 o 17680448973 18.99/19.09 c 17.1354 89.2422 2445 556311 18.99/19.09 o 17680448972 19.08/19.15 c 17.1924 89.2422 2463 556516 19.08/19.15 o 17680448971 19.49/19.56 c 17.5673 89.3711 2606 556912 19.49/19.56 o 17680448970 20.09/20.15 c 18.1132 89.3711 2826 557496 20.09/20.15 o 17680448969 20.80/20.87 c 18.7801 89.5 3056 558075 20.80/20.87 o 17680448968 20.80/20.90 c 18.8081 89.5 3057 558731 20.80/20.90 o 17680448958 20.90/20.93 c 18.8381 89.5 3062 559379 20.90/20.93 o 17680448956 20.90/20.96 c 18.8661 89.5 2959 559592 20.90/20.96 o 17680448955 20.99/21.02 c 18.9171 89.5 2973 559822 20.99/21.02 o 17680448954 21.69/21.70 c 19.554 89.5 3034 560566 21.69/21.70 o 17677779018 22.28/22.33 c 20.1159 89.5 3056 560987 22.28/22.33 o 17677779017 22.28/22.36 c 20.1449 89.5 3056 561618 22.28/22.36 o 17677779014 22.28/22.39 c 20.1689 89.5 3056 562226 22.28/22.39 o 17677779012 22.38/22.44 c 20.2149 89.5 3067 562454 22.38/22.44 o 17677779011 24.10/24.11 c 21.7507 89.6289 2537 563690 24.10/24.11 o 17675109069 24.19/24.28 c 21.8957 89.6289 2556 564318 24.19/24.28 o 17675109061 24.29/24.32 c 21.9317 89.6289 2574 565013 24.29/24.32 o 17675109048 25.29/25.39 c 22.9095 89.6289 2714 565886 25.29/25.39 o 17672439109 25.68/25.72 c 23.1965 89.6289 2776 567162 25.68/25.72 o 13595416186 25.68/25.76 c 23.2355 89.6289 2789 568536 25.68/25.76 o 13592746251 25.78/25.80 c 23.2665 89.6289 2793 569900 25.78/25.80 o 13461918474 25.78/25.83 c 23.2925 89.6289 2793 571046 25.78/25.83 o 13461918467 25.78/25.86 c 23.3205 89.6289 2793 572257 25.78/25.86 o 13456578554 25.78/25.89 c 23.3474 89.6289 2793 573352 25.78/25.89 o 13453908599 25.88/25.93 c 23.3854 89.6289 2796 575001 25.88/25.93 o 13448568691 25.88/25.96 c 23.4124 89.6289 2796 576100 25.88/25.96 o 13448568686 25.88/25.99 c 23.4404 89.6289 2796 577238 25.88/25.99 o 13445898731 25.98/26.02 c 23.4614 89.6289 2796 577873 25.98/26.02 o 13445898730 25.98/26.05 c 23.4894 89.6289 2796 578978 25.98/26.05 o 13443228775 25.98/26.08 c 23.5134 89.6289 2796 579837 25.98/26.08 o 13443228774 26.09/26.11 c 23.5394 89.6289 2796 580664 26.09/26.11 o 13440558819 26.09/26.14 c 23.5664 89.6289 2796 581796 26.09/26.14 o 13437888863 26.09/26.17 c 23.5944 89.6289 2796 582597 26.09/26.17 o 13437888862 26.09/26.19 c 23.6214 89.6289 2796 583649 26.09/26.19 o 13435218906 26.19/26.22 c 23.6454 89.6289 2796 584702 26.19/26.22 o 13432548951 26.19/26.25 c 23.6724 89.6289 2797 585394 26.19/26.25 o 13432548950 26.19/26.28 c 23.7004 89.6289 2797 586608 26.19/26.28 o 13368470025 26.29/26.32 c 23.7324 89.6289 2798 587928 26.29/26.32 o 13365800071 26.29/26.35 c 23.7564 89.6289 2633 588981 26.29/26.35 o 13365800068 26.29/26.38 c 23.7844 89.6289 2633 590025 26.29/26.38 o 13363130113 26.39/26.41 c 23.8114 89.6289 2633 590892 26.39/26.41 o 13363130112 26.39/26.44 c 23.8374 89.6289 2633 591782 26.39/26.44 o 13363130111 26.39/26.47 c 23.8644 89.6289 2633 592814 26.39/26.47 o 13360460157 26.48/26.50 c 23.8914 89.6289 2633 593668 26.48/26.50 o 13360460156 26.48/26.53 c 23.9174 89.6289 2633 594026 26.48/26.53 o 13360460155 26.48/26.56 c 23.9454 89.6289 2633 595118 26.48/26.56 o 13357790201 26.48/26.59 c 23.9734 89.6289 2633 595605 26.48/26.59 o 13357790200 26.59/26.62 c 23.9964 89.6289 2633 596429 26.59/26.62 o 13355120245 26.59/26.65 c 24.0213 89.6289 2634 596982 26.59/26.65 o 13355120244 26.59/26.67 c 24.0493 89.6289 2634 598164 26.59/26.67 o 13333760606 26.69/26.71 c 24.0823 89.6289 2635 599521 26.69/26.71 o 13331090651 26.69/26.74 c 24.1093 89.6289 2635 600310 26.69/26.74 o 13331090650 26.69/26.77 c 24.1343 89.6289 2635 601137 26.69/26.77 o 13331090649 26.78/26.80 c 24.1593 89.6289 2636 601930 26.78/26.80 o 13328420696 26.78/26.83 c 24.1873 89.6289 2636 603034 26.78/26.83 o 13328420694 26.78/26.86 c 24.2133 89.6289 2636 604108 26.78/26.86 o 13325750740 26.78/26.89 c 24.2423 89.6289 2638 605408 26.78/26.89 o 13325750738 26.89/26.92 c 24.2713 89.6289 2639 606174 26.89/26.92 o 13323080783 26.89/26.95 c 24.2983 89.6289 2639 606579 26.89/26.95 o 13323080782 26.89/26.98 c 24.3253 89.6289 2639 606870 26.89/26.98 o 13323080781 26.99/27.01 c 24.3583 89.6289 2642 607761 26.99/27.01 o 13320410827 26.99/27.04 c 24.3853 89.6289 2642 608047 26.99/27.04 o 13320410826 26.99/27.08 c 24.4183 89.6289 2645 608300 26.99/27.08 o 13320410825 27.09/27.11 c 24.4473 89.6289 2649 608507 27.09/27.11 o 13320410824 27.09/27.17 c 24.4963 89.6289 2660 608712 27.09/27.17 o 13320410823 27.40/27.40 c 24.7112 89.6289 2737 609065 27.40/27.40 o 13320410822 28.29/28.36 c 25.6041 89.6289 2568 609629 28.29/28.36 o 13320410821 32.19/32.26 c 29.2176 89.6289 2980 610968 32.19/32.26 o 13320410820 32.29/32.30 c 29.2586 89.6289 2027 611171 32.29/32.30 o 13320410819 35.19/35.23 c 31.9841 89.6289 2548 612119 35.19/35.23 o 13320410818 36.19/36.30 c 32.974 89.6289 2380 612552 36.19/36.30 o 13320410817 36.38/36.43 c 33.101 89.6289 2086 612819 36.38/36.43 o 13320410816 36.98/37.06 c 33.6769 89.6289 2180 613633 36.98/37.06 o 13317740873 36.98/37.09 c 33.7079 89.6289 2191 614043 36.98/37.09 o 13317740872 37.09/37.12 c 33.7309 89.6289 2191 615217 37.09/37.12 o 9267417495 37.09/37.15 c 33.7539 89.6289 2192 615656 37.09/37.15 o 9267417494 37.09/37.18 c 33.7859 89.6289 2196 616678 37.09/37.18 o 9267417493 37.18/37.21 c 33.8089 89.6289 2196 617749 37.18/37.21 o 9264747538 37.18/37.23 c 33.8309 89.6289 2196 618513 37.18/37.23 o 9262077583 37.18/37.26 c 33.8549 89.6289 2196 619344 37.18/37.26 o 9262077582 37.18/37.28 c 33.8778 89.6289 2196 620385 37.18/37.28 o 9259407627 37.29/37.31 c 33.8998 89.6289 2197 621449 37.29/37.31 o 9259407621 37.29/37.33 c 33.9238 89.6289 2197 622545 37.29/37.33 o 9256737670 37.29/37.35 c 33.9458 89.6289 2198 623610 37.29/37.35 o 9254067714 37.29/37.38 c 33.9698 89.6289 2198 624442 37.29/37.38 o 9251397758 37.39/37.40 c 33.9938 89.6289 2199 625376 37.39/37.40 o 9248727805 37.39/37.44 c 34.0238 89.6289 2200 626222 37.39/37.44 o 9248727802 37.39/37.46 c 34.0448 89.6289 2200 626622 37.39/37.46 o 9248727801 37.39/37.49 c 34.0688 89.6289 2201 627032 37.39/37.49 o 9248727800 37.49/37.51 c 34.0918 89.6289 2202 628207 37.49/37.51 o 9240717945 37.49/37.53 c 34.1138 89.6289 2202 628947 37.49/37.53 o 9240717936 37.49/37.56 c 34.1328 89.6289 2203 629684 37.49/37.56 o 9238047984 37.49/37.58 c 34.1568 89.6289 1369 630588 37.49/37.58 o 9238047981 37.58/37.61 c 34.1778 89.6289 1369 631225 37.58/37.61 o 9238047980 37.58/37.63 c 34.2008 89.6289 1369 631966 37.58/37.63 o 9235378025 37.58/37.66 c 34.2278 89.6289 1370 633014 37.58/37.66 o 9232708074 37.58/37.68 c 34.2518 89.6289 1370 633626 37.58/37.68 o 9232708073 37.68/37.71 c 34.2748 89.6289 1371 634450 37.68/37.71 o 9232708070 37.68/37.73 c 34.2968 89.6289 1371 635497 37.68/37.73 o 9230038116 37.68/37.76 c 34.3168 89.6289 1371 636408 37.68/37.76 o 9227368162 37.68/37.78 c 34.3418 89.6289 1371 637228 37.68/37.78 o 9227368161 37.78/37.81 c 34.3638 89.6289 1371 638171 37.78/37.81 o 9224698206 37.78/37.83 c 34.3858 89.6289 1371 638791 37.78/37.83 o 9224698205 37.78/37.86 c 34.4078 89.6289 1371 639347 37.78/37.86 o 9224698204 37.78/37.88 c 34.4308 89.6289 1371 640265 37.78/37.88 o 9222028249 37.88/37.90 c 34.4508 89.6289 1371 640998 37.88/37.90 o 9222028248 37.88/37.93 c 34.4748 89.6289 1371 641721 37.88/37.93 o 9219358293 37.88/37.95 c 34.4948 89.6289 1371 642470 37.88/37.95 o 9216688338 37.88/37.98 c 34.5168 89.6289 1371 643068 37.88/37.98 o 9216688337 37.98/38.00 c 34.5397 89.6289 1371 643791 37.98/38.00 o 9214018381 37.98/38.03 c 34.5607 89.6289 1371 644172 37.98/38.03 o 9214018380 37.98/38.05 c 34.5837 89.6289 1372 644917 37.98/38.05 o 9211348425 37.98/38.08 c 34.6127 89.6289 1376 645658 37.98/38.08 o 9211348418 38.08/38.11 c 34.6367 89.6289 1377 646881 38.08/38.11 o 9019111726 38.08/38.13 c 34.6617 89.6289 1379 648052 38.08/38.13 o 9019111721 38.08/38.16 c 34.6847 89.6289 1381 649134 38.08/38.16 o 9016441769 38.08/38.18 c 34.7077 89.6289 1381 650302 38.08/38.18 o 9011101857 38.18/38.21 c 34.7307 89.6289 1381 651098 38.18/38.21 o 9011101856 38.18/38.23 c 34.7527 89.6289 1381 652168 38.18/38.23 o 9011101854 38.18/38.26 c 34.7777 89.6289 1382 653298 38.18/38.26 o 9008431903 38.18/38.28 c 34.8007 89.6289 1382 654063 38.18/38.28 o 9008431900 38.28/38.31 c 34.8257 89.6289 1382 655138 38.28/38.31 o 9008431898 38.28/38.33 c 34.8497 89.6289 1383 655941 38.28/38.33 o 9005761945 38.28/38.36 c 34.8697 89.6289 1383 656813 38.28/38.36 o 9005761926 38.28/38.38 c 34.8917 89.6289 1384 657541 38.28/38.38 o 9003091985 38.39/38.41 c 34.9137 89.6289 1384 658692 38.39/38.41 o 9000422027 38.39/38.43 c 34.9377 89.6289 1384 659778 38.39/38.43 o 8997752072 38.39/38.46 c 34.9627 89.6289 1385 660253 38.39/38.46 o 8997752071 38.39/38.48 c 34.9857 89.6289 1385 661059 38.39/38.48 o 8997752070 38.49/38.51 c 35.0097 89.6289 1385 662059 38.49/38.51 o 8995082117 38.49/38.53 c 35.0327 89.6289 1385 662773 38.49/38.53 o 8995082114 38.49/38.56 c 35.0557 89.6289 1385 663802 38.49/38.56 o 8992412160 38.49/38.58 c 35.0797 89.6289 1385 664638 38.49/38.58 o 8992412159 38.58/38.60 c 35.1017 89.6289 1385 664970 38.58/38.60 o 8992412158 38.58/38.63 c 35.1217 89.6289 1385 665711 38.58/38.63 o 8989742204 38.58/38.65 c 35.1417 89.6289 1385 666400 38.58/38.65 o 8989742202 38.58/38.69 c 35.1727 89.6289 1386 667127 38.58/38.69 o 8987072248 38.68/38.72 c 35.1926 89.6289 1389 667810 38.68/38.72 o 8987072177 38.68/38.74 c 35.2156 89.6289 1389 668445 38.68/38.74 o 8984402278 38.68/38.76 c 35.2366 89.6289 1389 668855 38.68/38.76 o 8984402277 38.68/38.79 c 35.2596 89.6289 1389 669101 38.68/38.79 o 8984402276 38.78/38.83 c 35.3036 89.6289 1399 669345 38.78/38.83 o 8984402275 38.78/38.88 c 35.3486 89.6289 1410 669575 38.78/38.88 o 8984402274 38.88/38.91 c 35.3706 89.6289 1412 670247 38.88/38.91 o 8984402226 38.88/38.93 c 35.3896 89.6289 1412 670650 38.88/38.93 o 8984402225 38.88/38.95 c 35.4126 89.6289 1412 670884 38.88/38.95 o 8984402224 38.98/39.00 c 35.4576 89.6289 1427 671157 38.98/39.00 o 8984402223 39.08/39.16 c 35.5966 89.6289 1452 671863 39.08/39.16 o 8981732319 39.18/39.24 c 35.6716 89.6289 1467 672097 39.18/39.24 o 8981732318 39.18/39.26 c 35.6936 89.6289 1468 672765 39.18/39.26 o 8981732309 39.18/39.29 c 35.7166 89.6289 1468 672979 39.18/39.29 o 8981732308 39.28/39.32 c 35.7516 89.6289 1474 673217 39.28/39.32 o 8981732307 39.68/39.79 c 36.1785 89.6289 1518 673948 39.68/39.79 o 8979062366 39.78/39.82 c 36.2015 89.6289 1523 674572 39.78/39.82 o 8979062359 39.78/39.84 c 36.2205 89.6289 1523 674772 39.78/39.84 o 8979062358 39.78/39.87 c 36.2475 89.6289 1524 674978 39.78/39.87 o 8979062357 39.88/39.90 c 36.2795 89.6289 1527 675653 39.88/39.90 o 8979062325 39.88/39.93 c 36.3055 89.6289 1528 676479 39.88/39.93 o 8979062323 39.99/40.03 c 36.3935 89.6289 1561 676790 39.99/40.03 o 8979062322 40.88/40.97 c 37.2393 89.6289 1764 677699 40.88/40.97 o 8976392410 40.98/41.04 c 37.3093 89.6289 1769 678601 40.98/41.04 o 8976392368 41.18/41.21 c 37.4653 89.6289 1801 679295 41.18/41.21 o 8973722446 41.18/41.24 c 37.4883 89.6289 1801 679944 41.18/41.24 o 8973722412 41.18/41.27 c 37.5153 89.6289 1803 680184 41.18/41.27 o 8973722411 41.29/41.34 c 37.5793 89.6289 1820 680834 41.29/41.34 o 8971052504 41.29/41.36 c 37.6023 89.6289 1823 681463 41.29/41.36 o 8971052497 41.29/41.39 c 37.6243 89.6289 1823 681664 41.29/41.39 o 8971052496 41.38/41.43 c 37.6673 89.6289 1834 681910 41.38/41.43 o 8971052495 41.38/41.47 c 37.7023 89.6289 1845 682566 41.38/41.47 o 8971052492 41.48/41.50 c 37.7263 89.6289 1848 682783 41.48/41.50 o 8971052491 41.48/41.52 c 37.7483 89.6289 1852 683004 41.48/41.52 o 8971052490 41.48/41.55 c 37.7693 89.6289 1853 683424 41.48/41.55 o 8971052489 41.48/41.57 c 37.7893 89.6289 1853 683815 41.48/41.57 o 8971052488 41.59/41.60 c 37.8103 89.6289 1853 684023 41.59/41.60 o 8971052487 41.59/41.63 c 37.8422 89.6289 1856 684225 41.59/41.63 o 8971052486 42.08/42.18 c 38.3472 89.6289 1910 684964 42.08/42.18 o 8968382548 42.18/42.20 c 38.3672 89.6289 1802 685345 42.18/42.21 o 8968382547 42.18/42.23 c 38.3922 89.6289 1804 685993 42.18/42.23 o 8968382506 42.18/42.26 c 38.4212 89.6289 1808 686224 42.18/42.26 o 8968382505 42.68/42.70 c 38.8231 89.6289 1882 687008 42.68/42.70 o 8965712584 42.79/42.81 c 38.9221 89.6289 1865 687259 42.79/42.81 o 8965712583 42.99/43.00 c 39.1051 89.6289 1904 687508 42.99/43.00 o 8965712582 42.99/43.09 c 39.182 89.6289 1915 687716 42.99/43.09 o 8965712581 43.08/43.16 c 39.248 89.6289 1945 687981 43.08/43.16 o 8965712580 44.99/45.06 c 40.9908 89.7578 2225 688654 44.99/45.06 o 8965712579 45.09/45.17 c 41.0948 89.7578 2250 688947 45.09/45.17 o 8965712578 45.78/45.87 c 41.7257 89.7578 2323 689710 45.78/45.87 o 8963042633 45.88/45.90 c 41.7547 89.7578 2299 690119 45.88/45.90 o 8963042632 45.88/45.95 c 41.8016 89.7578 2314 690357 45.88/45.95 o 8963042631 45.98/46.02 c 41.8616 89.7578 2328 690580 45.98/46.02 o 8963042630 46.08/46.10 c 41.9376 89.7578 2350 690823 46.08/46.10 o 8963042629 46.88/46.99 c 42.7515 89.8867 2512 691339 46.88/46.99 o 8963042628 47.19/47.26 c 42.9875 89.8867 2582 691668 47.19/47.26 o 8963042627 47.38/47.46 c 43.1754 89.8867 2486 691965 47.38/47.46 o 8963042626 48.58/48.61 c 44.2203 89.8867 2647 692395 48.58/48.61 o 8963042625 48.58/48.65 c 44.2663 89.8867 2665 692659 48.58/48.65 o 8963042624 49.39/49.42 c 44.9712 89.8867 2757 693427 49.39/49.42 o 8960372679 49.39/49.44 c 44.9912 89.8867 2580 694044 49.39/49.44 o 8960372677 49.39/49.46 c 45.0142 89.8867 2580 694235 49.39/49.46 o 8960372676 49.39/49.49 c 45.0422 89.8867 2585 694446 49.39/49.49 o 8960372675 49.49/49.56 c 45.1061 89.8867 2608 694696 49.49/49.56 o 8960372674 49.78/49.82 c 45.3401 89.8867 2678 695027 49.78/49.82 o 8960372673 49.88/49.93 c 45.4391 89.8867 1787 695052 49.88/49.93 s OPTIMUM FOUND 49.88/49.93 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
OK 8960372673
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2684251-1277514835/watcher-2684251-1277514835 -o /tmp/evaluation-result-2684251-1277514835/solver-2684251-1277514835 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2684251-1277514835.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.15 1.40 1.39 3/107 27538 /proc/meminfo: memFree=1820280/2059040 swapFree=4138980/4192956 [pid=27538] ppid=27536 vsize=2416 CPUtime=0 /proc/27538/stat : 27538 (pbct) R 27536 27538 25348 0 -1 4202496 292 0 0 0 0 0 0 0 19 0 1 0 125139226 2473984 212 1992294400 134512640 136421960 4286826704 18446744073709551615 135160348 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27538/statm: 604 213 138 467 0 135 0 [startup+0.0942499 s] /proc/loadavg: 1.15 1.40 1.39 3/107 27538 /proc/meminfo: memFree=1820280/2059040 swapFree=4138980/4192956 [pid=27538] ppid=27536 vsize=2564 CPUtime=0.08 /proc/27538/stat : 27538 (pbct) R 27536 27538 25348 0 -1 4202496 363 0 0 0 8 0 0 0 19 0 1 0 125139226 2625536 283 1992294400 134512640 136421960 4286826704 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27538/statm: 641 283 146 467 0 172 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2564 [startup+0.10125 s] /proc/loadavg: 1.15 1.40 1.39 3/107 27538 /proc/meminfo: memFree=1820280/2059040 swapFree=4138980/4192956 [pid=27538] ppid=27536 vsize=2564 CPUtime=0.09 /proc/27538/stat : 27538 (pbct) R 27536 27538 25348 0 -1 4202496 369 0 0 0 9 0 0 0 20 0 1 0 125139226 2625536 289 1992294400 134512640 136421960 4286826704 18446744073709551615 135818192 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27538/statm: 641 289 146 467 0 172 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2564 [startup+0.301268 s] /proc/loadavg: 1.15 1.40 1.39 3/107 27538 /proc/meminfo: memFree=1820280/2059040 swapFree=4138980/4192956 [pid=27538] ppid=27536 vsize=3408 CPUtime=0.29 /proc/27538/stat : 27538 (pbct) R 27536 27538 25348 0 -1 4202496 566 0 0 0 29 0 0 0 20 0 1 0 125139226 3489792 486 1992294400 134512640 136421960 4286826704 18446744073709551615 135153245 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27538/statm: 852 486 146 467 0 383 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3408 [startup+0.701304 s] /proc/loadavg: 1.15 1.40 1.39 3/107 27538 /proc/meminfo: memFree=1820280/2059040 swapFree=4138980/4192956 [pid=27538] ppid=27536 vsize=33444 CPUtime=0.69 /proc/27538/stat : 27538 (pbct) R 27536 27538 25348 0 -1 4202496 8313 0 0 0 66 3 0 0 21 0 1 0 125139226 34246656 7750 1992294400 134512640 136421960 4286826704 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/27538/statm: 8361 7751 190 467 0 7892 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 33444 [startup+1.50138 s] /proc/loadavg: 1.15 1.40 1.39 2/108 27539 /proc/meminfo: memFree=1744260/2059040 swapFree=4138980/4192956 [pid=27538] ppid=27536 vsize=87952 CPUtime=1.49 /proc/27538/stat : 27538 (pbct) R 27536 27538 25348 0 -1 4202496 22541 0 0 0 139 10 0 0 23 0 1 0 125139226 90062848 20870 1992294400 134512640 136421960 4286826704 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/27538/statm: 21988 20870 217 467 0 21519 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 87952 [startup+3.10152 s] /proc/loadavg: 1.15 1.40 1.39 2/108 27539 /proc/meminfo: memFree=1735828/2059040 swapFree=4138980/4192956 [pid=27538] ppid=27536 vsize=89928 CPUtime=3.09 /proc/27538/stat : 27538 (pbct) R 27536 27538 25348 0 -1 4202496 23304 0 0 0 279 30 0 0 25 0 1 0 125139226 92086272 21120 1992294400 134512640 136421960 4286826704 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/27538/statm: 22482 21120 239 467 0 22013 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 89928 [startup+6.30081 s] /proc/loadavg: 1.14 1.39 1.39 2/108 27539 /proc/meminfo: memFree=1735580/2059040 swapFree=4138980/4192956 [pid=27538] ppid=27536 vsize=90192 CPUtime=6.29 /proc/27538/stat : 27538 (pbct) R 27536 27538 25348 0 -1 4202496 23429 0 0 0 562 67 0 0 25 0 1 0 125139226 92356608 21193 1992294400 134512640 136421960 4286826704 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/27538/statm: 22548 21193 239 467 0 22079 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 90192 [startup+12.7014 s] /proc/loadavg: 1.12 1.38 1.39 2/108 27539 /proc/meminfo: memFree=1735084/2059040 swapFree=4138980/4192956 [pid=27538] ppid=27536 vsize=90852 CPUtime=12.69 /proc/27538/stat : 27538 (pbct) R 27536 27538 25348 0 -1 4202496 23722 0 0 0 1137 132 0 0 25 0 1 0 125139226 93032448 21366 1992294400 134512640 136421960 4286826704 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/27538/statm: 22713 21366 239 467 0 22244 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 90852 [startup+25.5015 s] /proc/loadavg: 1.10 1.36 1.38 2/108 27539 /proc/meminfo: memFree=1734216/2059040 swapFree=4138980/4192956 [pid=27538] ppid=27536 vsize=91776 CPUtime=25.49 /proc/27538/stat : 27538 (pbct) R 27536 27538 25348 0 -1 4202496 24091 0 0 0 2300 249 0 0 25 0 1 0 125139226 93978624 21599 1992294400 134512640 136421960 4286826704 18446744073709551615 135241783 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/27538/statm: 22944 21599 239 467 0 22475 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 91776 Solver just ended. Dumping a history of the last processes samples [startup+38.3017 s] /proc/loadavg: 1.08 1.35 1.37 2/108 27539 /proc/meminfo: memFree=1733968/2059040 swapFree=4138980/4192956 [pid=27538] ppid=27536 vsize=91776 CPUtime=38.28 /proc/27538/stat : 27538 (pbct) R 27536 27538 25348 0 -1 4202496 24218 0 0 0 3481 347 0 0 25 0 1 0 125139226 93978624 21623 1992294400 134512640 136421960 4286826704 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/27538/statm: 22944 21623 239 467 0 22475 0 Current children cumulated CPU time (s) 38.28 Current children cumulated vsize (KiB) 91776 [startup+44.7013 s] /proc/loadavg: 1.07 1.34 1.37 2/108 27539 /proc/meminfo: memFree=1733968/2059040 swapFree=4138980/4192956 [pid=27538] ppid=27536 vsize=91908 CPUtime=44.68 /proc/27538/stat : 27538 (pbct) R 27536 27538 25348 0 -1 4202496 24300 0 0 0 4067 401 0 0 25 0 1 0 125139226 94113792 21642 1992294400 134512640 136421960 4286826704 18446744073709551615 135822032 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/27538/statm: 22977 21642 239 467 0 22508 0 Current children cumulated CPU time (s) 44.68 Current children cumulated vsize (KiB) 91908 [startup+47.9005 s] /proc/loadavg: 1.07 1.34 1.37 2/108 27539 /proc/meminfo: memFree=1733844/2059040 swapFree=4138980/4192956 [pid=27538] ppid=27536 vsize=92040 CPUtime=47.88 /proc/27538/stat : 27538 (pbct) R 27536 27538 25348 0 -1 4202496 24344 0 0 0 4357 431 0 0 25 0 1 0 125139226 94248960 21676 1992294400 134512640 136421960 4286826704 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/27538/statm: 23010 21676 239 467 0 22541 0 Current children cumulated CPU time (s) 47.88 Current children cumulated vsize (KiB) 92040 [startup+49.5087 s] /proc/loadavg: 1.06 1.33 1.37 2/108 27539 /proc/meminfo: memFree=1733720/2059040 swapFree=4138980/4192956 [pid=27538] ppid=27536 vsize=92040 CPUtime=49.49 /proc/27538/stat : 27538 (pbct) R 27536 27538 25348 0 -1 4202496 24360 0 0 0 4505 444 0 0 25 0 1 0 125139226 94248960 21686 1992294400 134512640 136421960 4286826704 18446744073709551615 135820855 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/27538/statm: 23010 21686 239 467 0 22541 0 Current children cumulated CPU time (s) 49.49 Current children cumulated vsize (KiB) 92040 [startup+49.9007 s] /proc/loadavg: 1.06 1.33 1.37 2/108 27539 /proc/meminfo: memFree=1733720/2059040 swapFree=4138980/4192956 [pid=27538] ppid=27536 vsize=92040 CPUtime=49.88 /proc/27538/stat : 27538 (pbct) R 27536 27538 25348 0 -1 4202496 24363 0 0 0 4541 447 0 0 25 0 1 0 125139226 94248960 21687 1992294400 134512640 136421960 4286826704 18446744073709551615 135022223 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/27538/statm: 23010 21687 239 467 0 22541 0 Current children cumulated CPU time (s) 49.88 Current children cumulated vsize (KiB) 92040 [startup+50.3008 s] /proc/loadavg: 1.06 1.33 1.37 2/108 27539 /proc/meminfo: memFree=1733720/2059040 swapFree=4138980/4192956 [pid=27538] ppid=27536 vsize=80120 CPUtime=50.28 /proc/27538/stat : 27538 (pbct) R 27536 27538 25348 0 -1 4202496 24368 0 0 0 4580 448 0 0 25 0 1 0 125139226 82042880 19684 1992294400 134512640 136421960 4286826704 18446744073709551615 135801268 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/27538/statm: 20030 19684 242 467 0 19561 0 Current children cumulated CPU time (s) 50.28 Current children cumulated vsize (KiB) 80120 Child status: 0 Real time (s): 50.3464 CPU time (s): 50.3343 CPU user time (s): 45.841 CPU system time (s): 4.49332 CPU usage (%): 99.976 Max. virtual memory (cumulated for all children) (KiB): 92040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 45.841 system time used= 4.49332 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24369 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= 1 involuntary context switches= 42 runsolver used 0.093985 second user time and 0.263959 second system time The end
Begin job on node025 at 2010-06-26 03:13:55 IDJOB=2684251 IDBENCH=72315 IDSOLVER=1192 FILE ID=node025/2684251-1277514835 PBS_JOBID= 11190603 Free space on /tmp= 62308 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randfd04d4.cudf.trendy.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684251-1277514835/watcher-2684251-1277514835 -o /tmp/evaluation-result-2684251-1277514835/solver-2684251-1277514835 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2684251-1277514835.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 26a46b78eb7773cf62233afd6be8bb91 RANDOM SEED=938974163 node025.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1820684 kB Buffers: 28116 kB Cached: 113376 kB SwapCached: 6400 kB Active: 71216 kB Inactive: 83592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1820684 kB SwapTotal: 4192956 kB SwapFree: 4138980 kB Dirty: 2852 kB Writeback: 0 kB AnonPages: 11760 kB Mapped: 11848 kB Slab: 61372 kB PageTables: 4180 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184036 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62304 MiB End job on node025 at 2010-06-26 03:14:45