Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 152.609 | 152.605 |
Name | /PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv10.ucl--soft-66-100-0.wbo |
MD5SUM | d386dfc8e47349268f453a2b59efbfb7 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.128979 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 8937 |
Total number of constraints | 26319 |
Number of soft constraints | 8922 |
Number of constraints which are clauses | 26047 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 272 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 9 |
Top cost | 446674 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 446673 |
Biggest number in a constraint | 17 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 62 |
Number of bits of the biggest sum of numbers | 6 |
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.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.10/0.15 c constraints 182/90 clauses 17198/8825 units 11 0.10/0.15 c vars 8937 0.89/0.91 c 0.85287 116.688 12 50256 0.89/0.91 o 2598 0.89/1.00 c 0.904862 118.195 20 102809 0.89/1.00 o 2537 0.99/1.04 c 0.927858 118.195 27 118361 0.99/1.04 o 1760 0.99/1.07 c 0.947855 118.195 32 127586 0.99/1.07 o 1755 1.19/1.25 c 1.05684 118.195 80 129433 1.19/1.25 o 1754 3.69/3.74 c 2.67959 118.324 841 152789 3.69/3.74 o 1753 4.79/4.86 c 3.38149 118.453 1208 174259 4.79/4.86 o 1752 4.89/4.93 c 3.43748 118.453 1219 178003 4.89/4.93 o 1749 4.99/5.04 c 3.51846 118.453 1248 184223 4.99/5.04 o 1748 5.09/5.13 c 3.57446 118.453 1264 189391 5.09/5.13 o 1746 5.19/5.29 c 3.67044 118.453 1291 193609 5.19/5.29 o 1745 5.79/5.83 c 4.02239 118.453 1416 197771 5.79/5.83 o 1742 5.79/5.89 c 4.06738 118.453 1433 203247 5.79/5.89 o 1741 5.89/5.92 c 4.09238 118.453 1437 212681 5.89/5.92 o 1716 5.89/5.98 c 4.13237 118.453 1452 223243 5.89/5.98 o 1699 6.00/6.08 c 4.20036 118.453 1484 225978 6.00/6.08 o 1698 6.29/6.30 c 4.35134 118.453 1549 232373 6.29/6.30 o 1696 6.39/6.43 c 4.43832 118.582 1591 238150 6.39/6.43 o 1695 6.89/6.94 c 4.80627 118.582 1719 247281 6.89/6.94 o 1694 8.89/8.96 c 6.11907 118.711 2315 256585 8.89/8.96 o 1692 9.09/9.10 c 6.20906 118.711 2339 260137 9.09/9.10 o 1691 9.70/9.73 c 6.61999 118.711 2500 265451 9.70/9.73 o 1690 10.99/11.03 c 7.48886 118.84 2858 275037 10.99/11.03 o 1688 11.09/11.12 c 7.55285 118.84 2873 276203 11.09/11.12 o 1687 11.19/11.27 c 7.65984 118.84 2909 278229 11.19/11.27 o 1686 11.39/11.46 c 7.79481 118.84 2949 281955 11.39/11.46 o 1685 11.49/11.56 c 7.8598 118.84 2976 283313 11.49/11.56 o 1684 11.89/11.94 c 8.09877 118.84 3055 284607 11.89/11.94 o 1683 12.19/12.21 c 8.26474 118.84 3150 286135 12.19/12.21 o 1682 12.29/12.31 c 8.33673 118.84 3184 292046 12.29/12.31 o 1681 12.39/12.45 c 8.43572 118.84 3206 293870 12.39/12.45 o 1679 12.69/12.72 c 8.60969 118.84 3276 296752 12.69/12.72 o 1678 12.79/12.85 c 8.70768 118.84 3307 298711 12.79/12.85 o 1677 12.89/12.91 c 8.74367 118.84 3320 303508 12.89/12.91 o 1668 12.89/12.94 c 8.76367 118.84 3322 306232 12.89/12.94 o 1666 12.89/12.98 c 8.79466 118.84 3330 308409 12.89/12.98 o 1664 12.99/13.01 c 8.81766 118.84 3337 310241 12.99/13.01 o 1661 12.99/13.06 c 8.85065 118.84 3347 313279 12.99/13.06 o 1654 13.10/13.12 c 8.88565 118.84 3359 315810 13.10/13.12 o 1653 13.10/13.15 c 8.90765 118.969 3368 326238 13.10/13.15 o 1609 13.10/13.17 c 8.92764 118.969 3372 336491 13.10/13.17 o 1355 13.10/13.20 c 8.95064 118.969 3375 339165 13.10/13.20 o 1351 13.20/13.23 c 8.97763 118.969 3379 342018 13.20/13.23 o 1348 13.20/13.26 c 8.99363 118.969 3380 344931 13.20/13.26 o 1337 13.20/13.28 c 9.00863 118.969 3380 353924 13.20/13.28 o 1298 13.29/13.34 c 9.04662 118.969 3391 355498 13.29/13.34 o 1297 13.29/13.36 c 9.06562 118.969 3396 357213 13.29/13.36 o 1294 16.99/17.03 c 11.4603 119.098 4310 362475 16.99/17.03 o 1293 17.49/17.55 c 11.8012 119.098 4452 364835 17.49/17.55 o 1291 17.59/17.64 c 11.8642 119.098 4468 365689 17.59/17.64 o 1290 17.59/17.68 c 11.8952 119.098 4478 366507 17.59/17.68 o 1289 17.80/17.86 c 12.0112 119.098 4518 368444 17.80/17.86 o 1285 18.19/18.22 c 12.2331 119.098 4629 370921 18.19/18.22 o 1284 18.19/18.27 c 12.2661 119.098 4635 372234 18.19/18.27 o 1283 18.30/18.30 c 12.2891 119.098 4639 373396 18.30/18.30 o 1279 18.30/18.34 c 12.3131 119.098 4641 375061 18.30/18.34 o 1276 18.39/18.40 c 12.3541 119.227 4670 377496 18.39/18.40 o 1274 19.99/20.08 c 13.448 119.227 5118 383534 19.99/20.08 o 1273 20.30/20.34 c 13.6249 119.227 5162 384747 20.30/20.34 o 1272 21.09/21.20 c 14.1858 119.227 5370 388617 21.09/21.20 o 1271 21.49/21.53 c 14.4118 119.359 5441 389618 21.49/21.53 o 1270 21.59/21.64 c 14.4838 119.359 5463 390713 21.59/21.64 o 1268 21.69/21.73 c 14.5468 119.359 5484 394528 21.69/21.73 o 1266 22.39/22.48 c 15.0147 119.359 5675 399928 22.39/22.48 o 1264 22.59/22.66 c 15.1337 119.359 5731 403407 22.59/22.66 o 1262 22.59/22.68 c 15.1587 119.359 5740 405125 22.59/22.68 o 1260 22.69/22.71 c 15.1837 119.359 5745 411773 22.69/22.71 o 1237 22.69/22.76 c 15.2187 119.359 5752 413689 22.69/22.76 o 1236 22.99/23.09 c 15.4317 119.359 5825 415198 22.99/23.09 o 1235 23.10/23.12 c 15.4576 119.359 5827 416459 23.10/23.12 o 1234 23.10/23.17 c 15.4926 119.359 5836 417492 23.10/23.17 o 1232 23.19/23.25 c 15.5376 119.359 5856 419488 23.19/23.25 o 1230 24.79/24.82 c 16.5575 119.488 6271 433596 24.79/24.82 o 1229 24.89/24.90 c 16.6095 119.488 6279 435253 24.89/24.90 o 1228 24.89/24.93 c 16.6285 119.488 6282 438434 24.89/24.93 o 1225 24.89/24.95 c 16.6505 119.488 6283 442762 24.89/24.95 o 1219 25.00/25.03 c 16.7025 119.488 6293 444578 25.00/25.03 o 1218 25.50/25.56 c 17.0424 119.488 6415 449302 25.50/25.56 o 1217 25.59/25.61 c 17.0794 119.488 6424 450045 25.59/25.61 o 1216 25.69/25.72 c 17.1574 119.488 6458 451149 25.69/25.72 o 1215 25.79/25.81 c 17.2084 119.488 6475 451865 25.79/25.81 o 1214 25.99/26.01 c 17.3424 119.488 6520 456453 25.99/26.01 o 1211 26.19/26.26 c 17.4953 119.488 6586 458365 26.19/26.26 o 1207 26.19/26.30 c 17.5203 119.488 6598 459219 26.19/26.30 o 1205 26.30/26.35 c 17.5553 119.488 6608 462975 26.30/26.35 o 1204 27.19/27.21 c 18.1202 119.617 6821 466016 27.19/27.21 o 1203 27.19/27.29 c 18.1712 119.617 6875 467141 27.19/27.29 o 1202 27.29/27.33 c 18.1992 119.617 6887 467981 27.29/27.33 o 1200 27.29/27.37 c 18.2242 119.617 6893 470394 27.29/27.37 o 1198 27.40/27.41 c 18.2522 119.617 6902 472970 27.40/27.41 o 1196 27.40/27.45 c 18.2852 119.617 6907 476365 27.40/27.45 o 1191 27.69/27.70 c 18.4502 119.617 6954 481020 27.69/27.70 o 1190 27.69/27.79 c 18.5072 119.617 6979 482416 27.69/27.79 o 1189 27.79/27.84 c 18.5432 119.617 6989 483441 27.79/27.84 o 1187 27.79/27.87 c 18.5672 119.617 6994 485027 27.79/27.87 o 1179 27.89/27.90 c 18.5922 119.617 6998 486517 27.89/27.90 o 1178 27.89/27.93 c 18.6102 119.617 7000 487901 27.89/27.93 o 1175 27.89/27.99 c 18.6602 119.617 7010 489342 27.89/27.99 o 1173 28.50/28.54 c 19.0061 119.617 7162 491647 28.50/28.54 o 1171 28.79/28.80 c 19.1791 119.617 7212 492413 28.79/28.80 o 1170 29.40/29.41 c 19.549 119.617 7395 494317 29.40/29.41 o 1168 29.40/29.46 c 19.585 119.617 7404 496274 29.40/29.46 o 1161 29.50/29.51 c 19.623 119.617 7413 497136 29.50/29.51 o 1157 29.50/29.55 c 19.658 119.617 7419 498681 29.50/29.55 o 1155 29.50/29.59 c 19.685 119.617 7432 499529 29.50/29.59 o 1154 29.60/29.63 c 19.722 119.617 7440 500513 29.60/29.63 o 1152 29.60/29.66 c 19.742 119.746 7440 501900 29.60/29.66 o 1151 29.60/29.68 c 19.764 119.746 7440 503427 29.60/29.68 o 1149 29.70/29.73 c 19.792 119.746 7442 504818 29.70/29.73 o 1148 30.09/30.17 c 20.1079 119.746 7543 506630 30.09/30.17 o 1147 30.19/30.23 c 20.1559 119.746 7552 507703 30.19/30.23 o 1144 30.99/31.04 c 20.6749 119.746 7742 510196 30.99/31.04 o 1142 30.99/31.08 c 20.7039 119.746 7747 510834 30.99/31.08 o 1141 31.29/31.31 c 20.8748 119.746 7822 511642 31.29/31.31 o 1140 32.79/32.83 c 21.8657 119.875 8141 516765 32.79/32.83 o 1137 32.79/32.86 c 21.8897 119.875 8143 518800 32.79/32.86 o 1136 33.00/33.05 c 22.0037 119.875 8184 520087 33.00/33.05 o 1133 33.79/33.83 c 22.4896 119.875 8395 524943 33.79/33.83 o 1126 33.79/33.88 c 22.5306 119.875 8408 527977 33.79/33.88 o 1124 33.89/33.96 c 22.5826 119.875 8421 528611 33.89/33.96 o 1123 33.89/33.99 c 22.6046 119.875 8422 529691 33.89/33.99 o 1122 34.00/34.01 c 22.6236 119.875 8426 531293 34.00/34.01 o 1121 34.00/34.05 c 22.6516 119.875 8430 533297 34.00/34.05 o 1116 34.00/34.09 c 22.6816 119.875 8440 537241 34.00/34.09 o 1113 34.10/34.12 c 22.7035 119.875 8444 539472 34.10/34.12 o 1111 34.10/34.15 c 22.7235 119.875 8451 541922 34.10/34.15 o 1110 34.10/34.17 c 22.7445 119.875 8451 544023 34.10/34.17 o 1106 34.10/34.19 c 22.7625 119.875 8451 545044 34.10/34.19 o 1105 34.19/34.22 c 22.7835 119.875 8452 547981 34.19/34.22 o 1094 34.19/34.26 c 22.8115 119.875 8460 549652 34.19/34.26 o 1091 34.30/34.33 c 22.8585 119.875 8468 551179 34.30/34.33 o 1090 34.99/35.00 c 23.2995 119.875 8628 552940 34.99/35.00 o 1088 35.29/35.32 c 23.5154 119.875 8703 554873 35.29/35.32 o 1086 36.09/36.17 c 24.0613 120.004 8924 556451 36.09/36.17 o 1085 36.49/36.53 c 24.3093 120.004 9003 557415 36.49/36.53 o 1084 37.00/37.09 c 24.7042 120.004 9127 560981 37.00/37.09 o 1083 37.09/37.19 c 24.7682 120.004 9150 563598 37.09/37.19 o 1082 37.40/37.47 c 24.9612 120.004 9208 564708 37.40/37.47 o 1081 38.09/38.15 c 25.4041 120.004 9368 566529 38.09/38.15 o 1079 38.50/38.58 c 25.7021 120.004 9461 568158 38.50/38.58 o 1072 38.69/38.76 c 25.8121 120.133 9524 570322 38.69/38.76 o 1071 39.19/39.21 c 26.095 120.133 9640 571666 39.19/39.21 o 1070 39.69/39.72 c 26.429 120.133 9770 573810 39.69/39.72 o 1069 39.69/39.75 c 26.453 120.133 9771 575091 39.69/39.75 o 1067 39.79/39.81 c 26.485 120.133 9779 577653 39.79/39.81 o 1057 39.79/39.86 c 26.522 120.133 9788 579400 39.79/39.86 o 1056 39.89/39.91 c 26.558 120.133 9796 580504 39.89/39.91 o 1054 39.89/39.96 c 26.605 120.133 9810 583170 39.89/39.96 o 1053 40.19/40.20 c 26.7619 120.133 9859 583826 40.19/40.20 o 1052 40.29/40.37 c 26.8789 120.133 9912 585317 40.29/40.37 o 1050 40.39/40.48 c 26.9469 120.133 9941 586048 40.39/40.48 o 1049 40.79/40.87 c 27.1969 120.133 10042 587668 40.79/40.87 o 1047 40.89/40.92 c 27.2289 120.133 10049 588418 40.89/40.92 o 1046 40.89/40.97 c 27.2659 120.133 10059 589574 40.89/40.97 o 1043 40.99/41.01 c 27.2949 120.133 10067 590550 40.99/41.01 o 1042 40.99/41.06 c 27.3358 120.133 10070 591478 40.99/41.06 o 1041 41.10/41.11 c 27.3718 120.133 10076 594057 41.10/41.11 o 1037 41.10/41.14 c 27.3938 120.133 10077 598389 41.10/41.14 o 1019 41.19/41.21 c 27.4428 120.133 10085 600902 41.19/41.21 o 1016 41.59/41.67 c 27.7478 120.262 10225 603029 41.59/41.67 o 1015 41.80/41.86 c 27.8658 120.262 10258 604514 41.80/41.86 o 1014 41.99/42.01 c 27.9657 120.262 10303 605624 41.99/42.01 o 1013 41.99/42.08 c 28.0147 120.262 10311 606795 41.99/42.08 o 1009 42.09/42.13 c 28.0457 120.262 10325 607805 42.09/42.13 o 1008 42.29/42.36 c 28.2107 120.262 10375 608761 42.29/42.36 o 1007 42.39/42.47 c 28.2837 120.262 10396 609617 42.39/42.47 o 1006 42.69/42.77 c 28.4767 120.262 10468 610364 42.69/42.77 o 1005 42.80/42.82 c 28.5067 120.262 10476 611619 42.80/42.82 o 1003 43.19/43.22 c 28.7686 120.262 10609 613040 43.19/43.22 o 1002 43.39/43.40 c 28.8936 120.262 10668 615242 43.39/43.40 o 1001 44.19/44.21 c 29.4105 120.262 5497 618426 44.19/44.21 o 1000 44.69/44.76 c 29.7705 120.262 5624 619910 44.69/44.76 o 999 45.19/45.27 c 30.0864 120.262 5732 621535 45.19/45.27 o 998 45.29/45.32 c 30.1254 120.262 5739 622305 45.29/45.32 o 997 45.29/45.37 c 30.1624 120.262 5745 623657 45.29/45.37 o 996 45.79/45.89 c 30.5074 120.262 5883 626178 45.79/45.89 o 995 46.20/46.22 c 30.7213 120.262 5960 626831 46.20/46.22 o 994 46.29/46.39 c 30.8353 120.262 5991 628104 46.29/46.39 o 993 46.49/46.53 c 30.9403 120.262 6009 630109 46.49/46.53 o 991 46.70/46.71 c 31.0623 120.262 6050 632511 46.70/46.71 o 988 46.70/46.75 c 31.0933 120.262 6056 633682 46.70/46.75 o 986 46.99/47.09 c 31.3302 120.262 6137 634793 46.99/47.09 o 985 47.59/47.64 c 31.6652 120.262 6243 636499 47.59/47.64 o 984 51.70/51.72 c 34.2678 120.262 7204 641026 51.70/51.72 o 981 51.70/51.78 c 34.2998 120.262 7222 641677 51.70/51.78 o 979 51.79/51.88 c 34.3638 120.262 7249 642524 51.79/51.88 o 978 52.39/52.40 c 34.6847 120.262 7374 643827 52.39/52.40 o 977 53.40/53.42 c 35.3096 120.262 7657 645608 53.40/53.42 o 975 54.40/54.49 c 36.0215 120.262 7928 649134 54.40/54.49 o 974 54.69/54.75 c 36.1955 120.262 7992 650455 54.69/54.75 o 973 55.89/55.90 c 36.9604 120.262 8343 652510 55.89/55.90 o 972 55.89/56.00 c 37.0254 120.262 8372 652829 55.89/56.00 o 971 56.30/56.35 c 37.2583 120.262 8488 654924 56.30/56.35 o 970 56.40/56.45 c 37.3303 120.262 8507 656785 56.40/56.45 o 969 56.40/56.48 c 37.3533 120.262 8512 657754 56.40/56.48 o 968 56.50/56.52 c 37.3823 120.262 8519 659365 56.50/56.52 o 967 57.10/57.12 c 37.7693 120.262 8685 662156 57.10/57.12 o 964 57.30/57.34 c 37.9142 120.262 8748 663767 57.30/57.34 o 963 57.39/57.43 c 37.9842 120.262 8772 664481 57.39/57.43 o 962 57.49/57.50 c 38.0302 120.262 8796 665782 57.49/57.50 o 960 57.49/57.58 c 38.0772 120.262 8816 666526 57.49/57.58 o 959 57.60/57.62 c 38.1092 120.262 8831 667118 57.60/57.62 o 958 57.69/57.76 c 38.1992 120.262 8852 667835 57.69/57.76 o 956 57.80/57.85 c 38.2562 120.262 8868 668320 57.80/57.85 o 955 57.80/57.88 c 38.2722 120.262 8871 669200 57.80/57.88 o 953 57.89/57.93 c 38.3072 120.262 8882 671381 57.89/57.93 o 946 57.89/57.96 c 38.3262 120.262 8886 673387 57.89/57.96 o 941 58.10/58.11 c 38.4382 120.262 8922 674382 58.10/58.11 o 939 58.10/58.20 c 38.4921 120.262 8944 675329 58.10/58.20 o 938 58.20/58.29 c 38.5591 120.262 8959 676161 58.20/58.29 o 937 59.30/59.34 c 39.207 120.262 9278 678342 59.30/59.34 o 933 59.49/59.56 c 39.346 120.262 9320 678982 59.49/59.56 o 932 61.69/61.75 c 40.7498 120.262 9853 681680 61.69/61.75 o 931 62.19/62.28 c 41.1018 120.262 9987 684043 62.19/62.28 o 929 62.90/62.97 c 41.5597 120.262 10240 686384 62.90/62.97 o 928 63.29/63.39 c 41.8316 120.262 10371 687879 63.29/63.39 o 927 63.39/63.48 c 41.8986 120.262 10384 688513 63.39/63.48 o 926 63.59/63.67 c 42.0246 120.262 10422 690286 63.59/63.67 o 925 63.70/63.73 c 42.0726 120.262 10456 691479 63.70/63.73 o 923 63.79/63.84 c 42.1396 120.262 10478 692318 63.79/63.84 o 922 64.40/64.41 c 42.4815 120.262 10602 693350 64.40/64.41 o 921 64.49/64.51 c 42.5475 120.262 10625 693839 64.49/64.51 o 920 64.49/64.56 c 42.5835 120.262 10644 694321 64.49/64.56 o 919 64.59/64.64 c 42.6375 120.262 10659 694614 64.59/64.64 o 918 64.70/64.70 c 42.6825 120.262 10673 695201 64.70/64.70 o 917 64.70/64.77 c 42.7325 120.262 10686 696402 64.70/64.77 o 915 64.80/64.81 c 42.7555 120.262 10693 696990 64.80/64.81 o 914 65.29/65.34 c 43.1034 120.262 5402 698100 65.29/65.34 o 912 65.39/65.46 c 43.1794 120.262 5443 698825 65.39/65.46 o 911 65.50/65.51 c 43.2114 120.262 5454 699564 65.50/65.51 o 909 65.50/65.56 c 43.2414 120.262 5460 700165 65.50/65.56 o 908 65.59/65.62 c 43.2884 120.262 5479 700746 65.59/65.62 o 907 66.10/66.13 c 43.6404 120.262 5593 703643 66.10/66.13 o 903 66.49/66.58 c 43.9483 120.262 5713 707458 66.49/66.58 o 901 66.59/66.61 c 43.9693 120.262 5715 709398 66.59/66.61 o 895 66.59/66.63 c 43.9873 120.262 5716 710753 66.59/66.63 o 891 66.59/66.66 c 44.0043 120.262 5720 712652 66.59/66.66 o 886 66.59/66.69 c 44.0263 120.262 5725 715421 66.59/66.69 o 881 66.70/66.76 c 44.0713 120.262 5734 716887 66.70/66.76 o 877 67.19/67.28 c 44.4142 120.262 5852 718130 67.19/67.28 o 875 68.10/68.13 c 44.9492 120.262 6075 719992 68.10/68.13 o 873 68.10/68.17 c 44.9752 120.262 6080 721205 68.10/68.17 o 869 68.20/68.25 c 45.0372 120.262 6095 722599 68.20/68.25 o 864 68.29/68.38 c 45.1251 120.262 6117 723531 68.29/68.38 o 863 68.39/68.44 c 45.1681 120.262 6151 724762 68.39/68.44 o 862 68.49/68.51 c 45.2141 120.262 6160 726833 68.49/68.51 o 857 68.49/68.53 c 45.2331 120.262 6160 727363 68.49/68.53 o 856 68.49/68.56 c 45.2591 120.262 6173 728098 68.49/68.56 o 854 68.49/68.60 c 45.2781 120.262 6177 729426 68.49/68.60 o 853 68.89/68.95 c 45.5161 120.262 6285 731643 68.89/68.95 o 851 69.30/69.37 c 45.805 120.262 6388 732807 69.30/69.37 o 849 69.80/69.85 c 46.111 120.262 6513 734061 69.80/69.85 o 848 69.89/69.91 c 46.156 120.262 6524 736395 69.89/69.91 o 846 70.40/70.43 c 46.5019 120.262 6648 738455 70.40/70.43 o 845 70.50/70.59 c 46.5979 120.262 6679 739159 70.50/70.59 o 844 70.59/70.65 c 46.6449 120.262 6698 739941 70.59/70.65 o 843 70.69/70.74 c 46.7049 120.262 6728 740523 70.69/70.74 o 842 71.10/71.14 c 46.9759 120.262 6864 742639 71.10/71.14 o 841 71.10/71.18 c 47.0059 120.262 6875 743217 71.10/71.18 o 840 71.20/71.25 c 47.0448 120.262 6884 743964 71.20/71.25 o 838 71.20/71.27 c 47.0668 120.262 6896 744746 71.20/71.27 o 836 71.29/71.32 c 47.0948 120.262 6900 746056 71.29/71.32 o 834 71.29/71.34 c 47.1148 120.262 6902 746520 71.29/71.34 o 833 71.29/71.38 c 47.1368 120.262 6905 747578 71.29/71.38 o 831 71.50/71.58 c 47.2688 120.262 6937 748496 71.50/71.58 o 830 72.20/72.27 c 47.7327 120.262 7129 750588 72.20/72.27 o 829 72.60/72.67 c 48.0057 120.262 7257 752328 72.60/72.67 o 827 72.69/72.70 c 48.0217 120.262 7261 753329 72.69/72.70 o 825 72.99/73.04 c 48.2427 120.262 7332 754557 72.99/73.04 o 823 73.40/73.47 c 48.5386 120.262 7457 755811 73.40/73.47 o 822 73.59/73.63 c 48.6396 120.262 7506 757089 73.59/73.63 o 820 73.59/73.66 c 48.6616 120.262 7515 758710 73.59/73.66 o 818 73.59/73.69 c 48.6886 120.262 7516 759142 73.59/73.69 o 817 73.70/73.72 c 48.7146 120.262 7518 760167 73.70/73.72 o 816 73.80/73.80 c 48.7736 120.262 7529 760764 73.80/73.80 o 814 73.80/73.85 c 48.8136 120.262 7542 761986 73.80/73.85 o 813 73.80/73.87 c 48.8356 120.262 7542 763991 73.80/73.87 o 808 73.89/73.91 c 48.8546 120.262 7546 765100 73.89/73.91 o 806 73.89/73.95 c 48.8796 120.262 7550 766398 73.89/73.95 o 804 73.89/73.99 c 48.9036 120.262 7557 767597 73.89/73.99 o 801 74.00/74.02 c 48.9306 120.262 7563 768261 74.00/74.02 o 799 74.09/74.11 c 48.9906 120.262 7576 768805 74.09/74.11 o 798 74.19/74.29 c 49.1185 120.262 7638 769159 74.19/74.29 o 797 74.30/74.33 c 49.1455 120.262 7645 769803 74.30/74.33 o 795 74.39/74.42 c 49.2035 120.262 7660 770507 74.39/74.42 o 793 74.39/74.46 c 49.2355 120.262 7667 771157 74.39/74.46 o 792 74.60/74.62 c 49.3465 120.262 7713 771835 74.60/74.62 o 791 74.60/74.65 c 49.3745 120.262 7718 772930 74.60/74.65 o 789 74.60/74.68 c 49.3965 120.262 7724 773627 74.60/74.68 o 788 74.70/74.75 c 49.4435 120.262 7745 774566 74.70/74.75 o 786 74.80/74.84 c 49.4965 120.262 7759 775953 74.80/74.84 o 785 75.99/76.01 c 50.2774 120.262 8048 778555 75.99/76.01 o 784 75.99/76.06 c 50.3154 120.262 8061 778997 75.99/76.07 o 783 76.09/76.13 c 50.3663 120.262 8075 779495 76.09/76.13 o 782 76.09/76.17 c 50.3953 120.262 8092 780830 76.09/76.17 o 780 76.20/76.28 c 50.4643 120.262 8112 781439 76.20/76.28 o 777 76.50/76.57 c 50.6683 120.262 8218 783083 76.50/76.57 o 776 77.00/77.07 c 50.9772 120.262 8345 784817 77.00/77.07 o 775 77.09/77.16 c 51.0432 120.262 8365 785411 77.09/77.17 o 773 77.49/77.51 c 51.2592 120.262 8474 786485 77.49/77.51 o 771 77.49/77.57 c 51.3042 120.262 8485 787476 77.49/77.57 o 770 77.60/77.61 c 51.3352 120.262 8491 788364 77.60/77.61 o 767 77.69/77.74 c 51.4202 120.262 8516 788870 77.69/77.74 o 766 78.49/78.56 c 51.9431 120.262 8720 791020 78.49/78.56 o 765 78.89/78.97 c 52.2141 120.262 8827 791965 78.89/78.97 o 764 78.99/79.01 c 52.2491 120.262 8831 792349 78.99/79.01 o 762 78.99/79.07 c 52.295 120.262 8849 792891 78.99/79.07 o 761 79.10/79.13 c 52.336 120.262 8877 793119 79.10/79.13 o 760 79.50/79.51 c 52.595 120.262 8955 794721 79.50/79.51 o 759 79.79/79.85 c 52.826 120.262 9058 795993 79.79/79.85 o 758 79.89/79.92 c 52.879 120.262 9069 796670 79.89/79.92 o 756 80.10/80.11 c 53.0099 120.262 9109 797068 80.10/80.11 o 755 80.19/80.29 c 53.1369 120.262 9145 797561 80.19/80.29 o 754 80.30/80.34 c 53.1719 120.262 9160 798456 80.30/80.34 o 753 80.30/80.37 c 53.1949 120.262 9165 799046 80.30/80.37 o 752 80.40/80.46 c 53.2529 120.262 9183 800460 80.40/80.46 o 751 80.89/80.96 c 53.5719 120.262 9295 804105 80.89/80.96 o 749 81.50/81.50 c 53.9208 120.262 9413 805724 81.50/81.50 o 748 81.50/81.55 c 53.9618 120.262 9420 806190 81.50/81.55 o 747 81.50/81.59 c 53.9928 120.262 9426 807230 81.50/81.59 o 746 81.59/81.64 c 54.0308 120.262 9437 808307 81.59/81.64 o 745 81.99/82.08 c 54.3147 120.262 9576 809121 81.99/82.08 o 744 82.40/82.47 c 54.5537 120.262 9701 810703 82.40/82.47 o 740 82.59/82.64 c 54.6717 120.262 9733 812146 82.59/82.64 o 739 82.59/82.68 c 54.6947 120.262 9736 812663 82.59/82.68 o 738 82.79/82.86 c 54.8167 120.262 9788 813681 82.79/82.86 o 736 82.89/82.92 c 54.8597 120.262 9797 814825 82.89/82.92 o 732 82.89/82.96 c 54.8907 120.262 9801 815725 82.89/82.96 o 731 83.19/83.25 c 55.1006 120.262 9868 816457 83.19/83.25 o 730 83.40/83.40 c 55.2006 120.262 9895 817176 83.40/83.40 o 729 83.79/83.81 c 55.4596 120.262 10007 818978 83.79/83.81 o 728 84.29/84.35 c 55.7905 120.262 10113 819953 84.29/84.35 o 727 84.40/84.41 c 55.8335 120.262 10124 820930 84.40/84.41 o 723 84.40/84.46 c 55.8705 120.262 10131 822506 84.40/84.46 o 722 84.50/84.57 c 55.9535 120.262 10155 823471 84.50/84.57 o 721 84.60/84.64 c 55.9945 120.262 10171 824623 84.60/84.64 o 716 84.80/84.87 c 56.1505 120.262 10239 825312 84.80/84.87 o 713 85.29/85.33 c 56.4764 120.262 10341 826776 85.29/85.33 o 712 85.60/85.63 c 56.6614 120.262 10400 828597 85.60/85.63 o 711 85.79/85.85 c 56.8204 120.262 10453 829229 85.79/85.85 o 709 85.89/85.96 c 56.8914 120.262 10478 829836 85.89/85.96 o 708 85.99/86.01 c 56.9253 120.262 10484 830239 85.99/86.01 o 707 85.99/86.04 c 56.9503 120.262 10490 830546 85.99/86.04 o 706 86.29/86.31 c 57.1433 120.262 10559 831213 86.29/86.31 o 704 86.49/86.51 c 57.2753 120.262 10606 831926 86.49/86.51 o 702 86.59/86.63 c 57.3603 120.391 10630 832262 86.59/86.63 o 701 86.59/86.68 c 57.3963 120.391 10637 833025 86.59/86.68 o 700 86.69/86.74 c 57.4403 120.391 10664 833863 86.69/86.74 o 699 87.19/87.22 c 57.7372 120.391 10780 836767 87.19/87.22 o 696 87.59/87.67 c 58.0322 120.391 5469 837509 87.59/87.67 o 695 88.09/88.10 c 58.3151 120.391 5572 838585 88.09/88.10 o 694 88.09/88.13 c 58.3411 120.391 5577 839600 88.09/88.13 o 692 88.09/88.17 c 58.3761 120.391 5593 840323 88.09/88.17 o 690 88.20/88.20 c 58.3981 120.391 5594 840801 88.20/88.20 o 688 88.20/88.23 c 58.4161 120.391 5596 842143 88.20/88.23 o 683 88.20/88.28 c 58.4551 120.391 5603 842853 88.20/88.28 o 681 88.29/88.35 c 58.5111 120.391 5619 843218 88.29/88.35 o 680 88.39/88.46 c 58.5911 120.391 5644 843856 88.39/88.46 o 679 88.59/88.66 c 58.7181 120.391 5683 844580 88.59/88.66 o 678 88.80/88.83 c 58.8271 120.391 5745 845053 88.80/88.83 o 677 89.10/89.18 c 59.055 120.391 5848 846042 89.10/89.18 o 676 89.19/89.21 c 59.083 120.391 5850 846340 89.19/89.21 o 675 89.19/89.28 c 59.125 120.391 5857 846634 89.19/89.28 o 674 89.49/89.55 c 59.301 120.391 5901 846951 89.49/89.55 o 673 89.49/89.59 c 59.328 120.391 5904 847193 89.49/89.59 o 672 90.10/90.16 c 59.7039 120.391 6045 848029 90.10/90.16 o 671 90.99/91.03 c 60.2688 120.391 6269 850695 90.99/91.03 o 670 90.99/91.08 c 60.3108 120.391 6288 851088 90.99/91.08 o 669 91.10/91.16 c 60.3678 120.391 6305 851511 91.10/91.16 o 668 91.40/91.49 c 60.5958 120.391 6378 852296 91.40/91.49 o 666 91.59/91.61 c 60.6948 120.391 6434 852804 91.59/91.61 o 665 91.59/91.65 c 60.7168 120.391 6436 853315 91.59/91.65 o 664 91.59/91.67 c 60.7378 120.391 6440 853682 91.59/91.67 o 663 91.69/91.71 c 60.7588 120.391 6446 854450 91.69/91.71 o 661 91.69/91.76 c 60.7988 120.391 6451 855400 91.69/91.76 o 656 91.69/91.79 c 60.8228 120.391 6455 856207 91.69/91.79 o 653 91.80/91.81 c 60.8417 120.391 6457 856621 91.80/91.81 o 652 91.80/91.86 c 60.8777 120.391 6467 856972 91.80/91.86 o 651 91.80/91.89 c 60.9007 120.391 6485 857626 91.80/91.89 o 650 92.19/92.24 c 61.1257 120.391 6566 858368 92.19/92.24 o 649 92.30/92.36 c 61.2137 120.391 6588 858778 92.30/92.36 o 648 92.40/92.41 c 61.2467 120.391 6596 859673 92.40/92.41 o 645 92.40/92.45 c 61.2827 120.391 6610 860466 92.40/92.45 o 641 92.40/92.47 c 61.3027 120.391 6610 860683 92.40/92.47 o 640 92.49/92.50 c 61.3217 120.391 6610 860910 92.49/92.50 o 639 92.49/92.52 c 61.3397 120.391 6611 861131 92.49/92.52 o 638 92.49/92.55 c 61.3567 120.391 6611 861339 92.49/92.55 o 637 92.49/92.57 c 61.3787 120.391 6611 861539 92.49/92.57 o 636 92.59/92.60 c 61.3967 120.391 6612 861817 92.59/92.60 o 635 92.59/92.64 c 61.4267 120.391 6615 862806 92.59/92.64 o 634 92.59/92.66 c 61.4467 120.391 6617 863685 92.59/92.66 o 633 92.59/92.68 c 61.4637 120.391 6617 864070 92.59/92.68 o 632 92.70/92.71 c 61.4847 120.391 6619 864781 92.70/92.71 o 630 92.70/92.74 c 61.5056 120.391 6622 865315 92.70/92.74 o 629 92.70/92.76 c 61.5266 120.391 6623 865871 92.70/92.76 o 626 92.70/92.79 c 61.5456 120.391 6625 866198 92.70/92.79 o 625 92.80/92.81 c 61.5646 120.391 6630 866671 92.80/92.81 o 624 92.89/92.96 c 61.6626 120.391 6661 867252 92.89/92.96 o 623 93.40/93.48 c 62.0056 120.391 6815 868958 93.40/93.48 o 622 93.60/93.63 c 62.1086 120.391 6850 869393 93.60/93.63 o 621 93.60/93.69 c 62.1476 120.391 6859 869850 93.60/93.69 o 620 93.69/93.71 c 62.1675 120.391 6860 870810 93.69/93.71 o 618 93.69/93.74 c 62.1885 120.391 6861 871584 93.69/93.74 o 617 93.69/93.77 c 62.2085 120.391 6862 872481 93.69/93.77 o 613 93.69/93.79 c 62.2305 120.391 6863 873496 93.69/93.79 o 611 93.79/93.82 c 62.2495 120.391 6863 874347 93.79/93.82 o 610 93.79/93.84 c 62.2735 120.391 6863 875087 93.79/93.84 o 609 93.79/93.87 c 62.2945 120.391 6864 876116 93.79/93.87 o 607 93.90/93.90 c 62.3195 120.391 6869 876543 93.90/93.90 o 606 93.90/93.94 c 62.3445 120.391 6877 876953 93.90/93.94 o 605 93.90/93.98 c 62.3745 120.391 6881 877453 93.90/93.98 o 604 94.39/94.49 c 62.7315 120.391 7006 878466 94.39/94.49 o 603 94.79/94.88 c 62.9834 120.391 7135 879242 94.79/94.88 o 602 94.99/95.03 c 63.0914 120.391 7160 879862 94.99/95.03 o 601 95.39/95.42 c 63.3424 120.391 7283 880943 95.39/95.42 o 600 95.39/95.44 c 63.3634 120.391 7286 881199 95.39/95.44 o 599 95.39/95.47 c 63.3884 120.391 7290 881529 95.39/95.47 o 598 95.60/95.65 c 63.5373 120.391 7363 882412 95.60/95.65 o 597 95.99/96.04 c 63.7793 120.391 7474 883431 95.99/96.04 o 596 96.10/96.10 c 63.8283 120.391 7487 884009 96.10/96.10 o 595 96.49/96.59 c 64.1532 120.391 7621 885400 96.49/96.59 o 594 96.60/96.65 c 64.1932 120.391 7640 885907 96.60/96.65 o 593 96.89/96.97 c 64.4292 120.391 7762 887210 96.89/96.97 o 592 97.00/97.03 c 64.4752 120.391 7779 887884 97.00/97.03 o 591 97.70/97.72 c 64.9311 120.391 7951 889502 97.70/97.72 o 589 98.20/98.24 c 65.2961 120.391 8104 891050 98.20/98.24 o 588 98.60/98.67 c 65.574 120.391 8230 891951 98.60/98.67 o 587 98.80/98.80 c 65.664 120.391 8262 892472 98.80/98.80 o 586 98.90/98.92 c 65.756 120.391 8289 892878 98.90/98.93 o 585 98.90/98.98 c 65.792 120.391 8303 893140 98.90/98.98 o 584 98.99/99.04 c 65.841 120.391 8328 893519 98.99/99.04 o 583 98.99/99.09 c 65.878 120.391 8337 893813 98.99/99.09 o 582 99.30/99.39 c 66.081 120.391 8408 894462 99.30/99.39 o 580 99.49/99.55 c 66.1959 120.391 8434 894923 99.49/99.55 o 579 99.59/99.63 c 66.2589 120.391 8454 895237 99.59/99.63 o 578 99.59/99.68 c 66.2979 120.391 8461 896032 99.59/99.68 o 575 99.89/99.92 c 66.4539 120.391 8534 897016 99.89/99.92 o 574 99.99/100.04 c 66.5399 120.391 8569 897554 99.99/100.04 o 573 100.10/100.14 c 66.6049 120.391 8582 898007 100.10/100.14 o 571 100.19/100.21 c 66.6609 120.391 8598 898629 100.19/100.21 o 570 100.60/100.68 c 66.9508 120.391 8716 899497 100.60/100.68 o 569 100.69/100.74 c 67.0008 120.391 8750 900251 100.69/100.74 o 566 100.69/100.78 c 67.0278 120.391 8760 900466 100.69/100.78 o 565 101.10/101.10 c 67.2388 120.391 8823 901363 101.10/101.10 o 562 101.20/101.25 c 67.3398 120.391 8860 901936 101.20/101.25 o 561 101.69/101.77 c 67.6657 120.391 8978 902880 101.69/101.77 o 560 101.80/101.81 c 67.6937 120.391 8982 903319 101.80/101.81 o 559 101.80/101.86 c 67.7287 120.391 8987 904244 101.80/101.86 o 557 102.10/102.16 c 67.9307 120.391 9044 904581 102.10/102.16 o 556 102.20/102.20 c 67.9717 120.391 9064 904814 102.20/102.20 o 555 102.20/102.30 c 68.0307 120.391 9084 905366 102.20/102.30 o 554 102.30/102.38 c 68.0846 120.391 9100 906105 102.30/102.38 o 553 102.39/102.49 c 68.1596 120.391 9131 906766 102.39/102.49 o 552 102.49/102.58 c 68.2186 120.391 9157 907483 102.49/102.58 o 551 102.69/102.76 c 68.3276 120.391 9202 908446 102.69/102.76 o 550 102.80/102.86 c 68.3976 120.391 9238 909036 102.80/102.86 o 549 102.90/102.91 c 68.4316 120.391 9251 909322 102.90/102.91 o 548 103.00/103.02 c 68.5146 120.391 9270 909774 103.00/103.02 o 547 103.20/103.29 c 68.6806 120.391 9331 910496 103.20/103.29 o 546 103.30/103.38 c 68.7365 120.391 9346 910797 103.30/103.38 o 545 103.40/103.46 c 68.7955 120.391 9364 911191 103.40/103.46 o 544 103.49/103.51 c 68.8365 120.391 9374 911459 103.49/103.51 o 543 103.60/103.62 c 68.9115 120.391 9407 912132 103.60/103.62 o 540 104.00/104.06 c 69.1885 120.391 9528 913098 104.00/104.06 o 539 104.09/104.13 c 69.2365 120.391 9549 913399 104.09/104.13 o 538 104.20/104.26 c 69.3405 120.391 9567 913837 104.20/104.26 o 537 105.39/105.48 c 70.1183 120.391 9853 915121 105.39/105.48 o 536 106.30/106.36 c 70.7332 120.391 10049 916302 106.30/106.36 o 535 106.39/106.42 c 70.7772 120.391 10064 916644 106.39/106.42 o 534 106.49/106.51 c 70.8362 120.391 10093 917303 106.49/106.51 o 533 106.60/106.68 c 70.9512 120.391 10148 918131 106.60/106.68 o 532 107.19/107.27 c 71.3422 120.52 10304 918837 107.19/107.27 o 531 107.29/107.31 c 71.3662 120.52 10309 919105 107.29/107.31 o 530 107.39/107.40 c 71.4281 120.52 10321 919354 107.39/107.40 o 529 107.39/107.43 c 71.4531 120.52 10326 919777 107.39/107.43 o 528 107.50/107.50 c 71.5061 120.52 10336 920103 107.50/107.50 o 527 107.50/107.54 c 71.5351 120.52 10338 920484 107.50/107.54 o 526 107.60/107.61 c 71.5851 120.52 10353 920984 107.60/107.61 o 525 107.60/107.68 c 71.6331 120.52 10394 921456 107.60/107.68 o 524 107.70/107.78 c 71.7091 120.52 10405 921877 107.70/107.78 o 523 107.80/107.89 c 71.7831 120.52 10431 922496 107.80/107.89 o 522 107.89/107.93 c 71.8161 120.52 10439 922930 107.89/107.93 o 521 108.20/108.28 c 72.052 120.52 10520 923668 108.20/108.28 o 520 108.39/108.47 c 72.181 120.52 10584 924023 108.39/108.47 o 519 108.49/108.50 c 72.199 120.52 10589 924449 108.49/108.50 o 518 108.49/108.55 c 72.239 120.52 10592 925490 108.49/108.55 o 517 108.49/108.58 c 72.259 120.52 10593 926469 108.49/108.58 o 514 108.59/108.61 c 72.289 120.52 10596 926793 108.59/108.61 o 513 108.59/108.64 c 72.312 120.52 10599 927344 108.59/108.64 o 512 108.59/108.69 c 72.349 120.52 10602 928228 108.59/108.69 o 511 108.70/108.79 c 72.412 120.52 10621 928692 108.70/108.79 o 510 108.80/108.84 c 72.442 120.52 10631 928920 108.80/108.84 o 509 108.80/108.86 c 72.46 120.52 10633 929262 108.80/108.86 o 508 108.80/108.90 c 72.489 120.52 10642 929462 108.80/108.90 o 507 108.90/108.95 c 72.527 120.52 10651 930304 108.90/108.95 o 506 108.99/109.08 c 72.614 120.52 10680 930990 108.99/109.08 o 505 109.09/109.13 c 72.657 120.52 10691 931404 109.09/109.13 o 504 109.20/109.27 c 72.7509 120.52 10727 931904 109.20/109.27 o 503 109.29/109.34 c 72.7999 120.52 10740 932207 109.29/109.34 o 502 109.40/109.40 c 72.8409 120.52 10761 932739 109.40/109.40 o 500 109.40/109.46 c 72.8839 120.52 10773 933338 109.40/109.46 o 498 109.60/109.66 c 73.0209 120.52 10844 933880 109.60/109.66 o 497 109.60/109.69 c 73.0419 120.52 10848 934137 109.60/109.69 o 496 109.69/109.72 c 73.0629 120.52 10855 934421 109.69/109.72 o 494 110.19/110.27 c 73.4328 120.648 10980 935370 110.19/110.27 o 493 110.29/110.35 c 73.4808 120.648 11002 935928 110.29/110.35 o 491 111.00/111.09 c 73.9498 120.648 5656 937255 111.00/111.09 o 490 111.10/111.19 c 74.0137 120.648 5679 937839 111.10/111.19 o 489 111.70/111.73 c 74.3557 120.648 5804 938661 111.70/111.73 o 488 111.79/111.80 c 74.4057 120.648 5822 939122 111.79/111.80 o 486 111.99/112.07 c 74.5747 120.648 5869 939657 111.99/112.07 o 485 112.10/112.12 c 74.6087 120.648 5873 940202 112.10/112.12 o 484 112.10/112.18 c 74.6586 120.648 5879 940983 112.10/112.18 o 480 112.20/112.24 c 74.6996 120.648 5890 941925 112.20/112.24 o 476 112.49/112.52 c 74.8826 120.648 5987 942502 112.49/112.52 o 475 112.49/112.58 c 74.9336 120.648 5997 942985 112.49/112.58 o 473 112.60/112.62 c 74.9616 120.648 6006 943523 112.60/112.62 o 472 112.60/112.65 c 74.9846 120.648 6018 943688 112.60/112.65 o 471 112.60/112.68 c 75.0046 120.648 6030 943849 112.60/112.68 o 470 112.69/112.72 c 75.0376 120.648 6035 944233 112.69/112.72 o 468 112.79/112.80 c 75.0906 120.648 6047 944738 112.79/112.80 o 467 112.90/112.99 c 75.2196 120.648 6079 945225 112.90/112.99 o 465 113.20/113.23 c 75.3685 120.648 6138 945954 113.20/113.23 o 464 113.40/113.47 c 75.5265 120.648 6221 946433 113.40/113.47 o 463 113.49/113.50 c 75.5535 120.648 6230 946573 113.49/113.50 o 462 113.60/113.61 c 75.6335 120.648 6263 946937 113.60/113.61 o 461 113.60/113.65 c 75.6575 120.648 6266 947404 113.60/113.65 o 460 113.60/113.69 c 75.6925 120.648 6272 948093 113.60/113.69 o 459 114.50/114.53 c 76.2294 120.648 6469 949568 114.50/114.53 o 457 114.59/114.66 c 76.3204 120.648 6492 949937 114.59/114.66 o 455 114.79/114.83 c 76.4574 120.648 6554 950667 114.79/114.83 o 454 115.29/115.36 c 76.7903 120.648 6668 951868 115.29/115.36 o 453 115.79/115.84 c 77.0973 120.648 6775 953155 115.79/115.84 o 451 115.79/115.88 c 77.1233 120.648 6784 953475 115.79/115.88 o 450 115.89/115.98 c 77.1993 120.648 6810 954312 115.89/115.98 o 449 115.99/116.08 c 77.2593 120.648 6835 954542 115.99/116.08 o 448 116.09/116.13 c 77.2912 120.648 6838 954735 116.09/116.13 o 447 116.09/116.15 c 77.3122 120.648 6838 954985 116.09/116.15 o 445 116.09/116.17 c 77.3302 120.648 6838 955212 116.09/116.17 o 443 116.19/116.20 c 77.3522 120.648 6838 955338 116.19/116.20 o 442 116.19/116.22 c 77.3742 120.648 6838 955442 116.19/116.22 o 441 116.19/116.25 c 77.3942 120.648 6838 955547 116.19/116.25 o 440 116.19/116.27 c 77.4172 120.648 6852 955684 116.19/116.27 o 439 116.30/116.37 c 77.4832 120.648 6880 955887 116.30/116.37 o 438 116.50/116.55 c 77.6072 120.648 6936 956194 116.50/116.55 o 437 116.70/116.71 c 77.7202 120.648 7002 956536 116.70/116.71 o 436 117.19/117.21 c 78.0511 120.648 7109 957312 117.19/117.21 o 435 117.19/117.25 c 78.0751 120.648 7125 957614 117.19/117.25 o 434 117.80/117.80 c 78.4451 120.648 7240 958408 117.80/117.80 o 433 117.90/117.98 c 78.5641 120.648 7294 958803 117.90/117.98 o 432 118.00/118.05 c 78.619 120.648 7318 959078 118.00/118.05 o 431 118.09/118.17 c 78.699 120.648 7341 959807 118.09/118.17 o 429 118.20/118.22 c 78.734 120.648 7351 960341 118.20/118.22 o 428 118.20/118.24 c 78.754 120.648 7353 960563 118.20/118.24 o 427 118.20/118.27 c 78.777 120.648 7357 960791 118.20/118.27 o 426 118.29/118.38 c 78.857 120.648 7380 961184 118.29/118.38 o 425 118.39/118.41 c 78.882 120.648 7386 961441 118.39/118.41 o 424 118.39/118.49 c 78.931 120.648 7405 961817 118.39/118.49 o 423 118.49/118.53 c 78.958 120.648 7415 962139 118.49/118.53 o 421 118.59/118.60 c 79.012 120.648 7436 962500 118.59/118.60 o 419 118.59/118.64 c 79.046 120.648 7462 962994 118.59/118.64 o 417 118.90/118.98 c 79.2649 120.648 7527 963378 118.90/118.98 o 416 119.49/119.53 c 79.6109 120.648 7635 964287 119.49/119.53 o 415 119.59/119.67 c 79.7159 120.648 7669 965039 119.59/119.67 o 414 119.70/119.74 c 79.7699 120.648 7685 965445 119.70/119.74 o 412 119.90/119.97 c 79.9168 120.648 7744 966728 119.90/119.97 o 410 120.30/120.37 c 80.1908 120.648 7881 967477 120.30/120.37 o 409 120.80/120.86 c 80.4988 120.648 7998 968416 120.80/120.86 o 407 120.80/120.90 c 80.5298 120.648 8000 968718 120.80/120.90 o 406 120.90/120.99 c 80.5927 120.648 8016 969311 120.90/120.99 o 404 121.79/121.86 c 81.1737 120.648 8233 970691 121.79/121.86 o 403 121.89/121.91 c 81.2097 120.648 8250 970971 121.89/121.91 o 402 121.89/121.93 c 81.2297 120.648 8254 971224 121.89/121.93 o 401 121.89/121.96 c 81.2546 120.648 8260 971516 121.89/121.96 o 400 122.49/122.58 c 81.6766 120.648 8423 972336 122.49/122.58 o 399 122.59/122.61 c 81.6976 120.648 8429 972508 122.59/122.61 o 398 122.59/122.63 c 81.7196 120.648 8430 972621 122.59/122.63 o 397 122.70/122.71 c 81.7726 120.648 8446 973063 122.70/122.71 o 396 122.70/122.75 c 81.8016 120.648 8459 973357 122.70/122.75 o 395 122.80/122.83 c 81.8546 120.648 8482 973814 122.80/122.83 o 394 122.89/122.90 c 81.9075 120.648 8498 973936 122.89/122.90 o 393 122.89/122.96 c 81.9475 120.648 8506 974470 122.89/122.96 o 392 122.99/123.01 c 81.9915 120.648 8512 974719 122.99/123.01 o 391 123.10/123.13 c 82.0825 120.648 8534 975250 123.10/123.13 o 390 123.10/123.18 c 82.1215 120.648 8535 975860 123.10/123.18 o 388 123.20/123.21 c 82.1445 120.648 8538 976019 123.20/123.21 o 387 123.20/123.24 c 82.1705 120.648 8540 976245 123.20/123.24 o 386 123.40/123.44 c 82.3015 120.648 8582 976717 123.40/123.44 o 385 123.40/123.48 c 82.3305 120.648 8599 976931 123.40/123.48 o 384 123.50/123.52 c 82.3605 120.648 8604 977267 123.50/123.52 o 383 123.50/123.55 c 82.3815 120.648 8610 977426 123.50/123.55 o 382 123.50/123.59 c 82.4115 120.648 8627 977719 123.50/123.59 o 381 123.59/123.63 c 82.4425 120.648 8648 978243 123.59/123.63 o 380 123.89/123.93 c 82.6504 120.648 8717 978732 123.89/123.93 o 379 123.89/123.98 c 82.6834 120.648 8731 979095 123.89/123.98 o 378 124.89/124.99 c 83.3553 120.648 8956 980405 124.89/124.99 o 377 125.30/125.35 c 83.6083 120.648 9113 981185 125.30/125.35 o 376 125.40/125.42 c 83.6483 120.648 9127 981580 125.40/125.42 o 374 125.40/125.45 c 83.6753 120.648 9139 981837 125.40/125.45 o 373 125.69/125.76 c 83.8912 120.648 9214 982266 125.69/125.76 o 372 126.19/126.22 c 84.1892 120.648 9327 982842 126.19/126.22 o 371 126.89/126.92 c 84.6611 120.648 9563 984193 126.89/126.92 o 370 126.89/126.98 c 84.7021 120.648 9583 984606 126.89/126.98 o 369 127.00/127.02 c 84.7291 120.648 9598 985074 127.00/127.02 o 368 127.10/127.11 c 84.7911 120.648 9620 985652 127.10/127.11 o 367 127.50/127.55 c 85.0861 120.648 9728 986623 127.50/127.55 o 365 127.50/127.58 c 85.1151 120.648 9737 986932 127.50/127.58 o 364 127.99/128.07 c 85.434 120.648 9947 987602 127.99/128.07 o 363 128.60/128.62 c 85.799 120.648 10053 988765 128.60/128.62 o 362 128.60/128.66 c 85.829 120.648 10059 989287 128.60/128.66 o 360 128.60/128.70 c 85.8569 120.648 10065 989591 128.60/128.70 o 359 128.70/128.77 c 85.9079 120.648 10074 990087 128.70/128.77 o 358 128.79/128.83 c 85.9529 120.648 10090 990628 128.79/128.83 o 357 129.09/129.15 c 86.1649 120.648 10193 991256 129.09/129.15 o 355 129.09/129.17 c 86.1859 120.648 10197 991527 129.09/129.17 o 353 129.20/129.23 c 86.2319 120.648 10220 991690 129.20/129.23 o 352 129.20/129.27 c 86.2609 120.648 10227 991879 129.20/129.27 o 351 129.29/129.30 c 86.2839 120.648 10231 992259 129.29/129.30 o 350 129.29/129.34 c 86.3079 120.648 10238 992576 129.29/129.34 o 349 129.39/129.48 c 86.3999 120.648 10281 992969 129.39/129.48 o 348 129.50/129.59 c 86.4749 120.648 10302 993323 129.50/129.59 o 346 129.60/129.62 c 86.4989 120.648 10304 993800 129.60/129.62 o 343 129.60/129.65 c 86.5188 120.648 10315 994091 129.60/129.65 o 342 129.70/129.73 c 86.5818 120.648 10345 994430 129.70/129.73 o 340 129.70/129.76 c 86.6028 120.648 10347 994731 129.70/129.76 o 339 129.80/129.81 c 86.6318 120.648 10354 995260 129.80/129.81 o 338 129.90/129.98 c 86.7518 120.648 10397 995666 129.90/129.98 o 337 130.00/130.05 c 86.8048 120.648 10407 995954 130.00/130.05 o 336 130.09/130.11 c 86.8518 120.648 10440 996158 130.09/130.11 o 335 130.09/130.14 c 86.8758 120.648 10448 996398 130.09/130.14 o 334 130.09/130.17 c 86.8998 120.648 10460 996688 130.09/130.17 o 332 130.09/130.19 c 86.9178 120.648 10461 996785 130.09/130.19 o 331 130.19/130.23 c 86.9478 120.648 10465 997155 130.19/130.23 o 329 130.19/130.29 c 86.9858 120.648 10475 997712 130.19/130.29 o 326 130.30/130.33 c 87.0188 120.648 10482 998133 130.30/130.33 o 325 130.40/130.44 c 87.0928 120.648 10501 998764 130.40/130.44 o 323 130.90/130.91 c 87.4127 120.648 10617 999556 130.90/130.91 o 321 130.90/130.97 c 87.4607 120.648 10631 999908 130.90/130.97 o 320 131.79/131.89 c 88.0616 120.777 10980 1001076 131.79/131.89 o 319 131.90/131.96 c 88.1146 120.777 10992 1001391 131.90/131.96 o 318 132.00/132.05 c 88.1696 120.777 11008 1001548 132.00/132.05 o 317 132.00/132.08 c 88.1936 120.777 11014 1001957 132.00/132.08 o 316 132.19/132.22 c 88.2976 120.777 11043 1002483 132.19/132.22 o 315 132.19/132.25 c 88.3226 120.777 11048 1002821 132.19/132.25 o 314 132.19/132.28 c 88.3456 120.777 11056 1003202 132.19/132.28 o 313 132.30/132.32 c 88.3786 120.777 11066 1003741 132.30/132.32 o 312 132.30/132.39 c 88.4326 120.777 11075 1004227 132.30/132.39 o 311 132.80/132.89 c 88.7725 120.777 11192 1005189 132.80/132.89 o 309 133.00/133.05 c 88.8985 120.777 5649 1005892 133.00/133.05 o 307 133.50/133.50 c 89.2284 120.777 5769 1006689 133.50/133.50 o 306 133.60/133.60 c 89.2934 120.777 5791 1006972 133.60/133.60 o 305 133.70/133.71 c 89.3704 120.777 5812 1007152 133.70/133.71 o 304 133.70/133.78 c 89.4214 120.777 5832 1007421 133.70/133.78 o 303 133.90/133.92 c 89.5264 120.777 5871 1007876 133.90/133.92 o 302 133.99/134.05 c 89.6174 120.777 5926 1008499 133.99/134.05 o 301 134.10/134.10 c 89.6604 120.777 5963 1008887 134.10/134.10 o 300 134.49/134.52 c 89.9453 120.777 6039 1009399 134.49/134.52 o 299 134.49/134.55 c 89.9693 120.777 6042 1009923 134.49/134.55 o 298 134.60/134.61 c 90.0083 120.777 6062 1010386 134.60/134.61 o 296 134.60/134.65 c 90.0323 120.777 6068 1010986 134.60/134.65 o 293 134.70/134.73 c 90.0843 120.777 6083 1011406 134.70/134.73 o 292 134.70/134.79 c 90.1223 120.777 6097 1011825 134.70/134.79 o 290 134.90/134.92 c 90.2093 120.777 6117 1012166 134.90/134.92 o 289 134.90/134.95 c 90.2303 120.777 6117 1012441 134.90/134.95 o 288 134.99/135.00 c 90.2773 120.777 6119 1012851 134.99/135.00 o 287 134.99/135.04 c 90.3133 120.777 6132 1013902 134.99/135.04 o 285 134.99/135.09 c 90.3433 120.777 6138 1014858 134.99/135.09 o 284 135.49/135.56 c 90.6542 120.777 6244 1015538 135.49/135.56 o 282 135.49/135.59 c 90.6752 120.777 6246 1015690 135.49/135.59 o 281 135.60/135.62 c 90.7012 120.777 6249 1015953 135.60/135.62 o 280 135.69/135.75 c 90.7872 120.777 6269 1016201 135.69/135.75 o 279 135.79/135.86 c 90.8762 120.777 6385 1016698 135.79/135.86 o 278 135.79/135.89 c 90.8982 120.777 6397 1017013 135.79/135.89 o 277 135.90/135.92 c 90.9252 120.777 6406 1017321 135.90/135.92 o 276 136.09/136.14 c 91.0772 120.777 6456 1018524 136.09/136.14 o 273 136.09/136.17 c 91.1051 120.777 6459 1018992 136.09/136.17 o 271 136.19/136.29 c 91.1801 120.777 6491 1019530 136.19/136.29 o 270 136.30/136.36 c 91.2321 120.777 6533 1019806 136.30/136.36 o 269 136.40/136.41 c 91.2751 120.777 6544 1020045 136.40/136.41 o 268 136.40/136.45 c 91.2991 120.777 6549 1020208 136.40/136.45 o 267 136.40/136.49 c 91.3301 120.777 6556 1020460 136.40/136.49 o 266 136.50/136.55 c 91.3751 120.777 6570 1020784 136.50/136.55 o 265 136.50/136.59 c 91.4091 120.777 6589 1021037 136.50/136.59 o 264 136.60/136.69 c 91.4751 120.777 6614 1021265 136.60/136.69 o 263 136.69/136.72 c 91.5011 120.777 6616 1021477 136.69/136.72 o 262 136.69/136.75 c 91.5261 120.777 6619 1021617 136.69/136.75 o 261 136.80/136.85 c 91.5881 120.777 6638 1021831 136.80/136.85 o 260 136.89/136.91 c 91.6321 120.777 6643 1022057 136.89/136.91 o 259 136.89/136.94 c 91.6501 120.777 6647 1022265 136.89/136.94 o 258 136.99/137.06 c 91.7271 120.777 6671 1022503 136.99/137.06 o 257 137.30/137.32 c 91.92 120.777 6761 1023209 137.30/137.32 o 256 137.40/137.41 c 91.985 120.777 6824 1023633 137.40/137.41 o 255 137.40/137.44 c 92.005 120.777 6840 1023779 137.40/137.44 o 254 137.80/137.88 c 92.309 120.777 6950 1024751 137.80/137.88 o 252 137.90/137.93 c 92.345 120.777 6966 1025032 137.90/137.93 o 251 137.90/137.98 c 92.376 120.777 6970 1025299 137.90/137.98 o 250 138.00/138.02 c 92.409 120.777 6988 1025855 138.00/138.02 o 249 138.30/138.36 c 92.6509 120.777 7090 1026466 138.30/138.36 o 248 138.39/138.41 c 92.6899 120.777 7099 1026935 138.39/138.41 o 247 138.39/138.47 c 92.7289 120.777 7115 1027381 138.39/138.47 o 246 138.50/138.55 c 92.7899 120.777 7133 1027743 138.50/138.55 o 245 138.50/138.58 c 92.8139 120.777 7137 1028078 138.50/138.58 o 243 138.50/138.60 c 92.8309 120.777 7144 1028324 138.50/138.60 o 242 138.89/138.99 c 93.0928 120.777 7232 1028760 138.89/138.99 o 241 138.99/139.02 c 93.1158 120.777 7240 1028901 138.99/139.02 o 240 138.99/139.06 c 93.1438 120.777 7246 1029221 138.99/139.06 o 239 139.10/139.10 c 93.1768 120.777 7259 1029467 139.10/139.10 o 238 139.20/139.27 c 93.3128 120.777 7363 1029998 139.20/139.27 o 237 139.29/139.31 c 93.3388 120.777 7369 1030246 139.29/139.31 o 236 139.49/139.54 c 93.4838 120.777 7418 1030772 139.49/139.54 o 235 139.79/139.81 c 93.6668 120.777 7523 1031214 139.79/139.81 o 234 139.90/139.90 c 93.7357 120.777 7544 1031370 139.90/139.90 o 233 139.90/139.98 c 93.8047 120.777 7582 1031618 139.90/139.98 o 232 140.00/140.05 c 93.8557 120.777 7601 1032304 140.00/140.05 o 231 140.09/140.17 c 93.9347 120.777 7629 1032927 140.09/140.17 o 230 140.19/140.23 c 93.9797 120.777 7640 1033222 140.19/140.23 o 228 140.19/140.29 c 94.0227 120.777 7649 1033500 140.19/140.29 o 226 140.29/140.35 c 94.0677 120.777 7662 1033692 140.29/140.35 o 225 140.39/140.47 c 94.1507 120.777 7692 1034204 140.39/140.47 o 224 140.50/140.57 c 94.2217 120.777 7712 1034416 140.50/140.57 o 223 140.59/140.62 c 94.2607 120.777 7724 1034767 140.59/140.62 o 222 140.70/140.75 c 94.3517 120.777 7801 1035206 140.70/140.75 o 221 140.70/140.80 c 94.3906 120.777 7821 1035612 140.70/140.80 o 220 141.20/141.27 c 94.7366 120.777 7987 1036997 141.20/141.27 o 217 141.29/141.39 c 94.8196 120.777 8018 1037497 141.29/141.39 o 216 141.40/141.46 c 94.8766 120.777 8033 1037928 141.40/141.46 o 214 141.50/141.51 c 94.9166 120.777 8048 1038195 141.50/141.51 o 213 141.80/141.88 c 95.2125 120.906 8193 1039241 141.80/141.88 o 212 141.99/142.08 c 95.3545 120.906 8243 1039798 141.99/142.08 o 211 142.20/142.24 c 95.4715 120.906 8287 1040290 142.20/142.24 o 210 142.20/142.27 c 95.4925 120.906 8292 1040587 142.20/142.27 o 209 142.29/142.30 c 95.5225 120.906 8297 1040738 142.29/142.30 o 208 142.29/142.33 c 95.5445 120.906 8302 1040915 142.29/142.33 o 207 142.29/142.38 c 95.5785 120.906 8309 1041278 142.29/142.38 o 206 142.40/142.43 c 95.6185 120.906 8330 1041487 142.40/142.43 o 205 142.40/142.48 c 95.6575 120.906 8343 1041710 142.40/142.48 o 204 142.49/142.56 c 95.7104 120.906 8376 1041870 142.49/142.56 o 203 142.60/142.62 c 95.7534 120.906 8393 1042095 142.60/142.62 o 202 142.60/142.69 c 95.7994 120.906 8411 1042429 142.60/142.69 o 201 142.69/142.74 c 95.8384 120.906 8430 1042625 142.69/142.74 o 200 142.69/142.79 c 95.8814 120.906 8451 1042931 142.69/142.79 o 199 143.20/143.24 c 96.1944 120.906 8553 1043544 143.20/143.24 o 198 143.20/143.27 c 96.2214 120.906 8559 1043751 143.20/143.27 o 197 143.30/143.30 c 96.2474 120.906 8564 1044120 143.30/143.30 o 195 143.30/143.36 c 96.2904 120.906 8576 1044458 143.30/143.36 o 194 143.30/143.39 c 96.3114 120.906 8580 1045001 143.30/143.39 o 191 143.39/143.42 c 96.3314 120.906 8581 1045293 143.39/143.42 o 190 143.39/143.45 c 96.3544 120.906 8585 1045615 143.39/143.45 o 189 143.50/143.50 c 96.3983 120.906 8602 1046083 143.50/143.50 o 187 143.50/143.57 c 96.4503 120.906 8623 1046260 143.50/143.57 o 186 143.60/143.68 c 96.5373 120.906 8646 1046555 143.60/143.68 o 185 143.70/143.72 c 96.5623 120.906 8659 1046720 143.70/143.72 o 184 143.80/143.84 c 96.6443 120.906 8681 1046884 143.80/143.84 o 183 143.80/143.88 c 96.6723 120.906 8687 1047062 143.80/143.88 o 182 143.90/144.00 c 96.7543 120.906 8710 1047220 143.90/144.00 o 181 144.00/144.03 c 96.7803 120.906 8714 1047455 144.00/144.03 o 180 144.00/144.05 c 96.8003 120.906 8714 1047642 144.00/144.05 o 179 144.00/144.08 c 96.8193 120.906 8714 1047820 144.00/144.08 o 178 144.10/144.11 c 96.8393 120.906 8717 1048151 144.10/144.11 o 176 144.10/144.16 c 96.8843 120.906 8731 1048584 144.10/144.16 o 174 144.40/144.46 c 97.1222 120.906 8876 1049368 144.40/144.46 o 173 144.49/144.53 c 97.1792 120.906 8896 1050019 144.49/144.53 o 172 144.49/144.57 c 97.2072 120.906 8903 1050306 144.49/144.57 o 171 144.60/144.60 c 97.2272 120.906 8906 1050781 144.60/144.60 o 169 144.60/144.67 c 97.2772 120.906 8914 1051308 144.60/144.67 o 168 144.70/144.75 c 97.3312 120.906 8931 1051513 144.70/144.75 o 167 144.70/144.78 c 97.3522 120.906 8932 1051619 144.70/144.78 o 166 144.80/144.81 c 97.3722 120.906 8934 1051722 144.80/144.81 o 165 144.80/144.83 c 97.3902 120.906 8936 1051912 144.80/144.83 o 164 144.80/144.86 c 97.4102 120.906 8938 1052041 144.80/144.86 o 163 144.80/144.88 c 97.4282 120.906 8943 1052146 144.80/144.88 o 162 144.89/144.94 c 97.4692 120.906 8962 1052305 144.89/144.94 o 161 144.89/144.97 c 97.4912 120.906 8964 1052453 144.89/144.97 o 160 144.89/144.99 c 97.5142 120.906 8966 1052616 144.89/144.99 o 159 145.10/145.14 c 97.6082 120.906 9012 1052859 145.10/145.14 o 158 145.10/145.18 c 97.6432 120.906 9028 1053094 145.10/145.18 o 157 145.20/145.23 c 97.6722 120.906 9034 1053338 145.20/145.23 o 156 145.20/145.28 c 97.7151 120.906 9039 1053530 145.20/145.28 o 155 145.29/145.32 c 97.7471 120.906 9046 1053918 145.29/145.32 o 153 145.50/145.56 c 97.9371 120.906 9129 1054230 145.50/145.56 o 152 145.79/145.85 c 98.1531 120.906 9211 1054826 145.79/145.85 o 150 145.79/145.88 c 98.1761 120.906 9212 1054936 145.79/145.88 o 149 145.90/145.91 c 98.2011 120.906 9219 1055057 145.90/145.91 o 148 146.00/146.07 c 98.3271 120.906 9272 1055507 146.00/146.07 o 147 146.09/146.14 c 98.377 120.906 9283 1055717 146.09/146.14 o 146 146.40/146.45 c 98.624 120.906 9489 1056931 146.40/146.45 o 144 146.40/146.48 c 98.643 120.906 9495 1057170 146.40/146.48 o 143 146.49/146.53 c 98.679 121.035 9499 1057507 146.49/146.53 o 142 146.49/146.55 c 98.7 121.035 9501 1057744 146.49/146.55 o 141 146.49/146.58 c 98.72 121.035 9504 1057957 146.49/146.58 o 140 146.59/146.62 c 98.747 121.035 9508 1058331 146.59/146.62 o 138 146.59/146.65 c 98.769 121.035 9511 1058500 146.59/146.65 o 137 146.69/146.70 c 98.804 121.035 9541 1058769 146.69/146.70 o 136 146.69/146.78 c 98.859 121.035 9563 1059039 146.69/146.78 o 135 146.79/146.81 c 98.89 121.035 9578 1059176 146.79/146.81 o 134 146.79/146.86 c 98.929 121.035 9591 1059368 146.79/146.86 o 133 146.79/146.89 c 98.956 121.035 9602 1059514 146.79/146.89 o 132 147.00/147.04 c 99.0699 121.035 9634 1059753 147.00/147.04 o 131 147.10/147.15 c 99.1509 121.035 9682 1060496 147.10/147.15 o 130 147.10/147.18 c 99.1709 121.035 9688 1060673 147.10/147.18 o 129 147.30/147.36 c 99.2919 121.035 9739 1061040 147.30/147.36 o 128 147.40/147.49 c 99.3959 121.035 9861 1061547 147.40/147.49 o 127 147.49/147.52 c 99.4179 121.035 9879 1061621 147.49/147.52 o 126 147.49/147.55 c 99.4419 121.035 9888 1061722 147.49/147.55 o 125 147.49/147.59 c 99.4719 121.035 9895 1061855 147.49/147.59 o 124 147.59/147.62 c 99.4939 121.035 9906 1061925 147.59/147.62 o 123 147.69/147.74 c 99.5889 121.035 9928 1062164 147.69/147.74 o 122 147.69/147.77 c 99.6139 121.035 9934 1062333 147.69/147.77 o 121 147.80/147.85 c 99.6678 121.035 9953 1062518 147.80/147.85 o 120 147.90/147.91 c 99.7188 121.035 9966 1062668 147.90/147.91 o 119 147.90/147.97 c 99.7628 121.035 9984 1063126 147.90/147.97 o 118 147.99/148.03 c 99.8038 121.035 10002 1063483 147.99/148.03 o 116 148.09/148.15 c 99.8988 121.035 10028 1063696 148.09/148.15 o 115 148.09/148.19 c 99.9228 121.035 10033 1063849 148.09/148.19 o 114 148.20/148.21 c 99.9408 121.035 10035 1063946 148.20/148.21 o 113 148.20/148.25 c 99.9698 121.035 10046 1064112 148.20/148.25 o 112 148.20/148.28 c 99.9968 121.035 10069 1064280 148.20/148.28 o 111 148.40/148.44 c 100.118 121.035 10129 1064490 148.40/148.44 o 110 148.40/148.47 c 100.144 121.035 10130 1064623 148.40/148.47 o 109 148.40/148.49 c 100.161 121.035 10131 1064764 148.40/148.49 o 108 148.50/148.52 c 100.182 121.035 10132 1064975 148.50/148.52 o 107 148.50/148.54 c 100.199 121.035 10132 1065142 148.50/148.54 o 106 148.50/148.57 c 100.217 121.035 10132 1065313 148.50/148.57 o 105 148.50/148.59 c 100.235 121.035 10132 1065462 148.50/148.59 o 104 148.59/148.62 c 100.255 121.035 10132 1065602 148.59/148.62 o 103 148.59/148.64 c 100.274 121.035 10132 1065733 148.59/148.64 o 102 148.59/148.67 c 100.294 121.035 10134 1066002 148.59/148.67 o 100 148.59/148.69 c 100.314 121.035 10134 1066158 148.59/148.69 o 99 148.69/148.71 c 100.332 121.035 10134 1066306 148.69/148.71 o 98 148.69/148.74 c 100.351 121.035 10134 1066669 148.69/148.74 o 95 148.69/148.76 c 100.369 121.035 10134 1066807 148.69/148.76 o 94 148.69/148.78 c 100.386 121.035 10134 1067197 148.69/148.78 o 91 148.80/148.81 c 100.406 121.035 10135 1067549 148.80/148.81 o 88 148.80/148.84 c 100.432 121.035 10143 1067919 148.80/148.84 o 86 148.90/148.91 c 100.482 121.035 10153 1068173 148.90/148.91 o 85 148.90/148.95 c 100.51 121.035 7694 1068545 148.90/148.95 o 82 148.99/149.06 c 100.606 121.035 7801 1068941 148.99/149.06 o 81 148.99/149.09 c 100.627 121.035 7820 1069157 148.99/149.09 o 80 149.30/149.33 c 100.813 121.035 7896 1069416 149.30/149.33 o 79 149.50/149.59 c 101.009 121.035 7071 1069940 149.50/149.59 o 78 149.60/149.62 c 101.039 121.035 7102 1070147 149.60/149.62 o 77 149.60/149.67 c 101.078 121.035 7016 1070253 149.60/149.67 o 76 149.69/149.74 c 101.127 121.035 7030 1070494 149.69/149.74 o 75 149.69/149.76 c 101.148 121.035 7038 1070598 149.69/149.76 o 74 149.69/149.79 c 101.173 121.035 7041 1070834 149.69/149.79 o 72 149.79/149.82 c 101.196 121.035 7045 1070952 149.79/149.82 o 71 149.79/149.89 c 101.258 121.035 7060 1071220 149.79/149.89 o 70 150.00/150.03 c 101.379 121.035 7147 1071472 150.00/150.03 o 69 150.00/150.07 c 101.41 121.035 5904 1071702 150.00/150.07 o 68 150.09/150.14 c 101.467 121.035 5933 1072158 150.09/150.14 o 66 150.09/150.19 c 101.506 121.035 5966 1072298 150.09/150.19 o 65 150.39/150.45 c 101.687 121.035 6057 1072761 150.39/150.45 o 64 150.39/150.48 c 101.705 121.035 5709 1072851 150.39/150.48 o 63 150.50/150.50 c 101.722 121.035 5710 1073025 150.50/150.50 o 61 150.50/150.53 c 101.747 121.035 5717 1073290 150.50/150.53 o 60 150.60/150.61 c 101.819 121.035 5799 1073576 150.60/150.61 o 59 150.60/150.65 c 101.847 121.035 5804 1073772 150.60/150.65 o 57 150.60/150.69 c 101.89 121.035 5824 1073888 150.60/150.69 o 56 150.70/150.72 c 101.913 121.035 5151 1074044 150.70/150.72 o 55 150.70/150.74 c 101.93 121.035 5154 1074233 150.70/150.74 o 54 150.70/150.76 c 101.945 121.035 5154 1074413 150.70/150.76 o 53 150.70/150.77 c 101.959 121.035 5154 1074577 150.70/150.77 o 52 150.70/150.79 c 101.972 121.035 5154 1074740 150.70/150.79 o 51 150.79/150.81 c 101.985 121.035 5155 1074899 150.79/150.81 o 50 150.79/150.83 c 102.007 121.035 5156 1075052 150.79/150.83 o 49 150.79/150.85 c 102.022 121.035 5157 1075264 150.79/150.85 o 48 150.79/150.89 c 102.057 121.035 5171 1075573 150.79/150.89 o 47 151.00/151.02 c 102.159 121.035 5223 1075839 151.00/151.02 o 46 151.10/151.15 c 102.267 121.035 4744 1076318 151.10/151.15 o 45 151.10/151.17 c 102.287 121.035 4758 1076404 151.10/151.17 o 44 151.20/151.25 c 102.357 121.035 4796 1076700 151.20/151.25 o 43 151.20/151.27 c 102.371 121.035 4690 1076866 151.20/151.27 o 42 151.20/151.29 c 102.388 121.035 4699 1077021 151.20/151.29 o 41 151.30/151.31 c 102.405 121.035 4705 1077140 151.30/151.31 o 40 151.30/151.32 c 102.419 121.035 4708 1077228 151.30/151.32 o 39 151.30/151.34 c 102.431 121.035 4709 1077291 151.30/151.34 o 38 151.30/151.36 c 102.449 121.035 4712 1077351 151.30/151.36 o 37 151.30/151.38 c 102.471 121.035 4726 1077437 151.30/151.38 o 36 151.40/151.42 c 102.503 121.035 4753 1077624 151.40/151.42 o 35 151.40/151.44 c 102.522 121.035 4595 1077799 151.40/151.44 o 34 151.40/151.46 c 102.535 121.035 4598 1077998 151.40/151.46 o 33 151.40/151.48 c 102.555 121.035 4607 1078169 151.40/151.48 o 32 151.59/151.63 c 102.697 121.035 4634 1078584 151.59/151.63 o 31 151.59/151.65 c 102.711 121.035 4636 1078659 151.59/151.65 o 30 151.59/151.66 c 102.723 121.035 4636 1078718 151.59/151.66 o 29 151.59/151.68 c 102.738 121.035 4639 1078810 151.59/151.68 o 28 151.70/151.72 c 102.772 121.035 4670 1079059 151.70/151.72 o 27 151.70/151.74 c 102.79 121.035 4677 1079150 151.70/151.74 o 26 151.70/151.75 c 102.801 121.035 4678 1079222 151.70/151.75 o 25 151.70/151.77 c 102.817 121.035 4551 1079318 151.70/151.77 o 24 151.70/151.79 c 102.83 121.035 4552 1079380 151.70/151.79 o 23 151.70/151.80 c 102.843 121.035 4553 1079443 151.70/151.80 o 22 151.80/151.81 c 102.858 121.035 4555 1079625 151.80/151.81 o 20 151.80/151.83 c 102.87 121.035 4559 1079711 151.80/151.83 o 19 151.80/151.84 c 102.883 121.035 4569 1079807 151.80/151.84 o 18 151.89/151.92 c 102.946 121.035 4623 1079978 151.89/151.92 o 17 152.10/152.10 c 103.108 121.035 4540 1080344 152.10/152.10 o 16 152.10/152.16 c 103.162 121.035 4617 1080617 152.10/152.16 o 15 152.10/152.18 c 103.173 121.035 4621 1080687 152.10/152.18 o 14 152.19/152.21 c 103.2 121.035 4644 1080785 152.19/152.21 o 13 152.19/152.22 c 103.212 121.035 4628 1080836 152.19/152.22 o 12 152.19/152.23 c 103.225 121.035 4637 1080881 152.19/152.23 o 11 152.19/152.25 c 103.236 121.035 4640 1081037 152.19/152.25 o 9 152.19/152.26 c 103.252 121.035 4652 1081099 152.19/152.26 o 8 152.19/152.28 c 103.267 121.035 4661 1081182 152.19/152.28 o 7 152.30/152.34 c 103.33 121.035 4741 1081379 152.30/152.34 o 6 152.30/152.36 c 103.342 121.035 4679 1081462 152.30/152.36 o 5 152.30/152.37 c 103.354 121.035 4689 1081537 152.30/152.37 o 4 152.30/152.38 c 103.365 121.035 4696 1081619 152.30/152.38 o 3 152.30/152.39 c 103.371 121.035 4701 1081648 152.30/152.39 s OPTIMUM FOUND 152.30/152.39 v -x1 -x2 x3 x4 -x5 -x6 x7 x8 x9 x10 x11 -x12 -x13 x14 -x15 x16 x17 x18 -x19 -x20 -x21 x22 x23 -x24 x25 -x26 x27 x28 -x29 x30 -x31 -x32 x33 x34 -x35 x36 -x37 x38 -x39 x40 x41 x42 x43 -x44 x45 x46 x47 -x48 -x49 -x50 x51 x52 -x53 -x54 -x55 -x56 -x57 x58 x59 -x60 -x61 -x62 -x63 -x64 x65 x66 -x67 -x68 -x69 x70 x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 x93 x94 -x95 -x96 -x97 x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 x106 x107 x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 x117 x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 x133 x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 x144 -x145 x146 -x147 x148 -x149 x150 -x151 x152 -x153 x154 -x155 -x156 x157 x158 x159 x160 x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 x177 -x178 x179 -x180 x181 x182 x183 x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 x264 -x265 -x266 x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 x278 x279 -x280 x281 -x282 x283 -x284 x285 x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 x307 x308 x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 x322 x323 x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 x335 x336 x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 x366 x367 -x368 x369 x370 x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 x387 x388 -x389 x390 -x391 x392 -x393 x394 -x395 x396 -x397 x398 -x399 x400 -x401 -x402 x403 x404 x405 x406 x407 x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 x452 -x453 -x454 x455 x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 x611 x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 x626 x627 x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 x668 x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 x678 x679 x680 -x681 x682 -x683 -x684 x685 -x686 x687 x688 x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 x710 -x711 -x712 -x713 -x714 x715 x716 x717 x718 x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 -x733 x734 x735 x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 x751 x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 x849 x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 -x992 -x993 x994 x995 x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 x1012 x1013 x1014 x1015 x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 x1079 x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 x1093 x1094 x1095 x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 x1143 -x1144 -x1145 x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 x1156 x1157 x1158 x1159 -x1160 x1161 -x1162 -x1163 -x1164 x1165 -x1166 x1167 x1168 x1169 x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 x1201 x1202 x1203 x1204 x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 x1225 x1226 x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 x1247 x1248 -x1249 x1250 x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 x1472 x1473 x1474 -x1475 x1476 x1477 x1478 -x1479 -x1480 -x1481 x1482 -x1483 -x1484 x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 -x1507 -x1508 -x1509 x1510 x1511 -x1512 -x1513 x1514 x1515 -x1516 -x1517 x1518 -x1519 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 x1530 -x1531 x1532 -x1533 -x1534 -x1535 x1536 -x1537 -x1538 -x1539 x1540 -x1541 -x1542 x1543 x1544 x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 x1584 -x1585 x1586 -x1587 x1588 x1589 x1590 x1591 x1592 x1593 x1594 x1595 x1596 x1597 x1598 x1599 x1600 x1601 x1602 x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 x1802 x1803 x1804 x1805 -x1806 -x1807 x1808 x1809 x1810 x1811 x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 x1829 x1830 x1831 -x1832 x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 x1890 x1891 -x1892 x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 x2132 x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x2150 -x2151 -x2152 x2153 x2154 x2155 x2156 x2157 x2158 x2159 -x2160 x2161 -x2162 -x2163 -x2164 -x2165 -x2166 x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 x2225 x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 x2235 x2236 -x2237 x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 x2318 x2319 x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 x2526 -x2527 -x2528 x2529 x2530 x2531 x2532 x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 x2551 x2552 x2553 x2554 x2555 x2556 -x2557 x2558 -x2559 x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 -x2649 x2650 x2651 x2652 x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 x2667 x2668 x2669 x2670 x2671 x2672 -x2673 x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 x2748 x2749 x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 x2762 x2763 x2764 x2765 x2766 -x2767 x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 x2823 -x2824 -x2825 x2826 x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 x2835 x2836 x2837 x2838 x2839 x2840 -x2841 x2842 -x2843 -x2844 -x2845 -x2846 x2847 -x2848 x2849 x2850 x2851 x2852 x2853 x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 x2881 -x2882 -x2883 x2884 -x2885 -x2886 -x2887 -x2888 x2889 x2890 x2891 x2892 x2893 x2894 x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 x2916 x2917 x2918 x2919 x2920 x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 x2945 x2946 x2947 -x2948 x2949 x2950 x2951 -x2952 x2953 x2954 x2955 -x2956 -x2957 x2958 x2959 x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 x3133 x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 x3387 x3388 x3389 -x3390 -x3391 -x3392 x3393 -x3394 -x3395 -x3396 x3397 -x3398 -x3399 -x3400 x3401 -x3402 -x3403 -x3404 x3405 -x3406 -x3407 x3408 -x3409 -x3410 -x3411 -x3412 x3413 -x3414 -x3415 -x3416 x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 x3443 x3444 x3445 -x3446 -x3447 x3448 -x3449 x3450 -x3451 -x3452 -x3453 -x3454 -x3455 x3456 -x3457 -x3458 x3459 x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 x3473 -x3474 x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 x3498 x3499 x3500 x3501 x3502 x3503 x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 x3642 x3643 x3644 x3645 x3646 x3647 x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 x3824 x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 x3950 x3951 x3952 x3953 x3954 x3955 x3956 x3957 x3958 x3959 x3960 x3961 x3962 x3963 x3964 -x3965 -x3966 -x3967 -x3968 -x3969 x3970 x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 x3980 x3981 x3982 x3983 x3984 x3985 -x3986 x3987 -x3988 x3989 x3990 x3991 x3992 x3993 x3994 x3995 x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 x4103 -x4104 x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 x4442 x4443 x4444 x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 x4471 -x4472 x4473 -x4474 -x4475 -x4476 -x4477 -x4478 x4479 -x4480 -x4481 -x4482 -x4483 -x4484 x4485 -x4486 -x4487 -x4488 -x4489 -x4490 x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 x4507 -x4508 -x4509 -x4510 x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 x4566 x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 x4583 x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 x4677 x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 x4691 x4692 x4693 -x4694 x4695 x4696 -x4697 x4698 x4699 -x4700 -x4701 -x4702 x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 x4849 -x4850 x4851 x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 x5021 -x5022 x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 x5177 -x5178 x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 x5310 x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 x5324 -x5325 -x5326 -x5327 -x5328 -x5329 x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 x5433 -x5434 -x5435 x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 x5518 x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 x5595 x5596 x5597 x5598 x5599 x5600 x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 x5786 x5787 x5788 x5789 x5790 x5791 x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 x6082 x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 x6158 x6159 x6160 x6161 x6162 x6163 x6164 x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 x6545 x6546 x6547 x6548 x6549 x6550 x6551 x6552 x6553 x6554 x6555 x6556 x6557 x6558 x6559 x6560 x6561 x6562 x6563 x6564 x6565 x6566 x6567 x6568 x6569 x6570 x6571 x6572 x6573 x6574 x6575 x6576 x6577 x6578 x6579 x6580 x6581 x6582 x6583 x6584 x6585 x6586 x6587 x6588 x6589 -x6590 -x6591 x6592 -x6593 x6594 x6595 x6596 -x6597 -x6598 -x6599 x6600 -x6601 -x6602 x6603 -x6604 -x6605 -x6606 x6607 -x6608 -x6609 -x6610 x6611 -x6612 -x6613 -x6614 -x6615 x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 x6624 x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 x6662 x6663 x6664 x6665 x6666 -x6667 -x6668 x6669 -x6670 x6671 -x6672 -x6673 -x6674 -x6675 -x6676 x6677 -x6678 x6679 -x6680 x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 x6696 -x6697 x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 x6712 -x6713 x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 x6732 -x6733 x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 x6749 x6750 x6751 x6752 x6753 x6754 x6755 x6756 x6757 x6758 x6759 x6760 x6761 x6762 x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 x7002 x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 x7069 x7070 x7071 x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 x7751 x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 x7770 -x7771 x7772 x7773 x7774 x7775 -x7776 x7777 -x7778 x7779 x7780 x7781 x7782 x7783 -x7784 -x7785 -x7786 -x7787 -x7788 x7789 x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 x7843 x7844 x7845 -x7846 x7847 -x7848 -x7849 -x7850 -x7851 -x7852 x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 x7875 x7876 x7877 x7878 -x7879 -x7880 -x7881 x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 x7901 x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 x7979 x7980 x7981 -x7982 x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 x8554 x8555 x8556 x8557 x8558 -x8559 -x8560 -x8561 -x8562 x8563 x8564 -x8565 -x8566 -x8567 x8568 x8569 x8570 -x8571 -x8572 -x8573 x8574 x8575 -x8576 -x8577 x8578 x8579 -x8580 x8581 -x8582 x8583 -x8584 x8585 -x8586 x8587 -x8588 x8589 -x8590 x8591 -x8592 x8593 -x8594 x8595 x8596 x8597 x8598 -x8599 -x8600 -x8601 x8602 x8603 x8604 x8605 x8606 -x8607 x8608 x8609 x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 x8667 x8668 -x8669 x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 x8885 -x8886 -x8887 -x8888 x8889 -x8890 x8891 -x8892 -x8893 x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 x8901 x8902 -x8903 -x8904 -x8905 -x8906 x8907 -x8908 -x8909 -x8910 x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 x8919 -x8920 -x8921 x8922 -x8923 x8924 -x8925 x8926 -x8927 -x8928 x8929 x8930 -x8931 -x8932 -x8933 x8934 -x8935 x8936 -x8937
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698891-1278461741/watcher-2698891-1278461741 -o /tmp/evaluation-result-2698891-1278461741/solver-2698891-1278461741 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698891-1278461741.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 1.97 1.91 4/178 12755 /proc/meminfo: memFree=30025064/32951124 swapFree=67111528/67111528 [pid=12755] ppid=12753 vsize=2136 CPUtime=0 /proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 253 0 0 0 0 0 0 0 25 0 1 0 14386966 2187264 172 4089446400 134512640 136422188 4287481680 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12755/statm: 534 172 144 467 0 65 0 [startup+0.0870911 s] /proc/loadavg: 1.99 1.97 1.91 4/178 12755 /proc/meminfo: memFree=30025064/32951124 swapFree=67111528/67111528 [pid=12755] ppid=12753 vsize=2928 CPUtime=0.08 /proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 432 0 0 0 8 0 0 0 25 0 1 0 14386966 2998272 351 4089446400 134512640 136422188 4287481680 18446744073709551615 135809678 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/12755/statm: 732 351 144 467 0 263 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2928 [startup+0.101106 s] /proc/loadavg: 1.99 1.97 1.91 4/178 12755 /proc/meminfo: memFree=30025064/32951124 swapFree=67111528/67111528 [pid=12755] ppid=12753 vsize=2928 CPUtime=0.1 /proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 460 0 0 0 10 0 0 0 25 0 1 0 14386966 2998272 379 4089446400 134512640 136422188 4287481680 18446744073709551615 134536578 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/12755/statm: 732 379 144 467 0 263 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2928 [startup+0.301049 s] /proc/loadavg: 1.99 1.97 1.91 4/178 12755 /proc/meminfo: memFree=30025064/32951124 swapFree=67111528/67111528 [pid=12755] ppid=12753 vsize=49400 CPUtime=0.29 /proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 12374 0 0 0 28 1 0 0 25 0 1 0 14386966 50585600 11834 4089446400 134512640 136422188 4287481680 18446744073709551615 134707315 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12755/statm: 12350 11834 193 467 0 11881 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 49400 [startup+0.700976 s] /proc/loadavg: 1.99 1.97 1.91 4/178 12755 /proc/meminfo: memFree=30025064/32951124 swapFree=67111528/67111528 [pid=12755] ppid=12753 vsize=117992 CPUtime=0.69 /proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 30183 0 0 0 66 3 0 0 25 0 1 0 14386966 120823808 28324 4089446400 134512640 136422188 4287481680 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12755/statm: 29498 28324 207 467 0 29029 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 117992 [startup+1.50087 s] /proc/loadavg: 1.99 1.97 1.91 3/179 12756 /proc/meminfo: memFree=29909736/32951124 swapFree=67111528/67111528 [pid=12755] ppid=12753 vsize=121028 CPUtime=1.49 /proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 31030 0 0 0 121 28 0 0 25 0 1 0 14386966 123932672 28814 4089446400 134512640 136422188 4287481680 18446744073709551615 135006343 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12755/statm: 30257 28814 237 467 0 29788 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 121028 [startup+3.10058 s] /proc/loadavg: 1.99 1.97 1.91 3/179 12756 /proc/meminfo: memFree=29909736/32951124 swapFree=67111528/67111528 [pid=12755] ppid=12753 vsize=121160 CPUtime=3.09 /proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 31040 0 0 0 225 84 0 0 25 0 1 0 14386966 124067840 28824 4089446400 134512640 136422188 4287481680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12755/statm: 30290 28824 237 467 0 29821 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 121160 [startup+6.30102 s] /proc/loadavg: 1.99 1.97 1.91 3/179 12757 /proc/meminfo: memFree=29909908/32951124 swapFree=67111528/67111528 [pid=12755] ppid=12753 vsize=121292 CPUtime=6.29 /proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 31115 0 0 0 434 195 0 0 25 0 1 0 14386966 124203008 28888 4089446400 134512640 136422188 4287481680 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12755/statm: 30323 28888 237 467 0 29854 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 121292 [startup+12.7009 s] /proc/loadavg: 1.99 1.97 1.91 3/179 12757 /proc/meminfo: memFree=29909960/32951124 swapFree=67111528/67111528 [pid=12755] ppid=12753 vsize=121688 CPUtime=12.69 /proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 31221 0 0 0 859 410 0 0 25 0 1 0 14386966 124608512 28979 4089446400 134512640 136422188 4287481680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12755/statm: 30422 28979 237 467 0 29953 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 121688 [startup+25.5006 s] /proc/loadavg: 1.99 1.97 1.91 3/179 12758 /proc/meminfo: memFree=29909472/32951124 swapFree=67111528/67111528 [pid=12755] ppid=12753 vsize=122352 CPUtime=25.5 /proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 31423 0 0 0 1700 850 0 0 25 0 1 0 14386966 125288448 29135 4089446400 134512640 136422188 4287481680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12755/statm: 30588 29135 237 467 0 30119 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 122352 [startup+51.1011 s] /proc/loadavg: 1.99 1.97 1.91 3/179 12758 /proc/meminfo: memFree=29908772/32951124 swapFree=67111528/67111528 [pid=12755] ppid=12753 vsize=123144 CPUtime=51.09 /proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 31737 0 0 0 3386 1723 0 0 25 0 1 0 14386966 126099456 29343 4089446400 134512640 136422188 4287481680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12755/statm: 30786 29343 237 467 0 30317 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 123144 [startup+102.306 s] /proc/loadavg: 1.99 1.97 1.91 3/179 12760 /proc/meminfo: memFree=29908228/32951124 swapFree=67111528/67111528 [pid=12755] ppid=12753 vsize=123276 CPUtime=102.3 /proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 32054 0 0 0 6803 3427 0 0 21 0 1 0 14386966 126234624 29392 4089446400 134512640 136422188 4287481680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12755/statm: 30819 29392 237 467 0 30350 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 123276 Solver just ended. Dumping a history of the last processes samples [startup+127.901 s] /proc/loadavg: 1.99 1.97 1.91 3/179 12760 /proc/meminfo: memFree=29907956/32951124 swapFree=67111528/67111528 [pid=12755] ppid=12753 vsize=123540 CPUtime=127.89 /proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 32267 0 0 0 8531 4258 0 0 25 0 1 0 14386966 126504960 29449 4089446400 134512640 136422188 4287481680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12755/statm: 30885 29449 237 467 0 30416 0 Current children cumulated CPU time (s) 127.89 Current children cumulated vsize (KiB) 123540 [startup+140.7 s] /proc/loadavg: 1.99 1.97 1.91 3/179 12760 /proc/meminfo: memFree=29907568/32951124 swapFree=67111528/67111528 [pid=12755] ppid=12753 vsize=123672 CPUtime=140.7 /proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 32446 0 0 0 9431 4639 0 0 25 0 1 0 14386966 126640128 29514 4089446400 134512640 136422188 4287481680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12755/statm: 30918 29514 237 467 0 30449 0 Current children cumulated CPU time (s) 140.7 Current children cumulated vsize (KiB) 123672 [startup+147.101 s] /proc/loadavg: 1.99 1.97 1.91 3/179 12760 /proc/meminfo: memFree=29907312/32951124 swapFree=67111528/67111528 [pid=12755] ppid=12753 vsize=123936 CPUtime=147.1 /proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 32565 0 0 0 9911 4799 0 0 25 0 1 0 14386966 126910464 29556 4089446400 134512640 136422188 4287481680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12755/statm: 30984 29556 237 467 0 30515 0 Current children cumulated CPU time (s) 147.1 Current children cumulated vsize (KiB) 123936 [startup+150.301 s] /proc/loadavg: 1.99 1.97 1.91 3/179 12760 /proc/meminfo: memFree=29907548/32951124 swapFree=67111528/67111528 [pid=12755] ppid=12753 vsize=123936 CPUtime=150.29 /proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 32634 0 0 0 10157 4872 0 0 25 0 1 0 14386966 126910464 29572 4089446400 134512640 136422188 4287481680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12755/statm: 30984 29572 237 467 0 30515 0 Current children cumulated CPU time (s) 150.29 Current children cumulated vsize (KiB) 123936 [startup+151.9 s] /proc/loadavg: 1.99 1.97 1.91 3/179 12760 /proc/meminfo: memFree=29907544/32951124 swapFree=67111528/67111528 [pid=12755] ppid=12753 vsize=123936 CPUtime=151.89 /proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 32687 0 0 0 10292 4897 0 0 25 0 1 0 14386966 126910464 29581 4089446400 134512640 136422188 4287481680 18446744073709551615 134862276 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12755/statm: 30984 29581 237 467 0 30515 0 Current children cumulated CPU time (s) 151.89 Current children cumulated vsize (KiB) 123936 [startup+152.301 s] /proc/loadavg: 1.99 1.97 1.91 3/179 12760 /proc/meminfo: memFree=29907544/32951124 swapFree=67111528/67111528 [pid=12755] ppid=12753 vsize=123936 CPUtime=152.3 /proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 32697 0 0 0 10328 4902 0 0 25 0 1 0 14386966 126910464 29581 4089446400 134512640 136422188 4287481680 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12755/statm: 30984 29581 237 467 0 30515 0 Current children cumulated CPU time (s) 152.3 Current children cumulated vsize (KiB) 123936 [startup+152.501 s] /proc/loadavg: 1.99 1.97 1.91 3/179 12760 /proc/meminfo: memFree=29907544/32951124 swapFree=67111528/67111528 [pid=12755] ppid=12753 vsize=116288 CPUtime=152.5 /proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 32705 0 0 0 10348 4902 0 0 25 0 1 0 14386966 119078912 28165 4089446400 134512640 136422188 4287481680 18446744073709551615 134701755 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12755/statm: 29072 28165 240 467 0 28603 0 Current children cumulated CPU time (s) 152.5 Current children cumulated vsize (KiB) 116288 [startup+152.601 s] /proc/loadavg: 1.99 1.97 1.91 3/179 12760 /proc/meminfo: memFree=29907544/32951124 swapFree=67111528/67111528 [pid=12755] ppid=12753 vsize=0 CPUtime=152.6 /proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202500 32706 0 0 0 10358 4902 0 0 25 0 1 0 14386966 0 0 4089446400 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 /proc/12755/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 152.6 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 152.605 CPU time (s): 152.609 CPU user time (s): 103.581 CPU system time (s): 49.0275 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 123936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 103.581 system time used= 49.0275 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32706 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= 5 involuntary context switches= 282 runsolver used 0.25696 second user time and 0.512922 second system time The end
Begin job on node140 at 2010-07-07 02:15:42 IDJOB=2698891 IDBENCH=79037 IDSOLVER=1212 FILE ID=node140/2698891-1278461741 PBS_JOBID= 11233713 Free space on /tmp= 73856 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-cache.inv10.ucl--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698891-1278461741/watcher-2698891-1278461741 -o /tmp/evaluation-result-2698891-1278461741/solver-2698891-1278461741 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698891-1278461741.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d386dfc8e47349268f453a2b59efbfb7 RANDOM SEED=1686117639 node140.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.63 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5261.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30025584 kB Buffers: 101524 kB Cached: 2607260 kB SwapCached: 0 kB Active: 841364 kB Inactive: 1948592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30025584 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2736 kB Writeback: 0 kB AnonPages: 81008 kB Mapped: 15444 kB Slab: 72340 kB PageTables: 4700 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 226740 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73852 MiB End job on node140 at 2010-07-07 02:18:14