Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 fixed | OPT | 18540641211 | 118.471 | 59.3053 |
Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ random/rand.newlist/normalized-rand0a62b6.cudf.trendy.opb |
MD5SUM | adf46ce7116b29ea4c4d11a598f075d4 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 18540641211 |
Best CPU time to get the best result obtained on this benchmark | 7.8778 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 7092 |
Total number of constraints | 29983 |
Number of constraints which are clauses | 29682 |
Number of constraints which are cardinality constraints (but not clauses) | 301 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 553 |
Number of terms in the objective function | 3326 |
Biggest coefficient in the objective function | 4615754625 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 2547891009662 |
Number of bits of the sum of numbers in the objective function | 42 |
Biggest number in a constraint | 4615754625 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 2547891009662 |
Number of bits of the biggest sum of numbers | 42 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.40/0.43 c constraints 301/0 clauses 24533/0 units 765 0.40/0.43 c vars 7092 0.40/0.44 c objective 2908 + 41 1.49/1.55 c 1.45878 87.5586 380 73369 1.49/1.55 o 1306752015184 1.59/1.64 c 1.52977 89.4219 418 81051 1.59/1.64 o 1302202793961 1.89/1.93 c 1.77873 89.4219 530 99437 1.89/1.93 o 1302180616193 1.89/1.98 c 1.82072 89.4219 544 102911 1.89/1.98 o 1200620153342 1.99/2.09 c 1.91771 89.4219 600 110835 1.99/2.09 o 605351368013 2.69/2.73 c 2.48262 89.4219 897 153067 2.69/2.73 o 550003895833 2.69/2.78 c 2.52761 89.4219 910 156955 2.69/2.78 o 545440813477 2.79/2.84 c 2.57261 89.5508 921 160743 2.79/2.84 o 545346557805 2.89/2.90 c 2.6276 89.5508 944 166233 2.89/2.90 o 545343785586 3.39/3.49 c 3.14252 89.5508 1145 202324 3.39/3.49 o 323770930230 3.89/3.97 c 3.58345 89.5508 1304 229837 3.89/3.97 o 323618457919 3.99/4.03 c 3.63445 89.5508 1336 233485 3.99/4.03 o 323618457917 4.09/4.12 c 3.70444 89.5508 1355 238604 4.09/4.12 o 213045491515 4.09/4.17 c 3.75343 89.5508 1360 241265 4.09/4.17 o 171475977676 4.19/4.20 c 3.78143 89.5508 1363 243140 4.19/4.20 o 157584358207 4.19/4.24 c 3.81242 89.5508 1366 244585 4.19/4.24 o 153024048081 4.49/4.52 c 4.06138 89.5508 1451 258912 4.49/4.52 o 152785636810 4.49/4.55 c 4.08938 89.5508 1454 260304 4.49/4.55 o 152780092309 4.49/4.59 c 4.12737 89.5508 1467 262248 4.49/4.59 o 152780092264 4.59/4.63 c 4.15937 89.5508 1472 263360 4.59/4.63 o 152780092251 4.59/4.66 c 4.18936 89.5508 1478 265127 4.59/4.66 o 152730192262 4.69/4.70 c 4.22436 89.5508 1481 266894 4.69/4.70 o 152730192261 4.69/4.74 c 4.25735 89.5508 1483 268480 4.69/4.74 o 152730192258 4.69/4.78 c 4.29435 89.5508 1484 270190 4.69/4.78 o 152691381102 4.79/4.82 c 4.33134 89.5508 1489 271996 4.79/4.82 o 152688608900 4.79/4.86 c 4.36134 89.5508 1489 273133 4.79/4.86 o 152688608887 4.79/4.89 c 4.38933 89.5508 1491 274408 4.79/4.89 o 152688608882 4.89/4.94 c 4.43033 89.5508 1506 276445 4.89/4.94 o 152599897747 4.99/5.00 c 4.48732 89.5508 1521 279509 4.99/5.00 o 152599897708 4.99/5.05 c 4.52631 89.5508 1527 281680 4.99/5.05 o 152597125494 4.99/5.08 c 4.56131 89.6797 1532 282771 4.99/5.08 o 152597125487 5.09/5.14 c 4.6113 89.6797 1546 284009 5.09/5.14 o 152597125486 5.40/5.40 c 4.84526 89.6797 1630 291434 5.40/5.40 o 138766495014 5.40/5.45 c 4.89626 89.6797 1613 293722 5.40/5.45 o 138760950493 5.40/5.49 c 4.93125 89.6797 1617 294962 5.40/5.49 o 138758178289 5.50/5.53 c 4.96425 89.6797 1623 296867 5.50/5.53 o 115720988586 5.50/5.56 c 4.99224 89.6797 1623 298361 5.50/5.56 o 111113550622 5.59/5.64 c 5.06223 89.6797 1631 302258 5.59/5.64 o 97257970077 5.59/5.68 c 5.09722 89.6797 1634 303979 5.59/5.68 o 92705976630 5.69/5.71 c 5.12722 89.6797 1631 305254 5.69/5.71 o 92636670959 5.69/5.74 c 5.15522 89.6797 1631 306544 5.69/5.74 o 92631126504 5.69/5.78 c 5.18721 89.6797 1632 307853 5.69/5.78 o 92628354284 5.79/5.81 c 5.21321 89.6797 1633 309043 5.79/5.81 o 92628354279 5.79/5.85 c 5.2492 89.6797 1638 309988 5.79/5.85 o 92628354278 5.99/6.02 c 5.40918 89.6797 1695 314935 5.99/6.02 o 92625582068 6.09/6.13 c 5.50016 89.6797 1722 317612 6.09/6.13 o 92622809850 6.09/6.16 c 5.52816 89.6797 1723 319108 6.09/6.16 o 92614493127 6.09/6.19 c 5.55816 89.6797 1725 320013 6.09/6.19 o 92614493126 6.19/6.27 c 5.62614 89.6797 1738 322328 6.19/6.27 o 92611720916 6.29/6.30 c 5.65314 89.6797 1740 323478 6.29/6.30 o 92611720904 6.29/6.33 c 5.68314 89.6797 1731 325143 6.29/6.33 o 88018144082 6.29/6.37 c 5.71213 89.6797 1732 326282 6.29/6.37 o 88018144081 6.39/6.40 c 5.74813 89.6797 1737 327949 6.39/6.40 o 88015371813 6.39/6.43 c 5.77612 89.6797 1738 329199 6.39/6.43 o 88015371811 6.39/6.47 c 5.80512 89.6797 1739 330790 6.39/6.47 o 78811584820 6.39/6.50 c 5.83611 89.6797 1742 332284 6.39/6.50 o 78808812590 6.50/6.54 c 5.87011 89.6797 1746 334185 6.50/6.54 o 74234641352 6.50/6.58 c 5.9011 89.6797 1747 335786 6.50/6.58 o 74204146866 6.59/6.61 c 5.9321 89.8086 1747 336985 6.59/6.61 o 74204146861 6.59/6.64 c 5.96109 89.8086 1743 338136 6.59/6.64 o 74201374637 6.59/6.67 c 5.98809 89.8086 1743 339069 6.59/6.67 o 74201374636 6.69/6.70 c 6.01509 89.8086 1743 340004 6.69/6.70 o 74201374635 6.69/6.74 c 6.05608 89.8086 1745 341755 6.69/6.74 o 74198602419 6.69/6.78 c 6.08207 89.8086 1745 342974 6.69/6.78 o 74198602412 6.79/6.81 c 6.11407 89.8086 1751 344525 6.79/6.81 o 69713142342 6.79/6.85 c 6.15106 89.8086 1753 345937 6.79/6.85 o 69652153404 6.79/6.88 c 6.17806 89.8086 1753 347275 6.79/6.88 o 69635520066 6.89/6.91 c 6.20806 89.8086 1753 348620 6.89/6.91 o 69607797816 6.99/7.08 c 6.35103 89.8086 1769 356758 6.99/7.08 o 69605025604 7.09/7.12 c 6.38203 89.8086 1772 358127 7.09/7.12 o 69585620018 7.09/7.15 c 6.40803 89.8086 1772 359305 7.09/7.15 o 69585620012 7.09/7.18 c 6.43402 89.8086 1772 360460 7.09/7.18 o 69582847789 7.19/7.21 c 6.46102 89.8086 1772 361571 7.19/7.21 o 69582847786 7.19/7.24 c 6.48501 89.8086 1772 362438 7.19/7.24 o 69582847785 7.19/7.27 c 6.51001 89.8086 1772 363660 7.19/7.27 o 69580075561 7.29/7.30 c 6.542 89.8086 1773 364758 7.29/7.30 o 69580075560 7.29/7.33 c 6.569 89.8086 1776 366132 7.29/7.33 o 65105704418 7.29/7.37 c 6.597 89.8086 1776 367463 7.29/7.37 o 65030854337 7.29/7.40 c 6.62699 89.8086 1776 368776 7.29/7.40 o 64975409835 7.39/7.43 c 6.65699 89.8086 1776 369878 7.39/7.43 o 64972637615 7.39/7.46 c 6.68598 89.8086 1778 371404 7.39/7.46 o 64964320936 7.39/7.49 c 6.71298 89.8086 1778 372379 7.39/7.49 o 64961548720 7.49/7.52 c 6.74297 89.8086 1778 373529 7.49/7.52 o 64961548715 7.49/7.55 c 6.77097 89.8086 1778 374584 7.49/7.55 o 64961548710 7.49/7.58 c 6.79797 89.8086 1778 375671 7.49/7.58 o 64958776487 7.60/7.61 c 6.82596 89.8086 1779 376822 7.60/7.61 o 64956004263 7.78/7.80 c 6.99394 89.8086 1859 380472 7.78/7.80 o 64900559863 7.78/7.84 c 7.02493 89.8086 1843 381394 7.78/7.84 o 64900559848 7.78/7.88 c 7.06492 89.8086 1846 383098 7.78/7.88 o 64764720869 7.89/7.91 c 7.09192 89.8086 1846 384177 7.89/7.91 o 64764720825 7.89/7.95 c 7.12692 89.8086 1847 385493 7.89/7.95 o 64761948601 7.89/7.98 c 7.15591 89.9375 1847 386582 7.89/7.98 o 64761948599 7.99/8.01 c 7.18391 89.9375 1847 387651 7.99/8.01 o 64759176374 7.99/8.05 c 7.2119 89.9375 1848 388512 7.99/8.05 o 64759176373 7.99/8.08 c 7.2369 89.9375 1848 389498 7.99/8.08 o 64756404149 8.09/8.13 c 7.28289 89.9375 1854 391189 8.09/8.13 o 64753631927 8.19/8.27 c 7.40987 89.9375 1887 393359 8.19/8.27 o 64731454160 8.29/8.33 c 7.45587 89.9375 1904 394506 8.29/8.33 o 64731454157 8.39/8.40 c 7.51986 89.9375 1913 396210 8.39/8.40 o 60207182946 8.39/8.44 c 7.55185 89.9375 1917 397392 8.39/8.44 o 60193321837 8.39/8.47 c 7.58185 89.9375 1916 398608 8.39/8.47 o 60187777378 8.48/8.50 c 7.60984 89.9375 1916 399826 8.48/8.50 o 60182232926 8.48/8.54 c 7.64784 89.9375 1918 401380 8.48/8.54 o 60179460708 8.48/8.57 c 7.67683 89.9375 1920 402515 8.48/8.57 o 60179460686 8.58/8.60 c 7.70483 89.9375 1920 403585 8.58/8.60 o 60176688479 8.58/8.66 c 7.75082 89.9375 1928 405518 8.58/8.66 o 55749445073 8.69/8.73 c 7.80781 89.9375 1946 407226 8.69/8.73 o 55721722872 8.69/8.79 c 7.8688 89.9375 1946 408568 8.69/8.79 o 55721722775 8.80/8.84 c 7.9158 89.9375 1951 410019 8.80/8.84 o 55502717141 8.80/8.87 c 7.94479 89.9375 1952 411100 8.80/8.87 o 55499944916 8.89/8.90 c 7.97379 89.9375 1952 412199 8.89/8.90 o 55497172692 8.89/8.94 c 8.00078 89.9375 1952 412971 8.89/8.94 o 55497172691 8.89/8.97 c 8.03078 89.9375 1952 414003 8.89/8.97 o 55494400466 8.99/9.02 c 8.08177 89.9375 1963 415274 8.99/9.02 o 55494400464 9.09/9.10 c 8.14776 89.9375 1988 416529 9.09/9.10 o 55494400446 9.09/9.14 c 8.18675 89.9375 1991 417815 9.09/9.14 o 51139234906 9.09/9.18 c 8.21875 89.9375 1997 419153 9.09/9.18 o 51119829347 9.19/9.21 c 8.24975 89.9375 2001 420304 9.19/9.21 o 51119829341 9.19/9.27 c 8.29474 89.9375 2008 422303 9.19/9.27 o 51117057142 9.28/9.30 c 8.32473 89.9375 2011 423586 9.28/9.30 o 51117057116 9.28/9.33 c 8.35073 89.9375 2012 424709 9.28/9.33 o 51114284896 9.28/9.36 c 8.38072 89.9375 2012 425576 9.28/9.36 o 51114284895 9.28/9.39 c 8.40972 90.0664 2012 426637 9.28/9.39 o 51114284893 9.39/9.43 c 8.44172 90.0664 2014 427887 9.39/9.43 o 51111512673 9.49/9.55 c 8.5497 90.0664 2038 429190 9.49/9.55 o 46603874821 9.59/9.62 c 8.60869 90.0664 2056 430889 9.59/9.62 o 46334969068 9.59/9.65 c 8.63969 90.0664 2056 431804 9.59/9.65 o 46334969060 9.59/9.68 c 8.66968 90.0664 2056 432752 9.59/9.68 o 46332196837 9.69/9.71 c 8.69668 90.0664 2056 433508 9.69/9.71 o 46332196834 9.69/9.74 c 8.72567 90.0664 2056 434520 9.69/9.74 o 46329424610 9.69/9.78 c 8.75567 90.0664 2057 435666 9.69/9.78 o 46326652392 9.79/9.81 c 8.78067 90.0664 2057 436747 9.79/9.81 o 46326652388 9.79/9.84 c 8.81466 90.0664 2059 437869 9.79/9.84 o 46323880164 9.79/9.88 c 8.84266 90.0664 2060 438580 9.79/9.88 o 46323880159 9.90/9.91 c 8.87465 90.0664 2061 439636 9.90/9.91 o 46321107936 9.90/9.95 c 8.91065 90.0664 2070 441046 9.90/9.95 o 46307246816 9.90/9.99 c 8.94464 90.0664 2074 442118 9.90/9.99 o 46304474592 9.99/10.02 c 8.97164 90.0664 2074 442850 9.99/10.02 o 46304474584 9.99/10.05 c 8.99863 90.0664 2074 443611 9.99/10.05 o 46304474545 9.99/10.08 c 9.02763 90.0664 2075 444349 9.99/10.08 o 46301702362 10.09/10.15 c 9.09462 90.0664 2101 445738 10.09/10.15 o 41802381146 10.09/10.19 c 9.12661 90.0664 2107 446981 10.09/10.19 o 41735847793 10.19/10.22 c 9.15361 90.0664 2108 448084 10.19/10.22 o 41735847786 10.19/10.25 c 9.1816 90.0664 2108 449236 10.19/10.25 o 41727531110 10.19/10.29 c 9.2096 90.0664 2108 450127 10.19/10.29 o 41727531109 10.29/10.32 c 9.23659 90.0664 2108 451196 10.29/10.32 o 41724758887 10.29/10.35 c 9.26559 90.0664 2108 452209 10.29/10.35 o 41724758886 10.29/10.38 c 9.28859 90.0664 2108 453165 10.29/10.38 o 41724758884 10.39/10.41 c 9.31258 90.0664 2108 454220 10.39/10.41 o 41721986660 10.39/10.44 c 9.33858 90.0664 2109 455015 10.39/10.44 o 41721986659 10.39/10.47 c 9.36658 90.0664 2109 456064 10.39/10.47 o 41719214434 10.49/10.50 c 9.39357 90.0664 2110 457073 10.49/10.50 o 41716442214 10.49/10.53 c 9.41957 90.0664 2111 458074 10.49/10.53 o 41716442210 10.49/10.56 c 9.44856 90.0664 2111 458816 10.49/10.56 o 41716442209 10.49/10.60 c 9.47856 90.0664 2111 459776 10.49/10.60 o 41713669986 10.58/10.67 c 9.54555 90.1953 2124 462405 10.58/10.67 o 41713669916 10.69/10.71 c 9.58654 90.1953 2134 463133 10.69/10.71 o 41713669912 10.69/10.75 c 9.61354 90.1953 2136 463904 10.69/10.75 o 41710897706 10.79/10.84 c 9.70352 90.1953 2163 464604 10.79/10.84 o 41710897705 10.89/10.95 c 9.79951 90.1953 2180 465435 10.89/10.95 o 41708125508 10.89/10.99 c 9.82651 90.1953 2181 466112 10.89/10.99 o 41708125430 11.00/11.02 c 9.8535 90.1953 2173 466389 11.00/11.02 o 41708125429 11.00/11.07 c 9.8985 90.1953 2187 467374 11.00/11.07 o 41705353229 11.08/11.18 c 10.0055 90.1953 2197 467995 11.08/11.19 o 41705353223 11.19/11.25 c 10.0625 90.1953 2217 469003 11.19/11.25 o 41702581049 11.29/11.31 c 10.1175 90.1953 2236 469982 11.29/11.31 o 41702581009 11.49/11.53 c 10.3294 90.1953 2265 470363 11.49/11.53 o 41702581008 11.59/11.66 c 10.4414 90.1953 2302 471989 11.59/11.66 o 41699808831 11.69/11.70 c 10.4724 90.1953 2309 472645 11.69/11.70 o 41699808796 11.69/11.73 c 10.5024 90.1953 2312 473280 11.69/11.73 o 41697036590 11.69/11.77 c 10.5394 90.1953 2320 474010 11.69/11.77 o 41697036577 11.78/11.83 c 10.5884 90.1953 2331 474982 11.78/11.83 o 41694264413 11.78/11.86 c 10.6174 90.1953 2333 475575 11.78/11.86 o 41694264388 11.89/11.94 c 10.6834 90.3242 2354 476328 11.89/11.94 o 41694264329 12.00/12.01 c 10.7484 90.3242 2367 478973 12.00/12.01 o 41677631071 12.00/12.04 c 10.7784 90.3242 2367 480012 12.00/12.04 o 41677631060 12.00/12.07 c 10.8054 90.3242 2367 481132 12.00/12.07 o 41672086608 12.10/12.11 c 10.8334 90.3242 2367 482234 12.10/12.11 o 41655453259 12.10/12.14 c 10.8633 90.3242 2367 483283 12.10/12.14 o 41652681035 12.10/12.17 c 10.8913 90.3242 2367 484237 12.10/12.17 o 41652681033 12.19/12.20 c 10.9193 90.3242 2367 485243 12.19/12.20 o 41649908809 12.19/12.23 c 10.9483 90.3242 2367 486100 12.19/12.23 o 41649908808 12.19/12.26 c 10.9783 90.3242 2367 487145 12.19/12.26 o 41647136583 12.19/12.29 c 11.0053 90.3242 2367 488124 12.19/12.29 o 41644364359 12.28/12.32 c 11.0343 90.3242 2367 489182 12.28/12.32 o 41641592134 12.28/12.35 c 11.0593 90.3242 2367 489647 12.28/12.35 o 41641592133 12.28/12.38 c 11.0863 90.3242 2367 490705 12.28/12.38 o 41638819909 12.39/12.42 c 11.1183 90.3242 2367 491188 12.39/12.42 o 41638819908 12.39/12.47 c 11.1553 90.3242 2368 491929 12.39/12.47 o 41636047683 12.49/12.50 c 11.1923 90.3242 2378 492592 12.49/12.50 o 41636047663 12.49/12.54 c 11.2223 90.3242 2379 493198 12.49/12.54 o 41636047661 12.69/12.72 c 11.3893 90.3242 2405 493906 12.69/12.72 o 41633275451 12.89/12.90 c 11.5522 90.3242 2436 494690 12.89/12.90 o 41633275403 12.99/13.02 c 11.6562 90.3242 2470 495551 12.99/13.02 o 41630503248 13.10/13.13 c 11.7512 90.3242 2493 496278 13.10/13.13 o 41630503221 13.29/13.35 c 11.9682 90.4531 2536 497013 13.29/13.35 o 41630503218 13.29/13.39 c 11.9992 90.4531 2541 498305 13.29/13.39 o 37350187663 13.39/13.42 c 12.0322 90.4531 2544 499230 13.39/13.42 o 37350187662 13.39/13.45 c 12.0592 90.4531 2545 499991 13.39/13.45 o 37350187661 13.39/13.49 c 12.0862 90.4531 2549 501272 13.39/13.49 o 37314148742 13.49/13.52 c 12.1162 90.4531 2549 502328 13.49/13.52 o 37314148740 13.49/13.55 c 12.1442 90.4531 2549 503370 13.49/13.55 o 37311376515 13.49/13.58 c 12.1721 90.4531 2549 504391 13.49/13.58 o 37308604291 13.59/13.61 c 12.2011 90.4531 2549 505246 13.59/13.61 o 37308604290 13.59/13.65 c 12.2311 90.4531 2550 506673 13.59/13.65 o 37305832069 13.59/13.68 c 12.2591 90.4531 2550 507648 13.59/13.68 o 37305832065 13.69/13.71 c 12.2881 90.4531 2550 508417 13.69/13.71 o 37303059840 13.69/13.74 c 12.3161 90.4531 2550 509414 13.69/13.74 o 37300287615 13.69/13.77 c 12.3421 90.4531 2550 510398 13.69/13.77 o 37297515392 13.78/13.80 c 12.3731 90.4531 2550 511437 13.78/13.80 o 37297515390 13.78/13.83 c 12.4021 90.4531 2550 512413 13.78/13.83 o 37294743165 13.78/13.86 c 12.4281 90.4531 2550 513128 13.78/13.86 o 37291970940 13.78/13.89 c 12.4551 90.4531 2550 513809 13.78/13.89 o 37289198716 13.88/13.92 c 12.4841 90.4531 2550 514543 13.88/13.92 o 37289198715 13.88/13.96 c 12.5111 90.4531 2551 515639 13.88/13.96 o 37286426494 13.99/14.00 c 12.5481 90.4531 2554 516377 13.99/14.00 o 37286426490 14.20/14.27 c 12.7881 90.582 2609 517113 14.20/14.27 o 37283654294 14.29/14.31 c 12.8201 90.582 2612 518535 14.29/14.31 o 37131182017 14.29/14.34 c 12.849 90.582 2612 519495 14.29/14.34 o 37128409792 14.29/14.37 c 12.881 90.582 2610 520621 14.29/14.37 o 37120093118 14.39/14.40 c 12.908 90.582 2610 521442 14.39/14.40 o 37117320893 14.39/14.43 c 12.932 90.582 2610 522224 14.39/14.43 o 37117320892 14.39/14.46 c 12.958 90.582 2610 523132 14.39/14.46 o 37114548667 14.39/14.49 c 12.985 90.582 2610 523903 14.39/14.49 o 37111776442 14.48/14.52 c 13.014 90.582 2611 524632 14.48/14.52 o 37109004217 14.48/14.58 c 13.061 90.582 2646 526053 14.48/14.58 o 37070193077 14.58/14.61 c 13.089 90.582 2648 526792 14.58/14.61 o 37067420854 14.58/14.64 c 13.118 90.582 2650 527796 14.58/14.64 o 37064648631 14.58/14.67 c 13.144 90.582 2650 528470 14.58/14.67 o 37064648626 14.69/14.70 c 13.171 90.582 2650 528795 14.69/14.70 o 37064648625 14.69/14.74 c 13.205 90.582 2651 529505 14.69/14.74 o 37061876400 14.79/14.82 c 13.273 90.582 2658 529779 14.79/14.82 o 37061876399 14.99/15.07 c 13.5109 90.582 2714 530482 14.99/15.07 o 37059104198 15.09/15.16 c 13.5899 90.582 2728 531498 15.09/15.16 o 37059104126 15.29/15.31 c 13.7189 90.582 2769 532288 15.29/15.31 o 37056331914 15.39/15.42 c 13.8259 90.582 2815 533503 15.39/15.42 o 37053559743 15.39/15.48 c 13.8749 90.7109 2829 533776 15.39/15.48 o 37053559742 15.58/15.61 c 13.9979 90.7109 2882 534634 15.58/15.61 o 37053559735 15.58/15.64 c 14.0289 90.7109 2880 535263 15.58/15.64 o 37053559730 15.58/15.67 c 14.0589 90.7109 2881 536389 15.58/15.67 o 37011976389 15.69/15.70 c 14.0909 90.7109 2883 537140 15.69/15.70 o 37011976383 15.69/15.74 c 14.1209 90.7109 2884 537820 15.69/15.74 o 37009204158 15.69/15.77 c 14.1508 90.7109 2889 538032 15.69/15.77 o 37009204157 15.79/15.81 c 14.1848 90.7109 2897 538641 15.79/15.81 o 37009204142 15.79/15.86 c 14.2258 90.7109 2912 539214 15.79/15.86 o 37009204130 16.09/16.18 c 14.5228 90.8398 3041 540250 16.09/16.18 o 37009204111 16.19/16.22 c 14.5638 90.8398 3047 540859 16.19/16.22 o 37006431925 16.19/16.25 c 14.5908 90.8398 3051 541471 16.19/16.25 o 37006431891 16.28/16.30 c 14.6308 90.8398 3060 542061 16.28/16.30 o 37006431887 16.28/16.33 c 14.6638 90.8398 3064 542683 16.28/16.33 o 37003659714 16.28/16.37 c 14.6938 90.8398 3069 542871 16.28/16.37 o 37003659713 16.39/16.40 c 14.7288 90.8398 3073 543487 16.39/16.40 o 37003659698 16.58/16.68 c 14.9787 90.8398 3134 544310 16.58/16.68 o 37000887500 16.69/16.72 c 15.0127 90.8398 3145 544900 16.69/16.72 o 37000887478 16.69/16.77 c 15.0607 90.8398 3163 545723 16.69/16.77 o 37000887435 17.68/17.78 c 15.9976 90.9688 3320 546765 17.68/17.78 o 36998115224 17.88/17.92 c 16.1285 90.9688 3368 547495 17.88/17.92 o 36995343044 17.98/18.05 c 16.2475 90.9688 3398 548165 17.98/18.05 o 36995343041 17.98/18.09 c 16.2845 90.9688 3405 548741 17.98/18.09 o 36995343038 18.08/18.13 c 16.3205 90.9688 3415 548974 18.08/18.13 o 36995343037 18.08/18.17 c 16.3595 90.9688 3422 549582 18.08/18.17 o 36995343033 18.19/18.20 c 16.3885 90.9688 3422 550182 18.19/18.20 o 36995343003 18.19/18.24 c 16.4205 90.9688 3426 550423 18.19/18.24 o 36995343002 18.49/18.56 c 16.7175 90.9688 3484 551185 18.49/18.56 o 36992570816 18.60/18.65 c 16.8094 91.0977 3530 551872 18.60/18.65 o 36992570814 18.69/18.71 c 16.8604 91.0977 3547 552044 18.69/18.71 o 36992570813 18.69/18.74 c 16.8924 91.0977 3557 552611 18.69/18.74 o 36992570763 18.98/19.05 c 17.1794 91.0977 3635 553309 18.98/19.05 o 36989798594 18.98/19.09 c 17.2124 91.0977 3651 554007 18.98/19.09 o 36989798533 19.19/19.21 c 17.3184 91.0977 3683 554919 19.19/19.21 o 36987026372 19.19/19.26 c 17.3554 91.0977 3709 555550 19.19/19.26 o 36987026362 19.28/19.30 c 17.3894 91.0977 3713 556146 19.28/19.30 o 36987026321 19.28/19.39 c 17.4773 91.0977 3743 556358 19.28/19.39 o 36987026320 19.69/19.72 c 17.7823 91.2266 3840 557085 19.69/19.72 o 36984254144 19.69/19.77 c 17.8233 91.2266 3847 557612 19.69/19.77 o 36984254134 20.08/20.16 c 18.1972 91.2266 3939 558331 20.08/20.16 o 36984254125 20.19/20.24 c 18.2802 91.2266 3961 559227 20.19/20.24 o 36984254120 21.29/21.32 c 19.2761 91.2266 4112 559887 21.29/21.32 o 36984254119 22.18/22.24 c 20.1049 91.3555 4323 561576 22.18/22.24 o 32861955365 22.18/22.27 c 20.1349 91.3555 4335 562720 22.18/22.27 o 32806510881 22.28/22.30 c 20.1649 91.3555 4336 563576 22.28/22.30 o 32806510880 22.28/22.34 c 20.1969 91.3555 4339 564960 22.28/22.34 o 32759383087 22.28/22.37 c 20.2279 91.3555 4340 566147 22.28/22.37 o 32695621924 22.39/22.40 c 20.2559 91.3555 4340 567119 22.39/22.40 o 32695621923 22.39/22.43 c 20.2829 91.3555 4340 567918 22.39/22.43 o 32695621922 22.39/22.46 c 20.3119 91.3555 4340 568872 22.39/22.46 o 32692849697 22.39/22.49 c 20.3369 91.3555 4342 569651 22.39/22.50 o 32690077472 22.48/22.53 c 20.3649 91.3555 4344 570845 22.48/22.53 o 32540377441 22.48/22.56 c 20.3959 91.3555 4345 571579 22.48/22.56 o 32537605223 22.48/22.59 c 20.4259 91.3555 4345 572612 22.48/22.59 o 32537605219 22.58/22.62 c 20.4509 91.3555 4345 573267 22.58/22.62 o 32534832998 22.58/22.65 c 20.4779 91.3555 4346 573612 22.58/22.65 o 32534832997 22.58/22.68 c 20.5059 91.3555 4346 574248 22.58/22.68 o 32534832886 22.68/22.71 c 20.5329 91.3555 4346 574586 22.68/22.71 o 32534832885 22.68/22.79 c 20.5999 91.3555 4367 574915 22.68/22.79 o 32534832884 22.89/22.91 c 20.7178 91.3555 4378 575543 22.89/22.91 o 32532060675 22.89/23.00 c 20.7968 91.3555 4410 576994 22.89/23.00 o 32529288546 23.19/23.20 c 20.9808 91.3555 4461 578488 23.19/23.20 o 28240656294 23.19/23.23 c 21.0128 91.3555 4464 579877 23.19/23.23 o 27963433931 23.19/23.26 c 21.0408 91.3555 4464 580796 23.19/23.26 o 27960661707 23.19/23.30 c 21.0678 91.3555 4465 581351 23.19/23.30 o 27960661706 23.28/23.33 c 21.0958 91.4844 4469 582524 23.28/23.33 o 27910761705 23.28/23.36 c 21.1228 91.4844 4469 583645 23.28/23.36 o 27858089422 23.28/23.39 c 21.1508 91.4844 4469 584700 23.28/23.39 o 27855317199 23.38/23.42 c 21.1778 91.4844 4469 585438 23.38/23.42 o 27855317198 23.38/23.46 c 21.2068 91.4844 4470 586472 23.38/23.46 o 27852544973 23.38/23.49 c 21.2368 91.4844 4475 587116 23.38/23.49 o 27852544965 23.49/23.53 c 21.2758 91.4844 4479 587869 23.49/23.53 o 27849772744 23.49/23.57 c 21.3048 91.4844 4484 588511 23.49/23.57 o 27849772727 23.58/23.60 c 21.3308 91.4844 4486 589635 23.58/23.60 o 27813733824 23.58/23.63 c 21.3568 91.4844 4486 590680 23.58/23.63 o 27810961599 23.58/23.66 c 21.3847 91.4844 4486 591687 23.58/23.66 o 27808189374 23.68/23.70 c 21.4247 91.4844 4488 592402 23.68/23.70 o 27805417149 23.68/23.74 c 21.4607 91.4844 4506 593035 23.68/23.74 o 27805417089 23.68/23.78 c 21.4907 91.4844 4509 593630 23.68/23.78 o 27802644925 23.78/23.81 c 21.5217 91.4844 4516 594477 23.78/23.81 o 27799872710 23.78/23.84 c 21.5497 91.4844 4518 595034 23.78/23.84 o 27799872638 24.28/24.37 c 22.0406 91.6133 4613 595327 24.28/24.37 o 27799872637 24.39/24.47 c 22.1316 91.6133 3673 595930 24.39/24.47 o 27797100484 24.49/24.51 c 22.1636 91.6133 3679 596526 24.49/24.51 o 27797100466 24.49/24.57 c 22.2216 91.6133 3703 597142 24.49/24.57 o 27797100426 24.68/24.77 c 22.4026 91.6133 3739 597743 24.68/24.77 o 27794328238 24.79/24.81 c 22.4396 91.6133 3747 598353 24.79/24.81 o 27794328214 24.79/24.85 c 22.4796 91.6133 3754 598956 24.79/24.85 o 27794328212 24.88/24.99 c 22.6086 91.6133 3771 599531 24.88/24.99 o 27791556034 24.99/25.03 c 22.6446 91.6133 3783 600196 24.99/25.03 o 27791555975 25.19/25.27 c 22.8575 91.6133 3831 600829 25.19/25.27 o 27788783806 25.29/25.31 c 22.8905 91.6133 3842 601422 25.29/25.31 o 27788783767 25.48/25.58 c 23.1485 91.6133 3858 602021 25.48/25.58 o 27786011589 25.58/25.62 c 23.1825 91.6133 3866 602598 25.58/25.62 o 27786011539 25.58/25.65 c 23.2125 91.6133 3873 602842 25.58/25.65 o 27786011538 25.79/25.87 c 23.4124 91.6133 3896 603444 25.79/25.87 o 27783239361 25.89/25.97 c 23.4944 91.6133 3936 604057 25.89/25.97 o 27783239359 25.98/26.00 c 23.5254 91.6133 3940 604638 25.98/26.00 o 27783239350 25.98/26.03 c 23.5514 91.6133 3940 605209 25.98/26.03 o 27783239313 25.98/26.07 c 23.5834 91.6133 3947 605405 25.98/26.07 o 27783239312 26.18/26.24 c 23.7364 91.6133 3980 606049 26.18/26.24 o 27780467143 26.18/26.27 c 23.7654 91.6133 3984 606613 26.18/26.27 o 27780467079 26.49/26.51 c 23.9834 91.6133 4018 607320 26.49/26.51 o 27780467072 26.58/26.64 c 24.1013 91.6133 4041 607901 26.58/26.64 o 27777694906 26.58/26.67 c 24.1333 91.6133 4054 608474 26.58/26.67 o 27777694866 26.78/26.87 c 24.3113 91.6133 4081 609064 26.78/26.87 o 27774922684 26.99/27.02 c 24.4483 91.6133 4144 609328 26.99/27.02 o 27774922683 26.99/27.05 c 24.4753 91.6133 4148 609885 26.99/27.05 o 27774922676 27.28/27.38 c 24.7782 91.6133 4184 610467 27.28/27.38 o 27774922675 27.39/27.42 c 24.8092 91.6133 4193 611040 27.39/27.42 o 27774922655 27.39/27.48 c 24.8642 91.6133 4215 611661 27.39/27.48 o 27774922648 27.78/27.80 c 25.1552 91.6133 4246 612260 27.78/27.80 o 27772150463 27.78/27.84 c 25.1862 91.6133 4253 612827 27.78/27.84 o 27772150461 27.78/27.87 c 25.2182 91.6133 4255 613386 27.78/27.87 o 27772150421 27.89/27.91 c 25.2562 91.6133 4264 613922 27.89/27.91 o 27772150420 27.89/27.97 c 25.3112 91.6133 4278 614500 27.89/27.97 o 27772150416 27.99/28.00 c 25.3411 91.6133 4279 615061 27.99/28.00 o 27772150403 28.18/28.20 c 25.5201 91.6133 4328 615761 28.18/28.20 o 27769378238 28.18/28.23 c 25.5491 91.6133 4333 616304 28.18/28.23 o 27769378236 28.18/28.26 c 25.5821 91.6133 4342 616838 28.18/28.26 o 27769378232 28.29/28.33 c 25.6381 91.6133 4350 617401 28.29/28.33 o 27769378229 28.38/28.42 c 25.7321 91.6133 4370 618035 28.38/28.42 o 27769378221 28.49/28.55 c 25.8521 91.6133 4390 618611 28.49/28.55 o 27769378217 28.49/28.60 c 25.8911 91.6133 4404 619241 28.49/28.60 o 27769378193 28.78/28.87 c 26.152 91.6133 4448 619844 28.78/28.87 o 27766606014 28.89/28.90 c 26.178 91.6133 4448 619975 28.89/28.90 o 27766606013 28.89/28.98 c 26.248 91.6133 4474 620152 28.89/28.98 o 27766606012 28.99/29.01 c 26.277 91.6133 4477 620724 28.99/29.01 o 27766605966 29.49/29.50 c 26.7259 91.7422 4574 621401 29.49/29.50 o 27763833795 29.49/29.54 c 26.7609 91.7422 4578 621535 29.49/29.54 o 27763833794 29.49/29.57 c 26.7899 91.7422 4579 622097 29.49/29.57 o 27763833752 29.98/30.05 c 27.2369 91.7422 4659 622750 29.98/30.05 o 27761061572 29.98/30.09 c 27.2709 91.7422 4673 623342 29.98/30.09 o 27761061570 30.48/30.56 c 27.7158 91.7422 4744 624028 30.48/30.56 o 27761061566 30.58/30.60 c 27.7468 91.7422 4115 624571 30.58/30.60 o 27761061564 30.58/30.63 c 27.7758 91.7422 4116 625109 30.58/30.63 o 27761061562 30.69/30.72 c 27.8518 91.7422 4146 625291 30.69/30.72 o 27761061561 30.99/31.03 c 28.1407 91.7422 4217 626766 30.99/31.03 o 23663712813 30.99/31.08 c 28.1877 91.7422 4233 628045 30.99/31.08 o 23660940588 31.08/31.11 c 28.2147 91.7422 4233 629189 31.08/31.11 o 23652623913 31.08/31.14 c 28.2427 91.7422 4234 630144 31.08/31.14 o 23649851689 31.08/31.17 c 28.2677 91.7422 4234 631043 31.08/31.17 o 23649851688 31.18/31.20 c 28.2937 91.7422 4235 632004 31.18/31.20 o 23647079463 31.18/31.23 c 28.3197 91.7422 4236 632996 31.18/31.23 o 23644307239 31.18/31.26 c 28.3467 91.7422 4236 633888 31.18/31.26 o 23644307238 31.18/31.29 c 28.3747 91.7422 4236 634899 31.18/31.29 o 23641535013 31.28/31.32 c 28.3997 91.7422 4236 635869 31.28/31.32 o 23638762788 31.28/31.35 c 28.4267 91.7422 4236 636916 31.28/31.35 o 23635990563 31.28/31.39 c 28.4647 91.7422 4238 637836 31.28/31.39 o 23633218339 31.38/31.42 c 28.4917 91.7422 4239 638358 31.38/31.42 o 23633218338 31.38/31.45 c 28.5197 91.7422 4239 639368 31.38/31.45 o 23630446115 31.38/31.49 c 28.5487 91.7422 3813 639803 31.38/31.49 o 23630446114 31.48/31.54 c 28.5897 91.7422 3818 640918 31.48/31.54 o 23627673889 31.48/31.57 c 28.6216 91.7422 3821 642114 31.48/31.57 o 23530646084 31.58/31.60 c 28.6506 91.7422 3821 643248 31.58/31.60 o 23519557177 31.58/31.63 c 28.6786 91.7422 3821 644052 31.58/31.63 o 23516784960 31.58/31.66 c 28.7066 91.7422 3822 644829 31.58/31.66 o 23516784953 31.58/31.69 c 28.7346 91.7422 3823 645908 31.58/31.69 o 23514012735 31.68/31.72 c 28.7616 91.7422 3823 646945 31.68/31.72 o 23514012728 31.68/31.75 c 28.7896 91.7422 3824 648015 31.68/31.75 o 23511240510 31.68/31.79 c 28.8196 91.7422 3824 649082 31.68/31.79 o 23511240499 31.79/31.82 c 28.8456 91.7422 3824 650222 31.79/31.82 o 23502923824 31.79/31.85 c 28.8746 91.7422 3824 651271 31.79/31.85 o 23500151599 31.79/31.88 c 28.9016 91.7422 3824 652313 31.79/31.88 o 23497379374 31.89/31.91 c 28.9296 91.7422 3825 653425 31.89/31.91 o 23494607150 31.89/31.94 c 28.9546 91.7422 3825 654108 31.89/31.94 o 23491834925 31.89/31.97 c 28.9806 91.7422 3825 654799 31.89/31.97 o 23489062700 31.98/32.00 c 29.0116 91.7422 3826 655129 31.98/32.00 o 23489062699 31.98/32.03 c 29.0366 91.7422 3826 656254 31.98/32.03 o 23439162657 31.98/32.06 c 29.0646 91.7422 3827 657048 31.98/32.06 o 23436390437 31.98/32.09 c 29.0926 91.7422 3827 658040 31.98/32.09 o 23436390432 32.08/32.12 c 29.1216 91.7422 3827 659067 32.08/32.12 o 23433618207 32.08/32.15 c 29.1486 91.7422 3827 660057 32.08/32.16 o 23430845982 32.08/32.19 c 29.1776 91.7422 3827 661079 32.08/32.19 o 23428073757 32.18/32.22 c 29.2046 91.7422 3827 662072 32.18/32.22 o 23425301532 32.18/32.25 c 29.2296 91.7422 3827 662801 32.18/32.25 o 23422529307 32.18/32.28 c 29.2586 91.7422 3827 663494 32.18/32.28 o 23419757082 32.28/32.31 c 29.2895 91.7422 3827 664195 32.28/32.31 o 23416984857 32.28/32.34 c 29.3175 91.7422 3827 664880 32.28/32.34 o 23414212632 32.28/32.37 c 29.3485 91.7422 3827 665906 32.28/32.37 o 23411440407 32.39/32.41 c 29.3835 91.7422 3829 666574 32.39/32.41 o 23408668182 32.39/32.44 c 29.4155 91.7422 3834 667688 32.39/32.44 o 23364312657 32.39/32.47 c 29.4415 91.7422 3834 668380 32.39/32.47 o 23364312656 32.48/32.50 c 29.4725 91.7422 3835 669407 32.48/32.50 o 23361540445 32.48/32.53 c 29.5005 91.7422 3835 670133 32.48/32.53 o 23361540439 32.48/32.56 c 29.5275 91.7422 3835 670877 32.48/32.57 o 23361540432 32.48/32.60 c 29.5575 91.7422 3835 671674 32.48/32.60 o 23361540431 32.58/32.63 c 29.5885 91.7422 3837 672467 32.58/32.63 o 23358768214 32.58/32.66 c 29.6155 91.7422 3837 673178 32.58/32.66 o 23358768206 32.58/32.69 c 29.6405 91.7422 3837 673873 32.58/32.69 o 23355995982 32.69/32.72 c 29.6705 91.7422 3838 674244 32.69/32.72 o 23355995981 32.69/32.75 c 29.6965 91.7422 3838 675357 32.69/32.75 o 23225701460 32.69/32.78 c 29.7225 91.7422 3839 676389 32.69/32.78 o 23222929242 32.78/32.81 c 29.7495 91.7422 3839 677429 32.78/32.81 o 23222929235 32.78/32.84 c 29.7775 91.7422 3839 678344 32.78/32.84 o 23220157012 32.78/32.87 c 29.8055 91.7422 3839 679325 32.78/32.87 o 23220157010 32.89/32.90 c 29.8325 91.7422 3839 680066 32.89/32.90 o 23217384786 32.89/32.93 c 29.8625 91.7422 3840 680415 32.89/32.93 o 23217384785 32.89/32.96 c 29.8915 91.7422 3840 681127 32.89/32.96 o 23214612560 32.89/32.99 c 29.9215 91.7422 3840 682114 32.89/32.99 o 23211840335 32.99/33.04 c 29.9594 91.7422 3843 682819 32.99/33.04 o 23209068111 32.99/33.09 c 30.0014 91.7422 3853 683403 32.99/33.09 o 23209068081 33.09/33.12 c 30.0264 91.7422 3853 684004 33.09/33.12 o 23209068070 33.09/33.15 c 30.0564 91.7422 3854 684264 33.09/33.15 o 23209068069 33.18/33.25 c 30.1524 91.7422 3870 684881 33.18/33.25 o 23206295887 33.29/33.30 c 30.1914 91.7422 3880 685503 33.29/33.30 o 23206295879 33.29/33.33 c 30.2214 91.7422 3884 686105 33.29/33.33 o 23206295820 33.29/33.36 c 30.2504 91.7422 3886 686809 33.29/33.36 o 23206295800 33.58/33.66 c 30.5224 91.8711 3909 687439 33.58/33.66 o 23203523590 33.68/33.73 c 30.5863 91.8711 3925 688015 33.68/33.73 o 23200751410 33.99/34.01 c 30.8473 91.8711 3951 688232 33.99/34.01 o 23200751409 33.99/34.07 c 30.9003 91.8711 3955 688797 33.99/34.07 o 23200751386 34.28/34.36 c 31.1593 91.8711 3999 689564 34.28/34.36 o 23197979195 34.28/34.40 c 31.1943 91.8711 3859 690189 34.28/34.40 o 23197979148 34.38/34.46 c 31.2552 91.8711 3872 690885 34.38/34.46 o 23195206962 34.48/34.56 c 31.3552 91.8711 3888 691321 34.48/34.56 o 23195206961 35.09/35.11 c 31.8652 91.8711 3946 691980 35.09/35.11 o 23192434762 35.09/35.14 c 31.8922 91.8711 3946 692536 35.09/35.14 o 23192434713 35.09/35.17 c 31.9151 91.8711 3946 692727 35.09/35.17 o 23192434712 35.09/35.20 c 31.9391 91.8711 3947 692916 35.09/35.20 o 23192434711 35.39/35.45 c 32.1681 91.8711 3977 693521 35.39/35.45 o 23189662515 35.39/35.48 c 32.2031 91.8711 3986 694166 35.39/35.48 o 23189662487 35.48/35.52 c 32.2331 91.8711 3976 694757 35.48/35.52 o 23189662482 35.48/35.55 c 32.2591 91.8711 3976 695340 35.48/35.55 o 23189662467 35.48/35.59 c 32.2991 91.8711 3986 695556 35.48/35.59 o 23189662466 35.68/35.75 c 32.4451 91.8711 4022 696207 35.68/35.75 o 23186890287 35.78/35.89 c 32.57 91.8711 4039 696499 35.78/35.89 o 23186890286 36.49/36.55 c 33.183 92 4168 697584 36.49/36.55 o 23186890262 36.69/36.72 c 33.3399 92 4192 698167 36.69/36.72 o 23184118087 36.69/36.75 c 33.3709 92 4205 698745 36.69/36.75 o 23184118046 37.18/37.22 c 33.7889 92 4250 699397 37.18/37.22 o 23181345853 37.18/37.29 c 33.8549 92 4267 700014 37.18/37.29 o 23181345816 37.39/37.49 c 34.0358 92 4295 700601 37.39/37.49 o 23178573635 37.48/37.53 c 34.0738 92 4310 701336 37.48/37.53 o 23178573591 37.58/37.65 c 34.1828 92.1289 4335 702057 37.58/37.65 o 23175801424 37.58/37.69 c 34.2168 92.1289 4340 702731 37.58/37.69 o 23175801407 37.68/37.72 c 34.2438 92.1289 4341 703295 37.68/37.72 o 23175801398 37.68/37.75 c 34.2718 92.1289 4344 703880 37.68/37.75 o 23175801393 37.88/37.95 c 34.4558 92.1289 4370 704170 37.88/37.95 o 23175801392 37.88/37.99 c 34.4908 92.1289 4381 704777 37.88/37.99 o 23175801352 38.08/38.11 c 34.6047 92.1289 4405 705352 38.08/38.11 o 23173029167 38.08/38.14 c 34.6347 92.1289 4408 705905 38.08/38.14 o 23173029141 38.08/38.18 c 34.6707 92.1289 4416 706567 38.08/38.18 o 23173029138 38.28/38.31 c 34.7867 92.1289 4435 707121 38.28/38.31 o 23170256963 38.28/38.36 c 34.8287 92.1289 4447 707753 38.28/38.36 o 23170256919 38.59/38.63 c 35.0807 92.1289 4479 708350 38.59/38.63 o 23167484731 38.59/38.67 c 35.1197 92.1289 4502 709211 38.59/38.67 o 23167484693 38.88/38.91 c 35.3406 92.1289 4532 709782 38.88/38.91 o 23164712510 38.88/38.94 c 35.3676 92.1289 4532 710320 38.88/38.94 o 23164712468 38.88/38.98 c 35.3996 92.1289 4533 710729 38.88/38.98 o 23164712467 39.18/39.26 c 35.6616 92.1289 4584 711359 39.18/39.26 o 23161940284 39.28/39.30 c 35.6976 92.1289 4592 711911 39.28/39.30 o 23161940274 39.38/39.41 c 35.7986 92.2578 4614 712130 39.38/39.41 o 23161940273 39.38/39.45 c 35.8376 92.2578 4627 712772 39.38/39.45 o 23161940230 39.49/39.60 c 35.9735 92.2578 4663 713415 39.49/39.60 o 23159168071 39.59/39.64 c 36.0065 92.2578 4668 713971 39.59/39.64 o 23159168020 39.59/39.69 c 36.0485 92.2578 4672 714537 39.59/39.69 o 23159168015 39.88/39.91 c 36.2615 92.2578 4705 715145 39.88/39.91 o 23156395838 39.88/39.95 c 36.2985 92.2578 4730 715343 39.88/39.95 o 23156395837 39.88/39.99 c 36.3355 92.2578 4747 715943 39.88/39.99 o 23156395835 40.08/40.15 c 36.4835 92.2578 4804 716561 40.08/40.15 o 23156395824 40.19/40.21 c 36.5414 92.2578 4817 717147 40.19/40.21 o 23156395778 40.28/40.39 c 36.7134 92.2578 4851 717715 40.28/40.39 o 23153623611 40.58/40.62 c 36.9254 92.3867 4907 718417 40.58/40.62 o 23153623570 40.58/40.67 c 36.9654 92.3867 4914 718569 40.58/40.67 o 23153623569 41.09/41.20 c 37.4573 92.3867 4986 719208 41.09/41.20 o 23150851395 41.18/41.23 c 37.4843 92.3867 4988 719597 41.18/41.23 o 23150851394 41.18/41.26 c 37.5103 92.3867 4988 719763 41.18/41.26 o 23150851393 41.18/41.29 c 37.5403 92.3867 4989 720319 41.18/41.29 o 23150851388 41.28/41.33 c 37.5713 92.3867 5003 720879 41.28/41.33 o 23150851384 41.38/41.42 c 37.6603 92.3867 5033 721485 41.38/41.42 o 23150851374 41.38/41.46 c 37.6993 92.3867 5041 721641 41.38/41.46 o 23150851373 42.08/42.18 c 38.3562 92.3867 5084 721831 42.08/42.18 o 23150851372 42.48/42.57 c 38.7291 92.3867 3269 721997 42.48/42.57 o 23150851371 42.58/42.61 c 38.7561 92.3867 3269 723119 42.58/42.61 o 19000830380 42.58/42.64 c 38.7811 92.3867 3270 724075 42.58/42.64 o 18998058155 42.58/42.67 c 38.8071 92.3867 3270 724843 42.58/42.67 o 18995285930 42.58/42.69 c 38.8271 92.3867 3271 725512 42.58/42.69 o 18992513707 42.68/42.72 c 38.8501 92.3867 3271 726537 42.68/42.72 o 18989741484 42.68/42.74 c 38.8741 92.3867 3271 727633 42.68/42.74 o 18986969258 42.68/42.77 c 38.8971 92.3867 3271 728544 42.68/42.77 o 18986969257 42.68/42.80 c 38.9201 92.3867 3271 729599 42.68/42.80 o 18984197032 42.79/42.82 c 38.9431 92.3867 3271 730659 42.79/42.82 o 18981424807 42.79/42.85 c 38.9641 92.3867 3271 731697 42.79/42.85 o 18978652582 42.79/42.87 c 38.9871 92.3867 3271 732756 42.79/42.87 o 18975880357 42.79/42.90 c 39.0121 92.3867 3271 733815 42.79/42.90 o 18973108132 42.89/42.93 c 39.0361 92.3867 3271 734863 42.89/42.93 o 18970335907 42.89/42.95 c 39.0611 92.3867 3271 735886 42.89/42.95 o 18967563682 42.89/42.98 c 39.0861 92.3867 3271 736980 42.89/42.98 o 18964791458 42.98/43.00 c 39.1091 92.3867 3271 737688 42.98/43.00 o 18964791457 42.98/43.03 c 39.1301 92.3867 3272 738670 42.98/43.03 o 18962019232 42.98/43.06 c 39.154 92.3867 3272 739699 42.98/43.06 o 18959247007 42.98/43.08 c 39.18 92.3867 1799 740512 42.98/43.08 o 18956474782 43.08/43.11 c 39.204 92.3867 1799 741482 43.08/43.11 o 18953702557 43.08/43.13 c 39.229 92.3867 1800 742464 43.08/43.13 o 18950930332 43.08/43.16 c 39.255 92.3867 1802 743143 43.08/43.16 o 18948158107 43.08/43.19 c 39.281 92.3867 1802 744250 43.08/43.19 o 18773508001 43.18/43.21 c 39.302 92.3867 1802 744927 43.18/43.21 o 18770735777 43.18/43.24 c 39.326 92.3867 1802 745304 43.18/43.24 o 18770735776 43.18/43.26 c 39.35 92.3867 1803 746034 43.18/43.27 o 18767963551 43.28/43.31 c 39.387 92.3867 1808 746619 43.28/43.31 o 18767963536 43.28/43.34 c 39.415 92.3867 1810 747955 43.28/43.34 o 18748558027 43.28/43.36 c 39.44 92.3867 1812 748898 43.28/43.36 o 18745785804 43.28/43.39 c 39.464 92.3867 1816 749587 43.28/43.39 o 18745785802 43.38/43.42 c 39.484 92.3867 1816 750649 43.38/43.42 o 18729152451 43.38/43.44 c 39.506 92.3867 1817 751368 43.38/43.44 o 18726380234 43.38/43.47 c 39.53 92.3867 1817 752388 43.38/43.47 o 18726380226 43.38/43.49 c 39.551 92.3867 1817 753384 43.38/43.49 o 18723608001 43.48/43.52 c 39.573 92.3867 1817 754407 43.48/43.52 o 18720835776 43.48/43.55 c 39.599 92.3867 1817 755367 43.48/43.55 o 18718063551 43.48/43.57 c 39.623 92.3867 1817 756335 43.48/43.57 o 18715291326 43.58/43.60 c 39.646 92.3867 1817 757019 43.58/43.60 o 18712519101 43.58/43.62 c 39.671 92.3867 1817 757682 43.58/43.62 o 18709746876 43.58/43.65 c 39.695 92.3867 1817 758370 43.58/43.65 o 18706974651 43.58/43.67 c 39.721 92.3867 1817 759339 43.58/43.67 o 18704202426 43.68/43.70 c 39.743 92.3867 1817 760263 43.68/43.70 o 18701430201 43.68/43.73 c 39.768 92.3867 1818 761138 43.68/43.73 o 18698657976 43.68/43.75 c 39.789 92.3867 1819 761846 43.68/43.75 o 18695885752 43.68/43.78 c 39.8149 92.3867 1819 762945 43.68/43.78 o 18684796906 43.78/43.81 c 39.8399 92.3867 1819 763786 43.78/43.81 o 18684796905 43.78/43.83 c 39.8629 92.3867 1819 764522 43.78/43.83 o 18684796899 43.78/43.86 c 39.8839 92.3867 1819 765206 43.78/43.86 o 18682024681 43.78/43.88 c 39.9089 92.3867 1819 766291 43.78/43.88 o 18670935780 43.88/43.91 c 39.9339 92.3867 1819 767255 43.88/43.91 o 18668163555 43.88/43.94 c 39.9549 92.3867 1819 768018 43.88/43.94 o 18665391333 43.88/43.97 c 39.9839 92.3867 1820 768945 43.88/43.97 o 18665391330 43.88/44.00 c 40.0089 92.3867 1822 769640 43.88/44.00 o 18662619105 43.99/44.02 c 40.0349 92.3867 1823 770267 43.99/44.02 o 18662619007 44.08/44.13 c 40.1349 92.3867 1848 770542 44.08/44.13 o 18662619006 44.58/44.64 c 40.5978 92.3867 1932 771279 44.58/44.64 o 18659846809 44.99/45.09 c 41.0128 92.3867 2008 771976 44.99/45.09 o 18657074646 45.09/45.12 c 41.0378 92.3867 2010 772752 45.09/45.12 o 18657074554 45.09/45.15 c 41.0618 92.3867 2011 773025 45.09/45.15 o 18657074553 45.09/45.19 c 41.1058 92.3867 2025 773297 45.09/45.19 o 18657074552 45.78/45.84 c 41.7047 92.3867 2128 774298 45.78/45.84 o 18654302361 45.78/45.89 c 41.7477 92.3867 2130 774914 45.78/45.89 o 18654302359 45.88/45.91 c 41.7726 92.3867 2131 775557 45.88/45.91 o 18654302349 45.88/45.94 c 41.7946 92.3867 2132 776191 45.88/45.94 o 18651530179 45.88/45.97 c 41.8196 92.3867 2132 776806 45.88/45.97 o 18651530172 45.88/46.00 c 41.8476 92.3867 2133 777049 45.88/46.00 o 18651530171 45.98/46.02 c 41.8726 92.3867 2133 777662 45.98/46.02 o 18648757971 45.98/46.05 c 41.8936 92.3867 2133 777899 45.98/46.05 o 18648757970 45.98/46.07 c 41.9186 92.3867 2134 778508 45.98/46.07 o 18648757967 46.09/46.10 c 41.9406 92.3867 2134 779131 46.09/46.10 o 18648757912 46.09/46.12 c 41.9636 92.3867 2134 779768 46.09/46.12 o 18648757892 46.09/46.15 c 41.9896 92.3867 2137 780033 46.09/46.15 o 18648757891 46.19/46.26 c 42.0866 92.3867 2152 780725 46.19/46.26 o 18645985691 46.19/46.29 c 42.1116 92.3867 2152 781329 46.19/46.29 o 18643213520 46.28/46.31 c 42.1356 92.3867 2152 781575 46.28/46.31 o 18643213519 46.28/46.34 c 42.1606 92.3867 2153 782196 46.28/46.34 o 18643213512 46.28/46.36 c 42.1846 92.3867 2154 782823 46.28/46.36 o 18643213490 46.28/46.39 c 42.2066 92.3867 2154 783444 46.28/46.39 o 18640441287 46.38/46.43 c 42.2386 92.3867 2158 784093 46.38/46.43 o 18640441285 46.38/46.45 c 42.2646 92.3867 2159 784678 46.38/46.45 o 18640441257 46.38/46.49 c 42.2996 92.3867 2170 784952 46.38/46.49 o 18640441256 46.58/46.60 c 42.3976 92.3867 2184 785637 46.58/46.60 o 18640441236 46.58/46.62 c 42.4196 92.3867 2184 785884 46.58/46.62 o 18640441235 46.58/46.65 c 42.4475 92.3867 2187 786136 46.58/46.65 o 18640441234 46.98/47.07 c 42.8335 92.3867 2269 787151 46.98/47.07 o 18640441217 47.08/47.17 c 42.9265 92.3867 2293 787804 47.08/47.17 o 18637668999 47.58/47.61 c 43.3234 92.3867 2338 788468 47.58/47.61 o 18637668990 47.58/47.64 c 43.3494 92.3867 2335 789030 47.58/47.64 o 18634896826 47.58/47.66 c 43.3704 92.3867 2335 789237 47.58/47.66 o 18634896825 47.58/47.69 c 43.3974 92.3867 2337 789436 47.58/47.69 o 18634896824 47.68/47.72 c 43.4214 92.3867 2338 790061 47.68/47.72 o 18634896812 47.68/47.75 c 43.4474 92.3867 2339 790550 47.68/47.75 o 18634896811 47.78/47.82 c 43.5114 92.3867 2352 791150 47.78/47.82 o 18632124610 47.88/47.92 c 43.6114 92.3867 2371 791860 47.88/47.92 o 18632124577 47.88/47.95 c 43.6354 92.3867 2371 792523 47.88/47.95 o 18632124543 47.98/48.09 c 43.7633 92.3867 2426 793271 47.98/48.09 o 18629352330 48.08/48.14 c 43.8063 92.3867 2436 793886 48.08/48.14 o 18626580148 48.18/48.28 c 43.9293 92.3867 2451 794489 48.18/48.28 o 18623807938 48.29/48.32 c 43.9673 92.3867 2458 795090 48.29/48.32 o 18623807885 48.29/48.35 c 43.9953 92.3867 2460 795700 48.29/48.35 o 18621035694 48.29/48.38 c 44.0203 92.3867 2464 796290 48.29/48.38 o 18621035678 48.29/48.40 c 44.0443 92.3867 2464 796876 48.29/48.40 o 18618263500 48.39/48.43 c 44.0713 92.3867 2464 797164 48.39/48.43 o 18618263499 48.39/48.46 c 44.0993 92.3867 2465 797393 48.39/48.46 o 18618263498 48.39/48.49 c 44.1213 92.3867 2465 798025 48.39/48.49 o 18618263452 48.48/48.51 c 44.1413 92.3867 2465 798281 48.48/48.51 o 18618263451 48.48/48.54 c 44.1633 92.3867 2466 798528 48.48/48.54 o 18618263450 48.48/48.58 c 44.2023 92.3867 2471 799108 48.48/48.58 o 18615491276 48.58/48.61 c 44.2303 92.3867 2466 799713 48.58/48.61 o 18615491219 48.58/48.64 c 44.2543 92.3867 2466 800345 48.58/48.64 o 18612719024 48.58/48.66 c 44.2763 92.3867 2467 800609 48.58/48.66 o 18612719023 48.78/48.80 c 44.4062 92.3867 2518 801343 48.78/48.80 o 18609946808 48.78/48.83 c 44.4332 92.3867 2523 801926 48.78/48.83 o 18609946769 48.78/48.85 c 44.4582 92.3867 2523 802119 48.78/48.85 o 18609946768 49.18/49.28 c 44.8412 92.3867 2599 802865 49.18/49.28 o 18609946762 49.28/49.36 c 44.9222 92.3867 2616 803451 49.28/49.36 o 18607174595 49.38/49.41 c 44.9612 92.3867 2631 804018 49.38/49.41 o 18607174562 49.38/49.44 c 44.9902 92.3867 2635 804610 49.38/49.44 o 18604402374 49.38/49.47 c 45.0182 92.3867 2638 805280 49.38/49.47 o 18604402370 49.49/49.51 c 45.0502 92.3867 2639 806621 49.49/49.51 o 18601630165 49.49/49.53 c 45.0731 92.3867 2639 807314 49.49/49.53 o 18598857940 49.49/49.56 c 45.0991 92.3867 2640 808002 49.49/49.56 o 18596085715 49.49/49.59 c 45.1241 92.3867 2643 808621 49.49/49.59 o 18596085671 49.58/49.61 c 45.1481 92.3867 2643 809283 49.58/49.61 o 18593313473 50.08/50.20 c 45.6531 92.3867 2760 812552 50.08/50.20 o 18593313454 50.18/50.22 c 45.6781 92.3867 2762 813174 50.18/50.22 o 18593313410 50.18/50.25 c 45.7021 92.3867 2762 813754 50.18/50.25 o 18590541243 50.18/50.29 c 45.735 92.3867 2771 814014 50.18/50.29 o 18590541242 50.28/50.31 c 45.759 92.3867 2776 814575 50.28/50.31 o 18590541231 50.28/50.34 c 45.781 92.3867 2777 815130 50.28/50.34 o 18590541229 50.98/51.04 c 46.4399 92.3867 2846 815777 50.98/51.04 o 18587769019 50.98/51.07 c 46.4649 92.3867 2351 816351 50.98/51.07 o 18587768966 51.08/51.13 c 46.5289 92.3867 2366 816755 51.08/51.13 o 18587768965 51.18/51.20 c 46.5919 92.3867 2377 817329 51.18/51.20 o 18584996795 51.18/51.23 c 46.6199 92.3867 2383 818043 51.18/51.23 o 18584996737 51.18/51.26 c 46.6429 92.3867 2383 818621 51.18/51.26 o 18582224574 51.28/51.31 c 46.6929 92.3867 2400 818875 51.28/51.31 o 18582224573 51.28/51.34 c 46.7139 92.3867 2401 819443 51.28/51.34 o 18582224534 52.08/52.16 c 47.4828 92.3867 2545 820265 52.08/52.16 o 18579452328 52.08/52.19 c 47.5058 92.3867 2548 820851 52.08/52.19 o 18579452315 52.18/52.21 c 47.5268 92.3867 2548 821048 52.18/52.21 o 18579452314 52.18/52.24 c 47.5488 92.3867 2551 821710 52.18/52.24 o 18579452308 52.27/52.36 c 47.6588 92.3867 2576 822381 52.27/52.36 o 18576680127 52.27/52.39 c 47.6798 92.3867 2577 822935 52.27/52.39 o 18576680085 52.48/52.56 c 47.8427 92.3867 2629 823212 52.48/52.56 o 18576680084 52.58/52.61 c 47.8867 92.3867 2643 823358 52.58/52.61 o 18576680083 52.88/52.93 c 48.1847 92.3867 2679 823982 52.88/52.93 o 18573907882 53.28/53.36 c 48.5766 92.3867 2727 824613 53.28/53.36 o 18571135668 53.28/53.39 c 48.6026 92.3867 2708 825176 53.28/53.39 o 18571135641 53.37/53.41 c 48.6246 92.3867 2709 825349 53.37/53.41 o 18571135640 53.37/53.44 c 48.6486 92.3867 2710 825533 53.37/53.44 o 18571135639 53.58/53.63 c 48.8236 92.3867 2732 826116 53.58/53.63 o 18568363457 53.58/53.65 c 48.8476 92.3867 2733 826675 53.58/53.65 o 18568363414 53.58/53.68 c 48.8716 92.3867 2734 826843 53.58/53.68 o 18568363413 53.89/53.92 c 49.0975 92.3867 2768 827472 53.89/53.92 o 18565591226 53.89/53.95 c 49.1215 92.3867 2768 828004 53.89/53.95 o 18565591189 53.89/53.97 c 49.1415 92.3867 2768 828173 53.89/53.97 o 18565591188 53.98/54.05 c 49.2145 92.3867 2801 828397 53.98/54.05 o 18565591187 54.18/54.28 c 49.4305 92.3867 2846 829053 54.18/54.28 o 18565591174 54.37/54.41 c 49.5535 92.3867 2859 829612 54.37/54.41 o 18562819011 54.37/54.44 c 49.5755 92.3867 2860 830151 54.37/54.44 o 18562818994 54.37/54.46 c 49.5965 92.3867 2860 830301 54.37/54.46 o 18562818993 54.48/54.52 c 49.6415 92.3867 2877 830497 54.48/54.52 o 18562818992 54.48/54.54 c 49.6664 92.3867 2879 831049 54.48/54.54 o 18562818970 54.48/54.57 c 49.6944 92.3867 2880 831580 54.48/54.57 o 18562818965 54.88/54.96 c 50.0584 92.3867 2923 832144 54.88/54.96 o 18560046770 54.88/54.99 c 50.0834 92.3867 2925 832690 54.88/54.99 o 18560046741 54.98/55.01 c 50.1054 92.3867 2925 832857 54.98/55.01 o 18560046740 54.98/55.05 c 50.1384 92.3867 2932 833050 54.98/55.05 o 18560046739 55.38/55.42 c 50.4863 92.3867 2978 833671 55.38/55.42 o 18557274559 55.38/55.45 c 50.5103 92.3867 2979 834217 55.38/55.45 o 18557274550 55.48/55.52 c 50.5763 92.3867 3007 834413 55.48/55.52 o 18557274549 55.68/55.76 c 50.7963 92.3867 3060 835043 55.68/55.76 o 18557274539 55.68/55.79 c 50.8243 92.3867 3072 835631 55.68/55.79 o 18557274511 55.88/55.92 c 50.9513 92.3867 3100 836230 55.88/55.92 o 18554502340 55.88/55.96 c 50.9783 92.3867 2712 836859 55.88/55.96 o 18554502274 55.99/56.05 c 51.0672 92.3867 2728 837401 55.99/56.05 o 18551730104 55.99/56.07 c 51.0902 92.3867 2728 837949 55.99/56.07 o 18551730065 56.09/56.12 c 51.1332 92.3867 2740 838126 56.09/56.12 o 18551730064 56.28/56.39 c 51.3932 92.3867 2802 838759 56.28/56.39 o 18548957885 56.38/56.42 c 51.4172 92.3867 2802 839282 56.38/56.42 o 18548957841 56.38/56.44 c 51.4372 92.3867 2802 839439 56.38/56.44 o 18548957840 56.48/56.50 c 51.4922 92.3867 2820 839623 56.48/56.50 o 18548957839 56.68/56.75 c 51.7281 92.3867 2858 840208 56.68/56.75 o 18546185661 56.68/56.78 c 51.7531 92.3867 2694 840722 56.68/56.78 o 18546185659 56.77/56.80 c 51.7741 92.3867 2694 840849 56.77/56.80 o 18546185658 56.77/56.85 c 51.8161 92.3867 2708 841006 56.77/56.85 o 18546185657 56.88/56.96 c 51.9191 92.3867 2740 841623 56.88/56.96 o 18546185652 56.88/56.98 c 51.9411 92.3867 2740 841751 56.88/56.98 o 18546185651 56.98/57.01 c 51.9691 92.3867 2743 841887 56.98/57.01 o 18546185650 57.09/57.16 c 52.1001 92.3867 2758 842448 57.09/57.16 o 18546185646 57.09/57.18 c 52.1231 92.3867 2759 842972 57.09/57.18 o 18546185618 57.19/57.25 c 52.1851 92.3867 2783 843228 57.19/57.25 o 18546185617 57.38/57.49 c 52.408 92.3867 2817 843802 57.38/57.49 o 18543413442 57.48/57.52 c 52.439 92.3867 2560 844339 57.48/57.52 o 18543413438 57.48/57.57 c 52.48 92.3867 2572 844478 57.48/57.57 o 18543413437 57.48/57.59 c 52.503 92.3867 2574 845026 57.48/57.59 o 18543413434 57.77/57.82 c 52.708 92.3867 2649 845313 57.77/57.82 o 18543413433 57.88/57.96 c 52.848 92.3867 2678 845921 57.88/57.96 o 18543413431 58.08/58.12 c 52.9889 92.3867 2700 846479 58.08/58.12 o 18543413427 58.08/58.15 c 53.0199 92.3867 1876 847003 58.08/58.15 o 18543413422 58.68/58.70 c 53.5389 92.3867 1943 847221 58.68/58.70 o 18543413421 58.68/58.75 c 53.5819 92.3867 1392 847757 58.68/58.75 o 18540641214 58.68/58.78 c 53.6058 92.3867 1394 847882 58.68/58.78 o 18540641213 58.77/58.80 c 53.6228 92.3867 1394 848004 58.77/58.80 o 18540641212 58.77/58.82 c 53.6408 92.3867 1398 848133 58.77/58.82 o 18540641211 58.77/58.87 c 53.6918 92.3867 1421 848190 58.77/58.87 s OPTIMUM FOUND 58.77/58.87 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
OK 18540641211
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2684245-1277514812/watcher-2684245-1277514812 -o /tmp/evaluation-result-2684245-1277514812/solver-2684245-1277514812 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2684245-1277514812.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.30 1.09 1.03 3/106 31705 /proc/meminfo: memFree=1830588/2059040 swapFree=4140316/4192956 [pid=31705] ppid=31703 vsize=2416 CPUtime=0 /proc/31705/stat : 31705 (pbct) R 31703 31705 30798 0 -1 4202496 295 0 0 0 0 0 0 0 18 0 1 0 92772734 2473984 215 1992294400 134512640 136421960 4288753280 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31705/statm: 604 215 138 467 0 135 0 [startup+0.0459761 s] /proc/loadavg: 1.30 1.09 1.03 3/106 31705 /proc/meminfo: memFree=1830588/2059040 swapFree=4140316/4192956 [pid=31705] ppid=31703 vsize=2416 CPUtime=0.04 /proc/31705/stat : 31705 (pbct) R 31703 31705 30798 0 -1 4202496 326 0 0 0 4 0 0 0 20 0 1 0 92772734 2473984 246 1992294400 134512640 136421960 4288753280 18446744073709551615 135641990 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31705/statm: 604 246 146 467 0 135 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2416 [startup+0.10098 s] /proc/loadavg: 1.30 1.09 1.03 3/106 31705 /proc/meminfo: memFree=1830588/2059040 swapFree=4140316/4192956 [pid=31705] ppid=31703 vsize=2564 CPUtime=0.1 /proc/31705/stat : 31705 (pbct) R 31703 31705 30798 0 -1 4202496 368 0 0 0 10 0 0 0 20 0 1 0 92772734 2625536 288 1992294400 134512640 136421960 4288753280 18446744073709551615 135154704 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31705/statm: 641 288 146 467 0 172 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2564 [startup+0.300998 s] /proc/loadavg: 1.30 1.09 1.03 3/106 31705 /proc/meminfo: memFree=1830588/2059040 swapFree=4140316/4192956 [pid=31705] ppid=31703 vsize=3408 CPUtime=0.3 /proc/31705/stat : 31705 (pbct) R 31703 31705 30798 0 -1 4202496 565 0 0 0 30 0 0 0 20 0 1 0 92772734 3489792 485 1992294400 134512640 136421960 4288753280 18446744073709551615 134554742 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31705/statm: 852 485 146 467 0 383 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 3408 [startup+0.701034 s] /proc/loadavg: 1.30 1.09 1.03 3/106 31705 /proc/meminfo: memFree=1830588/2059040 swapFree=4140316/4192956 [pid=31705] ppid=31703 vsize=31636 CPUtime=0.69 /proc/31705/stat : 31705 (pbct) R 31703 31705 30798 0 -1 4202496 7838 0 0 0 67 2 0 0 20 0 1 0 92772734 32395264 7273 1992294400 134512640 136421960 4288753280 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31705/statm: 7909 7274 190 467 0 7440 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31636 [startup+1.50111 s] /proc/loadavg: 1.30 1.09 1.03 2/107 31706 /proc/meminfo: memFree=1754940/2059040 swapFree=4140316/4192956 [pid=31705] ppid=31703 vsize=89500 CPUtime=1.49 /proc/31705/stat : 31705 (pbct) R 31703 31705 30798 0 -1 4202496 22972 0 0 0 141 8 0 0 23 0 1 0 92772734 91648000 21292 1992294400 134512640 136421960 4288753280 18446744073709551615 135274869 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31705/statm: 22375 21292 217 467 0 21906 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 89500 [startup+3.10125 s] /proc/loadavg: 1.30 1.09 1.03 2/107 31706 /proc/meminfo: memFree=1744524/2059040 swapFree=4140316/4192956 [pid=31705] ppid=31703 vsize=91696 CPUtime=3.09 /proc/31705/stat : 31705 (pbct) R 31703 31705 30798 0 -1 4202496 23762 0 0 0 280 29 0 0 25 0 1 0 92772734 93896704 21560 1992294400 134512640 136421960 4288753280 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31705/statm: 22924 21560 239 467 0 22455 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 91696 [startup+6.30154 s] /proc/loadavg: 1.27 1.08 1.02 2/107 31706 /proc/meminfo: memFree=1744400/2059040 swapFree=4140316/4192956 [pid=31705] ppid=31703 vsize=91828 CPUtime=6.29 /proc/31705/stat : 31705 (pbct) R 31703 31705 30798 0 -1 4202496 23864 0 0 0 565 64 0 0 25 0 1 0 92772734 94031872 21622 1992294400 134512640 136421960 4288753280 18446744073709551615 134574118 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31705/statm: 22957 21622 239 467 0 22488 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 91828 [startup+12.7011 s] /proc/loadavg: 1.25 1.08 1.02 2/107 31706 /proc/meminfo: memFree=1743904/2059040 swapFree=4140316/4192956 [pid=31705] ppid=31703 vsize=92488 CPUtime=12.69 /proc/31705/stat : 31705 (pbct) R 31703 31705 30798 0 -1 4202496 24176 0 0 0 1136 133 0 0 25 0 1 0 92772734 94707712 21792 1992294400 134512640 136421960 4288753280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31705/statm: 23122 21792 239 467 0 22653 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 92488 [startup+25.5003 s] /proc/loadavg: 1.20 1.08 1.02 2/107 31706 /proc/meminfo: memFree=1742664/2059040 swapFree=4140316/4192956 [pid=31705] ppid=31703 vsize=93808 CPUtime=25.48 /proc/31705/stat : 31705 (pbct) R 31703 31705 30798 0 -1 4202496 24625 0 0 0 2306 242 0 0 25 0 1 0 92772734 96059392 22104 1992294400 134512640 136421960 4288753280 18446744073709551615 135162774 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31705/statm: 23452 22104 239 467 0 22983 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 93808 [startup+51.1006 s] /proc/loadavg: 1.20 1.09 1.03 2/107 31708 /proc/meminfo: memFree=1741548/2059040 swapFree=4140316/4192956 [pid=31705] ppid=31703 vsize=94600 CPUtime=51.08 /proc/31705/stat : 31705 (pbct) R 31703 31705 30798 0 -1 4202496 25175 0 0 0 4649 459 0 0 25 0 1 0 92772734 96870400 22340 1992294400 134512640 136421960 4288753280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31705/statm: 23650 22340 239 467 0 23181 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 94600 ############ # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (59.18 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (59.18 s) to the 'lost time'. [startup+59.2003 s] /proc/loadavg: 1.16 1.08 1.02 2/107 31708 /proc/meminfo: memFree=1741548/2059040 swapFree=4140316/4192956 [pid=31705] ppid=31703 vsize=88548 CPUtime=59.18 /proc/31705/stat : 31705 (pbct) R 31703 31705 30798 0 -1 4202496 25264 0 0 0 5401 517 0 0 25 0 1 0 92772734 90673152 21191 1992294400 134512640 136421960 4288753280 18446744073709551615 135801172 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31705/statm: 22137 21191 242 467 0 21668 0 Current children cumulated CPU time (s) 59.18 Current children cumulated vsize (KiB) 88548 [startup+59.3003 s] /proc/loadavg: 1.16 1.08 1.02 2/107 31708 /proc/meminfo: memFree=1781228/2059040 swapFree=4140316/4192956 [pid=31705] ppid=-1 vsize=0 CPUtime=0 /proc/31705/stat : -- couldn't open stat file --/proc/31705/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 # ############ Solver just ended. Dumping a history of the last processes samples [startup+54.3008 s] /proc/loadavg: 1.18 1.09 1.03 2/107 31708 /proc/meminfo: memFree=1741548/2059040 swapFree=4140316/4192956 [pid=31705] ppid=31703 vsize=94600 CPUtime=54.28 /proc/31705/stat : 31705 (pbct) R 31703 31705 30798 0 -1 4202496 25203 0 0 0 4944 484 0 0 25 0 1 0 92772734 96870400 22341 1992294400 134512640 136421960 4288753280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31705/statm: 23650 22341 239 467 0 23181 0 Current children cumulated CPU time (s) 54.28 Current children cumulated vsize (KiB) 94600 [startup+57.5011 s] /proc/loadavg: 1.18 1.09 1.03 2/107 31708 /proc/meminfo: memFree=1741548/2059040 swapFree=4140316/4192956 [pid=31705] ppid=31703 vsize=94600 CPUtime=57.48 /proc/31705/stat : 31705 (pbct) R 31703 31705 30798 0 -1 4202496 25247 0 0 0 5241 507 0 0 25 0 1 0 92772734 96870400 22350 1992294400 134512640 136421960 4288753280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31705/statm: 23650 22350 239 467 0 23181 0 Current children cumulated CPU time (s) 57.48 Current children cumulated vsize (KiB) 94600 [startup+58.3092 s] /proc/loadavg: 1.16 1.08 1.02 2/107 31708 /proc/meminfo: memFree=1741548/2059040 swapFree=4140316/4192956 [pid=31705] ppid=31703 vsize=94600 CPUtime=58.29 /proc/31705/stat : 31705 (pbct) R 31703 31705 30798 0 -1 4202496 25254 0 0 0 5317 512 0 0 25 0 1 0 92772734 96870400 22350 1992294400 134512640 136421960 4288753280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31705/statm: 23650 22350 239 467 0 23181 0 Current children cumulated CPU time (s) 58.29 Current children cumulated vsize (KiB) 94600 [startup+59.1003 s] /proc/loadavg: 1.16 1.08 1.02 2/107 31708 /proc/meminfo: memFree=1741548/2059040 swapFree=4140316/4192956 [pid=31705] ppid=31703 vsize=88548 CPUtime=59.08 /proc/31705/stat : 31705 (pbct) R 31703 31705 30798 0 -1 4202496 25264 0 0 0 5391 517 0 0 25 0 1 0 92772734 90673152 21191 1992294400 134512640 136421960 4288753280 18446744073709551615 134701510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31705/statm: 22137 21191 242 467 0 21668 0 Current children cumulated CPU time (s) 59.08 Current children cumulated vsize (KiB) 88548 [startup+59.3003 s] /proc/loadavg: 1.16 1.08 1.02 2/107 31708 /proc/meminfo: memFree=1781228/2059040 swapFree=4140316/4192956 [pid=31705] ppid=-1 vsize=0 CPUtime=0 /proc/31705/stat : -- couldn't open stat file --/proc/31705/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child status: 0 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 59.18 # lost CPU user time (s): 54.01 # lost CPU system time (s): 5.17 Real time (s): 59.3053 CPU time (s): 118.471 CPU user time (s): 108.118 CPU system time (s): 10.3532 CPU usage (%): 199.765 Max. virtual memory (cumulated for all children) (KiB): 94600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 54.1078 system time used= 5.18321 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25265 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 102 runsolver used 0.116982 second user time and 0.307953 second system time The end
Begin job on node051 at 2010-06-26 03:13:33 IDJOB=2684245 IDBENCH=72314 IDSOLVER=1192 FILE ID=node051/2684245-1277514812 PBS_JOBID= 11190621 Free space on /tmp= 62556 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand0a62b6.cudf.trendy.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684245-1277514812/watcher-2684245-1277514812 -o /tmp/evaluation-result-2684245-1277514812/solver-2684245-1277514812 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2684245-1277514812.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= adf46ce7116b29ea4c4d11a598f075d4 RANDOM SEED=239035476 node051.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.255 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.255 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1831116 kB Buffers: 32556 kB Cached: 101896 kB SwapCached: 5500 kB Active: 77136 kB Inactive: 70532 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1831116 kB SwapTotal: 4192956 kB SwapFree: 4140316 kB Dirty: 2828 kB Writeback: 20 kB AnonPages: 11852 kB Mapped: 11860 kB Slab: 58288 kB PageTables: 4084 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183056 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62552 MiB End job on node051 at 2010-06-26 03:14:32