Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.4.8-gmp | ? (TO) | 28181573174 | 1800.06 | 1800.03 |
Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-rand6d579e.cudf.trendy.opb |
MD5SUM | a8d2ef8c52f50247a319d5b58583dcf2 |
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 | 28002816255 |
Best CPU time to get the best result obtained on this benchmark | 4.76127 |
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 | 8017 |
Total number of constraints | 34178 |
Number of constraints which are clauses | 33841 |
Number of constraints which are cardinality constraints (but not clauses) | 337 |
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 | 3816 |
Biggest coefficient in the objective function | 6967871000 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 3846257497157 |
Number of bits of the sum of numbers in the objective function | 42 |
Biggest number in a constraint | 6967871000 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 3846257497157 |
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.01 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 3.99/4.00 o 2182205866231 4.19/4.26 o 2175237995231 4.29/4.34 o 2168270124231 4.41/4.45 o 2161302253231 4.49/4.58 o 2154334382231 4.69/4.71 o 2147366511231 4.79/4.82 o 2140398640231 4.89/4.93 o 2133430769231 4.99/5.07 o 2126462898231 5.09/5.15 o 2119495027231 5.19/5.23 o 2112527156231 5.29/5.31 o 2105559285231 5.29/5.39 o 2098591414231 5.69/5.73 o 2091623543231 5.79/5.83 o 2084655672231 5.89/5.98 o 2077687801231 5.99/6.05 o 2070723578331 6.19/6.22 o 2063755707331 6.61/6.63 o 2056787836331 6.89/6.90 o 2049823613431 6.99/7.06 o 2042855742431 7.19/7.20 o 2035887871431 7.19/7.27 o 2028923648531 7.29/7.38 o 2021955777531 7.39/7.47 o 2014987906531 7.49/7.54 o 2008020035531 7.59/7.65 o 2001052164531 7.71/7.79 o 1994084293531 7.79/7.87 o 1987116422531 7.89/7.96 o 1980152199631 8.09/8.11 o 1973184328631 8.09/8.19 o 1966220105731 8.29/8.30 o 1959252234731 8.39/8.42 o 1952284363731 8.39/8.49 o 1945316492731 8.59/8.65 o 1938352269832 8.69/8.74 o 1931388046932 8.81/8.83 o 1924420175932 8.89/8.94 o 1917455953032 9.09/9.10 o 1910488082032 9.19/9.25 o 1903520211032 9.29/9.38 o 1896552340032 9.69/9.77 o 1889584469032 10.09/10.16 o 1882616598032 10.19/10.27 o 1875648727032 10.29/10.35 o 1868680856032 10.39/10.46 o 1861712985032 10.59/10.61 o 1854745114032 10.59/10.69 o 1847777243032 10.79/10.82 o 1840809372032 11.01/11.07 o 1833841501032 11.19/11.20 o 1826873630032 11.29/11.30 o 1819905759032 11.39/11.43 o 1812937888032 11.59/11.60 o 1805970017032 11.79/11.84 o 1799002146032 11.99/12.04 o 1792034275032 12.39/12.42 o 1785066404032 13.09/13.14 o 1778098533032 13.59/13.60 o 1771130662032 13.69/13.73 o 1764162791032 13.89/13.99 o 1757194920032 14.19/14.29 o 1750227049032 14.39/14.49 o 1743259178032 14.89/14.90 o 1736291307032 15.09/15.18 o 1729323436032 15.29/15.38 o 1722355565032 15.41/15.49 o 1715387694032 15.59/15.60 o 1708419823032 15.79/15.83 o 1701451952032 16.09/16.12 o 1694484081032 16.19/16.23 o 1687516210032 16.39/16.43 o 1680548339032 16.59/16.67 o 1673580468032 16.69/16.79 o 1666612597032 16.99/17.00 o 1659644726032 17.09/17.19 o 1652680503132 17.39/17.43 o 1645712632132 17.79/17.87 o 1638748409232 18.09/18.19 o 1631784186332 18.79/18.87 o 1624827259633 19.19/19.20 o 1624823611536 19.39/19.46 o 1624819963436 20.49/20.56 o 1624816315336 20.59/20.66 o 1624812667236 23.79/23.89 o 1617848444341 24.29/24.39 o 1610880573341 24.49/24.55 o 1610876925241 25.79/25.85 o 1603909054241 25.99/26.00 o 1603905406141 26.30/26.37 o 1603905406140 26.59/26.66 o 1596941183240 26.69/26.72 o 1589976960340 26.79/26.81 o 1589973312240 26.89/26.96 o 1583005441241 26.99/27.05 o 1582998145041 27.19/27.23 o 1582990848841 27.39/27.41 o 1582987200742 27.39/27.51 o 1582983552642 27.51/27.60 o 1576015681642 27.69/27.70 o 1576012033542 27.79/27.88 o 1576008385442 27.89/27.99 o 1555104772446 28.19/28.25 o 1534201159446 28.39/28.44 o 1534197511346 28.61/28.62 o 1527229640346 28.69/28.70 o 1527225992246 28.69/28.77 o 1520258121246 28.79/28.84 o 1513290250246 28.89/28.97 o 1506322379247 28.99/29.07 o 1499354508247 29.09/29.18 o 1478450895247 29.29/29.33 o 1478447247147 29.39/29.42 o 1478443599047 29.49/29.53 o 1478439950947 29.59/29.68 o 1478436302848 29.71/29.77 o 1471468431848 29.89/29.91 o 1464500560848 29.89/29.98 o 1457532689848 30.09/30.14 o 1450564818849 30.29/30.33 o 1443596947849 30.49/30.50 o 1436629076849 30.49/30.57 o 1429661205849 30.59/30.67 o 1422693334849 30.69/30.77 o 1415725463849 30.89/30.94 o 1415721815751 30.99/31.05 o 1408753944751 31.09/31.18 o 1408750296651 31.39/31.40 o 1408746648551 31.49/31.54 o 1401778777551 31.69/31.79 o 1387853979852 31.91/31.92 o 1387853979851 32.09/32.17 o 1387853979850 32.49/32.59 o 1339075234760 32.90/32.94 o 1325139492761 33.09/33.13 o 1318171621761 33.29/33.33 o 1311203750761 33.39/33.41 o 1311200102661 33.49/33.53 o 1311200102660 33.59/33.62 o 1304232231660 33.59/33.69 o 1297264360660 33.79/33.80 o 1297260712560 33.89/33.92 o 1297260712559 33.99/34.04 o 1290292841559 34.11/34.15 o 1283324970559 34.19/34.27 o 1276357099559 34.49/34.52 o 1269396524759 34.69/34.79 o 1262428653759 34.79/34.86 o 1255460782759 34.89/34.93 o 1248492911759 35.09/35.12 o 1241525040759 35.21/35.29 o 1234557169759 35.49/35.50 o 1234553521659 35.49/35.59 o 1227585650659 35.69/35.79 o 1220617779659 35.89/35.93 o 1213649908659 35.99/36.09 o 1206682037659 36.19/36.28 o 1206678389563 36.31/36.39 o 1199710518563 36.59/36.61 o 1192742647563 36.59/36.68 o 1185774776563 36.99/37.01 o 1178803257461 37.09/37.18 o 1171835386461 37.41/37.43 o 1164867515462 37.49/37.56 o 1157899644462 37.69/37.75 o 1150935421562 38.09/38.15 o 1143967550562 38.69/38.77 o 1137003327664 38.89/38.94 o 1130035456664 39.09/39.12 o 1123067585664 39.19/39.24 o 1123063937564 39.39/39.41 o 1116099714664 39.49/39.58 o 1116096066564 39.79/39.89 o 1109128195564 40.59/40.68 o 1102160324564 41.09/41.13 o 1095192453565 41.39/41.46 o 1088224582565 41.59/41.63 o 1088220934465 41.99/42.08 o 1081253063465 42.29/42.33 o 1074288840565 42.49/42.57 o 1074285192465 42.69/42.79 o 1067317321465 42.79/42.87 o 1060349450465 42.91/42.95 o 1053381579465 42.99/43.04 o 1053377931365 43.09/43.11 o 1046410060365 43.29/43.35 o 1046406412265 43.89/43.93 o 1039438541265 44.19/44.22 o 1032470670265 44.29/44.39 o 1025502799265 44.79/44.88 o 1018534928265 45.11/45.17 o 1018531280165 45.29/45.33 o 1018527632065 45.69/45.74 o 1011563409165 45.79/45.89 o 1004595538165 45.99/46.04 o 997631315265 46.69/46.74 o 997627667165 46.99/47.02 o 997624019065 47.31/47.36 o 997624019064 47.49/47.50 o 997620370964 47.69/47.77 o 997616722864 47.99/48.02 o 997613074765 48.09/48.19 o 990652499965 48.19/48.27 o 990648851865 48.41/48.48 o 983695573265 48.49/48.56 o 976727702265 48.59/48.65 o 976724054165 48.69/48.74 o 969756183165 48.89/48.91 o 969748886965 48.99/49.01 o 962781015965 49.09/49.16 o 955813144965 49.19/49.26 o 948845273965 49.29/49.37 o 941877402965 49.51/49.57 o 941873754865 49.69/49.71 o 934905883865 49.79/49.87 o 934902235765 49.99/50.02 o 927934364765 50.09/50.15 o 920973789965 50.29/50.35 o 920970141865 50.49/50.56 o 920966493765 50.61/50.63 o 913998622765 50.79/50.88 o 913994974665 50.89/50.96 o 907027103665 50.99/51.09 o 907023455565 51.09/51.16 o 900055584565 51.19/51.24 o 893087713565 51.39/51.43 o 886119842565 51.59/51.64 o 886119842564 51.71/51.74 o 879151971564 51.79/51.83 o 872184100564 51.89/51.92 o 865216229564 51.99/52.03 o 865208933364 52.19/52.22 o 858241062364 52.29/52.36 o 858237414264 52.49/52.59 o 851269543264 52.80/52.82 o 844305320364 52.89/52.99 o 837337449364 53.69/53.72 o 830369578364 53.91/53.97 o 823398059264 54.29/54.32 o 823398059263 54.59/54.68 o 809480557766 54.69/54.78 o 809476909666 54.79/54.86 o 809476909665 55.01/55.02 o 809473261565 55.59/55.61 o 809469613465 55.59/55.68 o 802501742465 55.79/55.89 o 802498094365 56.11/56.16 o 795530223365 56.49/56.57 o 788562352365 56.69/56.73 o 788558704265 56.79/56.89 o 781590833265 57.09/57.12 o 774622962265 57.29/57.30 o 774619314165 57.69/57.71 o 767651443165 57.79/57.80 o 767647795065 57.89/57.95 o 760679924065 58.69/58.73 o 760676275967 59.09/59.18 o 753712053066 60.19/60.23 o 746744182066 60.51/60.53 o 739776311066 60.79/60.84 o 732808440066 60.99/61.05 o 732804791966 62.71/62.74 o 725855161520 62.79/62.86 o 718890938620 62.89/62.98 o 718890938619 62.99/63.08 o 718887290520 63.39/63.40 o 718883642420 63.99/64.01 o 718879994320 64.39/64.40 o 718876346220 64.59/64.68 o 711908475220 64.79/64.82 o 711904827121 64.91/64.93 o 711901179023 65.09/65.14 o 697980029423 65.19/65.27 o 691012158423 65.39/65.46 o 684066176023 65.59/65.67 o 684062527923 65.69/65.77 o 684058879824 65.89/65.96 o 677094656924 66.49/66.51 o 670126785924 66.59/66.62 o 670123137824 66.89/66.96 o 670119489724 67.19/67.25 o 663151618724 67.29/67.37 o 663151618723 68.49/68.50 o 649212228622 69.59/69.61 o 642244357622 70.09/70.12 o 642240709522 70.19/70.24 o 642237061422 70.49/70.51 o 642237061421 70.59/70.68 o 635269190421 70.89/70.92 o 628301319421 70.99/71.06 o 621333448421 71.19/71.22 o 621329800321 71.89/71.92 o 614376521728 71.99/72.00 o 614372873629 72.19/72.29 o 600455372129 72.39/72.41 o 593487501129 72.49/72.51 o 579555407229 72.60/72.62 o 579551759129 72.69/72.75 o 572583888134 72.89/72.94 o 572583888133 72.99/73.05 o 572580240033 73.19/73.25 o 565612369033 73.70/73.77 o 565608720933 74.19/74.23 o 558644498033 74.69/74.72 o 551676627033 74.80/74.82 o 544708756033 75.29/75.34 o 544708756032 75.59/75.61 o 537740885032 75.79/75.90 o 537733588832 75.99/76.01 o 537733588831 76.29/76.32 o 530765717831 77.39/77.49 o 530762069731 78.19/78.23 o 523797846831 79.09/79.14 o 516833623931 79.69/79.71 o 516829975830 80.09/80.15 o 509865752931 80.19/80.28 o 502905178131 80.39/80.40 o 502905178130 80.59/80.69 o 502901530030 80.79/80.80 o 502897881930 81.09/81.15 o 495930010930 82.69/82.74 o 488962139930 82.99/83.06 o 488958491830 83.09/83.18 o 488954843730 83.29/83.30 o 488951195630 83.29/83.39 o 488947547530 83.39/83.48 o 488947547529 83.49/83.58 o 481979676528 83.60/83.69 o 475015453628 83.79/83.83 o 468047582629 83.99/84.03 o 461083359732 84.19/84.26 o 454119136832 84.59/84.61 o 447165858234 84.70/84.73 o 440201635334 84.89/84.90 o 433233764333 84.99/85.05 o 426269541434 85.09/85.15 o 426269541433 85.49/85.55 o 419301670433 85.69/85.71 o 419294374233 85.89/85.91 o 412333799432 85.99/86.05 o 412330151333 86.09/86.16 o 412326503234 86.39/86.41 o 398405353634 86.59/86.61 o 398405353633 86.79/86.81 o 391437482633 87.09/87.15 o 384469611633 87.39/87.49 o 384465963533 87.49/87.59 o 377498092533 87.79/87.85 o 370530221533 88.39/88.45 o 363562350533 88.99/89.10 o 363558702433 89.19/89.20 o 363555054333 89.39/89.43 o 363555054332 89.49/89.51 o 356587183332 89.89/89.96 o 349622960432 91.09/91.10 o 342655089432 91.19/91.29 o 328719347432 91.31/91.39 o 328715699332 92.40/92.43 o 321766068833 93.19/93.29 o 314798197833 93.39/93.41 o 307830326833 93.59/93.65 o 307830326832 93.69/93.76 o 307830326831 94.39/94.44 o 300862455831 94.69/94.75 o 293894584831 94.89/94.91 o 293890936731 95.39/95.41 o 293887288631 96.09/96.20 o 286923065731 96.81/96.86 o 286919417631 96.89/96.98 o 279955194731 97.19/97.23 o 272990971831 97.29/97.34 o 266023100832 98.19/98.25 o 259062526032 98.79/98.81 o 259058877932 98.89/98.93 o 259055229832 99.39/99.45 o 252098303134 99.49/99.58 o 252098303133 100.89/100.90 o 245130432133 100.99/101.00 o 231194690133 101.09/101.15 o 231191042033 101.59/101.65 o 231187393934 101.89/101.98 o 231183745834 102.99/103.00 o 224215874841 103.09/103.18 o 217248003840 104.39/104.43 o 217248003839 104.79/104.85 o 217248003838 106.39/106.41 o 210287429039 107.59/107.66 o 210283780940 108.49/108.50 o 203323206140 108.79/108.87 o 196355335140 109.59/109.60 o 196351687040 110.39/110.45 o 189391112240 112.49/112.58 o 182456074141 112.79/112.84 o 182456074140 113.09/113.16 o 182452426041 113.31/113.37 o 182452426040 113.39/113.46 o 182452426039 113.49/113.59 o 182452426038 114.19/114.24 o 175484555043 114.29/114.40 o 175480906943 118.59/118.66 o 175477258857 120.49/120.53 o 175477258856 120.59/120.68 o 175473610756 120.69/120.78 o 175469962656 121.39/121.41 o 168509387863 121.49/121.51 o 168509387862 121.59/121.61 o 168509387861 121.69/121.78 o 168505739761 125.59/125.64 o 161599886467 125.89/125.99 o 161599886466 126.39/126.44 o 161596238366 127.39/127.45 o 161596238365 127.69/127.71 o 161596238364 127.89/127.90 o 161596238363 128.19/128.22 o 161592590263 128.39/128.41 o 161588942163 128.49/128.52 o 161585294063 128.71/128.74 o 161581645963 129.09/129.12 o 161577997865 134.29/134.30 o 154617423077 134.79/134.82 o 154617423076 135.39/135.44 o 147664144474 135.89/135.96 o 147660496375 136.19/136.29 o 140692625376 136.89/136.96 o 140688977276 136.99/137.07 o 140685329176 137.19/137.27 o 140685329175 137.59/137.62 o 140681681075 140.89/140.99 o 140681681074 141.09/141.12 o 140681681073 141.79/141.87 o 140678032973 145.49/145.55 o 126753235275 145.69/145.71 o 126753235274 146.39/146.44 o 126753235273 146.49/146.55 o 126753235272 146.79/146.88 o 126753235271 147.59/147.65 o 126753235270 149.89/149.98 o 105864214671 150.79/150.82 o 105864214670 150.99/151.02 o 105860566570 151.09/151.11 o 98892695570 151.49/151.57 o 91950361270 151.59/151.66 o 91946713170 151.69/151.79 o 91943065070 151.99/152.01 o 91939416972 152.49/152.59 o 91939416971 152.59/152.69 o 91939416969 152.91/152.96 o 84971545970 153.29/153.31 o 78010971171 153.39/153.47 o 78010971170 153.69/153.75 o 78007323070 154.01/154.04 o 78003674970 154.59/154.68 o 78003674969 155.29/155.38 o 78003674967 156.10/156.15 o 78000026867 156.49/156.52 o 78000026866 156.99/157.01 o 77992730666 159.99/160.05 o 77992730665 160.29/160.35 o 77992730664 160.69/160.77 o 77992730663 160.89/160.90 o 77992730662 161.19/161.29 o 77989082562 161.39/161.45 o 77985434462 161.71/161.76 o 77985434461 161.99/162.05 o 71028507761 162.99/163.08 o 64075229160 167.39/167.40 o 50161375759 167.59/167.67 o 50157727659 167.69/167.80 o 50157727658 170.79/170.86 o 43219041449 173.49/173.50 o 36258466649 173.59/173.69 o 36258466648 173.99/174.10 o 36258466647 174.69/174.74 o 29294243748 174.80/174.84 o 29290595648 175.39/175.48 o 29290595647 175.69/175.71 o 29286947547 176.29/176.30 o 29286947545 176.49/176.51 o 29286947544 177.69/177.73 o 29283299445 178.21/178.26 o 29283299444 180.99/181.05 o 29279651351 181.19/181.22 o 29279651350 182.50/182.54 o 29257762750 183.19/183.21 o 29257762749 184.09/184.13 o 29254114649 184.81/184.88 o 29250466549 185.69/185.70 o 29246818449 189.59/189.64 o 29246818447 189.69/189.79 o 29243170349 189.89/189.91 o 29239522251 189.99/190.05 o 29239522250 191.79/191.89 o 29239522249 192.29/192.33 o 29235874149 192.51/192.53 o 29235874148 192.69/192.78 o 29232226049 193.39/193.47 o 29228577949 193.89/193.95 o 29228577948 193.99/194.05 o 29221281749 194.39/194.44 o 29221281748 194.60/194.63 o 29221281747 199.19/199.24 o 29217633647 199.79/199.87 o 29217633646 202.49/202.54 o 29217633645 202.59/202.65 o 29217633644 207.59/207.68 o 29213985545 212.09/212.14 o 29210337447 215.61/215.68 o 29206689347 216.79/216.81 o 29206689346 221.00/221.05 o 29203041247 224.41/224.46 o 29203041246 229.69/229.70 o 29192096941 230.39/230.49 o 29192096940 230.59/230.68 o 29192096939 231.01/231.07 o 29192096938 231.19/231.23 o 29192096937 231.39/231.43 o 29192096935 231.59/231.62 o 29192096934 231.69/231.74 o 29192096933 231.79/231.87 o 29192096932 231.89/231.98 o 29192096931 232.49/232.50 o 29192096930 233.39/233.41 o 29192096929 233.69/233.71 o 29162912129 233.79/233.84 o 29159264029 233.99/234.06 o 29159264028 234.20/234.30 o 29155615930 234.49/234.52 o 29155615929 234.69/234.77 o 29151967830 235.49/235.58 o 29148319731 235.69/235.72 o 29148319730 235.79/235.89 o 29144671631 235.89/236.00 o 29144671630 236.09/236.16 o 29141023533 236.19/236.26 o 29141023532 236.29/236.35 o 29141023531 236.40/236.43 o 29141023530 236.51/236.52 o 29137375430 236.59/236.68 o 29133727330 236.79/236.81 o 29130079230 236.99/237.03 o 29130079228 237.19/237.21 o 29126431130 237.39/237.43 o 29122783031 237.50/237.55 o 29122783030 237.61/237.66 o 29122783029 237.79/237.82 o 29119134929 237.89/237.91 o 29115486829 237.89/237.99 o 29111838729 237.99/238.08 o 29108190629 238.09/238.19 o 29104542529 238.60/238.68 o 29100894431 238.71/238.80 o 29100894430 238.99/239.04 o 29097246337 239.19/239.22 o 29097246335 239.29/239.33 o 29097246334 239.39/239.47 o 29097246333 239.49/239.57 o 29097246332 239.89/239.90 o 29093598234 239.89/240.00 o 29093598233 240.09/240.19 o 29093598232 240.39/240.43 o 29089950133 240.49/240.54 o 29089950132 240.80/240.83 o 29086302036 240.91/240.92 o 29086302034 240.99/241.01 o 29086302033 241.09/241.11 o 29086302032 241.39/241.45 o 29079005835 241.49/241.54 o 29079005833 241.59/241.67 o 29079005832 241.79/241.89 o 29079005831 242.09/242.17 o 29075357734 242.19/242.27 o 29075357733 242.29/242.37 o 29075357732 242.49/242.59 o 29075357731 242.79/242.83 o 29075357730 243.00/243.10 o 29075357729 243.29/243.33 o 29075357728 243.49/243.59 o 29075357727 243.79/243.89 o 29071709629 243.89/243.99 o 29071709628 243.99/244.08 o 29071709627 244.29/244.39 o 29068061531 244.39/244.48 o 29068061530 244.49/244.57 o 29068061529 244.59/244.66 o 29068061528 244.69/244.78 o 29068061527 245.09/245.11 o 29064413429 245.20/245.21 o 29064413428 245.31/245.33 o 29064413427 245.59/245.66 o 29060765329 245.69/245.76 o 29060765328 245.79/245.85 o 29060765327 246.19/246.20 o 29057117230 246.19/246.29 o 29057117229 246.30/246.38 o 29057117228 246.41/246.49 o 29057117227 246.79/246.80 o 29053469130 246.79/246.90 o 29053469129 246.89/246.98 o 29053469128 247.09/247.10 o 29053469127 247.40/247.42 o 29049821030 247.51/247.52 o 29049821029 247.59/247.61 o 29049821028 247.69/247.72 o 29049821027 247.99/248.04 o 29046172929 248.09/248.14 o 29046172928 248.19/248.23 o 29046172927 248.50/248.54 o 29042524831 248.61/248.64 o 29042524830 248.69/248.73 o 29042524829 248.79/248.83 o 29042524828 248.89/248.92 o 29042524827 249.19/249.22 o 29038876730 249.29/249.32 o 29038876729 249.39/249.41 o 29038876728 249.49/249.51 o 29038876727 249.71/249.75 o 29038876726 249.89/249.98 o 29035228628 249.99/250.08 o 29035228627 250.09/250.17 o 29035228626 250.29/250.39 o 29035228625 250.59/250.67 o 29031580528 250.70/250.76 o 29031580527 250.81/250.86 o 29031580526 250.89/250.99 o 29031580525 251.39/251.41 o 29031580524 251.69/251.74 o 29031580523 251.80/251.86 o 29027932425 251.91/251.99 o 29027932424 252.29/252.34 o 29024284326 252.39/252.44 o 29024284325 252.49/252.53 o 29024284324 252.90/252.92 o 29020636227 253.01/253.02 o 29020636226 253.09/253.13 o 29020636225 253.19/253.26 o 29020636224 253.49/253.53 o 29016988125 253.59/253.63 o 29016988124 253.89/253.96 o 29013340025 254.00/254.08 o 29013340024 254.29/254.31 o 29009691924 254.49/254.56 o 29009691923 254.69/254.70 o 29006043826 254.79/254.82 o 29006043825 254.89/254.96 o 29006043824 255.10/255.16 o 29006043823 255.21/255.29 o 29002395726 255.39/255.43 o 29002395725 255.49/255.57 o 29002395724 255.69/255.79 o 29002395723 255.89/255.93 o 28998747626 255.99/256.05 o 28998747625 256.09/256.15 o 28998747624 256.31/256.39 o 28998747623 256.49/256.53 o 28995099525 256.59/256.66 o 28995099524 256.99/257.07 o 28991451426 257.09/257.18 o 28991451425 257.19/257.28 o 28991451424 257.59/257.60 o 28991451423 257.59/257.69 o 28987803324 257.89/257.92 o 28987803323 258.09/258.14 o 28987803322 258.19/258.28 o 28984155225 258.40/258.45 o 28984155224 258.51/258.57 o 28984155223 258.99/259.06 o 28980507124 259.09/259.16 o 28980507123 259.61/259.65 o 28980507122 259.79/259.81 o 28980507121 259.89/259.93 o 28976859024 259.99/260.05 o 28976859023 260.09/260.15 o 28976859022 260.60/260.61 o 28973210924 260.60/260.71 o 28973210923 260.79/260.84 o 28973210922 260.99/261.01 o 28973210921 261.09/261.11 o 28969562822 261.39/261.43 o 28969562821 261.49/261.53 o 28965914722 261.69/261.72 o 28962266624 261.81/261.83 o 28962266623 261.89/261.94 o 28962266622 262.09/262.20 o 28958618522 262.29/262.38 o 28958618521 262.49/262.51 o 28954970423 262.59/262.65 o 28954970422 262.80/262.83 o 28951322324 262.91/262.93 o 28951322323 262.99/263.08 o 28951322322 263.19/263.28 o 28951322321 263.29/263.38 o 28947674223 263.49/263.51 o 28947674222 263.59/263.69 o 28944026123 263.79/263.80 o 28944026122 263.89/263.94 o 28944026121 264.01/264.08 o 28944026120 264.29/264.32 o 28940378021 264.69/264.72 o 28936729925 264.89/264.94 o 28933081827 264.99/265.06 o 28933081826 265.11/265.18 o 28933081825 265.29/265.38 o 28929433726 265.49/265.53 o 28929433725 265.69/265.75 o 28925785625 266.09/266.16 o 28925785624 266.49/266.51 o 28922137528 266.59/266.63 o 28922137527 266.69/266.73 o 28922137526 266.79/266.88 o 28922137524 267.19/267.21 o 28922137523 267.59/267.64 o 28918489424 267.69/267.74 o 28918489423 268.09/268.16 o 28918489422 268.41/268.45 o 28918489421 268.59/268.66 o 28918489420 270.19/270.29 o 28914841323 270.39/270.40 o 28914841322 270.49/270.51 o 28914841321 270.61/270.67 o 28914841320 271.19/271.20 o 28911193226 271.29/271.30 o 28911193225 271.39/271.44 o 28911193224 271.49/271.55 o 28911193223 271.79/271.84 o 28911193222 272.09/272.10 o 28911193221 272.39/272.50 o 28911193220 272.89/272.97 o 28911193219 273.49/273.57 o 28911193218 274.09/274.13 o 28907545123 274.19/274.24 o 28907545122 274.29/274.34 o 28907545120 274.59/274.61 o 28907545119 274.69/274.77 o 28907545118 275.29/275.36 o 28903897019 275.49/275.53 o 28903897018 275.89/275.93 o 28903897017 276.19/276.28 o 28900248918 276.29/276.39 o 28900248917 276.69/276.73 o 28900248916 277.39/277.47 o 28896600817 277.49/277.56 o 28896600816 277.89/277.99 o 28892952718 277.99/278.09 o 28892952717 278.19/278.21 o 28892952716 278.49/278.55 o 28889304619 278.59/278.65 o 28889304618 278.69/278.76 o 28889304617 278.79/278.88 o 28889304616 279.29/279.32 o 28885656516 279.69/279.73 o 28882008418 279.79/279.89 o 28882008417 279.99/280.03 o 28882008416 280.51/280.58 o 28882008415 281.69/281.76 o 28878360320 281.79/281.86 o 28878360319 281.89/281.97 o 28878360318 281.99/282.07 o 28878360317 282.09/282.16 o 28878360316 282.29/282.30 o 28878360315 282.89/282.94 o 28874712220 282.99/283.03 o 28874712219 283.09/283.15 o 28874712218 283.19/283.25 o 28874712217 283.29/283.37 o 28874712216 283.59/283.60 o 28874712215 283.99/284.01 o 28871064120 284.09/284.10 o 28871064119 284.09/284.19 o 28871064117 284.19/284.29 o 28871064116 284.29/284.39 o 28871064115 284.79/284.87 o 28867416019 284.91/284.97 o 28867416018 284.99/285.07 o 28867416017 285.09/285.16 o 28867416016 285.19/285.27 o 28867416015 285.69/285.73 o 28863767921 285.79/285.82 o 28863767920 285.89/285.91 o 28863767919 285.89/286.00 o 28863767918 286.09/286.10 o 28863767917 286.19/286.21 o 28863767916 286.39/286.46 o 28863767915 286.99/287.01 o 28863767914 286.99/287.10 o 28860119815 289.09/289.11 o 28856471717 289.19/289.31 o 28856471716 289.39/289.49 o 28856471715 290.29/290.38 o 28856471714 290.99/291.08 o 28852823616 291.29/291.33 o 28852823615 291.51/291.59 o 28852823614 291.99/292.06 o 28852823613 292.09/292.20 o 28849175519 292.19/292.29 o 28849175518 292.29/292.38 o 28849175517 292.39/292.47 o 28849175516 292.49/292.58 o 28849175515 292.61/292.68 o 28849175514 294.29/294.31 o 28845527414 294.49/294.55 o 28845527413 294.89/294.99 o 28845527412 295.39/295.45 o 28841879315 295.49/295.58 o 28841879313 295.69/295.70 o 28841879312 296.79/296.82 o 28841879311 297.69/297.71 o 28841879310 297.79/297.83 o 28838231211 298.79/298.81 o 28834583111 299.29/299.33 o 28830935014 299.39/299.43 o 28830935013 299.49/299.52 o 28830935012 299.59/299.65 o 28830935011 300.69/300.71 o 28827286914 300.79/300.80 o 28827286912 300.89/300.94 o 28827286911 301.99/302.01 o 28827286910 302.89/302.94 o 28823638812 303.09/303.11 o 28823638811 303.19/303.28 o 28823638810 303.69/303.73 o 28819990713 303.79/303.84 o 28819990712 303.89/303.94 o 28819990711 303.99/304.09 o 28819990710 304.60/304.68 o 28819990709 306.59/306.66 o 28816342610 306.99/307.04 o 28816342609 307.49/307.55 o 28812694514 307.59/307.66 o 28812694513 307.69/307.78 o 28812694512 307.79/307.89 o 28812694511 307.90/307.99 o 28812694510 308.09/308.11 o 28812694509 308.29/308.37 o 28812694508 308.59/308.69 o 28809046412 308.69/308.79 o 28809046411 308.79/308.89 o 28809046410 309.00/309.01 o 28809046409 309.19/309.22 o 28809046408 309.59/309.64 o 28805398311 309.69/309.73 o 28805398310 309.79/309.83 o 28805398309 309.89/309.94 o 28805398308 310.29/310.32 o 28801750214 310.39/310.41 o 28801750213 310.49/310.51 o 28801750212 310.59/310.60 o 28801750211 310.69/310.70 o 28801750210 310.79/310.82 o 28801750209 310.89/310.94 o 28801750208 311.39/311.43 o 28798102108 311.79/311.82 o 28798102107 312.19/312.20 o 28794454010 312.30/312.31 o 28794454009 312.41/312.44 o 28794454008 312.59/312.62 o 28794454007 312.89/312.94 o 28790805912 312.99/313.05 o 28790805911 313.09/313.15 o 28790805910 313.19/313.28 o 28790805909 313.40/313.41 o 28790805908 313.59/313.61 o 28790805907 313.89/313.94 o 28790805906 313.99/314.05 o 28787157808 314.09/314.15 o 28787157807 314.50/314.54 o 28783509709 314.61/314.63 o 28783509708 314.79/314.82 o 28783509707 315.29/315.32 o 28779861612 315.39/315.42 o 28779861611 315.49/315.52 o 28779861610 315.60/315.62 o 28779861609 315.89/315.90 o 28779861608 316.39/316.43 o 28776213511 316.49/316.53 o 28776213510 316.59/316.63 o 28776213509 316.70/316.75 o 28776213508 317.29/317.30 o 28772565412 317.39/317.40 o 28772565411 317.39/317.49 o 28772565410 317.59/317.62 o 28772565409 317.69/317.75 o 28772565408 318.29/318.30 o 28768917310 318.39/318.41 o 28768917309 318.39/318.50 o 28768917308 319.09/319.17 o 28765269209 319.39/319.45 o 28765269208 319.89/319.93 o 28765269207 320.11/320.15 o 28761621111 320.19/320.28 o 28761621110 320.29/320.39 o 28761621109 320.59/320.61 o 28761621108 321.10/321.12 o 28757973012 321.21/321.22 o 28757973011 321.29/321.32 o 28757973010 321.39/321.43 o 28757973009 321.49/321.56 o 28757973008 322.20/322.25 o 28757973007 323.41/323.43 o 28754324913 323.49/323.53 o 28754324912 323.59/323.64 o 28754324911 323.69/323.76 o 28754324910 323.79/323.89 o 28754324909 323.99/324.07 o 28754324908 324.19/324.20 o 28754324907 324.79/324.84 o 28750676808 324.89/324.95 o 28750676807 325.39/325.47 o 28747028709 325.50/325.57 o 28747028708 325.69/325.72 o 28747028707 326.39/326.48 o 28743380609 326.60/326.65 o 28743380608 327.09/327.19 o 28743380607 327.70/327.78 o 28739732507 330.39/330.40 o 28736084410 330.50/330.54 o 28736084409 331.50/331.52 o 28736084408 332.10/332.16 o 28736084407 333.50/333.52 o 28732436312 333.60/333.64 o 28732436311 333.70/333.73 o 28732436310 333.80/333.82 o 28732436309 334.10/334.11 o 28732436308 334.20/334.31 o 28732436307 334.50/334.56 o 28732436306 334.80/334.82 o 28732436305 335.20/335.29 o 28732436304 335.60/335.65 o 28732436303 336.00/336.05 o 28732436302 336.30/336.37 o 28732436301 336.62/336.69 o 28732436300 336.80/336.88 o 28728788202 336.90/336.99 o 28728788201 337.30/337.35 o 28728788200 337.60/337.65 o 28728788199 337.90/337.91 o 28728788198 338.00/338.08 o 28728788197 338.20/338.26 o 28725140098 338.30/338.37 o 28725140097 338.60/338.63 o 28721491998 338.71/338.80 o 28721491997 338.90/338.97 o 28717843897 340.60/340.64 o 28717843896 342.80/342.85 o 28717843895 343.90/343.99 o 28714195799 344.10/344.12 o 28714195798 344.21/344.28 o 28714195797 344.40/344.41 o 28714195796 344.50/344.54 o 28714195795 344.80/344.87 o 28714195794 345.30/345.33 o 28710547703 345.42/345.43 o 28710547702 345.50/345.52 o 28710547701 345.60/345.62 o 28710547700 345.70/345.73 o 28710547698 345.80/345.87 o 28710547697 346.20/346.20 o 28706899604 346.30/346.30 o 28706899603 346.30/346.40 o 28706899602 346.41/346.50 o 28706899601 346.60/346.60 o 28706899600 346.80/346.83 o 28706899599 346.90/346.98 o 28706899598 347.10/347.11 o 28706899597 347.90/347.94 o 28703251505 348.00/348.05 o 28703251504 348.20/348.27 o 28703251503 348.30/348.39 o 28703251502 348.40/348.49 o 28703251501 348.61/348.62 o 28703251500 348.72/348.76 o 28703251499 348.90/348.96 o 28703251498 349.10/349.12 o 28703251497 349.50/349.51 o 28699603405 349.60/349.63 o 28699603404 349.82/349.83 o 28699603403 350.00/350.01 o 28699603402 350.20/350.22 o 28699603401 350.30/350.38 o 28699603400 350.50/350.54 o 28699603399 350.70/350.73 o 28699603398 350.80/350.88 o 28699603397 351.20/351.26 o 28695955303 351.30/351.36 o 28695955302 351.40/351.45 o 28695955301 351.50/351.56 o 28695955300 351.60/351.66 o 28695955298 351.80/351.80 o 28695955297 352.20/352.23 o 28692307213 352.30/352.35 o 28692307212 352.40/352.45 o 28692307211 352.50/352.55 o 28692307210 352.60/352.65 o 28692307209 353.20/353.27 o 28688659113 353.30/353.37 o 28688659112 353.40/353.48 o 28688659110 353.90/353.91 o 28685011016 354.00/354.02 o 28685011015 354.11/354.14 o 28685011014 354.22/354.28 o 28685011013 354.40/354.42 o 28685011012 354.50/354.56 o 28685011011 354.70/354.75 o 28685011010 355.60/355.67 o 28681362918 355.70/355.78 o 28681362917 355.90/355.92 o 28681362916 356.00/356.03 o 28681362915 356.10/356.18 o 28681362914 356.20/356.30 o 28681362913 356.42/356.43 o 28681362912 356.50/356.58 o 28681362911 356.70/356.76 o 28681362910 357.10/357.10 o 28681362909 357.41/357.44 o 28677714813 357.52/357.55 o 28677714812 357.60/357.64 o 28677714811 357.70/357.74 o 28677714810 357.90/357.92 o 28677714809 358.20/358.29 o 28674066714 358.30/358.39 o 28674066712 358.50/358.52 o 28674066711 358.62/358.62 o 28674066710 358.70/358.79 o 28674066709 359.10/359.19 o 28670418614 359.20/359.29 o 28670418613 359.30/359.40 o 28670418612 359.40/359.49 o 28670418611 359.50/359.59 o 28670418610 359.72/359.71 o 28670418609 360.00/360.09 o 28666770514 360.10/360.19 o 28666770513 360.20/360.29 o 28666770512 360.30/360.39 o 28666770511 360.50/360.52 o 28666770510 360.71/360.73 o 28666770509 361.10/361.11 o 28663122415 361.20/361.21 o 28663122414 361.30/361.31 o 28663122412 361.40/361.44 o 28663122411 361.60/361.60 o 28663122410 361.70/361.72 o 28663122409 362.10/362.10 o 28659474313 362.20/362.20 o 28659474312 362.30/362.30 o 28659474311 362.40/362.42 o 28659474310 362.50/362.55 o 28659474309 363.10/363.13 o 28655826215 363.20/363.26 o 28655826213 363.40/363.47 o 28655826212 363.90/363.91 o 28655826211 365.00/365.00 o 28655826210 365.30/365.37 o 28652178117 365.40/365.48 o 28652178116 365.50/365.57 o 28652178115 365.60/365.68 o 28652178114 365.70/365.79 o 28652178113 365.90/365.93 o 28652178112 366.00/366.09 o 28652178111 366.50/366.53 o 28652178110 366.90/366.98 o 28648530013 367.00/367.08 o 28648530012 367.10/367.20 o 28648530011 367.50/367.55 o 28648530010 367.90/367.96 o 28648530009 368.30/368.40 o 28644881913 368.40/368.50 o 28644881912 368.60/368.60 o 28644881911 368.70/368.70 o 28644881910 368.80/368.82 o 28644881909 369.30/369.37 o 28641233816 369.40/369.49 o 28641233815 369.50/369.59 o 28641233813 369.62/369.69 o 28641233812 369.80/369.82 o 28641233811 369.90/369.93 o 28641233810 370.20/370.23 o 28641233809 370.61/370.69 o 28637585716 370.80/370.80 o 28637585715 370.90/370.93 o 28637585713 371.00/371.09 o 28637585712 371.20/371.21 o 28637585711 371.30/371.39 o 28637585710 371.60/371.60 o 28637585709 372.00/372.02 o 28633937610 372.20/372.29 o 28633937609 372.70/372.79 o 28633937608 374.50/374.56 o 28633937607 375.11/375.12 o 28630289515 375.20/375.24 o 28630289514 375.30/375.35 o 28630289513 375.50/375.52 o 28630289512 375.60/375.69 o 28630289511 375.90/375.93 o 28630289510 376.00/376.10 o 28630289509 376.60/376.65 o 28626641414 376.70/376.75 o 28626641413 376.80/376.85 o 28626641412 376.90/376.95 o 28626641410 377.00/377.08 o 28626641409 378.30/378.34 o 28622993318 378.42/378.45 o 28622993317 378.50/378.56 o 28622993316 378.60/378.66 o 28622993315 378.70/378.77 o 28622993314 378.80/378.88 o 28622993313 379.00/379.00 o 28622993312 379.10/379.12 o 28622993311 379.20/379.23 o 28622993310 379.80/379.86 o 28619345216 379.90/379.97 o 28619345215 380.00/380.07 o 28619345214 380.10/380.17 o 28619345213 380.20/380.27 o 28619345212 380.30/380.39 o 28619345211 380.80/380.84 o 28619345210 381.90/381.97 o 28619345209 383.10/383.19 o 28615697111 383.50/383.54 o 28615697110 383.80/383.86 o 28615697109 385.80/385.81 o 28615697108 386.00/386.02 o 28612049011 386.20/386.26 o 28612049010 386.50/386.53 o 28612049009 388.70/388.75 o 28612049008 390.20/390.23 o 28612049007 391.51/391.54 o 28608400912 391.62/391.69 o 28608400911 391.70/391.79 o 28608400910 392.20/392.21 o 28608400909 392.50/392.53 o 28608400908 393.00/393.08 o 28608400907 395.70/395.79 o 28608400906 397.70/397.73 o 28604752807 397.80/397.83 o 28604752806 403.60/403.69 o 28604752805 406.20/406.24 o 28601104708 407.50/407.50 o 28601104707 409.10/409.17 o 28601104706 410.60/410.67 o 28597456612 410.70/410.78 o 28597456611 410.80/410.88 o 28597456610 411.00/411.00 o 28597456609 411.20/411.24 o 28597456608 411.42/411.46 o 28597456607 411.70/411.75 o 28597456606 412.20/412.25 o 28597456605 412.60/412.63 o 28593808509 412.70/412.79 o 28593808508 413.62/413.66 o 28593808507 415.00/415.07 o 28593808506 415.40/415.48 o 28593808505 416.20/416.27 o 28590160409 416.40/416.42 o 28590160408 416.50/416.55 o 28590160407 417.00/417.05 o 28590160406 417.60/417.67 o 28590160405 417.90/418.00 o 28590160404 423.10/423.13 o 28590160403 423.60/423.65 o 28586512305 425.80/425.89 o 28586512304 427.80/427.87 o 28586512303 431.50/431.52 o 28582864207 431.60/431.63 o 28582864206 431.70/431.74 o 28582864205 431.90/431.95 o 28582864204 433.80/433.87 o 28582864203 435.40/435.51 o 28579216106 435.70/435.73 o 28579216105 436.50/436.59 o 28579216104 438.40/438.43 o 28579216103 440.20/440.23 o 28575568006 440.40/440.47 o 28575568005 441.90/441.96 o 28575568004 443.70/443.79 o 28575568003 446.00/446.00 o 28575568002 449.60/449.68 o 28571919905 449.81/449.90 o 28571919904 450.20/450.27 o 28571919903 452.12/452.16 o 28571919902 452.70/452.75 o 28568271804 453.00/453.10 o 28568271803 453.60/453.63 o 28568271802 455.10/455.13 o 28564623705 455.42/455.44 o 28564623704 455.90/455.95 o 28564623703 456.41/456.43 o 28564623702 457.00/457.00 o 28560975607 457.10/457.11 o 28560975606 457.20/457.23 o 28560975605 457.51/457.59 o 28560975604 459.30/459.38 o 28553679409 459.40/459.48 o 28553679408 459.60/459.60 o 28553679407 459.82/459.87 o 28553679406 460.40/460.41 o 28553679405 460.80/460.83 o 28553679404 464.80/464.87 o 28550031306 464.90/464.97 o 28550031305 465.00/465.08 o 28550031304 466.80/466.87 o 28546383206 467.00/467.07 o 28546383205 469.10/469.12 o 28546383204 469.61/469.62 o 28539087013 469.72/469.72 o 28539087012 469.80/469.85 o 28539087011 469.90/469.95 o 28539087010 470.00/470.08 o 28539087009 470.20/470.21 o 28539087008 470.40/470.42 o 28539087007 470.50/470.59 o 28539087006 470.71/470.77 o 28539087005 470.90/470.95 o 28539087004 472.20/472.29 o 28539087003 473.30/473.34 o 28535438909 473.40/473.48 o 28535438908 473.60/473.68 o 28535438907 474.30/474.34 o 28535438906 474.60/474.69 o 28535438905 475.00/475.03 o 28535438904 475.30/475.37 o 28535438903 479.62/479.64 o 28535438902 481.90/481.91 o 28531790809 482.00/482.04 o 28531790808 482.10/482.14 o 28531790807 482.20/482.25 o 28531790806 482.40/482.40 o 28531790805 482.60/482.60 o 28531790804 482.70/482.77 o 28531790803 482.92/482.96 o 28531790802 485.12/485.18 o 28528142705 485.20/485.28 o 28528142704 485.30/485.39 o 28528142703 485.50/485.50 o 28528142702 487.70/487.79 o 28524494607 488.10/488.18 o 28524494606 488.42/488.48 o 28524494605 488.70/488.74 o 28524494604 489.00/489.05 o 28524494603 489.20/489.29 o 28524494602 493.50/493.54 o 28520846508 493.70/493.71 o 28520846507 493.92/493.93 o 28520846506 494.10/494.14 o 28520846505 494.30/494.36 o 28520846504 494.50/494.53 o 28520846503 494.60/494.69 o 28520846502 496.80/496.90 o 28520846501 499.10/499.15 o 28517198404 499.20/499.26 o 28517198403 499.31/499.40 o 28517198402 499.70/499.72 o 28517198401 502.30/502.34 o 28517198400 504.40/504.42 o 28517198399 509.70/509.70 o 28513550305 509.80/509.82 o 28513550304 510.20/510.28 o 28513550303 510.60/510.66 o 28513550302 511.00/511.09 o 28513550301 511.41/511.44 o 28513550300 511.70/511.71 o 28513550299 513.72/513.79 o 28509902208 513.90/513.94 o 28509902207 514.20/514.24 o 28509902206 514.50/514.54 o 28509902205 514.82/514.85 o 28509902204 515.10/515.15 o 28509902203 515.60/515.67 o 28509902202 516.10/516.11 o 28509902201 516.91/516.98 o 28509902200 517.50/517.52 o 28509902199 518.01/518.07 o 28506254102 518.12/518.18 o 28506254101 518.40/518.46 o 28506254100 518.90/518.96 o 28506254099 519.40/519.43 o 28502606008 519.50/519.55 o 28502606007 519.70/519.79 o 28502606006 520.00/520.04 o 28502606005 520.21/520.23 o 28502606004 520.40/520.40 o 28502606003 520.50/520.54 o 28502606002 520.80/520.89 o 28502606001 521.20/521.23 o 28502606000 522.41/522.51 o 28498957904 522.60/522.63 o 28498957903 522.70/522.75 o 28498957902 523.00/523.00 o 28498957901 523.10/523.18 o 28498957900 527.80/527.86 o 28498957899 528.30/528.39 o 28498957898 530.22/530.27 o 28498957897 531.21/531.26 o 28495309798 531.32/531.39 o 28495309797 532.00/532.05 o 28491661705 532.10/532.17 o 28491661704 532.20/532.29 o 28491661703 532.50/532.57 o 28488013605 532.70/532.79 o 28484365507 532.90/532.92 o 28484365506 533.10/533.13 o 28484365505 533.41/533.50 o 28484365504 533.90/533.98 o 28484365503 535.00/535.00 o 28484365502 537.40/537.48 o 28480717408 537.60/537.63 o 28480717407 537.70/537.76 o 28480717406 538.10/538.12 o 28480717405 540.01/540.06 o 28480717404 540.12/540.16 o 28480717403 540.30/540.35 o 28480717402 542.10/542.15 o 28477069309 542.21/542.28 o 28477069308 542.40/542.48 o 28477069307 555.20/555.25 o 28473421208 557.10/557.15 o 28473421207 562.90/562.96 o 28469773108 563.00/563.07 o 28469773107 564.90/564.93 o 28466125006 565.42/565.49 o 28462476907 567.30/567.30 o 28462476906 569.90/569.92 o 28458828812 570.00/570.04 o 28458828811 570.10/570.17 o 28458828810 570.30/570.32 o 28458828809 574.90/574.93 o 28458828808 575.21/575.31 o 28455180710 575.50/575.53 o 28455180709 577.00/577.04 o 28455180708 578.62/578.66 o 28451532610 578.80/578.81 o 28451532609 579.10/579.17 o 28451532608 581.10/581.13 o 28447884508 581.60/581.60 o 28447884507 582.00/582.05 o 28444236408 582.30/582.38 o 28444236407 584.01/584.05 o 28444236406 586.10/586.11 o 28440588306 586.60/586.66 o 28436940210 586.70/586.79 o 28436940209 586.90/586.98 o 28436940208 587.10/587.18 o 28436940207 587.50/587.57 o 28436940206 588.10/588.19 o 28433292107 588.52/588.52 o 28433292106 588.70/588.78 o 28433292105 589.00/589.00 o 28429644008 589.10/589.14 o 28429644007 589.51/589.55 o 28425995910 589.62/589.67 o 28425995909 589.70/589.79 o 28425995908 590.00/590.05 o 28425995907 590.31/590.37 o 28422347807 590.81/590.84 o 28422347806 591.31/591.33 o 28418699708 591.61/591.65 o 28418699707 591.91/591.91 o 28418699705 592.10/592.16 o 28418699704 596.22/596.22 o 28415051603 596.31/596.33 o 28411403504 596.81/596.89 o 28411403503 597.41/597.40 o 28411403502 597.51/597.50 o 28411403501 597.61/597.61 o 28411403500 597.71/597.75 o 28407755404 597.81/597.87 o 28407755403 598.21/598.29 o 28407755402 598.51/598.60 o 28407755401 598.90/598.91 o 28407755400 599.10/599.18 o 28407755399 599.30/599.37 o 28407755398 599.70/599.75 o 28407755397 600.10/600.17 o 28407755396 600.62/600.63 o 28407755395 601.01/601.03 o 28407755394 602.41/602.40 o 28407755393 608.41/608.42 o 28407755392 610.41/610.50 o 28404107294 610.81/610.89 o 28404107293 612.80/612.86 o 28404107292 614.60/614.61 o 28400459192 616.30/616.36 o 28400459191 617.21/617.20 o 28400459190 617.31/617.38 o 28396811093 617.51/617.56 o 28396811092 617.71/617.77 o 28396811091 618.22/618.28 o 28393162993 618.40/618.42 o 28393162992 618.60/618.65 o 28393162991 620.42/620.49 o 28389514894 620.60/620.66 o 28389514893 620.80/620.86 o 28389514892 621.00/621.03 o 28389514891 622.91/622.91 o 28385866793 623.01/623.07 o 28385866792 623.21/623.20 o 28382218693 623.41/623.46 o 28382218692 627.50/627.54 o 28382218691 633.00/633.01 o 28382218690 634.81/634.89 o 28382218689 635.01/635.00 o 28378570590 635.61/635.70 o 28374922494 635.71/635.80 o 28374922493 635.91/635.91 o 28374922492 636.01/636.05 o 28374922491 636.21/636.27 o 28374922490 640.22/640.24 o 28374922488 645.31/645.35 o 28371274397 645.41/645.46 o 28371274396 645.51/645.57 o 28371274395 645.61/645.68 o 28371274394 645.81/645.83 o 28371274393 645.91/645.96 o 28371274392 646.11/646.15 o 28371274391 646.31/646.36 o 28371274390 648.01/648.09 o 28371274389 652.01/652.05 o 28363978195 652.21/652.23 o 28363978194 652.51/652.52 o 28363978193 652.71/652.79 o 28363978192 653.11/653.13 o 28363978191 653.42/653.45 o 28363978190 655.62/655.68 o 28363978189 666.81/666.81 o 28360330096 666.91/666.94 o 28360330095 667.01/667.05 o 28356681996 667.11/667.17 o 28356681995 667.21/667.29 o 28356681994 667.41/667.43 o 28356681993 667.51/667.55 o 28356681992 696.61/696.63 o 28356681991 707.01/707.03 o 28353033894 707.11/707.14 o 28353033893 708.81/708.86 o 28353033892 713.82/713.91 o 28353033891 724.82/724.85 o 28353033890 725.31/725.31 o 28353033889 725.61/725.66 o 28353033888 728.01/728.10 o 28353033887 739.31/739.38 o 28353033886 742.31/742.39 o 28349385795 742.53/742.53 o 28349385794 742.61/742.68 o 28349385793 742.81/742.82 o 28349385792 742.91/742.94 o 28349385791 743.01/743.05 o 28349385790 743.31/743.30 o 28345737690 743.52/743.52 o 28342089590 743.81/743.81 o 28338441490 743.91/743.95 o 28338441489 744.21/744.29 o 28338441488 744.41/744.46 o 28338441487 744.51/744.60 o 28334793388 744.81/744.83 o 28331145288 745.11/745.16 o 28331145287 745.41/745.40 o 28331145286 760.31/760.33 o 28327497197 760.41/760.46 o 28327497196 760.51/760.56 o 28327497195 760.61/760.67 o 28327497194 760.71/760.77 o 28327497193 760.81/760.87 o 28327497192 760.91/760.99 o 28327497191 761.01/761.10 o 28327497190 761.23/761.21 o 28327497189 761.61/761.61 o 28327497188 765.31/765.38 o 28327497187 767.91/767.92 o 28323849093 768.11/768.15 o 28323849092 768.31/768.34 o 28323849091 768.51/768.54 o 28323849090 768.71/768.73 o 28323849089 771.02/771.10 o 28320200995 771.41/771.49 o 28320200994 771.81/771.81 o 28320200993 772.61/772.67 o 28320200992 773.01/773.00 o 28320200991 774.43/774.42 o 28320200990 775.71/775.71 o 28320200989 776.71/776.76 o 28316552895 776.81/776.89 o 28316552894 777.01/777.00 o 28316552893 777.11/777.11 o 28316552892 777.21/777.27 o 28316552891 777.41/777.44 o 28316552890 777.91/777.90 o 28316552889 778.72/778.79 o 28316552888 779.82/779.86 o 28312904795 779.93/779.98 o 28312904794 780.11/780.10 o 28312904793 780.21/780.20 o 28312904792 780.31/780.30 o 28312904791 780.41/780.40 o 28312904790 781.03/781.04 o 28312904789 783.91/783.96 o 28309256698 784.11/784.12 o 28309256697 784.22/784.24 o 28309256696 784.33/784.37 o 28309256695 789.41/789.42 o 28305608601 789.51/789.54 o 28305608600 789.83/789.85 o 28305608599 790.11/790.13 o 28305608598 790.31/790.37 o 28305608597 790.61/790.62 o 28305608596 790.93/790.93 o 28305608595 796.01/796.02 o 28305608594 799.62/799.63 o 28305608593 802.11/802.14 o 28305608592 804.81/804.85 o 28301960495 805.01/805.03 o 28301960494 806.61/806.66 o 28301960493 808.31/808.30 o 28298312398 808.42/808.42 o 28298312397 808.53/808.53 o 28298312396 808.61/808.64 o 28298312395 808.71/808.75 o 28298312394 808.81/808.89 o 28294664295 809.11/809.19 o 28294664294 809.52/809.56 o 28294664293 810.01/810.03 o 28294664292 813.71/813.78 o 28294664291 815.61/815.64 o 28287368093 815.72/815.76 o 28287368092 820.11/820.19 o 28287368091 849.72/849.78 o 28287368090 855.02/855.03 o 28287368089 855.12/855.17 o 28283719990 861.42/861.48 o 28283719989 873.71/873.76 o 28283719988 875.52/875.56 o 28280071893 875.63/875.67 o 28280071892 875.81/875.80 o 28280071891 875.91/875.93 o 28280071890 876.81/876.86 o 28280071889 878.71/878.74 o 28280071888 891.61/891.63 o 28276423793 893.51/893.56 o 28276423792 895.21/895.25 o 28276423791 908.31/908.39 o 28276423790 910.31/910.36 o 28276423789 910.91/910.93 o 28276423788 912.71/912.76 o 28276423787 918.01/918.04 o 28276423786 928.81/928.83 o 28272775692 929.01/929.02 o 28272775691 929.31/929.34 o 28272775690 935.03/935.05 o 28272775689 958.51/958.58 o 28272775688 970.61/970.60 o 28272775687 984.02/984.09 o 28272775686 989.82/989.89 o 28272775685 1001.22/1001.29 o 28272775684 1005.52/1005.51 o 28272775683 1026.52/1026.57 o 28272775682 1084.72/1084.70 o 28272775681 1084.92/1084.97 o 28272775680 1085.22/1085.24 o 28272775679 1085.73/1085.76 o 28272775678 1100.82/1100.86 o 28272775677 1127.42/1127.43 o 28272775676 1132.52/1132.50 o 28272775675 1162.32/1162.35 o 28272775674 1175.32/1175.39 o 28272775673 1180.62/1180.66 o 28272775672 1182.32/1182.32 o 28272775671 1216.64/1216.69 o 28265479479 1216.82/1216.87 o 28265479478 1217.12/1217.16 o 28265479477 1217.42/1217.42 o 28265479476 1218.22/1218.29 o 28265479475 1256.24/1256.27 o 28258183284 1256.32/1256.38 o 28258183283 1256.52/1256.50 o 28258183282 1257.02/1257.01 o 28258183281 1271.22/1271.28 o 28258183280 1282.42/1282.43 o 28258183279 1334.83/1334.84 o 28258183278 1349.43/1349.40 o 28258183277 1370.43/1370.48 o 28258183276 1383.23/1383.25 o 28258183275 1461.12/1461.12 o 28254535178 1465.02/1465.08 o 28250887081 1465.13/1465.20 o 28250887080 1465.72/1465.79 o 28250887079 1478.22/1478.31 o 28228998487 1478.44/1478.47 o 28228998486 1478.52/1478.59 o 28225350387 1478.72/1478.73 o 28221702287 1478.82/1478.84 o 28218054187 1478.92/1478.94 o 28218054186 1479.02/1479.05 o 28218054185 1479.12/1479.16 o 28218054184 1479.32/1479.31 o 28218054183 1479.54/1479.56 o 28218054181 1480.02/1480.06 o 28218054180 1480.12/1480.17 o 28218054179 1480.32/1480.31 o 28218054178 1480.42/1480.48 o 28218054177 1480.72/1480.76 o 28218054176 1490.62/1490.69 o 28214406086 1490.72/1490.77 o 28214406085 1490.82/1490.87 o 28214406083 1490.92/1490.96 o 28214406082 1491.02/1491.04 o 28214406081 1491.12/1491.13 o 28214406080 1491.22/1491.23 o 28214406079 1491.32/1491.37 o 28214406078 1492.63/1492.70 o 28214406077 1498.13/1498.15 o 28214406076 1504.61/1504.63 o 28214406075 1511.42/1511.47 o 28214406074 1517.41/1517.45 o 28214406073 1548.11/1548.20 o 28207109879 1548.31/1548.30 o 28207109878 1548.41/1548.40 o 28207109876 1548.51/1548.53 o 28207109874 1577.91/1577.94 o 28199813679 1578.21/1578.26 o 28196165580 1578.31/1578.37 o 28196165579 1578.53/1578.52 o 28196165578 1582.93/1582.95 o 28196165577 1583.31/1583.37 o 28196165576 1595.31/1595.37 o 28196165575 1600.31/1600.35 o 28196165574 1609.61/1609.61 o 28196165573 1614.41/1614.44 o 28196165572 1615.31/1615.35 o 28196165571 1616.81/1616.89 o 28196165570 1647.83/1647.87 o 28192517479 1648.01/1648.00 o 28192517478 1648.11/1648.13 o 28188869379 1648.51/1648.59 o 28188869378 1648.61/1648.68 o 28188869377 1648.82/1648.83 o 28188869376 1648.82/1648.90 o 28188869375 1649.31/1649.35 o 28188869374 1649.92/1649.92 o 28188869373 1650.21/1650.27 o 28188869372 1654.43/1654.45 o 28188869371 1668.21/1668.21 o 28188869370 1726.61/1726.62 o 28188869369 1758.01/1758.04 o 28185221289 1758.21/1758.20 o 28185221288 1758.31/1758.32 o 28185221287 1758.41/1758.43 o 28185221286 1758.82/1758.88 o 28185221285 1758.93/1758.99 o 28185221284 1759.11/1759.11 o 28185221283 1759.21/1759.23 o 28185221282 1759.31/1759.35 o 28185221281 1759.41/1759.47 o 28185221280 1759.61/1759.67 o 28185221279 1759.81/1759.80 o 28185221278 1759.81/1759.90 o 28185221277 1760.03/1760.03 o 28185221276 1760.91/1760.91 o 28185221275 1761.02/1761.04 o 28181573176 1763.01/1763.00 o 28181573175 1777.92/1777.92 o 28181573174 1800.02/1800.01 >>> Terminate signal received 1800.02/1800.01 v -x1 x2 -x3 -x4 x5 -x6 -x7 x8 -x9 -x10 x11 -x12 x13 -x14 x15 -x16 -x17 x18 x19 -x20 -x21 x22 x23 -x24 x25 -x26 x27 -x28 -x29 x30 -x31 x32 -x33 -x34 x35 -x36 -x37 x38 x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 x80 -x81 -x82 x83 -x84 -x85 x86 x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 x108 x109 -x110 x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 x124 -x125 -x126 -x127 -x128 x129 -x130 x131 x132 -x133 -x134 x135 x136 -x137 x138 -x139 -x140 -x141 x142 -x143 x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 x153 -x154 -x155 x156 -x157 -x158 x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 x258 -x259 x260 -x261 -x262 -x263 x264 -x265 -x266 x267 x268 -x269 x270 x271 -x272 x273 x274 -x275 -x276 -x277 -x278 x279 -x280 x281 x282 -x283 -x284 x285 -x286 -x287 x288 x289 -x290 x291 -x292 x293 -x294 -x295 x296 -x297 x298 -x299 -x300 x301 -x302 -x303 x304 x305 -x306 -x307 x308 x309 -x310 -x311 -x312 x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 x323 x324 -x325 x326 -x327 -x328 x329 -x330 -x331 x332 x333 -x334 x335 x336 x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 x365 x366 x367 -x368 -x369 -x370 x371 x372 -x373 -x374 x375 x376 -x377 -x378 -x379 -x380 x381 -x382 x383 -x384 x385 x386 x387 -x388 x389 -x390 x391 x392 -x393 x394 -x395 -x396 x397 -x398 x399 -x400 -x401 x402 -x403 -x404 -x405 x406 x407 -x408 -x409 x410 -x411 -x412 -x413 x414 x415 -x416 x417 -x418 x419 -x420 x421 -x422 x423 -x424 x425 -x426 -x427 -x428 x429 x430 -x431 -x432 x433 x434 -x435 x436 x437 -x438 x439 -x440 -x441 -x442 -x443 x444 x445 -x446 x447 -x448 -x449 x450 -x451 x452 x453 -x454 x455 -x456 x457 -x458 x459 -x460 -x461 x462 x463 -x464 -x465 x466 -x467 -x468 x469 x470 -x471 -x472 -x473 -x474 x475 x476 -x477 -x478 x479 -x480 x481 x482 x483 -x484 x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 x494 -x495 x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 x522 x523 -x524 -x525 -x526 -x527 x528 -x529 x530 -x531 -x532 x533 -x534 -x535 -x536 x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 x545 -x546 x547 x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 x584 -x585 x586 -x587 x588 -x589 -x590 x591 -x592 x593 -x594 -x595 x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 x623 x624 x625 x626 x627 x628 -x629 -x630 -x631 -x632 x633 -x634 x635 x636 x637 x638 x639 x640 -x641 -x642 -x643 x644 x645 x646 -x647 x648 -x649 -x650 x651 x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 x680 x681 -x682 -x683 -x684 x685 -x686 x687 -x688 -x689 x690 x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 x709 x710 -x711 x712 -x713 x714 x715 x716 x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 x725 -x726 -x727 x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 x744 -x745 -x746 -x747 x748 -x749 -x750 x751 -x752 -x753 x754 -x755 x756 -x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 x786 -x787 -x788 -x789 x790 -x791 -x792 -x793 x794 -x795 -x796 x797 x798 -x799 -x800 -x801 -x802 x803 -x804 -x805 -x806 -x807 -x808 x809 -x810 -x811 x812 -x813 -x814 -x815 x816 -x817 x818 -x819 -x820 -x821 x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 x832 -x833 x834 x835 x836 x837 -x838 x839 x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 x860 -x861 -x862 -x863 x864 x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 x877 -x878 x879 -x880 -x881 -x882 -x883 -x884 -x885 x886 -x887 -x888 -x889 x890 -x891 x892 -x893 -x894 x895 -x896 x897 -x898 x899 -x900 -x901 x902 x903 x904 -x905 -x906 -x907 -x908 x909 x910 -x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 x932 x933 x934 -x935 x936 x937 -x938 -x939 -x940 x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 x949 -x950 x951 -x952 -x953 x954 x955 -x956 -x957 -x958 -x959 x960 -x961 x962 -x963 x964 x965 -x966 -x967 -x968 x969 -x970 x971 -x972 -x973 x974 -x975 -x976 x977 -x978 x979 x980 -x981 x982 x983 -x984 -x985 x986 -x987 x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 x996 -x997 -x998 x999 -x1000 -x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 x1010 -x1011 -x1012 -x1013 x1014 x1015 x1016 x1017 x1018 -x1019 x1020 x1021 x1022 x1023 -x1024 x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 x1036 -x1037 -x1038 x1039 x1040 -x1041 -x1042 x1043 x1044 -x1045 -x1046 x1047 -x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 x1063 -x1064 x1065 -x1066 x1067 -x1068 x1069 -x1070 -x1071 x1072 x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 x1082 -x1083 x1084 -x1085 -x1086 x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 x1094 x1095 x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 x1103 x1104 -x1105 x1106 -x1107 -x1108 x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 x1130 -x1131 -x1132 -x1133 x1134 x1135 -x1136 x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 x1157 x1158 -x1159 -x1160 x1161 -x1162 -x1163 -x1164 x1165 -x1166 -x1167 x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 x1177 -x1178 x1179 x1180 -x1181 -x1182 x1183 -x1184 -x1185 x1186 -x1187 x1188 -x1189 x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 x1203 -x1204 -x1205 x1206 -x1207 x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 x1254 -x1255 -x1256 x1257 x1258 x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 x1310 -x1311 -x1312 -x1313 -x1314 x1315 x1316 -x1317 -x1318 x1319 -x1320 x1321 -x1322 x1323 -x1324 x1325 -x1326 x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 x1339 -x1340 -x1341 -x1342 -x1343 x1344 -x1345 -x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 x1356 x1357 -x1358 -x1359 -x1360 x1361 x1362 -x1363 -x1364 -x1365 x1366 x1367 -x1368 x1369 -x1370 -x1371 -x1372 -x1373 x1374 x1375 x1376 x1377 x1378 -x1379 x1380 -x1381 x1382 -x1383 -x1384 -x1385 x1386 x1387 -x1388 -x1389 x1390 x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 x1399 -x1400 -x1401 x1402 -x1403 -x1404 x1405 -x1406 -x1407 -x1408 x1409 -x1410 -x1411 -x1412 -x1413 -x1414 x1415 -x1416 -x1417 -x1418 -x1419 x1420 x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 x1444 -x1445 -x1446 x1447 -x1448 x1449 -x1450 x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 x1461 x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 x1488 x1489 -x1490 -x1491 x1492 -x1493 -x1494 -x1495 x1496 -x1497 x1498 -x1499 x1500 x1501 -x1502 -x1503 x1504 -x1505 x1506 -x1507 -x1508 x1509 x1510 -x1511 x1512 -x1513 -x1514 -x1515 -x1516 x1517 x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 x1525 -x1526 -x1527 x1528 -x1529 x1530 -x1531 x1532 -x1533 x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 x1547 x1548 -x1549 -x1550 x1551 x1552 -x1553 -x1554 x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 x1583 -x1584 -x1585 -x1586 x1587 -x1588 x1589 -x1590 x1591 -x1592 -x1593 x1594 -x1595 -x1596 -x1597 x1598 -x1599 x1600 -x1601 -x1602 x1603 -x1604 -x1605 x1606 x1607 -x1608 x1609 -x1610 x1611 -x1612 -x1613 x1614 x1615 x1616 x1617 -x1618 -x1619 -x1620 x1621 -x1622 x1623 x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 x1632 x1633 -x1634 -x1635 -x1636 x1637 x1638 -x1639 x1640 x1641 -x1642 -x1643 -x1644 x1645 -x1646 x1647 -x1648 -x1649 x1650 -x1651 x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 x1661 -x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 x1674 -x1675 x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 x1685 x1686 -x1687 x1688 -x1689 -x1690 -x1691 x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 x1702 -x1703 x1704 -x1705 x1706 -x1707 x1708 -x1709 x1710 -x1711 x1712 -x1713 -x1714 -x1715 x1716 -x1717 x1718 -x1719 x1720 -x1721 -x1722 -x1723 -x1724 x1725 x1726 -x1727 x1728 -x1729 x1730 -x1731 x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 x1740 -x1741 -x1742 x1743 -x1744 x1745 x1746 -x1747 x1748 -x1749 -x1750 -x1751 x1752 x1753 -x1754 x1755 x1756 -x1757 x1758 x1759 -x1760 x1761 -x1762 x1763 x1764 x1765 x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 x1776 x1777 x1778 -x1779 x1780 -x1781 x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 x1792 -x1793 -x1794 -x1795 x1796 x1797 -x1798 x1799 -x1800 -x1801 x1802 -x1803 x1804 -x1805 -x1806 x1807 -x1808 x1809 -x1810 -x1811 x1812 -x1813 -x1814 x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 x1827 -x1828 x1829 -x1830 x1831 x1832 -x1833 x1834 -x1835 x1836 -x1837 x1838 x1839 -x1840 -x1841 x1842 -x1843 x1844 -x1845 x1846 x1847 -x1848 x1849 -x1850 -x1851 -x1852 x1853 -x1854 x1855 -x1856 -x1857 -x1858 -x1859 x1860 -x1861 x1862 x1863 x1864 -x1865 x1866 -x1867 x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 x1875 -x1876 -x1877 x1878 -x1879 x1880 -x1881 x1882 -x1883 x1884 -x1885 -x1886 -x1887 -x1888 -x1889 x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 x1908 -x1909 x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 x1926 x1927 x1928 x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 x1946 -x1947 x1948 -x1949 -x1950 x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 x1962 -x1963 -x1964 -x1965 -x1966 -x1967 x1968 x1969 -x1970 x1971 -x1972 -x1973 -x1974 x1975 -x1976 x1977 -x1978 -x1979 -x1980 x1981 -x1982 -x1983 -x1984 x1985 x1986 x1987 x1988 x1989 x1990 -x1991 x1992 x1993 -x1994 -x1995 -x1996 -x1997 x1998 x1999 -x2000 -x2001 -x2002 -x2003 x2004 -x2005 x2006 x2007 -x2008 x2009 -x2010 -x2011 x2012 x2013 -x2014 -x2015 -x2016 x2017 -x2018 -x2019 -x2020 -x2021 x2022 x2023 -x2024 x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 x2038 -x2039 x2040 -x2041 x2042 x2043 -x2044 -x2045 x2046 -x2047 x2048 x2049 x2050 -x2051 -x2052 -x2053 -x2054 -x2055 x2056 -x2057 x2058 x2059 -x2060 x2061 -x2062 -x2063 -x2064 -x2065 x2066 -x2067 x2068 -x2069 -x2070 -x2071 -x2072 -x2073 x2074 -x2075 x2076 -x2077 -x2078 -x2079 -x2080 x2081 x2082 -x2083 x2084 x2085 -x2086 x2087 -x2088 x2089 -x2090 -x2091 x2092 x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099 -x2100 -x2101 x2102 -x2103 x2104 -x2105 -x2106 -x2107 x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 x2118 x2119 x2120 -x2121 x2122 -x2123 -x2124 x2125 x2126 -x2127 x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 x2136 x2137 -x2138 -x2139 x2140 -x2141 -x2142 -x2143 -x2144 x2145 -x2146 -x2147 x2148 -x2149 x2150 -x2151 -x2152 x2153 -x2154 -x2155 x2156 x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 x2169 x2170 -x2171 -x2172 x2173 -x2174 x2175 x2176 -x2177 x2178 x2179 x2180 -x2181 x2182 -x2183 -x2184 x2185 -x2186 x2187 x2188 -x2189 x2190 -x2191 x2192 -x2193 -x2194 -x2195 x2196 -x2197 x2198 -x2199 x2200 -x2201 -x2202 x2203 x2204 -x2205 x2206 -x2207 x2208 -x2209 x2210 -x2211 x2212 -x2213 x2214 -x2215 x2216 -x2217 -x2218 x2219 -x2220 x2221 x2222 x2223 x2224 x2225 x2226 -x2227 x2228 -x2229 -x2230 -x2231 -x2232 x2233 x2234 -x2235 -x2236 -x2237 x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 x2247 -x2248 x2249 -x2250 x2251 -x2252 x2253 x2254 -x2255 -x2256 -x2257 -x2258 x2259 -x2260 x2261 -x2262 x2263 -x2264 x2265 -x2266 x2267 -x2268 -x2269 -x2270 x2271 -x2272 x2273 -x2274 x2275 x2276 -x2277 -x2278 x2279 x2280 -x2281 -x2282 -x2283 x2284 -x2285 -x2286 -x2287 -x2288 x2289 -x2290 x2291 -x2292 x2293 -x2294 -x2295 -x2296 -x2297 x2298 x2299 x2300 x2301 x2302 -x2303 x2304 x2305 -x2306 -x2307 x2308 -x2309 -x2310 x2311 x2312 -x2313 x2314 x2315 -x2316 x2317 -x2318 -x2319 x2320 x2321 x2322 -x2323 x2324 -x2325 -x2326 x2327 x2328 -x2329 x2330 -x2331 x2332 -x2333 -x2334 -x2335 -x2336 x2337 x2338 -x2339 -x2340 x2341 -x2342 x2343 x2344 -x2345 -x2346 x2347 -x2348 x2349 -x2350 x2351 -x2352 x2353 -x2354 x2355 -x2356 x2357 -x2358 -x2359 x2360 x2361 -x2362 x2363 -x2364 x2365 -x2366 -x2367 x2368 -x2369 x2370 -x2371 -x2372 -x2373 -x2374 x2375 -x2376 x2377 -x2378 x2379 -x2380 x2381 -x2382 -x2383 x2384 -x2385 x2386 -x2387 -x2388 -x2389 x2390 -x2391 -x2392 x2393 x2394 -x2395 -x2396 -x2397 -x2398 x2399 x2400 -x2401 x2402 -x2403 x2404 x2405 -x2406 -x2407 -x2408 -x2409 x2410 -x2411 -x2412 -x2413 -x2414 x2415 -x2416 x2417 x2418 -x2419 -x2420 x2421 -x2422 -x2423 -x2424 x2425 x2426 -x2427 -x2428 -x2429 x2430 x2431 -x2432 x2433 x2434 -x2435 x2436 -x2437 x2438 x2439 -x2440 x2441 x2442 -x2443 x2444 -x2445 x2446 x2447 -x2448 x2449 x2450 -x2451 -x2452 x2453 -x2454 -x2455 x2456 -x2457 x2458 x2459 -x2460 x2461 -x2462 -x2463 -x2464 x2465 -x2466 -x2467 -x2468 x2469 -x2470 -x2471 x2472 -x2473 -x2474 -x2475 -x2476 x2477 -x2478 x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 x2486 -x2487 -x2488 x2489 -x2490 x2491 x2492 x2493 -x2494 -x2495 x2496 -x2497 x2498 -x2499 x2500 -x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 x2509 -x2510 x2511 x2512 -x2513 x2514 -x2515 -x2516 x2517 -x2518 -x2519 x2520 -x2521 -x2522 -x2523 -x2524 -x2525 x2526 x2527 x2528 -x2529 x2530 x2531 -x2532 -x2533 x2534 x2535 -x2536 -x2537 x2538 -x2539 -x2540 -x2541 -x2542 x2543 -x2544 -x2545 x2546 -x2547 x2548 -x2549 -x2550 -x2551 -x2552 -x2553 x2554 -x2555 x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 x2567 -x2568 x2569 -x2570 x2571 -x2572 -x2573 -x2574 x2575 -x2576 -x2577 x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 x2585 x2586 x2587 x2588 x2589 x2590 x2591 x2592 x2593 x2594 x2595 x2596 x2597 x2598 x2599 x2600 x2601 -x2602 -x2603 x2604 -x2605 -x2606 x2607 -x2608 -x2609 x2610 -x2611 x2612 -x2613 x2614 -x2615 -x2616 -x2617 x2618 -x2619 x2620 x2621 -x2622 x2623 -x2624 -x2625 x2626 -x2627 x2628 x2629 -x2630 -x2631 x2632 x2633 x2634 x2635 x2636 -x2637 -x2638 x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 x2648 -x2649 x2650 -x2651 -x2652 -x2653 -x2654 -x2655 x2656 -x2657 -x2658 x2659 -x2660 x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 -x2669 x2670 -x2671 -x2672 -x2673 x2674 -x2675 x2676 -x2677 x2678 -x2679 x2680 -x2681 -x2682 x2683 x2684 -x2685 x2686 -x2687 x2688 x2689 -x2690 -x2691 x2692 -x2693 -x2694 -x2695 -x2696 x2697 -x2698 -x2699 x2700 x2701 -x2702 x2703 -x2704 x2705 -x2706 x2707 -x2708 x2709 -x2710 -x2711 -x2712 x2713 -x2714 x2715 -x2716 -x2717 -x2718 x2719 -x2720 x2721 -x2722 x2723 -x2724 x2725 -x2726 -x2727 x2728 x2729 -x2730 -x2731 x2732 -x2733 x2734 x2735 -x2736 x2737 -x2738 x2739 -x2740 x2741 -x2742 -x2743 x2744 x2745 x2746 -x2747 x2748 -x2749 x2750 -x2751 -x2752 -x2753 -x2754 x2755 x2756 x2757 -x2758 x2759 -x2760 x2761 -x2762 -x2763 x2764 -x2765 x2766 -x2767 -x2768 -x2769 -x2770 -x2771 x2772 -x2773 -x2774 x2775 x2776 -x2777 -x2778 x2779 -x2780 -x2781 -x2782 -x2783 x2784 -x2785 x2786 x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 x2794 -x2795 -x2796 -x2797 x2798 -x2799 -x2800 -x2801 x2802 -x2803 x2804 -x2805 -x2806 -x2807 x2808 -x2809 x2810 -x2811 -x2812 -x2813 x2814 -x2815 -x2816 -x2817 x2818 -x2819 -x2820 -x2821 -x2822 x2823 -x2824 -x2825 -x2826 x2827 -x2828 -x2829 -x2830 -x2831 x2832 -x2833 -x2834 x2835 x2836 -x2837 x2838 -x2839 x2840 x2841 -x2842 x2843 -x2844 -x2845 x2846 -x2847 x2848 -x2849 -x2850 x2851 -x2852 -x2853 -x2854 x2855 -x2856 x2857 -x2858 -x2859 x2860 -x2861 -x2862 x2863 x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 x2877 -x2878 x2879 x2880 -x2881 -x2882 -x2883 -x2884 -x2885 x2886 -x2887 x2888 -x2889 -x2890 -x2891 x2892 -x2893 x2894 -x2895 x2896 x2897 x2898 -x2899 -x2900 x2901 -x2902 -x2903 -x2904 x2905 -x2906 x2907 -x2908 x2909 -x2910 x2911 -x2912 x2913 -x2914 x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 x2926 -x2927 -x2928 -x2929 -x2930 x2931 x2932 x2933 -x2934 x2935 -x2936 -x2937 -x2938 x2939 x2940 x2941 x2942 x2943 x2944 -x2945 x2946 -x2947 -x2948 x2949 -x2950 -x2951 -x2952 -x2953 -x2954 x2955 -x2956 -x2957 x2958 -x2959 -x2960 -x2961 x2962 x2963 -x2964 -x2965 x2966 -x2967 -x2968 x2969 x2970 -x2971 x2972 x2973 x2974 x2975 x2976 x2977 x2978 x2979 x2980 -x2981 x2982 -x2983 x2984 x2985 x2986 -x2987 x2988 -x2989 -x2990 x2991 -x2992 -x2993 -x2994 x2995 x2996 x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 x3005 -x3006 -x3007 x3008 x3009 -x3010 -x3011 x3012 -x3013 x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 x3022 -x3023 -x3024 -x3025 -x3026 -x3027 x3028 -x3029 -x3030 x3031 x3032 x3033 -x3034 x3035 -x3036 x3037 -x3038 -x3039 x3040 -x3041 -x3042 x3043 x3044 -x3045 x3046 -x3047 -x3048 -x3049 -x3050 -x3051 x3052 x3053 x3054 -x3055 x3056 -x3057 -x3058 x3059 -x3060 x3061 -x3062 x3063 -x3064 x3065 -x3066 -x3067 -x3068 -x3069 x3070 -x3071 x3072 -x3073 -x3074 x3075 -x3076 x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 x3084 -x3085 -x3086 x3087 x3088 x3089 -x3090 -x3091 -x3092 x3093 x3094 x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 x3104 x3105 -x3106 -x3107 x3108 -x3109 x3110 x3111 -x3112 -x3113 x3114 -x3115 x3116 -x3117 x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 x3127 x3128 -x3129 -x3130 x3131 -x3132 x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 x3145 -x3146 x3147 x3148 -x3149 -x3150 x3151 x3152 -x3153 -x3154 x3155 -x3156 x3157 -x3158 -x3159 x3160 -x3161 x3162 -x3163 x3164 -x3165 -x3166 -x3167 -x3168 x3169 -x3170 -x3171 -x3172 x3173 -x3174 -x3175 -x3176 x3177 -x3178 -x3179 -x3180 x3181 x3182 -x3183 -x3184 x3185 -x3186 -x3187 -x3188 -x3189 -x3190 x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 x3219 -x3220 x3221 -x3222 -x3223 x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 x3231 x3232 -x3233 -x3234 x3235 x3236 x3237 -x3238 -x3239 -x3240 x3241 -x3242 -x3243 -x3244 -x3245 -x3246 x3247 -x3248 -x3249 x3250 -x3251 -x3252 -x3253 x3254 -x3255 -x3256 x3257 -x3258 -x3259 x3260 x3261 x3262 -x3263 -x3264 -x3265 -x3266 -x3267 x3268 -x3269 -x3270 -x3271 x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 x3279 -x3280 x3281 -x3282 -x3283 x3284 -x3285 x3286 -x3287 x3288 -x3289 -x3290 -x3291 x3292 -x3293 -x3294 -x3295 x3296 x3297 -x3298 -x3299 x3300 x3301 -x3302 x3303 -x3304 x3305 -x3306 x3307 -x3308 -x3309 -x3310 x3311 x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 x3319 x3320 x3321 -x3322 x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 x3331 -x3332 x3333 -x3334 -x3335 x3336 -x3337 -x3338 -x3339 x3340 x3341 x3342 x3343 -x3344 x3345 -x3346 -x3347 -x3348 x3349 -x3350 -x3351 -x3352 x3353 x3354 x3355 x3356 -x3357 -x3358 -x3359 -x3360 -x3361 x3362 -x3363 -x3364 -x3365 x3366 x3367 -x3368 -x3369 x3370 -x3371 -x3372 -x3373 -x3374 -x3375 x3376 -x3377 x3378 -x3379 x3380 -x3381 x3382 -x3383 -x3384 -x3385 x3386 -x3387 x3388 -x3389 -x3390 x3391 -x3392 x3393 -x3394 x3395 -x3396 -x3397 -x3398 -x3399 -x3400 x3401 -x3402 x3403 x3404 -x3405 -x3406 x3407 -x3408 -x3409 -x3410 x3411 -x3412 x3413 x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 x3421 -x3422 -x3423 -x3424 x3425 x3426 -x3427 -x3428 -x3429 x3430 -x3431 -x3432 x3433 -x3434 -x3435 -x3436 -x3437 x3438 -x3439 -x3440 -x3441 -x3442 -x3443 x3444 -x3445 x3446 -x3447 -x3448 x3449 -x3450 x3451 -x3452 -x3453 -x3454 x3455 x3456 -x3457 x3458 -x3459 x3460 -x3461 -x3462 -x3463 x3464 -x3465 x3466 -x3467 x3468 x3469 -x3470 x3471 -x3472 x3473 -x3474 -x3475 -x3476 x3477 -x3478 -x3479 x3480 -x3481 -x3482 x3483 x3484 -x3485 -x3486 -x3487 -x3488 x3489 x3490 -x3491 x3492 -x3493 x3494 -x3495 -x3496 -x3497 -x3498 -x3499 x3500 -x3501 -x3502 -x3503 x3504 -x3505 x3506 -x3507 -x3508 -x3509 -x3510 -x3511 x3512 -x3513 -x3514 x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 x3523 -x3524 -x3525 -x3526 -x3527 -x3528 x3529 -x3530 -x3531 -x3532 x3533 -x3534 x3535 -x3536 x3537 -x3538 x3539 x3540 x3541 x3542 -x3543 -x3544 x3545 -x3546 -x3547 x3548 -x3549 x3550 -x3551 x3552 -x3553 x3554 -x3555 x3556 x3557 -x3558 x3559 -x3560 -x3561 x3562 -x3563 x3564 -x3565 x3566 -x3567 -x3568 -x3569 -x3570 -x3571 x3572 -x3573 x3574 x3575 -x3576 x3577 x3578 -x3579 -x3580 x3581 -x3582 x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 x3593 x3594 x3595 -x3596 -x3597 -x3598 x3599 x3600 -x3601 -x3602 x3603 x3604 x3605 x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 x3615 -x3616 x3617 x3618 -x3619 -x3620 -x3621 x3622 -x3623 x3624 -x3625 x3626 -x3627 -x3628 -x3629 -x3630 x3631 -x3632 -x3633 -x3634 x3635 -x3636 -x3637 x3638 -x3639 x3640 -x3641 x3642 -x3643 -x3644 x3645 -x3646 x3647 x3648 x3649 x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 x4781 x4782 -x4783 -x4784 -x4785 -x4786 -x4787 x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 x5027 x5028 -x5029 -x5030 -x5031 -x5032 -x5033 x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 x5065 x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 x5173 -x5174 x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 x5185 -x5186 x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 x5310 x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 x5382 x5383 -x5384 x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 x5444 x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 x5572 x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 x5592 x5593 x5594 x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 x5641 x5642 x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 x5712 -x5713 x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 x5858 x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 x5884 -x5885 x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 x5898 x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 x6012 x6013 x6014 x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 x6047 x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 x6094 x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 x6140 x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 x6159 -x6160 x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 x6179 x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 x6188 x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 x6215 x6216 -x6217 -x6218 x6219 x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 x6302 -x6303 x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 x6335 x6336 x6337 x6338 x6339 -x6340 -x6341 -x6342 -x6343 -x6344 x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 x6458 x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 x6602 x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 x6673 x6674 x6675 x6676 x6677 x6678 -x6679 x6680 x6681 x6682 x6683 x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 x6693 -x6694 -x6695 x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 x6703 x6704 -x6705 x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 x6725 -x6726 x6727 -x6728 -x6729 x6730 x6731 x6732 x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 x6741 -x6742 x6743 x6744 -x6745 x6746 -x6747 x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 x6806 x6807 x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 x6818 -x6819 x6820 -x6821 x6822 -x6823 -x6824 x6825 x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 x6836 -x6837 -x6838 -x6839 -x6840 -x6841 x6842 -x6843 -x6844 x6845 -x6846 -x6847 -x6848 -x6849 x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 x6860 -x6861 -x6862 x6863 x6864 -x6865 -x6866 x6867 x6868 -x6869 x6870 -x6871 -x6872 -x6873 x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 x6881 x6882 x6883 -x6884 x6885 x6886 x6887 x6888 -x6889 x6890 x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 x6903 -x6904 -x6905 x6906 -x6907 x6908 -x6909 -x6910 x6911 -x6912 x6913 -x6914 x6915 -x6916 x6917 x6918 -x6919 -x6920 x6921 x6922 x6923 -x6924 -x6925 -x6926 x6927 -x6928 -x6929 -x6930 -x6931 x6932 x6933 -x6934 -x6935 -x6936 -x6937 x6938 x6939 x6940 x6941 -x6942 -x6943 -x6944 -x6945 x6946 x6947 -x6948 -x6949 -x6950 -x6951 x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 x6967 x6968 -x6969 x6970 -x6971 -x6972 -x6973 x6974 x6975 x6976 -x6977 -x6978 -x6979 -x6980 x6981 -x6982 -x6983 -x6984 -x6985 x6986 -x6987 x6988 -x6989 x6990 -x6991 -x6992 -x6993 x6994 x6995 -x6996 x6997 -x6998 -x6999 -x7000 x7001 -x7002 -x7003 x7004 x7005 -x7006 -x7007 -x7008 x7009 -x7010 x7011 x7012 -x7013 -x7014 x7015 -x7016 x7017 x7018 -x7019 x7020 -x7021 x7022 -x7023 x7024 x7025 x7026 x7027 x7028 x7029 x7030 x7031 -x7032 x7033 x7034 -x7035 x7036 x7037 x7038 x7039 x7040 -x7041 -x7042 x7043 x7044 -x7045 x7046 -x7047 -x7048 x7049 x7050 x7051 x7052 x7053 x7054 x7055 -x7056 x7057 x7058 x7059 x7060 x7061 x7062 -x7063 -x7064 x7065 x7066 -x7067 -x7068 -x7069 -x7070 -x7071 x7072 x7073 -x7074 -x7075 x7076 x7077 x7078 x7079 -x7080 -x7081 -x7082 -x7083 -x7084 x7085 x7086 x7087 x7088 -x7089 -x7090 -x7091 x7092 x7093 x7094 x7095 x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 x7103 x7104 x7105 x7106 -x7107 -x7108 x7109 x7110 x7111 x7112 x7113 -x7114 x7115 -x7116 x7117 -x7118 -x7119 -x7120 x7121 x7122 x7123 -x7124 x7125 x7126 x7127 -x7128 -x7129 x7130 x7131 -x7132 -x7133 x7134 -x7135 x7136 x7137 x7138 x7139 -x7140 x7141 -x7142 -x7143 -x7144 x7145 x7146 x7147 x7148 x7149 -x7150 x7151 -x7152 x7153 -x7154 x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 x7164 -x7165 -x7166 x7167 x7168 -x7169 -x7170 -x7171 -x7172 x7173 -x7174 x7175 x7176 x7177 -x7178 x7179 -x7180 -x7181 x7182 x7183 x7184 x7185 x7186 x7187 -x7188 -x7189 -x7190 -x7191 -x7192 x7193 -x7194 x7195 x7196 x7197 x7198 x7199 -x7200 x7201 x7202 -x7203 -x7204 -x7205 x7206 x7207 x7208 x7209 -x7210 x7211 -x7212 -x7213 -x7214 -x7215 x7216 -x7217 -x7218 x7219 x7220 x7221 x7222 x7223 -x7224 x7225 -x7226 x7227 x7228 x7229 -x7230 x7231 -x7232 x7233 x7234 x7235 -x7236 -x7237 x7238 -x7239 -x7240 x7241 x7242 x7243 x7244 x7245 x7246 -x7247 x7248 x7249 x7250 x7251 x7252 x7253 x7254 x7255 x7256 x7257 x7258 x7259 x7260 x7261 x7262 x7263 x7264 x7265 x7266 x7267 -x7268 x7269 x7270 -x7271 x7272 x7273 x7274 -x7275 x7276 x7277 x7278 x7279 x7280 -x7281 -x7282 x7283 x7284 -x7285 x7286 x7287 x7288 x7289 x7290 x7291 -x7292 x7293 x7294 -x7295 x7296 x7297 -x7298 -x7299 x7300 x7301 x7302 x7303 -x7304 x7305 -x7306 x7307 x7308 x7309 -x7310 x7311 x7312 x7313 x7314 x7315 x7316 -x7317 x7318 x7319 -x7320 -x7321 x7322 x7323 x7324 x7325 -x7326 x7327 x7328 x7329 x7330 x7331 x7332 x7333 x7334 -x7335 x7336 x7337 x7338 x7339 x7340 x7341 -x7342 -x7343 x7344 -x7345 x7346 -x7347 x7348 -x7349 -x7350 -x7351 x7352 x7353 x7354 -x7355 -x7356 x7357 -x7358 x7359 -x7360 -x7361 x7362 -x7363 x7364 -x7365 x7366 x7367 -x7368 x7369 -x7370 x7371 x7372 -x7373 x7374 x7375 x7376 x7377 -x7378 x7379 x7380 x7381 -x7382 x7383 x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 x7392 -x7393 x7394 x7395 x7396 -x7397 x7398 x7399 -x7400 x7401 x7402 x7403 -x7404 x7405 x7406 x7407 x7408 x7409 x7410 x7411 -x7412 x7413 -x7414 -x7415 x7416 -x7417 x7418 -x7419 x7420 x7421 x7422 -x7423 -x7424 x7425 x7426 x7427 -x7428 -x7429 x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 x7437 x7438 x7439 x7440 x7441 x7442 x7443 x7444 x7445 x7446 x7447 x7448 x7449 x7450 x7451 x7452 x7453 x7454 -x7455 -x7456 x7457 x7458 -x7459 -x7460 x7461 -x7462 x7463 x7464 x7465 x7466 -x7467 -x7468 x7469 -x7470 x7471 x7472 x7473 -x7474 -x7475 x7476 x7477 -x7478 x7479 x7480 x7481 -x7482 -x7483 -x7484 -x7485 x7486 -x7487 x7488 -x7489 -x7490 -x7491 x7492 -x7493 -x7494 x7495 x7496 x7497 -x7498 x7499 x7500 -x7501 x7502 -x7503 x7504 x7505 -x7506 -x7507 x7508 x7509 -x7510 -x7511 x7512 -x7513 -x7514 x7515 x7516 x7517 x7518 x7519 x7520 x7521 x7522 -x7523 x7524 -x7525 x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 x7538 x7539 -x7540 -x7541 x7542 x7543 x7544 x7545 x7546 x7547 -x7548 -x7549 -x7550 x7551 x7552 -x7553 x7554 x7555 -x7556 x7557 x7558 -x7559 -x7560 x7561 x7562 x7563 x7564 x7565 x7566 x7567 x7568 x7569 x7570 x7571 -x7572 -x7573 x7574 -x7575 -x7576 -x7577 -x7578 -x7579 x7580 x7581 -x7582 -x7583 -x7584 x7585 x7586 x7587 x7588 x7589 x7590 x7591 x7592 x7593 x7594 x7595 x7596 x7597 x7598 -x7599 x7600 -x7601 -x7602 -x7603 -x7604 x7605 x7606 x7607 x7608 x7609 x7610 x7611 x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 x7620 x7621 -x7622 x7623 x7624 x7625 -x7626 x7627 x7628 -x7629 x7630 x7631 x7632 -x7633 x7634 x7635 x7636 -x7637 x7638 x7639 -x7640 x7641 x7642 -x7643 x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 x7651 -x7652 -x7653 x7654 x7655 x7656 x7657 x7658 x7659 x7660 x7661 -x7662 x7663 -x7664 x7665 x7666 -x7667 x7668 x7669 x7670 -x7671 -x7672 x7673 -x7674 -x7675 -x7676 x7677 x7678 x7679 -x7680 -x7681 x7682 -x7683 x7684 x7685 -x7686 x7687 -x7688 x7689 x7690 -x7691 x7692 -x7693 x7694 x7695 x7696 -x7697 -x7698 -x7699 x7700 x7701 x7702 -x7703 -x7704 -x7705 -x7706 x7707 x7708 x7709 x7710 x7711 x7712 x7713 x7714 x7715 x7716 x7717 x7718 x7719 x7720 -x7721 -x7722 -x7723 x7724 x7725 x7726 x7727 x7728 x7729 x7730 x7731 x7732 x7733 -x7734 x7735 x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 x7744 -x7745 x7746 x7747 x7748 x7749 x7750 x7751 -x7752 x7753 x7754 x7755 x7756 x7757 x7758 -x7759 -x7760 x7761 -x7762 x7763 x7764 x7765 x7766 x7767 x7768 x7769 -x7770 -x7771 -x7772 -x7773 x7774 -x7775 x7776 -x7777 -x7778 x7779 -x7780 -x7781 x7782 -x7783 -x7784 -x7785 -x7786 x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 x7797 -x7798 x7799 -x7800 x7801 -x7802 -x7803 -x7804 x7805 x7806 -x7807 -x7808 -x7809 x7810 x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 x7820 -x7821 -x7822 -x7823 -x7824 x7825 x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 x7834 -x7835 x7836 x7837 x7838 x7839 -x7840 x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 x7848 x7849 x7850 x7851 x7852 x7853 x7854 -x7855 -x7856 -x7857 -x7858 -x7859 x7860 x7861 -x7862 x7863 x7864 x7865 -x7866 x7867 -x7868 -x7869 -x7870 x7871 x7872 x7873 x7874 x7875 x7876 -x7877 -x7878 x7879 x7880 -x7881 x7882 x7883 -x7884 x7885 x7886 x7887 x7888 x7889 x7890 x7891 x7892 x7893 -x7894 x7895 -x7896 x7897 x7898 x7899 -x7900 x7901 x7902 x7903 -x7904 x7905 x7906 -x7907 -x7908 -x7909 x7910 -x7911 -x7912 -x7913 -x7914 x7915 -x7916 -x7917 -x7918 -x7919 -x7920 x7921 x7922 x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 x7932 x7933 x7934 -x7935 x7936 x7937 x7938 x7939 x7940 -x7941 x7942 x7943 -x7944 -x7945 x7946 -x7947 x7948 x7949 x7950 x7951 -x7952 x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 x7964 x7965 x7966 -x7967 -x7968 x7969 -x7970 -x7971 x7972 x7973 x7974 x7975 x7976 x7977 x7978 x7979 x7980 x7981 x7982 x7983 -x7984 -x7985 x7986 x7987 x7988 x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 x7996 x7997 x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 x8006 x8007 -x8008 -x8009 x8010 -x8011 -x8012 -x8013 x8014 -x8015 x8016 -x8017
OK 28181573174
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3467673-1307426990/watcher-3467673-1307426990 -o /tmp/evaluation-result-3467673-1307426990/solver-3467673-1307426990 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3467673-1307426990.opb --verbosity=0 --format=opb running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Using a pseudo terminal to collect output from the solver Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.12 2.05 2.01 3/469 4227 /proc/meminfo: memFree=23845000/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=7200 CPUtime=0 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 313 0 0 0 0 0 0 0 25 0 1 0 932929504 7372800 260 33554432000 4194304 6736272 140734873394016 18446744073709551615 5148061 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 1800 262 221 621 0 1170 0 [startup+0.0429851 s] /proc/loadavg: 2.12 2.05 2.01 3/469 4227 /proc/meminfo: memFree=23845000/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=10920 CPUtime=0.03 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 1311 0 0 0 3 0 0 0 25 0 1 0 932929504 11182080 1200 33554432000 4194304 6736272 140734873394016 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 2730 1201 248 621 0 2100 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10920 [startup+0.100974 s] /proc/loadavg: 2.12 2.05 2.01 3/469 4227 /proc/meminfo: memFree=23845000/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=15400 CPUtime=0.09 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 2415 0 0 0 9 0 0 0 25 0 1 0 932929504 15769600 2304 33554432000 4194304 6736272 140734873394016 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 3850 2304 248 621 0 3220 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15400 [startup+0.300949 s] /proc/loadavg: 2.12 2.05 2.01 3/469 4227 /proc/meminfo: memFree=23845000/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=30920 CPUtime=0.29 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 6305 0 0 0 29 0 0 0 25 0 1 0 932929504 31662080 6194 33554432000 4194304 6736272 140734873394016 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 7730 6195 248 621 0 7100 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30920 [startup+0.700863 s] /proc/loadavg: 2.12 2.05 2.01 3/469 4227 /proc/meminfo: memFree=23845000/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=67964 CPUtime=0.68 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 15900 0 0 0 67 1 0 0 25 0 1 0 932929504 69595136 15443 33554432000 4194304 6736272 140734873394016 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 16991 15444 266 621 0 16361 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 67964 [startup+1.50071 s] /proc/loadavg: 2.12 2.05 2.01 3/470 4228 /proc/meminfo: memFree=23745376/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=107140 CPUtime=1.49 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 25610 0 0 0 146 3 0 0 25 0 1 0 932929504 109711360 25022 33554432000 4194304 6736272 140734873394016 18446744073709551615 5806527 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 26785 25022 284 621 0 26155 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 107140 [startup+3.10042 s] /proc/loadavg: 2.12 2.05 2.01 3/470 4228 /proc/meminfo: memFree=23744136/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=102784 CPUtime=3.09 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 25612 0 0 0 306 3 0 0 25 0 1 0 932929504 105250816 25018 33554432000 4194304 6736272 140734873394016 18446744073709551615 4639432 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 25696 25018 284 621 0 25066 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 102784 [startup+6.30082 s] /proc/loadavg: 2.11 2.05 2.01 3/470 4228 /proc/meminfo: memFree=23743892/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=102788 CPUtime=6.29 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 25668 0 0 0 626 3 0 0 25 0 1 0 932929504 105254912 25074 33554432000 4194304 6736272 140734873394016 18446744073709551615 5818026 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 25697 25074 286 621 0 25067 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 102788 [startup+12.7006 s] /proc/loadavg: 2.10 2.05 2.01 3/470 4228 /proc/meminfo: memFree=23742960/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=102788 CPUtime=12.69 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 25688 0 0 0 1266 3 0 0 25 0 1 0 932929504 105254912 25094 33554432000 4194304 6736272 140734873394016 18446744073709551615 5221920 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 25697 25094 286 621 0 25067 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 102788 [startup+25.5002 s] /proc/loadavg: 2.08 2.05 2.01 3/470 4228 /proc/meminfo: memFree=23742840/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=103148 CPUtime=25.49 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 25753 0 0 0 2546 3 0 0 25 0 1 0 932929504 105623552 25157 33554432000 4194304 6736272 140734873394016 18446744073709551615 5151379 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 25787 25157 286 621 0 25157 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 103148 [startup+51.1005 s] /proc/loadavg: 2.05 2.04 2.01 3/470 4229 /proc/meminfo: memFree=23742208/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=104160 CPUtime=51.09 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 25913 0 0 0 5106 3 0 0 25 0 1 0 932929504 106659840 25311 33554432000 4194304 6736272 140734873394016 18446744073709551615 5803356 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 26040 25311 286 621 0 25410 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 104160 [startup+102.318 s] /proc/loadavg: 2.02 2.03 2.00 3/470 4230 /proc/meminfo: memFree=23737460/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=108496 CPUtime=102.31 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 26834 0 0 0 10228 3 0 0 25 0 1 0 932929504 111099904 26225 33554432000 4194304 6736272 140734873394016 18446744073709551615 5148172 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 27124 26225 286 621 0 26494 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 108496 [startup+162.301 s] /proc/loadavg: 2.01 2.02 2.00 3/470 4232 /proc/meminfo: memFree=23736684/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=108496 CPUtime=162.29 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 26926 0 0 0 16226 3 0 0 25 0 1 0 932929504 111099904 26316 33554432000 4194304 6736272 140734873394016 18446744073709551615 5817984 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 27124 26316 286 621 0 26494 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 108496 [startup+222.301 s] /proc/loadavg: 2.12 2.05 2.01 3/470 4234 /proc/meminfo: memFree=23735300/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=112232 CPUtime=222.29 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 27479 0 0 0 22226 3 0 0 25 0 1 0 932929504 114925568 26868 33554432000 4194304 6736272 140734873394016 18446744073709551615 5222016 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 28058 26868 286 621 0 27428 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 112232 [startup+282.3 s] /proc/loadavg: 2.10 2.05 2.01 3/470 4235 /proc/meminfo: memFree=23739228/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=106200 CPUtime=282.29 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 28388 0 0 0 28226 3 0 0 25 0 1 0 932929504 108748800 25991 33554432000 4194304 6736272 140734873394016 18446744073709551615 4505505 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 26550 25991 286 621 0 25920 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 106200 [startup+342.3 s] /proc/loadavg: 2.04 2.04 2.00 3/470 4237 /proc/meminfo: memFree=23736844/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=108524 CPUtime=342.3 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 28965 0 0 0 34226 4 0 0 25 0 1 0 932929504 111128576 26568 33554432000 4194304 6736272 140734873394016 18446744073709551615 5806877 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 27131 26568 286 621 0 26501 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 108524 [startup+402.301 s] /proc/loadavg: 2.01 2.03 2.00 3/470 4238 /proc/meminfo: memFree=23734700/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=112232 CPUtime=402.3 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 29447 0 0 0 40226 4 0 0 25 0 1 0 932929504 114925568 27050 33554432000 4194304 6736272 140734873394016 18446744073709551615 5818587 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 28058 27050 286 621 0 27428 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 112232 [startup+462.301 s] /proc/loadavg: 2.14 2.06 2.01 3/470 4240 /proc/meminfo: memFree=23733192/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=112232 CPUtime=462.3 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 29592 0 0 0 46226 4 0 0 25 0 1 0 932929504 114925568 27195 33554432000 4194304 6736272 140734873394016 18446744073709551615 5811900 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 28058 27195 286 621 0 27428 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 112232 [startup+522.301 s] /proc/loadavg: 2.05 2.04 2.00 3/470 4242 /proc/meminfo: memFree=23734028/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=112232 CPUtime=522.3 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 29595 0 0 0 52226 4 0 0 25 0 1 0 932929504 114925568 27198 33554432000 4194304 6736272 140734873394016 18446744073709551615 4748592 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 28058 27198 286 621 0 27428 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 112232 [startup+582.301 s] /proc/loadavg: 2.02 2.03 2.00 3/470 4243 /proc/meminfo: memFree=23732884/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=112272 CPUtime=582.3 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 35370 0 0 0 58225 5 0 0 25 0 1 0 932929504 114966528 27505 33554432000 4194304 6736272 140734873394016 18446744073709551615 5811982 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 28068 27505 286 621 0 27438 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 112272 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.11 2.04 2.01 3/470 4250 /proc/meminfo: memFree=23730912/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=113948 CPUtime=822.31 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 41637 0 0 0 82225 6 0 0 25 0 1 0 932929504 116682752 27924 33554432000 4194304 6736272 140734873394016 18446744073709551615 5806420 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 28487 27924 286 621 0 27857 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 113948 [startup+882.301 s] /proc/loadavg: 2.04 2.03 2.00 3/470 4251 /proc/meminfo: memFree=23726784/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=128160 CPUtime=882.31 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 42633 0 0 0 88225 6 0 0 25 0 1 0 932929504 131235840 28920 33554432000 4194304 6736272 140734873394016 18446744073709551615 5148094 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 32040 28920 286 621 0 31410 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 128160 [startup+942.301 s] /proc/loadavg: 2.01 2.02 2.00 3/470 4253 /proc/meminfo: memFree=23727012/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=128160 CPUtime=942.31 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 42633 0 0 0 94225 6 0 0 25 0 1 0 932929504 131235840 28920 33554432000 4194304 6736272 140734873394016 18446744073709551615 5148107 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 32040 28920 286 621 0 31410 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 128160 [startup+1002.3 s] /proc/loadavg: 2.08 2.05 2.01 3/470 4254 /proc/meminfo: memFree=23725872/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=128160 CPUtime=1002.32 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 42648 0 0 0 100226 6 0 0 25 0 1 0 932929504 131235840 28935 33554432000 4194304 6736272 140734873394016 18446744073709551615 4288381 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 32040 28935 286 621 0 31410 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 128160 [startup+1062.3 s] /proc/loadavg: 2.02 2.03 2.00 3/470 4284 /proc/meminfo: memFree=23548056/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=128160 CPUtime=1062.32 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 43039 0 0 0 106226 6 0 0 25 0 1 0 932929504 131235840 29325 33554432000 4194304 6736272 140734873394016 18446744073709551615 5811840 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 32040 29325 286 621 0 31410 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 128160 [startup+1122.3 s] /proc/loadavg: 2.00 2.03 2.00 3/470 4286 /proc/meminfo: memFree=23543524/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=128160 CPUtime=1122.32 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 44042 0 0 0 112226 6 0 0 25 0 1 0 932929504 131235840 30328 33554432000 4194304 6736272 140734873394016 18446744073709551615 5812150 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 32040 30328 286 621 0 31410 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 128160 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.00 3/470 4287 /proc/meminfo: memFree=23542876/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=128160 CPUtime=1182.32 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 44042 0 0 0 118226 6 0 0 25 0 1 0 932929504 131235840 30328 33554432000 4194304 6736272 140734873394016 18446744073709551615 5806511 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 32040 30328 286 621 0 31410 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 128160 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 2.00 3/470 4289 /proc/meminfo: memFree=23542604/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=128160 CPUtime=1242.32 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 44455 0 0 0 124226 6 0 0 25 0 1 0 932929504 131235840 30741 33554432000 4194304 6736272 140734873394016 18446744073709551615 5148061 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 32040 30741 286 621 0 31410 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 128160 [startup+1302.3 s] /proc/loadavg: 2.09 2.04 2.01 3/470 4290 /proc/meminfo: memFree=23548900/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=128160 CPUtime=1302.33 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 51902 0 0 0 130226 7 0 0 25 0 1 0 932929504 131235840 28954 33554432000 4194304 6736272 140734873394016 18446744073709551615 5812017 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 32040 28954 286 621 0 31410 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 128160 [startup+1362.3 s] /proc/loadavg: 2.15 2.06 2.01 3/470 4292 /proc/meminfo: memFree=23540564/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=128160 CPUtime=1362.33 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 53906 0 0 0 136225 8 0 0 25 0 1 0 932929504 131235840 30952 33554432000 4194304 6736272 140734873394016 18446744073709551615 5817984 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 32040 30952 286 621 0 31410 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 128160 [startup+1422.32 s] /proc/loadavg: 2.05 2.05 2.01 3/470 4294 /proc/meminfo: memFree=23541788/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=128160 CPUtime=1422.35 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 53906 0 0 0 142227 8 0 0 25 0 1 0 932929504 131235840 30952 33554432000 4194304 6736272 140734873394016 18446744073709551615 5155021 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 32040 30952 286 621 0 31410 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 128160 [startup+1482.3 s] /proc/loadavg: 2.02 2.04 2.00 3/470 4295 /proc/meminfo: memFree=23538904/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=128160 CPUtime=1482.32 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 60013 0 0 0 148224 8 0 0 25 0 1 0 932929504 131235840 31505 33554432000 4194304 6736272 140734873394016 18446744073709551615 5806487 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 32040 31505 286 621 0 31410 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 128160 [startup+1542.3 s] /proc/loadavg: 2.00 2.03 2.00 3/470 4297 /proc/meminfo: memFree=23539248/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=128160 CPUtime=1542.31 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 60013 0 0 0 154223 8 0 0 25 0 1 0 932929504 131235840 31505 33554432000 4194304 6736272 140734873394016 18446744073709551615 5806527 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 32040 31505 286 621 0 31410 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 128160 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/470 4298 /proc/meminfo: memFree=23539216/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=128160 CPUtime=1602.31 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 60013 0 0 0 160223 8 0 0 25 0 1 0 932929504 131235840 31505 33554432000 4194304 6736272 140734873394016 18446744073709551615 5219607 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 32040 31505 286 621 0 31410 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 128160 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/470 4300 /proc/meminfo: memFree=23538808/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=128160 CPUtime=1662.31 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 60013 0 0 0 166223 8 0 0 25 0 1 0 932929504 131235840 31505 33554432000 4194304 6736272 140734873394016 18446744073709551615 4630162 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 32040 31505 286 621 0 31410 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 128160 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/470 4302 /proc/meminfo: memFree=23538908/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=128160 CPUtime=1722.31 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 60013 0 0 0 172223 8 0 0 25 0 1 0 932929504 131235840 31505 33554432000 4194304 6736272 140734873394016 18446744073709551615 5818476 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 32040 31505 286 621 0 31410 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 128160 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/470 4306 /proc/meminfo: memFree=23538232/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=144184 CPUtime=1782.32 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 60015 0 0 0 178224 8 0 0 25 0 1 0 932929504 147644416 31507 33554432000 4194304 6736272 140734873394016 18446744073709551615 5803336 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 36046 31507 286 621 0 35416 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 144184 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/470 4307 /proc/meminfo: memFree=23538180/32951124 swapFree=56297244/67111528 [pid=4227] ppid=4225 vsize=144184 CPUtime=1800.02 cores=1,3,5,7 /proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 60015 0 0 0 179994 8 0 0 25 0 1 0 932929504 147644416 31507 33554432000 4194304 6736272 140734873394016 18446744073709551615 5142553 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/4227/statm: 36046 31507 286 621 0 35416 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 144184 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.03 CPU time (s): 1800.06 CPU user time (s): 1799.96 CPU system time (s): 0.094985 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 158512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.96 system time used= 0.094985 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 60020 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= 16 involuntary context switches= 3959 runsolver used 8.26574 second user time and 19.526 second system time The end
Begin job on node111 at 2011-06-07 08:09:50 IDJOB=3467673 IDBENCH=72366 IDSOLVER=1957 FILE ID=node111/3467673-1307426990 RUNJOBID= node111-1307415267-3217 PBS_JOBID= 13514213 Free space on /tmp= 73900 MiB SOLVER NAME= MinisatID 2.4.8-gmp BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand6d579e.cudf.trendy.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3467673-1307426990/watcher-3467673-1307426990 -o /tmp/evaluation-result-3467673-1307426990/solver-3467673-1307426990 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3467673-1307426990.opb --verbosity=0 --format=opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a8d2ef8c52f50247a319d5b58583dcf2 RANDOM SEED=1108830643 node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5428.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23845280 kB Buffers: 359060 kB Cached: 940728 kB SwapCached: 11784 kB Active: 8023984 kB Inactive: 802404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23845280 kB SwapTotal: 67111528 kB SwapFree: 56297244 kB Dirty: 3944 kB Writeback: 0 kB AnonPages: 7523532 kB Mapped: 28956 kB Slab: 144832 kB PageTables: 66132 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 149219932 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73892 MiB End job on node111 at 2011-06-07 08:39:52