Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB/CT 0.1 fixed | OPT | 4241573758 | 182.149 | 182.199 |
| Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ random/rand.newlist/normalized-randc5fe62.cudf.trendy.opb |
| MD5SUM | 43875142ae1c220985d6e8b2ab6ecef8 |
| 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 | 4241573758 |
| Best CPU time to get the best result obtained on this benchmark | 12.3381 |
| 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 | 6791 |
| Total number of constraints | 28455 |
| Number of constraints which are clauses | 28164 |
| Number of constraints which are cardinality constraints (but not clauses) | 291 |
| 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 | 3172 |
| Biggest coefficient in the objective function | 4004529472 |
| Number of bits for the biggest coefficient in the objective function | 32 |
| Sum of the numbers in the objective function | 2210495226091 |
| Number of bits of the sum of numbers in the objective function | 42 |
| Biggest number in a constraint | 4004529472 |
| Number of bits of the biggest number in a constraint | 32 |
| Biggest sum of numbers in a constraint | 2210495226091 |
| 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.29/0.37 c constraints 291/0 clauses 23319/0 units 698 0.29/0.37 c vars 6791 0.29/0.38 c objective 2774 + 25 1.29/1.38 c 1.2928 84.2852 505 107440 1.29/1.38 o 1029779380148 1.39/1.47 c 1.36979 86.0352 540 113872 1.39/1.47 o 973763880686 1.69/1.72 c 1.59076 86.0352 693 133371 1.69/1.72 o 513376643837 1.69/1.79 c 1.64975 86.0352 718 138608 1.69/1.79 o 513338817655 1.79/1.84 c 1.69374 86.0352 728 141875 1.79/1.84 o 513326208937 1.89/1.98 c 1.81972 86.0352 785 151218 1.89/1.98 o 449319302746 2.10/2.11 c 1.93071 86.0352 809 159787 2.10/2.11 o 449190693817 2.10/2.14 c 1.9597 86.0352 819 162142 2.10/2.14 o 449190693794 2.10/2.18 c 1.9867 86.1641 827 164138 2.10/2.18 o 449157911126 2.20/2.23 c 2.03369 86.1641 841 167394 2.20/2.23 o 257147279482 2.29/2.35 c 2.13768 86.1641 896 175159 2.29/2.35 o 257147279463 2.89/2.97 c 2.67659 86.1641 1142 221855 2.89/2.97 o 257081714140 2.99/3.02 c 2.72259 86.1641 1151 224881 2.99/3.02 o 245090821413 2.99/3.05 c 2.74558 86.1641 1151 226204 2.99/3.05 o 245052995252 2.99/3.08 c 2.77158 86.1641 1153 227738 2.99/3.08 o 245040386544 3.09/3.13 c 2.81957 86.1641 1180 230705 3.09/3.13 o 245040386540 3.09/3.19 c 2.87056 86.1641 1194 234356 3.09/3.19 o 137011395330 3.20/3.22 c 2.89756 86.1641 1196 236019 3.20/3.22 o 124954937281 3.20/3.25 c 2.92256 86.1641 1199 237526 3.20/3.25 o 124954937259 3.20/3.28 c 2.94955 86.1641 1200 239456 3.20/3.28 o 124942328550 3.29/3.32 c 2.97855 86.1641 1203 241393 3.29/3.32 o 124919632854 3.29/3.36 c 3.01754 86.1641 1208 243948 3.29/3.36 o 124917111103 3.39/3.41 c 3.05653 86.1641 1237 245908 3.39/3.41 o 124917111102 3.39/3.46 c 3.10653 86.1641 1251 249226 3.39/3.46 o 124864154514 3.49/3.52 c 3.15452 86.1641 1277 253160 3.49/3.52 o 124864154494 3.59/3.61 c 3.23451 86.1641 1301 258019 3.59/3.61 o 124864154481 3.59/3.64 c 3.2615 86.1641 1302 259685 3.59/3.64 o 120912581625 3.99/4.03 c 3.61945 86.1641 1420 282638 3.99/4.03 o 120831885841 3.99/4.08 c 3.66644 86.1641 1426 285079 3.99/4.08 o 120831885826 4.10/4.17 c 3.74643 86.1641 1448 289930 4.10/4.17 o 120831885818 4.19/4.23 c 3.79942 86.1641 1456 293821 4.19/4.23 o 116885356447 4.19/4.26 c 3.82342 86.1641 1457 295166 4.19/4.26 o 116882834708 4.19/4.29 c 3.85041 86.293 1457 296585 4.19/4.29 o 116870225984 4.30/4.32 c 3.87741 86.293 1457 297871 4.30/4.32 o 116867704247 4.30/4.35 c 3.91241 86.293 1464 299300 4.30/4.35 o 116867704230 4.49/4.57 c 4.10138 86.293 1555 311490 4.49/4.57 o 116713877868 4.59/4.63 c 4.15637 86.293 1567 314608 4.59/4.63 o 116711356131 4.59/4.66 c 4.18236 86.293 1567 316091 4.59/4.66 o 116708834387 4.59/4.69 c 4.20736 86.293 1569 317545 4.59/4.69 o 116706312644 4.89/4.91 c 4.40433 86.293 1616 326474 4.89/4.91 o 116706312640 4.89/4.94 c 4.43133 86.293 1622 327528 4.89/4.94 o 116703790908 4.89/4.98 c 4.46332 86.293 1629 329098 4.89/4.98 o 116698747418 4.98/5.03 c 4.50831 86.293 1639 332260 4.98/5.03 o 68740220029 4.98/5.07 c 4.54631 86.293 1636 334229 4.98/5.07 o 68553610974 5.09/5.11 c 4.5843 86.293 1645 336065 5.09/5.11 o 68551089233 5.19/5.23 c 4.69229 86.293 1677 341843 5.19/5.23 o 68541002254 5.28/5.33 c 4.77727 86.293 1698 345804 5.28/5.33 o 68508219615 5.28/5.38 c 4.82227 86.293 1720 347953 5.28/5.38 o 68498132590 5.40/5.41 c 4.84926 86.293 1730 349272 5.40/5.41 o 68495610857 5.40/5.45 c 4.89026 86.293 1735 351488 5.40/5.45 o 68485523886 5.40/5.48 c 4.91325 86.293 1738 352730 5.40/5.48 o 68442654236 5.50/5.52 c 4.94725 86.293 1740 354664 5.50/5.52 o 64612125088 5.50/5.55 c 4.97424 86.293 1740 356024 5.50/5.55 o 64561690201 5.50/5.59 c 5.01524 86.293 1746 357992 5.50/5.59 o 64559168461 5.59/5.62 c 5.04023 86.293 1747 359281 5.59/5.62 o 64443168255 5.59/5.65 c 5.07023 86.293 1752 360586 5.59/5.65 o 64440646513 5.69/5.70 c 5.11522 86.293 1755 363756 5.69/5.70 o 60539508527 5.69/5.73 c 5.14222 86.293 1757 365080 5.69/5.73 o 60536986804 5.69/5.76 c 5.16921 86.293 1761 366119 5.69/5.76 o 60536986803 5.89/5.93 c 5.31219 86.293 1812 373985 5.89/5.93 o 60345334341 5.99/6.02 c 5.38618 86.4219 1834 375470 5.99/6.02 o 60345334270 5.99/6.09 c 5.44817 86.4219 1852 377400 5.99/6.09 o 60342812547 6.09/6.13 c 5.47617 86.4219 1861 378186 6.09/6.13 o 60342812533 6.19/6.23 c 5.56815 86.4219 1892 381141 6.19/6.23 o 60252029739 6.19/6.28 c 5.60915 86.4219 1897 382758 6.19/6.28 o 60249507996 6.29/6.31 c 5.63814 86.4219 1893 383601 6.29/6.31 o 60249507992 6.29/6.35 c 5.67814 86.4219 1902 385466 6.29/6.35 o 60178899208 6.39/6.41 c 5.72913 86.4219 1914 387700 6.39/6.41 o 56383674470 6.39/6.44 c 5.74913 86.4219 1915 388862 6.39/6.44 o 56156717529 6.39/6.48 c 5.78012 86.4219 1924 390067 6.39/6.48 o 52346362318 6.50/6.51 c 5.80812 86.4219 1925 391172 6.50/6.51 o 52343840574 6.50/6.55 c 5.84611 86.4219 1935 391902 6.50/6.55 o 52343840531 6.50/6.60 c 5.8911 86.4219 1943 393146 6.50/6.60 o 52212709878 6.69/6.70 c 5.98509 86.5508 1978 394480 6.69/6.70 o 48460354768 6.69/6.73 c 6.01209 86.5508 1982 395634 6.69/6.73 o 48235919579 6.69/6.78 c 6.05508 86.5508 1993 397485 6.69/6.78 o 48233397879 6.89/6.90 c 6.15506 86.5508 2043 399182 6.89/6.90 o 44511303658 6.89/6.94 c 6.19806 86.5508 2044 400614 6.89/6.94 o 44357477303 6.89/6.98 c 6.22505 86.5508 2046 401875 6.89/6.98 o 44354955565 6.99/7.01 c 6.25205 86.5508 2047 403188 6.99/7.01 o 44352433819 6.99/7.04 c 6.28005 86.5508 2047 404343 6.99/7.04 o 44334781609 6.99/7.06 c 6.30504 86.5508 2047 405512 6.99/7.06 o 44317129406 6.99/7.09 c 6.33304 86.5508 2048 406881 6.99/7.09 o 44312085915 7.09/7.12 c 6.36003 86.5508 2048 407662 7.09/7.12 o 44309564175 7.09/7.15 c 6.38203 86.5508 2048 408837 7.09/7.15 o 44307042426 7.09/7.18 c 6.40902 86.5508 2051 409860 7.09/7.18 o 44304520683 7.49/7.56 c 6.75797 86.5508 2110 410926 7.49/7.56 o 44304520681 7.60/7.70 c 6.87695 86.5508 2142 413145 7.60/7.70 o 44266694515 7.79/7.88 c 7.04193 86.6797 2187 413527 7.79/7.88 o 44266694514 7.89/7.97 c 7.12092 86.6797 2206 415406 7.89/7.97 o 44264172780 8.19/8.21 c 7.34488 86.6797 2299 416514 8.19/8.21 o 44264172778 8.29/8.32 c 7.44187 86.6797 2316 418708 8.29/8.32 o 44238955358 8.48/8.53 c 7.62884 86.6797 2367 420149 8.48/8.53 o 40448774098 8.48/8.56 c 7.65883 86.6797 2377 421505 8.48/8.56 o 40277295524 8.70/8.77 c 7.85181 86.8086 2466 422385 8.70/8.77 o 40277295521 8.79/8.81 c 7.8818 86.8086 2475 423503 8.79/8.81 o 40277295483 8.79/8.84 c 7.9078 86.8086 2477 424114 8.79/8.84 o 40277295480 8.99/9.08 c 8.13376 86.8086 2532 425499 8.99/9.08 o 40274773755 9.39/9.42 c 8.46171 86.8086 2610 427177 9.39/9.42 o 36413983693 9.39/9.49 c 8.5187 86.8086 2635 429088 9.39/9.49 o 36277809558 9.49/9.54 c 8.5627 86.8086 2640 429736 9.49/9.54 o 36277809531 9.49/9.58 c 8.59069 86.8086 2649 430880 9.49/9.58 o 36239983389 9.59/9.61 c 8.61469 86.8086 2651 431570 9.59/9.61 o 36239983365 9.59/9.64 c 8.64069 86.8086 2652 432231 9.59/9.64 o 36237461641 9.59/9.67 c 8.66868 86.8086 2654 432925 9.59/9.67 o 36237461636 9.79/9.83 c 8.81766 86.8086 2710 434205 9.79/9.83 o 32386758549 9.79/9.86 c 8.84765 86.8086 2718 435332 9.79/9.86 o 32230410426 9.98/10.07 c 9.04063 86.8086 2777 436651 9.98/10.07 o 28372142106 10.09/10.10 c 9.06862 86.8086 2777 437766 10.09/10.10 o 28248576672 10.09/10.13 c 9.09462 86.8086 2777 438849 10.09/10.13 o 28246054928 10.09/10.16 c 9.11961 86.8086 2778 439959 10.09/10.16 o 28235967947 10.09/10.18 c 9.14361 86.8086 2778 441002 10.09/10.18 o 28233446204 10.19/10.21 c 9.1716 86.8086 2778 442099 10.19/10.21 o 28225880973 10.19/10.24 c 9.1976 86.8086 2778 443129 10.19/10.24 o 28223359229 10.19/10.27 c 9.2216 86.8086 2778 444148 10.19/10.27 o 28223359227 10.29/10.30 c 9.24659 86.8086 2780 445208 10.29/10.30 o 28220837493 10.29/10.33 c 9.27059 86.9375 2780 446026 10.29/10.33 o 28220837488 10.29/10.36 c 9.29659 86.9375 2780 447032 10.29/10.36 o 28218315745 10.29/10.38 c 9.32258 86.9375 2780 447785 10.29/10.38 o 28218315744 10.39/10.41 c 9.34758 86.9375 2780 448523 10.39/10.41 o 28215794002 10.39/10.44 c 9.37457 86.9375 2780 449567 10.39/10.44 o 28215794000 10.39/10.47 c 9.40057 86.9375 2780 450456 10.39/10.47 o 28213272256 10.39/10.50 c 9.42457 86.9375 2780 451119 10.39/10.50 o 28210750514 10.49/10.52 c 9.45056 86.9375 2780 452079 10.49/10.52 o 28208228770 10.49/10.55 c 9.47756 86.9375 2781 452531 10.49/10.55 o 28208228769 10.49/10.59 c 9.50755 86.9375 2785 453251 10.49/10.59 o 28208228767 10.59/10.64 c 9.55355 86.9375 2812 453901 10.59/10.64 o 28208228747 10.59/10.68 c 9.59254 86.9375 2820 454697 10.59/10.68 o 28208228712 10.89/10.97 c 9.8565 86.9375 2861 455333 10.89/10.97 o 28205707013 10.99/11.03 c 9.90849 86.9375 2884 456020 10.99/11.03 o 28205706997 11.19/11.27 c 10.1245 86.9375 2992 457362 11.19/11.27 o 28205706977 11.29/11.38 c 10.2244 87.0664 3054 457865 11.29/11.38 o 28205706976 11.48/11.58 c 10.4004 87.0664 3102 458813 11.48/11.58 o 28203185260 11.58/11.67 c 10.4784 87.0664 3127 459585 11.58/11.67 o 28203185256 12.68/12.75 c 11.4893 87.1953 3490 460803 12.68/12.75 o 28203185255 12.79/12.84 c 11.5652 87.1953 3542 461870 12.79/12.84 o 28203185236 13.19/13.22 c 11.9202 87.1953 3596 462584 13.19/13.22 o 28200663521 13.28/13.32 c 12.0052 87.3281 3621 463252 13.28/13.32 o 28200663503 13.49/13.54 c 12.2091 87.3281 3713 464901 13.49/13.54 o 24420569232 13.49/13.57 c 12.2371 87.3281 3718 466171 13.49/13.57 o 24302047282 13.58/13.60 c 12.2611 87.3281 3720 467310 13.58/13.60 o 24291960306 13.58/13.63 c 12.2861 87.3281 3720 468417 13.58/13.63 o 24291960304 13.58/13.67 c 12.3221 87.3281 3721 470011 13.58/13.67 o 24289438560 13.58/13.69 c 12.3471 87.3281 3721 471063 13.58/13.69 o 24286916817 13.68/13.72 c 12.3721 87.3281 3721 471973 13.68/13.72 o 24286916816 13.68/13.75 c 12.4001 87.3281 3721 473051 13.68/13.75 o 24284395072 13.68/13.78 c 12.4271 87.3281 3721 474108 13.68/13.78 o 24281873328 13.79/13.81 c 12.4531 87.3281 3721 475163 13.79/13.81 o 24279351584 13.79/13.84 c 12.4801 87.3281 3721 476225 13.79/13.84 o 24276829841 13.79/13.86 c 12.5041 87.3281 3721 477106 13.79/13.86 o 24276829840 13.79/13.89 c 12.5291 87.3281 3721 478154 13.79/13.89 o 24274308096 13.89/13.92 c 12.5541 87.3281 3721 479141 13.89/13.92 o 24271786352 13.89/13.95 c 12.5801 87.3281 3721 479818 13.89/13.95 o 24269264611 13.89/13.98 c 12.6081 87.3281 3721 480653 13.89/13.98 o 24269264607 13.99/14.01 c 12.6341 87.3281 3723 481651 13.99/14.01 o 24266742867 13.99/14.04 c 12.6591 87.3281 3723 482467 13.99/14.04 o 24266742864 13.99/14.06 c 12.6851 87.3281 3723 483158 13.99/14.06 o 24264221120 14.09/14.10 c 12.7141 87.3281 3723 484299 14.09/14.10 o 24261699376 14.09/14.13 c 12.7391 87.3281 3723 485357 14.09/14.13 o 24259177632 14.09/14.15 c 12.7631 87.3281 3723 486365 14.09/14.15 o 24256655889 14.09/14.18 c 12.7901 87.3281 3723 487071 14.09/14.18 o 24254134155 14.20/14.21 c 12.8181 87.3281 3724 488207 14.20/14.21 o 24254134144 14.20/14.24 c 12.843 87.3281 3725 489467 14.20/14.24 o 24251612403 14.20/14.27 c 12.866 87.3281 3725 490156 14.20/14.27 o 24251612400 14.20/14.30 c 12.891 87.3281 3725 490874 14.20/14.30 o 24249090657 14.29/14.33 c 12.919 87.3281 3725 491369 14.29/14.33 o 24249090656 14.29/14.36 c 12.947 87.3281 3727 492066 14.29/14.36 o 24246568915 14.58/14.63 c 13.196 87.457 3788 492497 14.58/14.63 o 24246568914 14.58/14.69 c 13.245 87.457 3818 493493 14.58/14.69 o 24246568907 15.09/15.19 c 13.7009 87.457 3938 494262 15.09/15.19 o 24246568899 15.59/15.65 c 14.1289 87.457 4006 495004 15.59/15.65 o 24244047189 15.78/15.80 c 14.2698 87.457 4030 496748 15.78/15.80 o 24223873236 15.78/15.83 c 14.2928 87.457 4030 497355 15.78/15.83 o 24223873230 15.78/15.86 c 14.3168 87.457 4031 497621 15.78/15.86 o 24223873229 15.89/15.93 c 14.3828 87.457 4042 498250 15.89/15.93 o 24223873220 15.89/15.98 c 14.4288 87.5859 4054 499555 15.89/15.98 o 24198655793 15.98/16.01 c 14.4608 87.5859 4071 500286 15.98/16.01 o 24198655789 16.08/16.16 c 14.5918 87.5859 4112 501527 16.08/16.16 o 20347952677 16.08/16.18 c 14.6158 87.5859 4112 502634 16.08/16.18 o 20252126428 16.18/16.21 c 14.6418 87.5859 4112 503741 16.18/16.21 o 20226908985 16.18/16.24 c 14.6668 87.5859 4112 504793 16.18/16.24 o 20224387241 16.18/16.27 c 14.6928 87.5859 4112 505906 16.18/16.27 o 20219343754 16.29/16.30 c 14.7158 87.5859 4112 506803 16.29/16.30 o 20219343753 16.29/16.33 c 14.7438 87.5859 4112 507825 16.29/16.33 o 20216822009 16.29/16.36 c 14.7688 87.5859 4112 508835 16.29/16.36 o 20214300268 16.29/16.38 c 14.7948 87.5859 4112 509846 16.29/16.38 o 20214300267 16.40/16.41 c 14.8207 87.5859 4112 510667 16.40/16.41 o 20211778523 16.40/16.44 c 14.8437 87.5859 4112 511743 16.40/16.44 o 20209256785 16.40/16.47 c 14.8697 87.5859 4112 512458 16.40/16.47 o 20209256779 16.40/16.50 c 14.8967 87.5859 4112 513399 16.40/16.50 o 20209256778 16.50/16.53 c 14.9227 87.5859 4113 514093 16.50/16.53 o 20206735036 16.50/16.56 c 14.9547 87.5859 4114 514670 16.50/16.56 o 20206735029 16.50/16.59 c 14.9827 87.5859 4119 515246 16.50/16.59 o 20206735013 16.69/16.76 c 15.1397 87.5859 4189 516646 16.69/16.76 o 16449336461 16.69/16.79 c 15.1637 87.5859 4190 517767 16.69/16.79 o 16255162199 16.78/16.82 c 15.1887 87.5859 4190 518854 16.78/16.82 o 16252640456 16.78/16.85 c 15.2157 87.5859 4190 519752 16.78/16.85 o 16252640455 16.78/16.88 c 15.2397 87.5859 4190 520859 16.78/16.88 o 16247596968 16.89/16.91 c 15.2657 87.5859 4190 521969 16.89/16.91 o 16242553481 16.89/16.94 c 15.2917 87.5859 4191 523011 16.89/16.94 o 16242553479 16.89/16.96 c 15.3187 87.5859 4191 524057 16.89/16.96 o 16240031739 16.89/16.99 c 15.3457 87.5859 4191 525167 16.89/16.99 o 16232466503 16.98/17.02 c 15.3687 87.5859 4191 526175 16.98/17.02 o 16229944759 16.98/17.05 c 15.3957 87.5859 4191 527196 16.98/17.05 o 16227423015 16.98/17.09 c 15.4287 87.5859 4193 528764 16.98/17.09 o 16224901275 17.08/17.11 c 15.4547 87.5859 4193 529729 17.08/17.11 o 16224901270 17.08/17.14 c 15.4796 87.5859 4193 530452 17.08/17.14 o 16222379528 17.08/17.17 c 15.5066 87.5859 4194 531304 17.08/17.17 o 16222379527 17.19/17.20 c 15.5346 87.5859 4194 532391 17.19/17.20 o 16214814296 17.19/17.23 c 15.5576 87.7148 4195 533122 17.19/17.23 o 16214814295 17.19/17.28 c 15.6066 87.7148 4228 533951 17.19/17.28 o 16214814282 17.38/17.43 c 15.7386 87.7148 4279 535313 17.38/17.43 o 12331328515 17.38/17.48 c 15.7856 87.7148 4309 536591 17.38/17.48 o 12331328514 17.50/17.51 c 15.8126 87.7148 4309 537412 17.50/17.51 o 12331328513 17.50/17.54 c 15.8396 87.7148 4309 538171 17.50/17.54 o 12328806769 17.50/17.57 c 15.8656 87.7148 4309 539246 17.50/17.57 o 12326285025 17.50/17.60 c 15.8926 87.7148 4309 540007 17.50/17.60 o 12323763281 17.59/17.63 c 15.9186 87.7148 4309 541015 17.59/17.63 o 12321241537 17.59/17.66 c 15.9476 87.7148 4313 541764 17.59/17.66 o 12318719799 17.59/17.69 c 15.9776 87.7148 4320 542389 17.59/17.69 o 12318719758 17.68/17.72 c 16.0046 87.7148 4321 543010 17.68/17.72 o 12318719755 18.60/18.67 c 16.8954 87.7148 3979 543788 18.60/18.67 o 12316198048 18.70/18.72 c 16.9384 87.7148 4005 544505 18.70/18.72 o 12316198023 18.88/18.90 c 17.1014 87.7148 4031 545173 18.88/18.90 o 12313676314 18.88/18.93 c 17.1284 87.7148 4033 545742 18.88/18.93 o 12313676310 18.88/18.96 c 17.1554 87.7148 4033 546308 18.88/18.96 o 12313676305 18.88/18.99 c 17.1824 87.7148 4034 546597 18.88/18.99 o 12313676304 18.99/19.02 c 17.2094 87.7148 4037 547209 18.99/19.02 o 12313676284 19.09/19.19 c 17.3744 87.7148 4098 547595 19.09/19.19 o 12313676283 19.49/19.54 c 17.6923 87.7148 4166 548464 19.49/19.54 o 12311154573 19.59/19.62 c 17.7533 87.7148 3959 549135 19.59/19.62 o 12311154552 19.59/19.66 c 17.7903 87.7148 3971 549766 19.59/19.66 o 12311154549 19.69/19.70 c 17.8323 87.7148 3985 550045 19.69/19.70 o 12311154548 19.79/19.86 c 17.9713 87.8438 4032 550348 19.79/19.86 o 12311154547 19.88/19.90 c 18.0113 87.8438 4050 551133 19.88/19.90 o 12311154540 20.29/20.33 c 18.4072 87.8438 4170 551733 20.29/20.33 o 12311154539 20.39/20.40 c 18.4692 87.8438 4219 552145 20.39/20.40 o 12311154538 21.39/21.45 c 19.442 87.9727 3748 553318 21.39/21.45 o 12311154537 21.48/21.56 c 19.533 87.9727 3813 553725 21.48/21.56 o 12311154536 21.59/21.68 c 19.648 87.9727 3837 554343 21.59/21.68 o 12311154534 21.69/21.71 c 19.676 87.9727 3840 554985 21.69/21.71 o 12308632799 21.69/21.74 c 19.702 87.9727 3842 555654 21.69/21.74 o 12306111058 21.69/21.78 c 19.731 88.1016 3847 556015 21.69/21.78 o 12306111057 22.09/22.15 c 20.0829 88.1016 3884 556693 22.09/22.15 o 12303589327 22.09/22.19 c 20.1249 88.1016 3897 557674 22.09/22.19 o 12303589310 22.68/22.76 c 20.6499 88.1016 3959 558394 22.68/22.76 o 12301067588 22.68/22.79 c 20.6799 88.1016 3964 558976 22.68/22.79 o 12301067571 22.79/22.84 c 20.7148 88.1016 3976 559262 22.79/22.84 o 12301067570 22.88/22.93 c 20.8028 88.1016 3995 559916 22.88/22.93 o 12301067568 23.38/23.41 c 21.2468 88.2305 4136 560450 23.38/23.41 o 12301067567 23.38/23.45 c 21.2808 88.2305 4149 560744 23.38/23.45 o 12301067566 23.88/23.94 c 21.7387 88.2305 4227 561203 23.88/23.94 o 12301067565 24.28/24.32 c 22.0926 88.3594 4269 561839 24.28/24.32 o 12298545837 24.39/24.49 c 22.2476 88.3594 4328 562265 24.39/24.49 o 12298545836 24.58/24.67 c 22.4036 88.3594 4359 562672 24.58/24.67 o 12298545835 24.68/24.72 c 22.4556 88.3594 4366 563261 24.68/24.72 o 12298545828 24.68/24.75 c 22.4826 88.3594 4367 563871 24.68/24.75 o 12298545802 24.88/24.99 c 22.7065 88.4883 4480 565046 24.88/24.99 o 12296024103 25.09/25.15 c 22.8515 88.4883 4551 565893 25.09/25.15 o 12296024098 25.09/25.18 c 22.8775 88.4883 4551 566508 25.09/25.18 o 12296024073 25.19/25.24 c 22.9275 88.4883 4565 567172 25.19/25.24 o 12296024065 25.48/25.55 c 23.2165 88.4883 4614 567831 25.48/25.55 o 12293502355 25.58/25.63 c 23.2865 88.4883 4620 568461 25.58/25.63 o 12293502348 25.58/25.66 c 23.3115 88.4883 4621 569040 25.58/25.66 o 12293502341 25.68/25.76 c 23.4014 88.4883 4667 570195 25.68/25.76 o 12293502329 26.48/26.52 c 24.0933 88.6172 4803 571067 26.48/26.52 o 12290980609 26.48/26.57 c 24.1403 88.6172 4824 571497 26.48/26.57 o 12290980608 26.59/26.64 c 24.1973 88.6172 4835 572108 26.59/26.64 o 12290980605 26.59/26.67 c 24.2233 88.6172 4838 572739 26.59/26.67 o 12290980585 26.78/26.84 c 24.3783 88.6172 4871 573380 26.78/26.84 o 12288458854 27.19/27.24 c 24.7472 88.7461 4937 574045 27.19/27.24 o 12288458852 27.29/27.38 c 24.8782 88.7461 4989 574902 27.29/27.38 o 12288458848 27.78/27.84 c 25.3072 88.7461 5057 575680 27.78/27.84 o 12288458845 28.18/28.23 c 25.6711 88.875 5125 576406 28.18/28.23 o 12288458843 28.18/28.29 c 25.7231 88.875 5135 577008 28.18/28.29 o 12288458840 28.59/28.66 c 26.055 88.875 5185 577749 28.59/28.66 o 12285937127 28.59/28.70 c 26.088 88.875 5200 578058 28.59/28.70 o 12285937126 28.68/28.73 c 26.115 88.875 5204 578648 28.68/28.73 o 12285937123 28.68/28.75 c 26.141 88.875 5205 579223 28.68/28.75 o 12285937121 28.79/28.81 c 26.192 88.875 5238 579580 28.79/28.81 o 12285937120 28.79/28.87 c 26.25 88.875 5251 579828 28.79/28.87 o 12285937119 28.88/28.93 c 26.302 88.875 5259 580185 28.88/28.93 o 12285937118 28.88/28.97 c 26.329 88.875 5260 580774 28.88/28.97 o 12285937111 28.88/28.99 c 26.356 88.875 5261 581370 28.88/28.99 o 12285937098 29.18/29.28 c 26.623 89.0039 5356 582153 29.18/29.28 o 12283415390 29.28/29.33 c 26.6639 89.0039 5360 582737 29.28/29.33 o 12283415380 29.28/29.38 c 26.7039 89.0039 5364 582986 29.28/29.38 o 12283415379 29.38/29.43 c 26.7499 89.0039 5371 583571 29.38/29.43 o 12283415375 29.38/29.47 c 26.7839 89.0039 5383 583890 29.38/29.47 o 12283415374 29.49/29.56 c 26.8699 89.0039 5406 584516 29.49/29.56 o 12283415364 29.59/29.62 c 26.9209 89.0039 5409 585098 29.59/29.62 o 12283415344 30.08/30.10 c 27.3788 89.1328 5542 586064 30.08/30.10 o 12280893637 30.08/30.14 c 27.4148 89.1328 5564 586683 30.08/30.14 o 12280893635 30.19/30.21 c 27.4708 89.1328 5577 587270 30.19/30.21 o 12280893631 30.19/30.26 c 27.5218 89.1328 5594 587563 30.19/30.26 o 12280893630 30.19/30.29 c 27.5558 89.1328 5604 587814 30.19/30.29 o 12280893629 30.79/30.87 c 28.1017 89.2617 5742 588824 30.79/30.87 o 12280893626 30.89/30.91 c 28.1347 89.2617 5752 589427 30.89/30.91 o 12280893615 30.89/30.95 c 28.1737 89.2617 5767 590226 30.89/30.95 o 12280893605 30.98/31.00 c 28.2127 89.2617 5778 590829 30.98/31.00 o 12280893601 31.08/31.19 c 28.3937 89.2617 5809 591443 31.08/31.19 o 12278371872 31.18/31.25 c 28.4437 89.2617 5815 592044 31.18/31.25 o 12278371862 31.18/31.28 c 28.4717 89.2617 5820 592346 31.18/31.28 o 12278371861 31.98/32.04 c 29.1726 89.3906 5987 593377 31.98/32.04 o 12275850144 32.38/32.40 c 29.5105 89.5195 6116 594779 32.38/32.40 o 12275850132 32.78/32.81 c 29.8885 89.5195 6183 595465 32.78/32.81 o 12273328413 32.78/32.84 c 29.9155 89.5195 6186 596042 32.78/32.84 o 12273328396 32.78/32.87 c 29.9424 89.5195 6189 596295 32.78/32.87 o 12273328395 32.89/32.90 c 29.9744 89.5195 6200 596555 32.89/32.90 o 12273328394 32.99/33.03 c 30.0854 89.6484 6240 597300 32.99/33.03 o 12273328377 33.19/33.20 c 30.2404 89.6484 6255 597895 33.19/33.20 o 12270806655 33.19/33.23 c 30.2684 89.6484 6257 598468 33.19/33.23 o 12270806644 33.19/33.26 c 30.3014 89.6484 6265 598745 33.19/33.26 o 12270806643 33.79/33.85 c 30.8483 89.6484 6396 599614 33.79/33.85 o 12270806640 34.38/34.41 c 31.3642 89.7773 6472 600382 34.38/34.41 o 12268284925 34.38/34.44 c 31.3922 89.7773 6476 600945 34.38/34.44 o 12268284922 34.48/34.56 c 31.5052 89.7773 6532 601844 34.48/34.56 o 12268284921 34.58/34.67 c 31.6052 89.7773 6581 602204 34.58/34.67 o 12268284920 34.68/34.73 c 31.6532 89.7773 6603 602532 34.68/34.73 o 12268284919 34.79/34.81 c 31.7232 89.9062 6663 603389 34.79/34.81 o 12268284917 34.79/34.86 c 31.7692 89.9062 6690 604000 34.79/34.86 o 12268284902 35.48/35.54 c 32.3991 89.9062 6877 604666 35.48/35.54 o 12268284901 35.98/36.02 c 32.84 90.0352 6950 605155 35.98/36.02 o 12268284900 36.58/36.62 c 33.4119 90.0352 7068 605710 36.58/36.62 o 12268284899 37.08/37.10 c 33.8389 90.1641 7158 606450 37.08/37.10 o 12265763184 37.08/37.14 c 33.8679 90.1641 7168 607031 37.08/37.14 o 12265763173 37.08/37.17 c 33.8968 90.1641 7175 607303 37.08/37.17 o 12265763172 37.18/37.21 c 33.9308 90.1641 7185 607588 37.18/37.21 o 12265763171 37.18/37.24 c 33.9618 90.1641 7196 607926 37.18/37.24 o 12265763170 37.29/37.34 c 34.0528 90.1641 7240 608358 37.29/37.34 o 12265763169 37.29/37.39 c 34.0968 90.1641 7258 608705 37.29/37.39 o 12265763168 37.39/37.45 c 34.1478 90.1641 7284 608968 37.39/37.45 o 12265763167 37.68/37.75 c 34.4358 90.293 7450 610054 37.68/37.75 o 12265763164 37.78/37.89 c 34.5587 90.293 7528 610644 37.78/37.89 o 12265763163 37.98/38.03 c 34.6827 90.4219 7558 611317 37.98/38.03 o 12265763155 37.98/38.08 c 34.7267 90.4219 7579 611647 37.98/38.08 o 12265763154 38.68/38.72 c 35.3286 90.4219 7664 612047 38.68/38.72 o 12265763153 39.18/39.22 c 35.7806 90.4219 7712 612700 39.18/39.22 o 12263241432 39.18/39.27 c 35.8236 90.4219 7733 613304 39.18/39.27 o 12263241428 39.28/39.31 c 35.8665 90.4219 7751 613594 39.28/39.31 o 12263241427 39.28/39.34 c 35.8935 90.4219 7755 614171 39.28/39.34 o 12263241424 39.28/39.37 c 35.9215 90.4219 7756 614404 39.28/39.37 o 12263241423 39.38/39.49 c 36.0345 90.5508 7820 614783 39.38/39.49 o 12263241422 39.68/39.74 c 36.2695 90.6797 7938 615385 39.68/39.74 o 12263241421 40.08/40.17 c 36.6664 90.6797 8064 616184 40.08/40.17 o 12263241409 40.48/40.58 c 37.0504 90.8086 8127 616964 40.48/40.58 o 12260719699 40.59/40.61 c 37.0814 90.8086 8136 617545 40.59/40.61 o 12260719681 40.59/40.65 c 37.1174 90.8086 8145 617805 40.59/40.65 o 12260719680 41.18/41.27 c 37.7003 90.8086 8233 618544 41.18/41.27 o 12260719673 41.28/41.38 c 37.8033 90.8086 8268 619169 41.28/41.38 o 12260719660 41.79/41.82 c 38.2092 90.8086 8346 619956 41.79/41.82 o 12258197942 41.79/41.89 c 38.2772 90.8086 8365 620597 41.79/41.89 o 12258197924 42.08/42.16 c 38.5181 90.9375 8389 621192 42.08/42.16 o 12255676205 42.18/42.21 c 38.5621 90.9375 8411 621534 42.18/42.21 o 12255676204 42.18/42.25 c 38.5951 90.9375 8423 622110 42.18/42.25 o 12255676192 42.18/42.28 c 38.6221 90.9375 8429 622438 42.18/42.28 o 12255676191 42.28/42.31 c 38.6511 90.9375 8436 622770 42.28/42.31 o 12255676190 42.28/42.34 c 38.6771 90.9375 8440 623338 42.28/42.34 o 12255676179 42.38/42.41 c 38.7351 90.9375 8467 623967 42.38/42.41 o 12255676175 42.68/42.77 c 39.0671 90.9375 8495 624587 42.68/42.77 o 12253154446 42.79/42.84 c 39.1311 90.9375 8513 625207 42.79/42.84 o 12253154442 42.79/42.90 c 39.192 90.9375 8526 625784 42.79/42.90 o 12253154438 42.98/43.01 c 39.292 90.9375 8587 626546 42.98/43.01 o 12253154433 44.08/44.12 c 40.3209 91.0664 8754 627517 44.08/44.12 o 12250632725 44.08/44.19 c 40.3769 91.0664 8780 628088 44.08/44.19 o 12250632721 44.18/44.24 c 40.4309 91.0664 8803 628573 44.18/44.24 o 12250632720 44.18/44.28 c 40.4638 91.0664 8808 629131 44.18/44.28 o 12250632716 44.28/44.36 c 40.5298 91.0664 8819 629725 44.28/44.36 o 12250632712 44.38/44.40 c 40.5698 91.0664 8831 630320 44.38/44.40 o 12250632708 44.68/44.76 c 40.8918 91.1953 9002 631425 44.68/44.76 o 12250632707 44.78/44.83 c 40.9628 91.1953 9053 631800 44.78/44.83 o 12250632706 45.08/45.15 c 41.2437 91.3242 9116 632182 45.08/45.15 o 12250632705 45.28/45.36 c 41.4367 91.3242 9224 632709 45.28/45.36 o 12250632704 45.58/45.69 c 41.7197 91.3242 9289 633017 45.58/45.69 o 12250632703 45.98/46.02 c 42.0286 91.4531 9456 633693 45.98/46.02 o 12250632702 46.18/46.29 c 42.2746 91.582 9562 634193 46.18/46.29 o 12250632701 46.38/46.46 c 42.4216 91.582 9617 634604 46.38/46.46 o 12250632700 47.29/47.33 c 43.2514 91.7109 9886 635645 47.29/47.33 o 12250632699 47.78/47.84 c 43.7244 91.8398 10067 636645 47.78/47.84 o 12250632697 48.58/48.67 c 44.5122 91.9688 10217 637156 48.58/48.67 o 12250632696 48.88/48.95 c 44.7612 91.9688 10302 637799 48.88/48.95 o 12250632695 49.68/49.75 c 45.5121 91.9688 10400 638542 49.68/49.75 o 12250632693 50.18/50.20 c 45.931 92.0977 10456 638933 50.18/50.20 o 12250632692 50.37/50.45 c 46.152 92.0977 10492 639595 50.37/50.45 o 12250632686 51.18/51.26 c 46.9059 92.0977 10660 640511 51.18/51.26 o 12248110979 51.18/51.29 c 46.9379 92.0977 10666 641068 51.18/51.29 o 12248110975 51.28/51.34 c 46.9899 92.0977 10682 641624 51.28/51.34 o 12248110974 51.28/51.38 c 47.0288 92.0977 10701 642218 51.28/51.38 o 12248110971 51.38/51.42 c 47.0608 92.0977 10709 642786 51.38/51.42 o 12248110969 51.38/51.47 c 47.1038 92.2266 10727 643419 51.38/51.47 o 12248110954 51.48/51.57 c 47.2068 92.2266 10743 643711 51.48/51.57 o 12248110953 53.58/53.67 c 49.1875 92.3555 11156 645261 53.58/53.67 o 12248110950 54.18/54.26 c 49.7184 92.3555 11227 645621 54.18/54.26 o 12248110949 54.58/54.67 c 50.1014 92.4844 11311 646478 54.58/54.67 o 12245589251 54.68/54.74 c 50.1674 92.4844 11338 647236 54.68/54.74 o 12245589233 54.68/54.77 c 50.1964 92.4844 11340 647796 54.68/54.77 o 12245589230 54.77/54.80 c 50.2224 92.4844 11340 648342 54.77/54.80 o 12245589226 54.77/54.84 c 50.2514 92.4844 11342 648915 54.77/54.84 o 12245589224 54.77/54.86 c 50.2744 92.4844 11343 649129 54.77/54.86 o 12245589223 55.08/55.12 c 50.5093 92.4844 11422 649481 55.08/55.12 o 12245589222 55.47/55.56 c 50.9023 92.4844 11048 649850 55.47/55.56 o 12245589221 55.47/55.59 c 50.9323 92.4844 11054 650071 55.47/55.59 o 12245589220 55.57/55.62 c 50.9573 92.4844 11056 650278 55.57/55.62 o 12245589219 55.57/55.65 c 50.9822 92.4844 11056 650823 55.57/55.65 o 12245589216 55.98/56.08 c 51.3852 92.4844 11279 651897 55.98/56.08 o 12245589215 58.88/58.99 c 54.0808 93.1328 12267 654520 58.88/58.99 o 12245589214 69.38/69.49 c 63.8083 93.1328 9337 693330 69.38/69.49 o 12245589213 71.38/71.42 c 65.611 93.1328 9439 696558 71.38/71.42 o 12245589208 73.97/74.03 c 68.0687 93.1328 9786 698467 73.97/74.03 o 12245589204 75.97/76.08 c 69.9694 93.1328 9823 699542 75.97/76.08 o 12245589203 77.87/77.97 c 71.7511 93.1328 10049 700926 77.87/77.97 o 12245589201 80.37/80.49 c 74.1257 93.1328 10283 701823 80.37/80.49 o 12243067481 80.47/80.55 c 74.1757 93.1328 10296 703056 80.47/80.55 o 12243067479 80.57/80.62 c 74.2387 93.1328 10331 703380 80.57/80.62 o 12243067478 80.67/80.70 c 74.3087 93.1328 10114 703659 80.67/80.70 o 12243067477 81.17/81.22 c 74.7906 93.1328 10220 704360 81.17/81.22 o 12243067476 81.38/81.46 c 75.0026 93.1328 10267 704653 81.38/81.46 o 12243067475 81.77/81.85 c 75.3615 93.1328 10366 705045 81.77/81.85 o 12243067474 81.87/81.90 c 75.4115 93.1328 10380 705259 81.87/81.90 o 12243067473 81.97/82.03 c 75.5265 93.1328 10442 705621 81.97/82.03 o 12243067472 82.77/82.81 c 76.2524 93.1328 10727 706335 82.77/82.81 o 12243067471 82.87/82.97 c 76.3944 93.1328 10760 706594 82.87/82.97 o 12243067470 83.17/83.25 c 76.6573 93.1328 10827 708349 83.17/83.25 o 12243067469 84.47/84.57 c 77.8862 93.1328 11208 709517 84.47/84.57 o 12243067468 85.97/86.03 c 79.219 93.1328 10148 711324 85.97/86.03 o 12243067467 86.27/86.33 c 79.4979 93.1328 10222 711718 86.27/86.33 o 12243067466 89.36/89.48 c 82.4335 93.1328 10873 716335 89.36/89.48 o 8926974058 89.46/89.52 c 82.4675 93.1328 10514 717754 89.46/89.52 o 8894191384 89.46/89.55 c 82.4955 93.1328 10517 718806 89.46/89.55 o 8894191383 89.46/89.58 c 82.5235 93.1328 10522 720092 89.46/89.58 o 8891669641 89.56/89.61 c 82.5474 93.1328 10529 721279 89.56/89.61 o 8891669640 89.56/89.64 c 82.5714 93.1328 10531 722470 89.56/89.64 o 8863930456 89.56/89.67 c 82.5984 93.1328 10536 723883 89.56/89.67 o 8861408719 89.67/89.70 c 82.6234 93.1328 10538 725221 89.67/89.70 o 8861408710 89.67/89.73 c 82.6504 93.1328 10539 726461 89.67/89.73 o 8821060812 89.67/89.76 c 82.6784 93.1328 10541 727836 89.67/89.76 o 8821060805 89.67/89.79 c 82.7084 93.1328 10548 728988 89.67/89.79 o 8462973231 89.77/89.82 c 82.7344 93.1328 10549 729958 89.77/89.82 o 8462973230 89.77/89.87 c 82.7804 93.1328 10550 731924 89.77/89.87 o 8462973229 89.87/89.90 c 82.8074 93.1328 10550 732917 89.87/89.90 o 8462973227 89.87/89.93 c 82.8344 93.1328 10553 734344 89.87/89.93 o 8440277530 89.87/89.96 c 82.8604 93.1328 10554 735467 89.87/89.96 o 8402451375 89.87/89.99 c 82.8854 93.1328 10555 736503 89.87/89.99 o 8399929631 89.97/90.03 c 82.9214 93.1328 10562 737678 89.97/90.03 o 8399929604 89.97/90.07 c 82.9564 93.1328 10564 739366 89.97/90.07 o 8399929581 89.97/90.09 c 82.9794 93.1328 10566 740414 89.97/90.09 o 8397407841 90.07/90.12 c 83.0054 93.1328 10566 741395 90.07/90.12 o 8397407840 90.07/90.15 c 83.0324 93.1328 10567 742362 90.07/90.15 o 8397407839 90.07/90.18 c 83.0564 93.1328 10567 743306 90.07/90.18 o 8394886096 90.17/90.21 c 83.0824 93.1328 10568 744049 90.17/90.21 o 8394886095 90.17/90.24 c 83.1074 93.1328 10569 745249 90.17/90.24 o 8344451256 90.17/90.28 c 83.1414 93.1328 10571 747122 90.17/90.28 o 8341929515 90.27/90.31 c 83.1694 93.1328 10573 748223 90.27/90.31 o 8341929510 90.27/90.33 c 83.1974 93.1328 10575 749415 90.27/90.34 o 8311668585 90.27/90.36 c 83.2233 93.1328 10576 750471 90.27/90.36 o 8309146844 90.27/90.39 c 83.2493 93.1328 10577 751629 90.27/90.39 o 8306625100 90.37/90.42 c 83.2733 93.1328 10578 752697 90.37/90.42 o 8304103357 90.37/90.45 c 83.3013 93.1328 10580 753879 90.37/90.45 o 8301581616 90.37/90.48 c 83.3263 93.1328 10584 754468 90.37/90.48 o 8301581597 90.47/90.51 c 83.3523 93.1328 10585 755032 90.47/90.51 o 8301581581 90.47/90.54 c 83.3773 93.1328 10587 755318 90.47/90.54 o 8301581580 90.47/90.56 c 83.4023 93.1328 10588 755734 90.47/90.56 o 8301581579 90.97/91.01 c 83.8083 93.1328 10683 756476 90.97/91.01 o 8299059860 90.97/91.05 c 83.8363 93.1328 10690 757048 90.97/91.05 o 8299059858 91.06/91.12 c 83.8992 93.1328 10712 757337 91.06/91.12 o 8299059857 91.06/91.15 c 83.9262 93.1328 10712 757894 91.06/91.15 o 8299059849 91.06/91.18 c 83.9502 93.1328 10712 758448 91.06/91.18 o 8299059847 91.17/91.21 c 83.9762 93.1328 10713 758712 91.17/91.21 o 8299059846 91.17/91.26 c 84.0182 93.1328 10742 759052 91.17/91.26 o 8299059845 91.47/91.52 c 84.2652 93.1328 10852 759802 91.47/91.52 o 8299059844 91.57/91.64 c 84.3802 93.1328 10883 760088 91.57/91.64 o 8299059843 91.67/91.70 c 84.4382 93.1328 10892 760354 91.67/91.70 o 8299059842 91.67/91.74 c 84.4652 93.1328 10896 760793 91.67/91.74 o 8299059841 91.86/91.94 c 84.6521 93.1328 10915 761062 91.86/91.94 o 8299059840 91.86/91.98 c 84.6901 93.1328 10922 761352 91.86/91.98 o 8299059839 92.38/92.46 c 85.1331 93.1328 11014 761785 92.38/92.46 o 8299059838 93.06/93.10 c 85.733 93.1328 11144 762588 93.06/93.10 o 8299059834 93.27/93.35 c 85.9639 93.1328 11163 763683 93.27/93.35 o 8296538117 93.37/93.40 c 86.0039 93.1328 11181 764247 93.37/93.40 o 8296538115 93.37/93.45 c 86.0589 93.1328 11196 764799 93.37/93.45 o 8296538095 93.37/93.48 c 86.0859 93.1328 11197 765081 93.37/93.48 o 8296538094 93.67/93.77 c 86.3629 93.1328 10090 766094 93.67/93.77 o 8296538091 93.97/94.07 c 86.6298 93.1328 10131 766758 93.97/94.07 o 8294016377 94.07/94.10 c 86.6588 93.1328 10133 767619 94.07/94.10 o 8294016360 94.07/94.13 c 86.6858 93.1328 10135 768158 94.07/94.13 o 8294016357 94.07/94.16 c 86.7118 93.1328 10136 768854 94.07/94.16 o 8294016355 94.07/94.19 c 86.7368 93.1328 10137 769108 94.07/94.19 o 8294016354 94.17/94.24 c 86.7778 93.1328 10146 769686 94.17/94.24 o 8294016345 94.37/94.45 c 86.9758 93.1328 10174 770370 94.37/94.45 o 8291494637 94.48/94.53 c 87.0428 93.1328 10188 770935 94.48/94.53 o 8291494622 94.58/94.62 c 87.1218 93.1328 10227 771530 94.58/94.62 o 8291494618 94.58/94.67 c 87.1677 93.1328 10249 772161 94.58/94.67 o 8291494597 94.67/94.70 c 87.1947 93.1328 10252 773304 94.67/94.70 o 8291494589 94.97/95.03 c 87.4937 93.1328 10410 774223 94.97/95.03 o 8288972893 94.97/95.09 c 87.5517 93.1328 10424 774530 94.97/95.09 o 8288972892 95.06/95.19 c 87.6387 93.1328 10458 775315 95.06/95.19 o 8288972886 95.16/95.21 c 87.6667 93.1328 10460 775562 95.16/95.21 o 8288972885 95.16/95.24 c 87.6917 93.1328 10460 776112 95.16/95.24 o 8288972873 95.16/95.27 c 87.7167 93.1328 10460 776408 95.16/95.27 o 8288972872 95.27/95.30 c 87.7427 93.1328 10461 776974 95.27/95.30 o 8288972870 95.27/95.32 c 87.7677 93.1328 10462 777239 95.27/95.32 o 8288972869 95.37/95.40 c 87.8346 93.1328 10518 777644 95.37/95.40 o 8288972868 95.37/95.49 c 87.9086 93.1328 10537 777908 95.37/95.49 o 8288972867 95.96/96.06 c 88.4426 93.1328 10614 778568 95.96/96.06 o 8288972865 96.06/96.10 c 88.4815 93.1328 10627 778887 96.06/96.10 o 8288972864 96.56/96.66 c 88.9975 93.1328 10703 779286 96.56/96.66 o 8288972863 97.56/97.68 c 89.9413 93.1328 10875 780156 97.56/97.68 o 8288972861 98.07/98.11 c 90.3443 93.1328 10888 780802 98.07/98.11 o 8286451146 98.17/98.20 c 90.4263 93.1328 10904 781365 98.17/98.20 o 8286451137 98.17/98.24 c 90.4592 93.1328 10916 781630 98.17/98.24 o 8286451136 98.17/98.29 c 90.5012 93.1328 10925 782176 98.17/98.29 o 8286451119 98.56/98.69 c 90.8732 93.1328 11008 782843 98.56/98.69 o 8283929408 98.66/98.80 c 90.9662 93.1328 11025 783408 98.66/98.80 o 8283929391 98.76/98.89 c 91.0572 93.1328 11084 783760 98.76/98.89 o 8283929390 98.87/99.00 c 91.1491 93.1328 11101 784330 98.87/99.00 o 8283929379 99.27/99.34 c 91.4661 93.1328 11141 784655 99.27/99.34 o 8283929378 99.27/99.38 c 91.4961 93.1328 11150 785224 99.27/99.38 o 8283929375 100.16/100.29 c 92.34 93.1328 11278 785978 100.16/100.29 o 8283929374 101.36/101.49 c 93.4528 93.1328 11462 786887 101.36/101.49 o 8281407662 101.47/101.58 c 93.5338 93.1328 11475 787437 101.47/101.58 o 8281407649 101.56/101.60 c 93.5628 93.1328 11478 787672 101.56/101.60 o 8281407648 101.56/101.69 c 93.6398 93.1328 11511 788263 101.56/101.69 o 8281407645 101.66/101.79 c 93.7297 93.1328 11525 788951 101.66/101.79 o 8281407640 101.76/101.82 c 93.7607 93.1328 11537 789186 101.76/101.82 o 8281407639 102.37/102.47 c 94.3657 93.1328 11640 789913 102.37/102.47 o 8281407625 102.47/102.50 c 94.3936 93.1328 11646 790149 102.47/102.50 o 8281407624 102.47/102.59 c 94.4806 93.1328 11667 790414 102.47/102.59 o 8281407623 102.86/102.92 c 94.7816 93.1328 11716 791023 102.86/102.92 o 8278885915 102.86/102.95 c 94.8136 93.1328 11718 791540 102.86/102.95 o 8278885913 102.96/103.04 c 94.8996 93.1328 11740 791875 102.96/103.04 o 8278885912 102.96/103.08 c 94.9286 93.1328 11743 792333 102.96/103.08 o 8278885911 103.06/103.11 c 94.9566 93.1328 11744 792866 103.06/103.11 o 8278885900 103.06/103.13 c 94.9796 93.1328 11744 793114 103.06/103.13 o 8278885899 103.06/103.16 c 95.0026 93.1328 11745 793382 103.06/103.16 o 8278885898 103.16/103.20 c 95.0346 93.1328 11756 793668 103.16/103.20 o 8278885897 103.47/103.57 c 95.3895 93.2617 11880 794230 103.47/103.57 o 8278885896 103.67/103.73 c 95.5325 93.2617 11936 794577 103.67/103.73 o 8278885895 104.47/104.59 c 96.3324 93.3906 12130 795520 104.47/104.59 o 8278885893 104.96/105.02 c 96.7473 93.3906 12180 796112 104.96/105.02 o 8278885889 106.86/106.95 c 98.556 93.5195 12535 797410 106.86/106.95 o 8278885888 108.86/108.99 c 100.421 93.6484 6706 819414 108.86/108.99 o 8278885885 109.26/109.39 c 100.796 93.6484 6780 820524 109.26/109.39 o 8276364169 109.36/109.43 c 100.833 93.6484 6785 821062 109.36/109.43 o 8276364157 109.46/109.52 c 100.915 93.6484 6819 821386 109.46/109.52 o 8276364156 109.46/109.55 c 100.944 93.6484 6826 821604 109.46/109.55 o 8276364155 109.56/109.65 c 101.027 93.6484 6848 822224 109.56/109.65 o 8276364147 109.56/109.69 c 101.071 93.6484 6857 822569 109.56/109.69 o 8276364146 109.66/109.74 c 101.112 93.6484 6880 822850 109.66/109.74 o 8276364145 110.06/110.18 c 101.53 93.6484 6942 823616 110.06/110.18 o 8273842435 110.16/110.22 c 101.563 93.6484 6946 824184 110.16/110.22 o 8273842421 110.16/110.25 c 101.591 93.6484 6951 824447 110.16/110.25 o 8273842420 110.16/110.29 c 101.626 93.6484 6970 825014 110.16/110.29 o 8273842418 110.36/110.46 c 101.781 93.6484 7055 825485 110.36/110.46 o 8273842417 110.46/110.56 c 101.87 93.6484 7072 825749 110.46/110.56 o 8273842416 110.56/110.63 c 101.935 93.6484 7104 826363 110.56/110.63 o 8273842411 110.56/110.67 c 101.966 93.6484 7113 826635 110.56/110.67 o 8273842410 110.66/110.71 c 102 93.6484 7124 826926 110.66/110.71 o 8273842409 111.07/111.14 c 102.419 93.6484 7236 827450 111.07/111.14 o 8273842408 111.16/111.28 c 102.541 93.6484 7277 828183 111.16/111.28 o 8273842392 111.46/111.50 c 102.736 93.6484 7308 828778 111.46/111.50 o 8271320675 111.46/111.53 c 102.768 93.6484 7312 829298 111.46/111.53 o 8271320667 111.46/111.57 c 102.798 93.6484 7317 829528 111.46/111.57 o 8271320666 111.46/111.60 c 102.827 93.6484 7321 830048 111.46/111.60 o 8271320655 111.56/111.66 c 102.883 93.6484 7356 830651 111.56/111.66 o 8271320654 111.96/112.01 c 103.214 93.6484 7395 831224 111.96/112.01 o 8268798944 111.96/112.06 c 103.254 93.6484 7416 831614 111.96/112.06 o 8268798943 111.96/112.09 c 103.283 93.6484 7424 832188 111.96/112.09 o 8268798931 112.07/112.12 c 103.305 93.6484 7424 832732 112.07/112.12 o 8268798927 112.07/112.15 c 103.336 93.6484 7437 833023 112.07/112.15 o 8268798926 112.07/112.19 c 103.372 93.6484 7453 833259 112.07/112.19 o 8268798925 112.17/112.23 c 103.408 93.6484 7464 833828 112.17/112.23 o 8268798923 112.36/112.44 c 103.608 93.6484 7550 834323 112.36/112.44 o 8268798922 112.46/112.52 c 103.68 93.6484 7568 834924 112.46/112.52 o 8268798914 113.27/113.31 c 104.421 93.6484 7654 835371 113.27/113.31 o 8268798913 113.76/113.83 c 104.891 93.6484 7728 835775 113.76/113.83 o 8268798912 114.16/114.26 c 105.304 93.6484 7775 836103 114.16/114.26 o 8268798911 114.56/114.63 c 105.65 93.6484 7821 836725 114.56/114.63 o 8266277194 114.56/114.67 c 105.683 93.6484 7825 837240 114.56/114.67 o 8266277185 114.66/114.70 c 105.711 93.6484 7827 837756 114.66/114.70 o 8266277179 114.76/114.87 c 105.868 93.6484 7891 838138 114.76/114.87 o 8266277178 115.16/115.25 c 106.23 93.6484 7955 838874 115.16/115.25 o 8266277176 115.26/115.39 c 106.362 93.6484 7987 839466 115.26/115.39 o 8266277168 115.37/115.47 c 106.433 93.6484 8025 840230 115.37/115.47 o 8266277164 115.76/115.85 c 106.79 93.6484 8067 840819 115.76/115.85 o 8263755436 115.86/115.90 c 106.841 93.6484 8089 841085 115.86/115.90 o 8263755435 116.47/116.54 c 107.444 93.6484 8199 841651 116.47/116.54 o 8263755434 116.57/116.69 c 107.579 93.6484 8227 842213 116.57/116.69 o 8263755433 117.06/117.17 c 108.035 93.6484 8363 842741 117.06/117.17 o 8263755432 117.26/117.38 c 108.221 93.6484 8460 843176 117.26/117.38 o 8263755431 117.57/117.64 c 108.462 93.6484 8544 843557 117.57/117.64 o 8263755430 118.67/118.77 c 109.54 93.6484 8778 844703 118.67/118.77 o 8263755428 119.26/119.30 c 110.033 93.6484 8828 845273 119.26/119.30 o 8261233701 119.26/119.40 c 110.122 93.6484 8891 845647 119.36/119.40 o 8261233700 119.36/119.47 c 110.192 93.6484 8938 846233 119.36/119.47 o 8261233697 119.56/119.61 c 110.311 93.6484 8978 846784 119.56/119.61 o 8261233693 119.87/119.98 c 110.667 93.6484 9041 847424 119.87/119.98 o 8261233691 119.96/120.01 c 110.699 93.6484 9055 847675 119.96/120.01 o 8261233690 120.06/120.10 c 110.784 93.6484 9078 848360 120.06/120.10 o 8261233686 120.06/120.17 c 110.847 93.6484 9096 848641 120.06/120.17 o 8261233685 120.56/120.66 c 111.311 93.6484 9142 849219 120.56/120.66 o 8261233683 121.16/121.22 c 111.84 93.6484 9201 849609 121.16/121.22 o 8261233682 121.66/121.76 c 112.328 93.6484 9285 850065 121.66/121.76 o 8261233681 122.76/122.89 c 113.377 93.6484 9445 850979 122.76/122.89 o 8258711965 122.86/122.92 c 113.405 93.6484 9451 851502 122.86/122.92 o 8258711942 123.56/123.62 c 114.067 93.6484 9643 852516 123.56/123.62 o 8258711937 123.96/124.02 c 114.445 93.6484 9694 853101 123.96/124.02 o 8256190223 123.96/124.05 c 114.478 93.6484 9702 853491 123.96/124.05 o 8256190222 123.96/124.09 c 114.508 93.6484 9708 853938 123.96/124.09 o 8256190221 124.06/124.12 c 114.539 93.6484 9717 854487 124.06/124.12 o 8256190211 124.06/124.16 c 114.574 93.6484 9726 855021 124.06/124.16 o 8256190209 124.06/124.20 c 114.608 93.6484 9737 855560 124.06/124.20 o 8256190205 124.66/124.72 c 115.102 93.6484 9864 856015 124.66/124.72 o 8256190204 124.96/125.07 c 115.429 93.6484 9944 856391 124.96/125.07 o 8256190203 125.16/125.20 c 115.543 93.6484 10007 856739 125.16/125.20 o 8256190202 125.76/125.87 c 116.171 93.6484 10089 857102 125.76/125.87 o 8256190201 126.56/126.69 c 116.948 93.6484 10220 857909 126.56/126.69 o 8256190196 127.36/127.40 c 117.616 93.6484 10351 858452 127.36/127.40 o 8256190195 128.36/128.47 c 118.614 93.6484 10539 859445 128.36/128.47 o 8253668483 128.46/128.50 c 118.648 93.6484 10557 859990 128.46/128.50 o 8253668476 128.46/128.54 c 118.687 93.6484 10573 860236 128.46/128.54 o 8253668475 128.46/128.58 c 118.718 93.6484 10589 860786 128.46/128.58 o 8253668463 128.76/128.89 c 119.013 93.6484 10717 861301 128.76/128.89 o 8253668462 129.35/129.44 c 119.526 93.6484 10835 861740 129.35/129.44 o 8253668461 129.56/129.68 c 119.74 93.6484 10922 862122 129.56/129.68 o 8253668460 129.67/129.71 c 119.772 93.6484 10929 862337 129.67/129.71 o 8253668459 130.66/130.71 c 120.708 93.6484 11214 863285 130.66/130.71 o 8253668458 130.76/130.87 c 120.864 93.6484 11283 863634 130.76/130.87 o 8253668457 131.46/131.56 c 121.509 93.6484 11347 864192 131.46/131.56 o 8253668456 132.26/132.33 c 122.23 93.6484 11491 865059 132.26/132.33 o 8253668454 132.97/133.10 c 122.961 93.6484 11622 865553 132.97/133.10 o 8253668453 133.95/134.01 c 123.8 93.6484 11755 866052 133.95/134.01 o 8253668452 134.45/134.51 c 124.26 93.6484 11814 866672 134.45/134.51 o 8253668449 134.85/134.96 c 124.672 93.6484 11880 867318 134.85/134.96 o 8251146741 134.85/134.99 c 124.697 93.6484 11884 867829 134.85/134.99 o 8251146733 134.95/135.02 c 124.725 93.6484 11888 868341 134.95/135.02 o 8251146730 134.95/135.06 c 124.766 93.6484 11899 868860 134.95/135.06 o 8251146728 135.06/135.10 c 124.802 93.6484 11911 869378 135.06/135.10 o 8251146725 135.16/135.25 c 124.937 93.6484 11967 869961 135.16/135.25 o 8251146720 135.27/135.39 c 125.059 93.6484 12051 870375 135.27/135.39 o 8251146719 135.35/135.47 c 125.14 93.6484 12081 870623 135.35/135.47 o 8251146718 135.96/136.01 c 125.631 93.6484 12295 871493 135.96/136.01 o 8251146717 137.26/137.33 c 126.874 93.6484 12509 872195 137.26/137.33 o 8251146716 137.36/137.45 c 126.977 93.6484 12555 872480 137.36/137.45 o 8251146715 137.36/137.50 c 127.025 93.6484 12560 872689 137.36/137.50 o 8251146714 137.76/137.80 c 127.299 93.7773 12667 873185 137.76/137.80 o 8251146713 139.56/139.66 c 128.996 93.7773 6758 879685 139.56/139.66 o 8251146712 139.85/140.00 c 129.291 93.7773 6839 883234 139.85/140.00 o 4854357481 139.96/140.03 c 129.316 93.7773 6847 884608 139.96/140.03 o 4715661579 139.96/140.06 c 129.343 93.7773 6854 886010 139.96/140.06 o 4708096346 139.96/140.08 c 129.367 93.7773 6864 887266 139.96/140.08 o 4708096335 140.05/140.11 c 129.388 93.7773 6865 888438 140.05/140.11 o 4478617701 140.05/140.13 c 129.41 93.7773 6866 889597 140.05/140.13 o 4476095958 140.05/140.16 c 129.433 93.7773 6869 890995 140.05/140.16 o 4473574217 140.05/140.19 c 129.456 93.7773 6875 892106 140.05/140.19 o 4473574144 140.15/140.21 c 129.48 93.7773 6876 892667 140.15/140.21 o 4473574143 140.15/140.26 c 129.525 93.7773 6884 893472 140.15/140.26 o 4471052401 140.15/140.28 c 129.549 93.7773 6888 894581 140.15/140.28 o 4468530712 140.26/140.32 c 129.576 93.7773 6892 895789 140.26/140.32 o 4466008969 140.26/140.34 c 129.598 93.7773 6892 896535 140.26/140.34 o 4463487225 140.26/140.36 c 129.619 93.7773 6892 897343 140.26/140.36 o 4460965482 140.26/140.39 c 129.64 93.7773 6892 897878 140.26/140.39 o 4460965481 140.35/140.41 c 129.661 93.7773 6892 898662 140.35/140.41 o 4458443739 140.35/140.43 c 129.682 93.7773 6892 899431 140.35/140.43 o 4458443737 140.35/140.46 c 129.704 93.7773 6892 900182 140.35/140.46 o 4455921993 140.35/140.48 c 129.731 93.7773 6893 901069 140.35/140.48 o 4453400249 140.46/140.51 c 129.751 93.7773 6893 901828 140.46/140.51 o 4450878505 140.46/140.53 c 129.773 93.7773 6893 902593 140.46/140.53 o 4448356761 140.46/140.55 c 129.794 93.7773 6893 903356 140.46/140.55 o 4445835017 140.46/140.58 c 129.815 93.7773 6894 904044 140.46/140.58 o 4443313273 140.55/140.60 c 129.838 93.7773 6894 904828 140.55/140.60 o 4440791529 140.55/140.62 c 129.861 93.7773 6895 905515 140.55/140.62 o 4438269785 140.55/140.65 c 129.885 93.7773 6896 906726 140.55/140.65 o 4418095839 140.55/140.67 c 129.908 93.7773 6897 907766 140.55/140.67 o 4415574095 140.66/140.70 c 129.934 93.7773 6899 909214 140.66/140.70 o 4413052351 140.66/140.72 c 129.955 93.7773 6899 910096 140.66/140.72 o 4410530608 140.66/140.75 c 129.977 93.7773 6900 911003 140.66/140.75 o 4408008865 140.66/140.77 c 130 93.7773 6902 911698 140.66/140.77 o 4408008846 140.66/140.80 c 130.024 93.7773 6906 912349 140.66/140.80 o 4408008844 140.76/140.83 c 130.049 93.7773 6909 913260 140.76/140.83 o 4408008822 140.76/140.85 c 130.071 93.7773 6910 914142 140.76/140.85 o 4408008817 140.76/140.87 c 130.092 93.7773 6911 914719 140.76/140.87 o 4408008816 140.85/140.90 c 130.117 93.7773 6913 915970 140.85/140.90 o 4405487075 140.85/140.92 c 130.14 93.7773 6914 917081 140.85/140.92 o 4377747955 140.85/140.95 c 130.158 93.7773 6914 918144 140.85/140.95 o 4367660979 140.85/140.97 c 130.181 93.7773 6915 919411 140.85/140.97 o 4365139235 140.95/141.01 c 130.217 93.7773 1096 920735 140.95/141.01 o 4362617493 140.95/141.04 c 130.249 93.7773 1100 921289 140.95/141.04 o 4362617436 140.95/141.07 c 130.273 93.7773 1106 922339 140.95/141.07 o 4360095705 140.95/141.09 c 130.292 93.7773 1108 923313 140.95/141.09 o 4357573992 141.05/141.12 c 130.314 93.7773 1108 923716 141.05/141.12 o 4357573991 141.05/141.14 c 130.334 93.7773 1108 924582 141.05/141.14 o 4355052247 141.05/141.16 c 130.353 93.7773 1110 925239 141.05/141.16 o 4352530505 141.05/141.19 c 130.376 93.7773 1111 926151 141.05/141.19 o 4352530457 141.16/141.21 c 130.396 93.7773 1112 927126 141.16/141.21 o 4350008713 141.16/141.23 c 130.417 93.7773 1112 927972 141.16/141.23 o 4347486969 141.16/141.26 c 130.439 93.7773 1112 928843 141.16/141.26 o 4344965226 141.16/141.28 c 130.459 93.7773 1112 929435 141.16/141.28 o 4344965225 141.26/141.30 c 130.478 93.7773 1112 930277 141.26/141.30 o 4342443481 141.26/141.32 c 130.5 93.7773 1112 930946 141.26/141.32 o 4339921737 141.26/141.36 c 130.53 93.7773 1113 931664 141.26/141.36 o 4337399993 141.76/141.82 c 130.932 93.7773 1200 932393 141.76/141.82 o 4334878281 141.76/141.85 c 130.965 93.7773 1210 933051 141.76/141.85 o 4334878278 141.76/141.87 c 130.987 93.7773 1212 933706 141.76/141.87 o 4334878257 141.86/141.92 c 131.03 93.7773 1221 934368 141.86/141.92 o 4332356515 142.26/142.30 c 131.375 93.7773 1264 935042 142.26/142.30 o 4329834793 142.26/142.37 c 131.449 93.7773 1317 935457 142.26/142.37 o 4329834792 142.46/142.52 c 131.581 93.7773 1355 935825 142.46/142.52 o 4329834791 142.46/142.55 c 131.603 93.7773 1355 936491 142.46/142.55 o 4329834757 142.46/142.57 c 131.624 93.7773 1355 937101 142.46/142.57 o 4327313014 142.46/142.59 c 131.648 93.7773 1356 937455 142.46/142.59 o 4327313013 142.55/142.62 c 131.669 93.7773 1356 937814 142.55/142.62 o 4327313012 142.55/142.64 c 131.691 93.7773 1357 938733 142.55/142.64 o 4324791269 142.55/142.68 c 131.725 93.7773 1364 939332 142.55/142.68 o 4322269539 142.66/142.70 c 131.746 93.7773 1364 940166 142.66/142.70 o 4319747833 142.66/142.72 c 131.766 93.7773 1364 940995 142.66/142.72 o 4317226089 142.66/142.75 c 131.784 93.7773 1365 941821 142.66/142.75 o 4314704345 142.66/142.78 c 131.814 93.7773 1368 942421 142.66/142.78 o 4312182601 142.76/142.80 c 131.835 93.7773 1369 943469 142.76/142.80 o 4279399928 142.76/142.82 c 131.855 93.7773 1369 944331 142.76/142.82 o 4276878184 142.76/142.85 c 131.874 93.7773 1369 945217 142.76/142.85 o 4274356440 142.76/142.87 c 131.898 93.7773 1370 946186 142.76/142.87 o 4271834696 142.86/142.90 c 131.918 93.7773 1372 947131 142.86/142.90 o 4269312952 142.86/142.93 c 131.951 93.7773 1387 947490 142.86/142.93 o 4269312951 142.86/142.98 c 131.997 93.7773 1404 948049 142.86/142.98 o 4269312933 143.16/143.23 c 132.218 93.7773 1427 948620 143.16/143.23 o 4269312928 143.25/143.38 c 132.369 93.7773 1453 949207 143.25/143.38 o 4269312924 143.56/143.67 c 132.637 93.7773 1499 949875 143.56/143.67 o 4266791208 143.65/143.72 c 132.691 93.7773 1522 950157 143.65/143.72 o 4266791207 143.75/143.83 c 132.782 93.7773 1579 950802 143.75/143.83 o 4266791204 143.75/143.86 c 132.814 93.7773 1558 951052 143.75/143.86 o 4266791203 143.85/143.92 c 132.869 93.7773 1597 951358 143.85/143.92 o 4266791202 143.85/143.96 c 132.907 93.7773 1618 951927 143.85/143.96 o 4266791199 144.15/144.28 c 133.199 93.7773 1738 952431 144.15/144.28 o 4266791198 144.26/144.31 c 133.221 93.7773 1721 952648 144.26/144.31 o 4266791197 144.26/144.33 c 133.246 93.7773 1724 952864 144.26/144.33 o 4266791196 144.36/144.48 c 133.383 93.7773 1755 953437 144.36/144.48 o 4266791184 144.75/144.85 c 133.723 93.7773 1813 954089 144.75/144.85 o 4264269467 144.75/144.87 c 133.742 93.7773 1813 954609 144.75/144.87 o 4264269457 144.75/144.90 c 133.766 93.7773 1814 955135 144.75/144.90 o 4264269455 144.85/144.92 c 133.786 93.7773 1815 955655 144.85/144.92 o 4264269445 144.85/144.94 c 133.808 93.7773 1816 956169 144.85/144.94 o 4264269443 145.45/145.50 c 134.32 93.7773 1876 956834 145.45/145.50 o 4264269440 145.75/145.86 c 134.658 93.7773 1919 957421 145.75/145.86 o 4261747735 145.85/145.94 c 134.723 93.7773 1938 957997 145.85/145.94 o 4261747719 145.85/145.98 c 134.769 93.7773 1955 958262 145.85/145.98 o 4261747718 145.95/146.01 c 134.788 93.7773 1955 958773 145.95/146.01 o 4261747708 145.95/146.04 c 134.823 93.7773 1972 959036 145.95/146.04 o 4261747707 146.55/146.65 c 135.38 93.7773 2148 959882 146.55/146.65 o 4261747706 146.85/146.99 c 135.703 93.7773 2279 960394 146.85/146.99 o 4261747705 147.05/147.10 c 135.798 93.7773 2328 960682 147.05/147.10 o 4261747704 147.36/147.42 c 136.102 93.7773 2362 960942 147.36/147.42 o 4261747703 148.15/148.21 c 136.836 93.7773 2585 961617 148.15/148.21 o 4261747702 148.15/148.25 c 136.879 93.7773 2615 961929 148.15/148.25 o 4261747701 148.85/148.92 c 137.502 93.7773 2782 962816 148.85/148.92 o 4261747699 149.56/149.69 c 138.221 93.7773 2937 963329 149.56/149.69 o 4261747698 150.25/150.30 c 138.785 93.7773 3015 963751 150.25/150.30 o 4261747697 150.56/150.62 c 139.091 93.7773 3060 964322 150.56/150.62 o 4259225983 150.56/150.65 c 139.118 93.7773 3074 964858 150.56/150.65 o 4259225980 150.56/150.68 c 139.142 93.7773 3080 965404 150.56/150.68 o 4259225978 150.66/150.70 c 139.165 93.7773 3084 965933 150.66/150.70 o 4259225969 150.75/150.80 c 139.26 93.7773 3131 966258 150.75/150.80 o 4259225968 151.15/151.26 c 139.678 93.7773 3302 966947 151.15/151.26 o 4259225967 151.15/151.29 c 139.709 93.7773 3307 967504 151.15/151.29 o 4259225965 151.35/151.48 c 139.876 93.7773 3336 968077 151.35/151.48 o 4259225945 151.55/151.60 c 139.989 93.7773 3355 968619 151.55/151.60 o 4256704223 151.55/151.68 c 140.062 93.7773 3378 968906 151.55/151.68 o 4256704222 151.76/151.81 c 140.183 93.7773 3433 969647 151.76/151.81 o 4256704212 152.15/152.24 c 140.586 93.7773 3475 970243 152.15/152.24 o 4254182483 152.25/152.30 c 140.639 93.7773 3498 970498 152.25/152.30 o 4254182482 152.45/152.52 c 140.837 93.7773 3630 971108 152.45/152.52 o 4254182481 152.55/152.61 c 140.917 93.7773 3660 971376 152.55/152.61 o 4254182480 152.55/152.66 c 140.966 93.7773 3672 971605 152.55/152.66 o 4254182479 152.55/152.69 c 140.988 93.7773 3674 972143 152.55/152.69 o 4254182475 152.65/152.73 c 141.027 93.7773 3698 972837 152.65/152.73 o 4254182473 153.75/153.89 c 142.133 93.7773 3715 973685 153.75/153.89 o 4254182468 154.25/154.34 c 142.554 93.7773 3750 974238 154.25/154.34 o 4251660742 154.25/154.36 c 142.575 93.7773 3750 974747 154.25/154.36 o 4251660740 154.25/154.39 c 142.6 93.7773 3752 974939 154.25/154.39 o 4251660739 154.35/154.42 c 142.625 93.7773 3758 975494 154.35/154.42 o 4251660735 154.66/154.79 c 142.98 93.7773 3884 976001 154.66/154.79 o 4251660734 155.25/155.35 c 143.493 93.7773 4004 976507 155.25/155.35 o 4251660733 155.35/155.48 c 143.611 93.7773 4046 976794 155.35/155.48 o 4251660732 155.55/155.65 c 143.765 93.7773 4120 977386 155.55/155.65 o 4251660731 156.45/156.54 c 144.613 93.7773 4079 977916 156.45/156.54 o 4251660730 156.75/156.82 c 144.877 93.7773 4136 978561 156.75/156.82 o 4251660726 157.45/157.53 c 145.541 93.7773 4251 979024 157.45/157.53 o 4251660725 158.36/158.44 c 146.404 93.7773 4378 979776 158.36/158.44 o 4251660723 158.85/158.95 c 146.871 93.7773 4421 980038 158.85/158.95 o 4251660722 159.05/159.15 c 147.065 93.7773 4468 980659 159.05/159.15 o 4249139006 159.15/159.25 c 147.151 93.7773 4483 981194 159.15/159.25 o 4249139001 159.25/159.30 c 147.196 93.7773 4509 981440 159.25/159.30 o 4249139000 159.25/159.36 c 147.251 93.7773 4516 981963 159.25/159.36 o 4249138994 159.25/159.39 c 147.273 93.7773 4516 982147 159.25/159.39 o 4249138993 159.35/159.43 c 147.315 93.7773 4531 982362 159.35/159.43 o 4249138992 159.55/159.69 c 147.544 93.7773 4576 982595 159.55/159.69 o 4249138991 159.95/160.04 c 147.862 93.7773 4691 983411 159.95/160.04 o 4249138989 160.15/160.29 c 148.087 93.7773 4788 983750 160.15/160.29 o 4249138988 160.85/160.94 c 148.692 93.7773 4923 984260 160.85/160.94 o 4249138987 161.05/161.16 c 148.897 93.7773 4977 984569 161.05/161.16 o 4249138986 161.66/161.74 c 149.44 93.7773 5156 985193 161.66/161.74 o 4249138985 162.55/162.61 c 150.245 93.7773 5333 985787 162.55/162.61 o 4249138984 163.35/163.48 c 151.088 93.7773 3750 986597 163.35/163.49 o 4249138982 163.75/163.86 c 151.436 93.7773 3808 986938 163.75/163.86 o 4249138981 164.34/164.50 c 152.041 93.7773 3942 987425 164.45/164.50 o 4249138980 165.35/165.49 c 152.978 93.7773 4096 987939 165.35/165.49 o 4249138979 166.35/166.47 c 153.905 93.7773 4194 988566 166.35/166.47 o 4249138978 166.85/166.92 c 154.312 93.7773 4249 988841 166.85/166.92 o 4249138977 167.45/167.59 c 154.952 93.7773 4329 989250 167.45/167.59 o 4249138976 167.95/168.06 c 155.396 93.7773 4391 989895 167.95/168.06 o 4246617262 167.95/168.09 c 155.42 93.7773 4397 990416 167.95/168.09 o 4246617258 168.04/168.11 c 155.442 93.7773 4397 990623 168.04/168.11 o 4246617257 168.04/168.14 c 155.468 93.7773 4399 990819 168.04/168.14 o 4246617256 168.15/168.26 c 155.577 93.7773 4442 991063 168.15/168.26 o 4246617255 168.15/168.29 c 155.601 93.7773 4449 991581 168.15/168.29 o 4246617247 168.25/168.31 c 155.62 93.7773 4449 991770 168.25/168.31 o 4246617246 168.35/168.44 c 155.748 93.7773 4505 992076 168.35/168.44 o 4246617245 168.85/168.96 c 156.232 93.7773 4680 992642 168.85/168.96 o 4246617244 169.26/169.40 c 156.641 93.7773 4737 993049 169.26/169.40 o 4246617243 169.45/169.50 c 156.737 93.7773 4771 993329 169.45/169.50 o 4246617242 169.65/169.76 c 156.982 93.7773 4829 993623 169.65/169.76 o 4246617241 171.15/171.26 c 158.408 93.7773 5091 994358 171.15/171.26 o 4246617240 171.25/171.35 c 158.489 93.7773 4996 994568 171.25/171.35 o 4246617239 171.84/171.98 c 159.086 93.7773 5067 994944 171.84/171.98 o 4246617238 172.35/172.47 c 159.538 93.7773 5142 995294 172.35/172.47 o 4246617237 172.95/173.02 c 160.047 93.7773 5205 995587 172.95/173.02 o 4246617236 173.44/173.58 c 160.569 93.7773 4640 995864 173.44/173.58 o 4246617235 173.85/173.97 c 160.928 93.7773 4666 996135 173.85/173.97 o 4246617234 173.94/174.04 c 160.993 93.7773 4680 996671 173.94/174.04 o 4246617231 174.65/174.71 c 161.612 93.7773 4772 997373 174.65/174.71 o 4244095513 174.65/174.73 c 161.634 93.7773 4774 997571 174.65/174.73 o 4244095512 174.65/174.76 c 161.66 93.7773 4778 997756 174.65/174.76 o 4244095511 174.75/174.82 c 161.711 93.7773 4800 997985 174.75/174.82 o 4244095510 174.86/174.93 c 161.811 93.7773 4816 998516 174.86/174.93 o 4244095507 174.86/174.96 c 161.841 93.7773 4825 998777 174.86/174.96 o 4244095506 174.86/174.98 c 161.861 93.7773 4827 999298 174.86/174.98 o 4244095503 175.25/175.40 c 162.252 93.7773 5038 1000153 175.25/175.40 o 4244095502 175.74/175.80 c 162.634 93.7773 5203 1000730 175.74/175.80 o 4244095501 175.85/175.92 c 162.741 93.7773 5231 1000981 175.85/175.92 o 4244095500 177.24/177.37 c 164.11 93.7773 5586 1002101 177.24/177.37 o 4244095499 178.54/178.64 c 165.29 93.7773 5886 1002952 178.54/178.64 o 4244095498 178.75/178.89 c 165.512 93.7773 5940 1003240 178.75/178.89 o 4244095497 179.54/179.68 c 166.234 93.7773 6129 1003757 179.54/179.68 o 4244095496 180.04/180.11 c 166.628 93.7773 6227 1004145 180.04/180.11 o 4244095495 180.14/180.29 c 166.793 93.7773 6292 1004506 180.14/180.29 o 4244095494 180.25/180.35 c 166.848 93.7773 6301 1005023 180.25/180.35 o 4241573768 180.35/180.44 c 166.924 93.7773 6316 1005222 180.35/180.44 o 4241573767 180.35/180.47 c 166.951 93.7773 6317 1005402 180.35/180.47 o 4241573766 180.35/180.49 c 166.972 93.7773 6317 1005600 180.35/180.49 o 4241573765 180.44/180.51 c 166.993 93.7773 6320 1005840 180.44/180.51 o 4241573764 180.44/180.54 c 167.022 93.7773 6326 1006084 180.44/180.54 o 4241573763 180.44/180.59 c 167.07 93.7773 6347 1006306 180.44/180.59 o 4241573762 180.55/180.63 c 167.102 93.7773 6355 1006509 180.55/180.63 o 4241573761 180.74/180.85 c 167.301 93.7773 6434 1006888 180.74/180.85 o 4241573760 180.85/180.99 c 167.435 93.7773 6500 1007198 180.85/180.99 o 4241573759 181.64/181.75 c 168.131 93.7773 6816 1008216 181.64/181.75 o 4241573758 181.64/181.79 c 168.163 93.7773 2972 1008248 181.64/181.79 s OPTIMUM FOUND 181.64/181.79 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
OK 4241573758
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2684263-1277514873/watcher-2684263-1277514873 -o /tmp/evaluation-result-2684263-1277514873/solver-2684263-1277514873 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2684263-1277514873.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.04 1.03 1.06 3/105 32202 /proc/meminfo: memFree=1859876/2059040 swapFree=4139184/4192956 [pid=32202] ppid=32200 vsize=2416 CPUtime=0 /proc/32202/stat : 32202 (pbct) R 32200 32202 31248 0 -1 4202496 300 0 0 0 0 0 0 0 25 0 1 0 92781165 2473984 219 1992294400 134512640 136421960 4288745648 18446744073709551615 134540408 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32202/statm: 604 219 139 467 0 135 0 [startup+0.066985 s] /proc/loadavg: 1.04 1.03 1.06 3/105 32202 /proc/meminfo: memFree=1859876/2059040 swapFree=4139184/4192956 [pid=32202] ppid=32200 vsize=2560 CPUtime=0.06 /proc/32202/stat : 32202 (pbct) R 32200 32202 31248 0 -1 4202496 347 0 0 0 6 0 0 0 25 0 1 0 92781165 2621440 266 1992294400 134512640 136421960 4288745648 18446744073709551615 135809531 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32202/statm: 640 266 146 467 0 171 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2560 [startup+0.100988 s] /proc/loadavg: 1.04 1.03 1.06 3/105 32202 /proc/meminfo: memFree=1859876/2059040 swapFree=4139184/4192956 [pid=32202] ppid=32200 vsize=2744 CPUtime=0.09 /proc/32202/stat : 32202 (pbct) R 32200 32202 31248 0 -1 4202496 382 0 0 0 9 0 0 0 25 0 1 0 92781165 2809856 301 1992294400 134512640 136421960 4288745648 18446744073709551615 134554211 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32202/statm: 686 301 146 467 0 217 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2744 [startup+0.30101 s] /proc/loadavg: 1.04 1.03 1.06 3/105 32202 /proc/meminfo: memFree=1859876/2059040 swapFree=4139184/4192956 [pid=32202] ppid=32200 vsize=3536 CPUtime=0.29 /proc/32202/stat : 32202 (pbct) R 32200 32202 31248 0 -1 4202496 587 0 0 0 29 0 0 0 25 0 1 0 92781165 3620864 506 1992294400 134512640 136421960 4288745648 18446744073709551615 134544409 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32202/statm: 884 506 147 467 0 415 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3536 [startup+0.701055 s] /proc/loadavg: 1.04 1.03 1.06 3/105 32202 /proc/meminfo: memFree=1859876/2059040 swapFree=4139184/4192956 [pid=32202] ppid=32200 vsize=38156 CPUtime=0.69 /proc/32202/stat : 32202 (pbct) R 32200 32202 31248 0 -1 4202496 9624 0 0 0 65 4 0 0 25 0 1 0 92781165 39071744 9028 1992294400 134512640 136421960 4288745648 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/32202/statm: 9539 9029 195 467 0 9070 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38156 [startup+1.50115 s] /proc/loadavg: 1.04 1.03 1.06 2/106 32203 /proc/meminfo: memFree=1780880/2059040 swapFree=4139184/4192956 [pid=32202] ppid=32200 vsize=88096 CPUtime=1.49 /proc/32202/stat : 32202 (pbct) R 32200 32202 31248 0 -1 4202496 22863 0 0 0 139 10 0 0 25 0 1 0 92781165 90210304 20675 1992294400 134512640 136421960 4288745648 18446744073709551615 135160751 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/32202/statm: 22024 20675 239 467 0 21555 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 88096 [startup+3.10133 s] /proc/loadavg: 1.04 1.03 1.06 2/106 32203 /proc/meminfo: memFree=1777160/2059040 swapFree=4139184/4192956 [pid=32202] ppid=32200 vsize=88228 CPUtime=3.09 /proc/32202/stat : 32202 (pbct) R 32200 32202 31248 0 -1 4202496 22895 0 0 0 278 31 0 0 25 0 1 0 92781165 90345472 20694 1992294400 134512640 136421960 4288745648 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/32202/statm: 22057 20694 239 467 0 21588 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 88228 [startup+6.30069 s] /proc/loadavg: 1.03 1.03 1.06 2/106 32203 /proc/meminfo: memFree=1777160/2059040 swapFree=4139184/4192956 [pid=32202] ppid=32200 vsize=88492 CPUtime=6.29 /proc/32202/stat : 32202 (pbct) R 32200 32202 31248 0 -1 4202496 23007 0 0 0 562 67 0 0 25 0 1 0 92781165 90615808 20756 1992294400 134512640 136421960 4288745648 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/32202/statm: 22123 20756 239 467 0 21654 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 88492 [startup+12.7014 s] /proc/loadavg: 1.03 1.03 1.06 2/106 32203 /proc/meminfo: memFree=1776416/2059040 swapFree=4139184/4192956 [pid=32202] ppid=32200 vsize=89284 CPUtime=12.68 /proc/32202/stat : 32202 (pbct) R 32200 32202 31248 0 -1 4202496 23287 0 0 0 1143 125 0 0 25 0 1 0 92781165 91426816 20967 1992294400 134512640 136421960 4288745648 18446744073709551615 135154704 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/32202/statm: 22321 20967 239 467 0 21852 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 89284 [startup+25.5009 s] /proc/loadavg: 1.02 1.03 1.06 2/106 32205 /proc/meminfo: memFree=1775052/2059040 swapFree=4139184/4192956 [pid=32202] ppid=32200 vsize=90608 CPUtime=25.48 /proc/32202/stat : 32202 (pbct) R 32200 32202 31248 0 -1 4202496 23749 0 0 0 2316 232 0 0 25 0 1 0 92781165 92782592 21302 1992294400 134512640 136421960 4288745648 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/32202/statm: 22652 21302 239 467 0 22183 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 90608 [startup+51.1008 s] /proc/loadavg: 1.01 1.02 1.06 2/106 32205 /proc/meminfo: memFree=1771208/2059040 swapFree=4139184/4192956 [pid=32202] ppid=32200 vsize=94304 CPUtime=51.08 /proc/32202/stat : 32202 (pbct) R 32200 32202 31248 0 -1 4202496 24808 0 0 0 4675 433 0 0 25 0 1 0 92781165 96567296 22238 1992294400 134512640 136421960 4288745648 18446744073709551615 135241783 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/32202/statm: 23576 22238 239 467 0 23107 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 94304 [startup+102.309 s] /proc/loadavg: 1.00 1.02 1.05 2/106 32207 /proc/meminfo: memFree=1769968/2059040 swapFree=4139184/4192956 [pid=32202] ppid=32200 vsize=95364 CPUtime=102.27 /proc/32202/stat : 32202 (pbct) R 32200 32202 31248 0 -1 4202496 25206 0 0 0 9421 806 0 0 25 0 1 0 92781165 97652736 22496 1992294400 134512640 136421960 4288745648 18446744073709551615 135821922 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/32202/statm: 23841 22496 239 467 0 23372 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 95364 [startup+162.301 s] /proc/loadavg: 1.00 1.01 1.04 2/106 32207 /proc/meminfo: memFree=1768976/2059040 swapFree=4139184/4192956 [pid=32202] ppid=32200 vsize=96024 CPUtime=162.25 /proc/32202/stat : 32202 (pbct) R 32200 32202 31248 0 -1 4202496 25679 0 0 0 14995 1230 0 0 25 0 1 0 92781165 98328576 22693 1992294400 134512640 136421960 4288745648 18446744073709551615 135818501 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/32202/statm: 24006 22693 239 467 0 23537 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 96024 Solver just ended. Dumping a history of the last processes samples [startup+166.302 s] /proc/loadavg: 1.00 1.01 1.04 2/106 32207 /proc/meminfo: memFree=1768976/2059040 swapFree=4139184/4192956 [pid=32202] ppid=32200 vsize=96024 CPUtime=166.25 /proc/32202/stat : 32202 (pbct) R 32200 32202 31248 0 -1 4202496 25684 0 0 0 15373 1252 0 0 25 0 1 0 92781165 98328576 22693 1992294400 134512640 136421960 4288745648 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/32202/statm: 24006 22693 239 467 0 23537 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 96024 [startup+172.709 s] /proc/loadavg: 1.00 1.01 1.04 2/106 32209 /proc/meminfo: memFree=1768976/2059040 swapFree=4139184/4192956 [pid=32202] ppid=32200 vsize=96024 CPUtime=172.65 /proc/32202/stat : 32202 (pbct) R 32200 32202 31248 0 -1 4202496 25703 0 0 0 15975 1290 0 0 25 0 1 0 92781165 98328576 22693 1992294400 134512640 136421960 4288745648 18446744073709551615 135027097 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/32202/statm: 24006 22693 239 467 0 23537 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 96024 [startup+179.101 s] /proc/loadavg: 1.00 1.01 1.04 2/106 32209 /proc/meminfo: memFree=1768976/2059040 swapFree=4139184/4192956 [pid=32202] ppid=32200 vsize=96024 CPUtime=179.04 /proc/32202/stat : 32202 (pbct) R 32200 32202 31248 0 -1 4202496 25722 0 0 0 16570 1334 0 0 25 0 1 0 92781165 98328576 22695 1992294400 134512640 136421960 4288745648 18446744073709551615 135241783 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/32202/statm: 24006 22695 239 467 0 23537 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 96024 [startup+180.701 s] /proc/loadavg: 1.00 1.01 1.04 2/106 32209 /proc/meminfo: memFree=1768976/2059040 swapFree=4139184/4192956 [pid=32202] ppid=32200 vsize=96024 CPUtime=180.65 /proc/32202/stat : 32202 (pbct) R 32200 32202 31248 0 -1 4202496 25733 0 0 0 16716 1349 0 0 25 0 1 0 92781165 98328576 22695 1992294400 134512640 136421960 4288745648 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/32202/statm: 24006 22695 239 467 0 23537 0 Current children cumulated CPU time (s) 180.65 Current children cumulated vsize (KiB) 96024 [startup+181.508 s] /proc/loadavg: 1.00 1.01 1.04 2/106 32209 /proc/meminfo: memFree=1768976/2059040 swapFree=4139184/4192956 [pid=32202] ppid=32200 vsize=96024 CPUtime=181.45 /proc/32202/stat : 32202 (pbct) R 32200 32202 31248 0 -1 4202496 25735 0 0 0 16790 1355 0 0 25 0 1 0 92781165 98328576 22695 1992294400 134512640 136421960 4288745648 18446744073709551615 135237645 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/32202/statm: 24006 22695 239 467 0 23537 0 Current children cumulated CPU time (s) 181.45 Current children cumulated vsize (KiB) 96024 [startup+181.902 s] /proc/loadavg: 1.00 1.01 1.04 2/106 32209 /proc/meminfo: memFree=1768976/2059040 swapFree=4139184/4192956 [pid=32202] ppid=32200 vsize=90052 CPUtime=181.84 /proc/32202/stat : 32202 (pbct) R 32200 32202 31248 0 -1 4202496 25740 0 0 0 16827 1357 0 0 25 0 1 0 92781165 92213248 21570 1992294400 134512640 136421960 4288745648 18446744073709551615 135801367 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/32202/statm: 22513 21570 242 467 0 22044 0 Current children cumulated CPU time (s) 181.84 Current children cumulated vsize (KiB) 90052 [startup+182.102 s] /proc/loadavg: 1.00 1.01 1.04 2/106 32209 /proc/meminfo: memFree=1768976/2059040 swapFree=4139184/4192956 [pid=32202] ppid=32200 vsize=90052 CPUtime=182.04 /proc/32202/stat : 32202 (pbct) R 32200 32202 31248 0 -1 4202496 25740 0 0 0 16847 1357 0 0 25 0 1 0 92781165 92213248 21570 1992294400 134512640 136421960 4288745648 18446744073709551615 135801307 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/32202/statm: 22513 21570 242 467 0 22044 0 Current children cumulated CPU time (s) 182.04 Current children cumulated vsize (KiB) 90052 Child status: 0 Real time (s): 182.199 CPU time (s): 182.149 CPU user time (s): 168.561 CPU system time (s): 13.5879 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 96024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 168.561 system time used= 13.5879 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25741 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= 2357 runsolver used 0.313952 second user time and 0.881865 second system time The end
Begin job on node085 at 2010-06-26 03:14:33 IDJOB=2684263 IDBENCH=72317 IDSOLVER=1192 FILE ID=node085/2684263-1277514873 PBS_JOBID= 11190598 Free space on /tmp= 121676 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randc5fe62.cudf.trendy.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684263-1277514873/watcher-2684263-1277514873 -o /tmp/evaluation-result-2684263-1277514873/solver-2684263-1277514873 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2684263-1277514873.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 43875142ae1c220985d6e8b2ab6ecef8 RANDOM SEED=243688103 node085.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.221 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.44 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.221 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 : 5999.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1860404 kB Buffers: 16944 kB Cached: 98668 kB SwapCached: 6304 kB Active: 76468 kB Inactive: 52032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1860404 kB SwapTotal: 4192956 kB SwapFree: 4139184 kB Dirty: 2952 kB Writeback: 0 kB AnonPages: 11480 kB Mapped: 11852 kB Slab: 48240 kB PageTables: 4124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182120 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= 121672 MiB End job on node085 at 2010-06-26 03:17:36