Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | -5479 | 1800.12 | 1800.53 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mzzv11.opb |
MD5SUM | a74bcf40291587dc368e3a23fd278be9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -10639 |
Best CPU time to get the best result obtained on this benchmark | 1800.64 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -10639 |
Optimality of the best value was proved | NO |
Number of variables | 11247 |
Total number of constraints | 9744 |
Number of constraints which are clauses | 77 |
Number of constraints which are cardinality constraints (but not clauses) | 5755 |
Number of constraints which are nor clauses,nor cardinality constraints | 3912 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 68 |
Number of terms in the objective function | 773 |
Biggest coefficient in the objective function | 1000 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 76861 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1999 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 76861 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/458726-1178641605/instance-458726-1178641605.opb ...... 7.38/7.41 c done parsing opb. 7.38/7.41 o 12434 7.60/7.65 o 11479 7.89/7.97 o 11474 9.69/9.72 o 11379 9.79/9.81 o 11374 11.39/11.45 o 11369 12.09/12.14 o 11302 12.39/12.46 o 11300 12.49/12.52 o 11299 12.49/12.56 o 11294 14.78/14.86 o 11291 15.59/15.70 o 11286 15.79/15.82 o 11282 16.58/16.69 o 11085 16.68/16.72 o 10400 23.79/23.83 o 10398 24.28/24.34 o 10396 58.18/58.26 o 10394 58.47/58.59 o 10391 64.88/64.90 o 10390 65.98/66.01 o 10388 67.17/67.24 o 10385 67.38/67.43 o 10384 67.48/67.53 o 10379 75.47/75.55 o 10376 77.98/78.02 o 10372 79.77/79.88 o 10371 80.67/80.77 o 10370 82.07/82.17 o 10368 83.77/83.85 o 10367 84.18/84.22 o 10363 86.97/87.04 o 10360 96.77/96.87 o 10358 96.87/96.98 o 10354 97.07/97.14 o 10350 97.17/97.24 o 10345 106.07/106.14 o 10343 116.16/116.28 o 10342 142.36/142.48 o 10340 142.76/142.88 o 10339 146.06/146.16 o 10336 148.36/148.41 o 10332 151.16/151.25 o 10331 156.16/156.26 o 10330 157.55/157.60 o 10326 158.36/158.48 o 10325 160.65/160.76 o 10324 162.66/162.75 o 10323 163.95/164.08 o 10320 166.56/166.69 o 10317 179.75/179.82 o 10314 184.55/184.63 o 10311 185.95/186.02 o 10309 186.74/186.88 o 10304 197.54/197.61 o 10301 199.65/199.73 o 10299 200.45/200.54 o 10297 202.14/202.21 o 10294 203.05/203.15 o 10291 206.95/207.04 o 10290 209.14/209.22 o 10289 211.05/211.15 o 10286 214.84/214.98 o 10284 215.24/215.33 o 10280 225.94/226.09 o 10279 227.84/227.92 o 10275 234.93/235.02 o 10271 235.34/235.44 o 10267 237.84/237.98 o 10266 247.54/247.63 o 10265 251.54/251.63 o 10263 259.74/259.85 o 10260 260.33/260.45 o 10258 260.43/260.51 o 10257 261.93/262.06 o 10255 268.93/269.07 o 10254 269.83/269.95 o 10250 274.63/274.70 o 10245 282.33/282.46 o 10243 283.63/283.76 o 10240 288.53/288.64 o 10237 296.03/296.13 o 10234 296.93/297.03 o 10233 300.13/300.29 o 10229 302.02/302.11 o 10225 307.83/307.96 o 10224 324.42/324.57 o 10223 330.81/330.94 o 10220 333.12/333.22 o 10219 337.02/337.16 o 10216 346.62/346.78 o 10214 346.91/347.04 o 10213 352.81/352.91 o 10210 356.91/357.09 o 10209 358.81/358.97 o 10205 359.61/359.75 o 10204 360.21/360.34 o 10200 361.72/361.80 o 10196 361.72/361.88 o 10195 362.41/362.59 o 10190 363.71/363.80 o 10187 364.31/364.43 o 10184 364.41/364.56 o 10180 364.61/364.73 o 10175 368.31/368.43 o 10172 370.71/370.81 o 10170 374.10/374.25 o 10166 374.70/374.82 o 10163 376.11/376.23 o 10160 377.80/377.98 o 10155 383.11/383.20 o 10150 383.51/383.67 o 10149 384.51/384.61 o 10148 388.31/388.45 o 10140 389.40/389.55 o 10137 392.10/392.29 o 10134 398.91/399.04 o 10130 403.00/403.13 o 10129 403.10/403.23 o 10125 404.71/404.83 o 10124 409.11/409.26 o 10122 413.60/413.70 o 10119 419.40/419.54 o 10115 420.59/420.73 o 10114 421.90/422.06 o 10110 439.09/439.29 o 10105 439.30/439.41 o 10100 443.39/443.55 o 10095 446.69/446.89 o 10094 447.50/447.66 o 10090 447.90/448.03 o 10086 451.59/451.73 o 10082 452.99/453.20 o 10079 456.09/456.23 o 10076 458.69/458.86 o 10074 459.19/459.31 o 10072 460.89/461.01 o 10071 461.99/462.18 o 10068 462.19/462.38 o 10066 463.19/463.32 o 10065 463.69/463.81 o 10061 463.99/464.12 o 10060 464.79/464.92 o 10055 465.59/465.71 o 10054 465.88/466.09 o 10052 466.59/466.75 o 10051 470.28/470.47 o 10049 470.48/470.66 o 10048 472.98/473.15 o 10044 473.79/473.94 o 10039 477.39/477.50 o 10035 484.59/484.74 o 10030 496.99/497.19 o 10025 497.78/497.93 o 10024 498.19/498.37 o 10021 498.68/498.89 o 10017 500.98/501.10 o 10013 506.58/506.74 o 10009 508.48/508.67 o 10005 508.87/509.05 o 10003 509.88/510.09 o 10000 515.18/515.35 o 9997 517.38/517.53 o 9993 519.28/519.48 o 9990 519.77/519.95 o 9986 527.18/527.31 o 9985 530.78/530.91 o 9983 534.57/534.79 o 9980 535.57/535.79 o 9975 540.07/540.23 o 9974 550.77/550.92 o 9970 566.17/566.34 o 9969 569.57/569.74 o 9965 569.87/570.06 o 9961 573.97/574.15 o 9960 578.76/578.92 o 9957 579.06/579.23 o 9955 579.06/579.26 o 9952 580.86/581.00 o 9949 581.46/581.66 o 9946 583.86/584.09 o 9945 585.26/585.44 o 9940 585.56/585.78 o 9935 585.66/585.90 o 9930 587.27/587.44 o 9925 587.36/587.51 o 9921 587.36/587.54 o 9918 587.36/587.57 o 9914 587.36/587.59 o 9913 587.46/587.61 o 9910 587.46/587.64 o 9909 589.06/589.29 o 9905 590.86/591.04 o 9903 591.86/592.03 o 9902 592.46/592.68 o 9899 595.06/595.23 o 9896 595.46/595.68 o 9895 595.86/596.04 o 9889 595.86/596.08 o 9888 596.16/596.32 o 9884 596.16/596.38 o 9879 596.26/596.42 o 9529 600.36/600.55 o 9525 608.86/609.01 o 9521 618.25/618.41 o 9520 618.25/618.49 o 9516 623.05/623.27 o 9511 648.65/648.89 o 9508 649.05/649.26 o 9507 651.45/651.66 o 9504 652.45/652.60 o 9502 654.45/654.61 o 9501 654.85/655.05 o 9499 655.14/655.35 o 9495 664.54/664.72 o 9494 668.44/668.62 o 9492 672.05/672.25 o 9491 680.94/681.17 o 9488 688.35/688.51 o 9486 692.23/692.47 o 9485 699.73/699.90 o 9480 700.34/700.54 o 9477 700.94/701.10 o 9474 702.74/702.96 o 9470 704.74/704.93 o 9467 707.84/708.03 o 9463 713.33/713.58 o 9459 716.83/717.10 o 9458 726.43/726.60 o 9457 732.93/733.12 o 9453 755.92/756.17 o 9450 762.42/762.66 o 9448 773.02/773.25 o 9447 775.23/775.42 o 9444 778.12/778.35 o 9443 790.42/790.64 o 9440 799.42/799.67 o 9436 799.52/799.78 o 9433 800.02/800.29 o 9430 800.52/800.74 o 9425 800.62/800.86 o 9420 800.71/800.94 o 9415 801.11/801.34 o 9414 801.81/802.02 o 9410 804.11/804.31 o 9409 804.32/804.56 o 9406 804.42/804.62 o 9405 804.42/804.64 o 9401 804.42/804.66 o 9399 804.42/804.68 o 9396 804.52/804.71 o 9393 804.52/804.73 o 9392 804.52/804.75 o 9391 804.52/804.77 o 9389 804.52/804.80 o 9386 804.62/804.82 o 9385 804.62/804.84 o 9384 804.62/804.86 o 9381 804.72/804.90 o 9377 804.72/804.92 o 9374 804.72/804.94 o 9373 804.72/804.97 o 9371 804.72/804.99 o 9368 804.82/805.01 o 9366 804.82/805.03 o 9364 804.82/805.06 o 9363 804.82/805.08 o 9360 804.92/805.10 o 9359 804.92/805.12 o 9355 804.92/805.15 o 9354 804.92/805.17 o 9350 804.92/805.19 o 9348 805.02/805.21 o 9347 805.02/805.24 o 9344 805.02/805.26 o 9342 805.02/805.28 o 9341 805.11/805.30 o 9339 805.11/805.33 o 9337 805.11/805.35 o 9336 805.11/805.37 o 9334 805.11/805.39 o 9333 805.21/805.42 o 9331 805.21/805.44 o 9330 805.21/805.46 o 9329 805.21/805.48 o 9328 805.31/805.51 o 9325 805.31/805.53 o 9324 805.31/805.55 o 9323 805.31/805.57 o 9322 805.31/805.60 o 9320 805.41/805.62 o 9316 805.41/805.64 o 9315 805.41/805.66 o 9311 805.41/805.69 o 9308 805.51/805.71 o 9307 805.51/805.73 o 9304 805.51/805.75 o 9303 805.51/805.78 o 9301 805.61/805.80 o 9297 821.90/822.15 o 9295 857.40/857.60 o 9291 860.40/860.62 o 9288 861.49/861.76 o 9284 864.80/865.08 o 9280 870.09/870.32 o 9279 872.39/872.68 o 9276 882.80/883.03 o 9274 889.10/889.39 o 9270 893.69/893.95 o 9268 893.69/893.99 o 9265 893.79/894.01 o 9264 893.89/894.19 o 9262 893.99/894.23 o 9259 894.49/894.78 o 9256 894.79/895.08 o 9252 894.99/895.28 o 9251 895.49/895.71 o 9248 897.09/897.34 o 9245 902.49/902.78 o 9241 905.09/905.35 o 9240 905.09/905.40 o 9237 905.19/905.42 o 9236 905.19/905.44 o 9233 905.19/905.47 o 9228 905.19/905.49 o 9225 905.29/905.51 o 9217 905.29/905.53 o 9167 905.29/905.56 o 9162 905.29/905.58 o 9152 905.59/905.85 o 9150 905.99/906.28 o 9147 912.49/912.73 o 9146 927.18/927.47 o 9145 927.28/927.51 o 8986 927.48/927.73 o 8983 927.48/927.77 o 8971 927.48/927.79 o 8966 927.58/927.81 o 8955 927.58/927.84 o 8950 927.58/927.86 o 8943 927.58/927.88 o 8937 927.68/927.91 o 8924 927.68/927.93 o 8916 927.68/927.95 o 8892 927.68/927.98 o 8888 927.78/928.00 o 8887 927.78/928.02 o 8882 927.78/928.04 o 8837 927.78/928.07 o 8819 927.78/928.09 o 8814 927.88/928.11 o 8811 927.88/928.14 o 8803 927.88/928.16 o 8792 927.88/928.18 o 8791 927.98/928.21 o 8788 927.98/928.23 o 8784 927.98/928.25 o 8781 927.98/928.28 o 8779 927.98/928.30 o 8778 928.09/928.39 o 8777 928.19/928.43 o 8756 928.19/928.45 o 8750 928.19/928.48 o 8744 928.28/928.50 o 8651 928.28/928.52 o 8530 928.28/928.55 o 8508 928.28/928.57 o 8505 928.28/928.59 o 8499 928.38/928.62 o 8496 928.38/928.64 o 8492 928.38/928.66 o 8491 928.38/928.69 o 8467 928.48/928.71 o 8463 928.48/928.73 o 8458 928.48/928.75 o 8443 928.48/928.78 o 8442 928.58/928.80 o 8437 928.58/928.82 o 8433 928.58/928.85 o 8429 928.58/928.87 o 8407 928.58/928.89 o 8404 928.67/928.92 o 8399 928.67/928.94 o 8394 928.67/928.96 o 8387 928.67/928.98 o 8373 928.78/929.01 o 8368 928.78/929.03 o 8344 928.78/929.05 o 8334 928.78/929.08 o 8320 928.88/929.10 o 8313 928.88/929.12 o 8304 928.88/929.15 o 8297 928.88/929.17 o 8293 928.88/929.19 o 8288 928.98/929.22 o 8198 928.98/929.24 o 8184 928.98/929.26 o 8181 928.98/929.28 o 8171 929.58/929.89 o 8170 1021.56/1021.85 o 8165 1027.35/1027.65 o 8163 1036.56/1036.89 o 8160 1060.55/1060.87 o 8155 1066.75/1067.03 o 8154 1112.44/1112.70 o 8149 1112.54/1112.80 o 8144 1113.03/1113.39 o 8139 1116.54/1116.83 o 8135 1118.04/1118.36 o 8133 1186.12/1186.42 o 8130 1219.52/1219.83 o 8127 1240.41/1240.72 o 8125 1252.71/1253.03 o 8121 1253.81/1254.14 o 8117 1257.60/1257.91 o 8115 1513.16/1513.52 o 8110 1513.35/1513.72 o 8108 1525.45/1525.88 o 8107 1528.15/1528.53 o 8105 1557.34/1557.77 o 8104 1613.93/1614.38 o 8101 1614.13/1614.51 o 8096 1616.63/1617.09 o 8095 1619.53/1619.93 o 8091 1629.92/1630.39 o 8086 1630.33/1630.79 o 8084 1630.73/1631.16 o 8079 1630.93/1631.32 o 8069 1631.72/1632.15 o 8064 1631.82/1632.25 o 8059 1631.92/1632.32 o 8058 1637.73/1638.17 o 8054 1642.02/1642.48 o 8049 1642.22/1642.69 o 8044 1643.62/1644.03 o 8040 1643.72/1644.13 o 8035 1645.02/1645.46 o 8030 1655.32/1655.73 o 8025 1657.32/1657.70 o 8020 1661.62/1662.00 o 8016 1666.72/1667.14 o 8014 1676.01/1676.41 o 8013 1698.81/1699.25 o 8010 1800.09/1800.50 s SATISFIABLE 1800.09/1800.50 v -x1 -x10 -x100 -x1000 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x1001 -x10010 1800.09/1800.50 v -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x1002 -x10020 -x10021 -x10022 -x10023 -x10024 1800.09/1800.50 v -x10025 -x10026 -x10027 -x10028 -x10029 -x1003 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 1800.09/1800.50 v -x10039 -x1004 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x1005 -x10050 -x10051 1800.09/1800.50 v -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x1006 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 1800.09/1800.50 v -x10066 -x10067 -x10068 -x10069 -x1007 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 1800.09/1800.50 v -x1008 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x1009 -x10090 -x10091 -x10092 1800.09/1800.50 v -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x101 -x1010 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 1800.09/1800.50 v -x10106 -x10107 -x10108 -x10109 -x1011 x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 1800.09/1800.50 v -x1012 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x1013 -x10130 -x10131 -x10132 1800.09/1800.50 v -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x1014 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 1800.09/1800.50 v -x10147 -x10148 -x10149 -x1015 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x1016 1800.09/1800.50 v -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x1017 -x10170 -x10171 -x10172 -x10173 1800.09/1800.50 v -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x1018 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 1800.09/1800.50 v -x10188 -x10189 x1019 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x102 -x1020 -x10200 1800.09/1800.50 v -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 x1021 -x10210 -x10211 -x10212 -x10213 -x10214 1800.09/1800.50 v -x10215 -x10216 -x10217 -x10218 -x10219 x1022 -x10220 -x10221 x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 1800.09/1800.50 v -x10229 -x1023 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x1024 -x10240 -x10241 1800.09/1800.50 v -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x1025 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 1800.09/1800.50 v -x10256 -x10257 -x10258 -x10259 -x1026 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 1800.09/1800.50 v -x1027 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 x1028 -x10280 -x10281 -x10282 1800.09/1800.50 v -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x1029 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 1800.09/1800.50 v -x10297 -x10298 -x10299 -x103 x1030 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 1800.09/1800.50 v -x1031 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 x1032 -x10320 -x10321 -x10322 1800.09/1800.50 v -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x1033 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 1800.09/1800.50 v -x10337 -x10338 -x10339 x1034 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x1035 1800.09/1800.50 v -x10350 -x10351 -x10352 -x10353 x10354 -x10355 x10356 -x10357 -x10358 -x10359 -x1036 -x10360 -x10361 -x10362 -x10363 1800.09/1800.50 v -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 x1037 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 1800.09/1800.50 v -x10378 -x10379 x1038 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x1039 -x10390 1800.09/1800.50 v -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x104 -x1040 -x10400 -x10401 -x10402 -x10403 1800.09/1800.50 v -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x1041 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 1800.09/1800.50 v -x10418 -x10419 -x1042 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x1043 x10430 1800.09/1800.50 v -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x1044 -x10440 -x10441 -x10442 -x10443 -x10444 1800.09/1800.50 v -x10445 -x10446 -x10447 -x10448 -x10449 -x1045 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 1800.09/1800.50 v -x10459 -x1046 -x10460 -x10461 -x10462 x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x1047 -x10470 -x10471 1800.09/1800.50 v -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x1048 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 1800.09/1800.50 v -x10486 -x10487 -x10488 -x10489 -x1049 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 1800.09/1800.50 v -x105 -x1050 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x1051 -x10510 -x10511 1800.09/1800.50 v -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x1052 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 1800.09/1800.50 v -x10526 -x10527 -x10528 -x10529 -x1053 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 1800.09/1800.50 v -x1054 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x1055 -x10550 -x10551 -x10552 1800.09/1800.50 v -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x1056 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 1800.09/1800.50 v -x10567 -x10568 -x10569 -x1057 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x1058 1800.09/1800.50 v -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x1059 -x10590 -x10591 -x10592 -x10593 1800.09/1800.50 v -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x106 -x1060 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 1800.09/1800.50 v -x10607 -x10608 -x10609 -x1061 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x1062 1800.09/1800.50 v -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x1063 -x10630 -x10631 -x10632 -x10633 1800.09/1800.50 v -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 x1064 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 1800.09/1800.50 v -x10648 -x10649 -x1065 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x1066 -x10660 1800.09/1800.50 v -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x1067 -x10670 -x10671 -x10672 -x10673 -x10674 1800.09/1800.50 v -x10675 -x10676 -x10677 -x10678 -x10679 -x1068 x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 1800.09/1800.50 v -x10689 -x1069 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x107 -x1070 -x10700 1800.09/1800.50 v -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x1071 -x10710 -x10711 -x10712 -x10713 -x10714 1800.09/1800.50 v -x10715 -x10716 -x10717 -x10718 -x10719 -x1072 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 1800.09/1800.50 v -x10729 -x1073 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x1074 -x10740 -x10741 1800.09/1800.50 v -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x1075 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 1800.09/1800.50 v -x10756 -x10757 -x10758 -x10759 -x1076 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 1800.09/1800.50 v -x1077 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x1078 -x10780 -x10781 -x10782 1800.09/1800.50 v -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x1079 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 1800.09/1800.50 v -x10797 -x10798 -x10799 -x108 -x1080 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 1800.09/1800.50 v -x1081 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x1082 -x10820 -x10821 -x10822 1800.09/1800.50 v -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x1083 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 1800.09/1800.50 v -x10837 -x10838 -x10839 -x1084 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x1085 1800.09/1800.50 v -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x1086 -x10860 -x10861 -x10862 -x10863 1800.09/1800.50 v -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x1087 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 1800.09/1800.50 v -x10878 -x10879 -x1088 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x1089 -x10890 1800.09/1800.50 v -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x109 -x1090 -x10900 -x10901 -x10902 -x10903 1800.09/1800.50 v -x10904 -x10905 -x10906 x10907 -x10908 -x10909 -x1091 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 1800.09/1800.50 v -x10918 -x10919 -x1092 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x1093 -x10930 1800.09/1800.50 v -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x1094 -x10940 -x10941 -x10942 -x10943 -x10944 1800.09/1800.50 v -x10945 -x10946 -x10947 -x10948 -x10949 -x1095 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 1800.09/1800.50 v -x10959 -x1096 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x1097 -x10970 -x10971 1800.09/1800.50 v x10972 -x10973 -x10974 -x10975 -x10976 x10977 -x10978 -x10979 -x1098 -x10980 -x10981 -x10982 x10983 -x10984 -x10985 1800.09/1800.50 v -x10986 -x10987 -x10988 -x10989 -x1099 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 1800.09/1800.50 v -x11 -x110 -x1100 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x1101 -x11010 -x11011 1800.09/1800.50 v -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x1102 -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 1800.09/1800.50 v -x11026 -x11027 -x11028 -x11029 -x1103 -x11030 -x11031 -x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 1800.09/1800.50 v -x1104 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x1105 -x11050 -x11051 -x11052 1800.09/1800.50 v -x11053 -x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x1106 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 1800.09/1800.50 v -x11067 -x11068 -x11069 -x1107 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 -x1108 1800.09/1800.50 v -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x1109 -x11090 -x11091 -x11092 -x11093 1800.09/1800.50 v -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x111 -x1110 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 1800.09/1800.50 v -x11107 -x11108 -x11109 -x1111 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x1112 1800.09/1800.50 v -x11120 -x11121 -x11122 -x11123 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x1113 -x11130 -x11131 -x11132 -x11133 1800.09/1800.50 v -x11134 -x11135 -x11136 -x11137 -x11138 -x11139 -x1114 -x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 1800.09/1800.50 v -x11148 -x11149 -x1115 x11150 x11151 -x11152 -x11153 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x1116 -x11160 1800.09/1800.50 v -x11161 -x11162 -x11163 -x11164 -x11165 -x11166 -x11167 -x11168 -x11169 -x1117 -x11170 -x11171 -x11172 -x11173 -x11174 1800.09/1800.50 v -x11175 -x11176 -x11177 -x11178 x11179 x1118 x11180 x11181 -x11182 -x11183 x11184 -x11185 x11186 -x11187 -x11188 -x11189 1800.09/1800.50 v -x1119 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x112 -x1120 -x11200 -x11201 1800.09/1800.50 v -x11202 -x11203 -x11204 -x11205 -x11206 -x11207 -x11208 -x11209 -x1121 -x11210 -x11211 -x11212 -x11213 -x11214 -x11215 1800.09/1800.50 v -x11216 -x11217 -x11218 -x11219 -x1122 -x11220 -x11221 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227 -x11228 -x11229 1800.09/1800.50 v -x1123 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11236 -x11237 -x11238 -x11239 -x1124 -x11240 -x11241 -x11242 1800.09/1800.50 v -x11243 -x11244 -x11245 -x11246 -x11247 -x1125 -x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 1800.09/1800.50 v -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 x1143 -x1144 -x1145 -x1146 -x1147 x1148 -x1149 -x115 -x1150 -x1151 1800.09/1800.50 v x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 x1168 1800.09/1800.50 v x1169 -x117 -x1170 -x1171 x1172 -x1173 x1174 x1175 -x1176 -x1177 -x1178 x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 1800.09/1800.50 v -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 1800.09/1800.50 v -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 1800.09/1800.50 v -x1216 -x1217 -x1218 -x1219 -x122 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 1800.09/1800.50 v -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x124 x1240 x1241 x1242 -x1243 x1244 -x1245 x1246 -x1247 -x1248 1800.09/1800.50 v -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 1800.09/1800.50 v -x1265 x1266 -x1267 -x1268 -x1269 -x127 -x1270 x1271 x1272 x1273 x1274 x1275 x1276 x1277 -x1278 -x1279 -x128 -x1280 -x1281 1800.09/1800.50 v -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 1800.09/1800.50 v -x1298 -x1299 -x13 -x130 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 1800.09/1800.50 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 1800.09/1800.50 v -x1329 -x133 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 1800.09/1800.50 v -x1345 -x1346 -x1347 -x1348 -x1349 -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 1800.09/1800.50 v -x1361 -x1362 -x1363 x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 1800.09/1800.50 v -x1378 -x1379 -x138 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 x1393 1800.09/1800.50 v -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 1800.09/1800.50 v -x141 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 1800.09/1800.50 v -x1426 -x1427 -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x144 x1440 -x1441 1800.09/1800.50 v -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 1800.09/1800.50 v x1458 -x1459 -x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 1800.09/1800.50 v -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 1800.09/1800.50 v -x149 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 1800.09/1800.50 v -x1505 -x1506 -x1507 -x1508 -x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 1800.09/1800.50 v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 1800.09/1800.50 v -x1537 -x1538 -x1539 -x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 1800.09/1800.50 v x1553 x1554 x1555 x1556 -x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 1800.09/1800.50 v -x157 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 x1585 1800.09/1800.50 v -x1586 x1587 -x1588 -x1589 -x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 1800.09/1800.50 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 1800.09/1800.50 v x1617 -x1618 -x1619 -x162 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 x1631 -x1632 1800.09/1800.50 v -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x164 -x1640 -x1641 -x1642 -x1643 x1644 x1645 -x1646 -x1647 -x1648 -x1649 1800.09/1800.50 v -x165 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 1800.09/1800.50 v -x1666 -x1667 -x1668 -x1669 -x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 -x1681 1800.09/1800.50 v -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 1800.09/1800.50 v -x1698 -x1699 -x17 -x170 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 1800.09/1800.50 v -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 x1726 x1727 -x1728 -x1729 1800.09/1800.50 v -x173 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 1800.09/1800.50 v -x1746 -x1747 -x1748 -x1749 -x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x176 -x1760 -x1761 1800.09/1800.50 v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 1800.09/1800.50 v -x1778 -x1779 -x178 -x1780 -x1781 -x1782 -x1783 -x1784 x1785 x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 -x1793 1800.09/1800.50 v -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x18 -x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 1800.09/1800.50 v -x181 -x1810 -x1811 x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 1800.09/1800.50 v -x1826 -x1827 -x1828 -x1829 -x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 -x1840 -x1841 1800.09/1800.50 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 1800.09/1800.50 v -x1858 -x1859 -x186 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 -x1872 -x1873 1800.09/1800.50 v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 1800.09/1800.50 v x189 x1890 x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x19 x190 -x1900 -x1901 -x1902 -x1903 -x1904 x1905 1800.09/1800.50 v -x1906 -x1907 -x1908 -x1909 -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 -x1921 1800.09/1800.50 v -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 1800.09/1800.50 v -x1938 -x1939 -x194 -x1940 -x1941 -x1942 -x1943 -x1944 x1945 x1946 -x1947 x1948 x1949 -x195 x1950 -x1951 -x1952 -x1953 1800.09/1800.50 v -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 1800.09/1800.50 v -x197 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 1800.09/1800.50 v -x1986 -x1987 -x1988 -x1989 -x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2 -x20 -x200 -x2000 1800.09/1800.50 v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 1800.09/1800.50 v -x2017 -x2018 x2019 -x202 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 x2031 -x2032 1800.09/1800.50 v -x2033 x2034 -x2035 x2036 -x2037 -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 x2044 x2045 -x2046 x2047 -x2048 -x2049 1800.09/1800.50 v -x205 x2050 -x2051 -x2052 x2053 x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 1800.09/1800.50 v -x2066 -x2067 -x2068 -x2069 -x207 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x208 -x2080 -x2081 1800.09/1800.50 v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 1800.09/1800.50 v -x2098 x2099 -x21 -x210 x2100 -x2101 x2102 -x2103 -x2104 x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 -x2111 -x2112 -x2113 1800.09/1800.50 v -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 1800.09/1800.50 v -x213 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 1800.09/1800.50 v -x2146 -x2147 -x2148 -x2149 -x215 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x216 -x2160 -x2161 1800.09/1800.50 v -x2162 x2163 x2164 x2165 x2166 -x2167 -x2168 -x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 1800.09/1800.50 v x2179 -x218 x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 -x2194 1800.09/1800.50 v -x2195 -x2196 -x2197 -x2198 -x2199 -x22 -x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x221 1800.09/1800.50 v -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 1800.09/1800.50 v -x2226 -x2227 -x2228 -x2229 -x223 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 -x2241 1800.09/1800.50 v -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 1800.09/1800.50 v -x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273 1800.09/1800.50 v -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x229 1800.09/1800.50 v x2290 x2291 -x2292 -x2293 -x2294 x2295 -x2296 -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 1800.09/1800.50 v -x2306 -x2307 x2308 x2309 -x231 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 -x2321 1800.09/1800.50 v x2322 x2323 x2324 -x2325 x2326 -x2327 -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 1800.09/1800.50 v -x2339 -x234 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x235 -x2350 -x2351 -x2352 -x2353 -x2354 1800.09/1800.50 v x2355 -x2356 -x2357 -x2358 -x2359 -x236 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 x2368 -x2369 -x237 -x2370 1800.09/1800.50 v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x238 -x2380 -x2381 -x2382 -x2383 x2384 -x2385 x2386 -x2387 1800.09/1800.50 v x2388 -x2389 -x239 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 x2399 -x24 -x240 -x2400 x2401 x2402 -x2403 1800.09/1800.50 v -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x241 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 x2417 x2418 -x2419 -x242 1800.09/1800.50 v -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x243 -x2430 -x2431 x2432 x2433 -x2434 -x2435 -x2436 1800.09/1800.50 v x2437 -x2438 -x2439 -x244 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x245 x2450 x2451 -x2452 1800.09/1800.50 v -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x246 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 x2466 -x2467 -x2468 -x2469 1800.09/1800.50 v -x247 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 x2478 x2479 -x248 x2480 x2481 -x2482 -x2483 -x2484 -x2485 1800.09/1800.50 v -x2486 -x2487 -x2488 -x2489 -x249 -x2490 -x2491 -x2492 x2493 x2494 x2495 x2496 -x2497 -x2498 -x2499 -x25 -x250 -x2500 -x2501 1800.09/1800.50 v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x251 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 1800.09/1800.50 v -x2518 x2519 -x252 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x253 -x2530 -x2531 -x2532 -x2533 1800.09/1800.50 v -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x254 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 1800.09/1800.50 v -x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x256 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 1800.09/1800.50 v -x2566 -x2567 -x2568 -x2569 -x257 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x258 -x2580 -x2581 1800.09/1800.50 v -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x259 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 1800.09/1800.50 v -x2598 -x2599 x26 -x260 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x261 -x2610 -x2611 -x2612 1800.09/1800.50 v -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x262 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 x2626 -x2627 -x2628 -x2629 1800.09/1800.50 v -x263 -x2630 x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x264 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 1800.09/1800.50 v -x2646 -x2647 -x2648 -x2649 -x265 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 x2657 -x2658 x2659 -x266 -x2660 x2661 1800.09/1800.50 v x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x267 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 1800.09/1800.50 v -x2679 x268 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 x269 -x2690 -x2691 -x2692 -x2693 -x2694 1800.09/1800.50 v -x2695 -x2696 -x2697 -x2698 -x2699 x27 x270 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x271 1800.09/1800.50 v -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x272 x2720 -x2721 x2722 x2723 x2724 -x2725 -x2726 1800.09/1800.50 v -x2727 -x2728 -x2729 -x273 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 x2736 -x2737 x2738 -x2739 x274 -x2740 -x2741 -x2742 1800.09/1800.50 v -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x275 -x2750 x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 1800.09/1800.50 v x276 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x277 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 1800.09/1800.50 v -x2776 -x2777 -x2778 -x2779 -x278 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 x2788 -x2789 x279 x2790 -x2791 1800.09/1800.50 v -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x28 -x280 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 1800.09/1800.50 v -x2808 -x2809 x281 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 x282 -x2820 -x2821 x2822 x2823 1800.09/1800.50 v -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x283 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 x284 1800.09/1800.50 v -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 x2847 x2848 x2849 x285 x2850 -x2851 x2852 -x2853 -x2854 -x2855 -x2856 1800.09/1800.50 v -x2857 -x2858 -x2859 -x286 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 x2866 -x2867 x2868 -x2869 x287 -x2870 -x2871 -x2872 1800.09/1800.50 v -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 x2879 x288 -x2880 -x2881 x2882 x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 1800.09/1800.50 v -x289 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x29 -x290 -x2900 -x2901 -x2902 -x2903 -x2904 1800.09/1800.50 v -x2905 -x2906 -x2907 -x2908 -x2909 -x291 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x292 -x2920 1800.09/1800.50 v -x2921 -x2922 -x2923 x2924 -x2925 -x2926 -x2927 -x2928 -x2929 x293 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 1800.09/1800.50 v -x2938 -x2939 -x294 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x295 -x2950 -x2951 -x2952 -x2953 1800.09/1800.50 v -x2954 -x2955 -x2956 -x2957 -x2958 x2959 -x296 x2960 x2961 -x2962 x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x297 1800.09/1800.50 v -x2970 -x2971 -x2972 -x2973 x2974 x2975 x2976 -x2977 x2978 -x2979 -x298 x2980 x2981 -x2982 -x2983 -x2984 -x2985 -x2986 1800.09/1800.50 v -x2987 -x2988 x2989 -x299 x2990 x2991 -x2992 x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3 -x30 -x300 -x3000 -x3001 1800.09/1800.50 v -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x301 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 1800.09/1800.50 v x3018 -x3019 -x302 x3020 -x3021 -x3022 x3023 -x3024 x3025 -x3026 -x3027 x3028 -x3029 -x303 -x3030 -x3031 -x3032 -x3033 1800.09/1800.50 v -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x304 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 1800.09/1800.50 v -x305 x3050 x3051 x3052 -x3053 x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x306 -x3060 -x3061 -x3062 -x3063 x3064 -x3065 1800.09/1800.50 v x3066 -x3067 -x3068 -x3069 -x307 -x3070 x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 x308 -x3080 -x3081 1800.09/1800.50 v -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x309 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 1800.09/1800.50 v -x3098 -x3099 -x31 x310 x3100 x3101 -x3102 x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x311 -x3110 -x3111 -x3112 -x3113 1800.09/1800.50 v -x3114 x3115 -x3116 -x3117 x3118 -x3119 x312 x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x313 1800.09/1800.50 v -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 x314 x3140 x3141 -x3142 -x3143 -x3144 -x3145 -x3146 1800.09/1800.50 v x3147 x3148 x3149 -x315 x3150 -x3151 x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x316 -x3160 -x3161 x3162 x3163 1800.09/1800.50 v x3164 -x3165 x3166 -x3167 x3168 -x3169 -x317 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x318 1800.09/1800.50 v -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x319 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 1800.09/1800.50 v -x3196 -x3197 -x3198 -x3199 -x32 -x320 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x321 -x3210 1800.09/1800.50 v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x322 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 1800.09/1800.50 v -x3227 -x3228 -x3229 -x323 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x324 -x3240 -x3241 -x3242 1800.09/1800.50 v -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x325 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 1800.09/1800.50 v -x3259 -x326 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x327 -x3270 -x3271 -x3272 -x3273 -x3274 1800.09/1800.50 v -x3275 -x3276 -x3277 -x3278 -x3279 -x328 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x329 -x3290 1800.09/1800.50 v -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x33 -x330 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 1800.09/1800.50 v -x3307 -x3308 -x3309 -x331 x3310 -x3311 x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x332 -x3320 -x3321 -x3322 1800.09/1800.50 v -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x333 -x3330 -x3331 -x3332 x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 1800.09/1800.50 v -x334 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x335 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 1800.09/1800.50 v -x3356 x3357 -x3358 -x3359 x336 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x337 -x3370 -x3371 1800.09/1800.50 v -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 x338 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 1800.09/1800.50 v -x3389 x339 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x34 x340 -x3400 -x3401 -x3402 -x3403 1800.09/1800.50 v -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x341 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 1800.09/1800.50 v x342 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 x343 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 1800.09/1800.50 v -x3436 -x3437 -x3438 -x3439 x344 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 x345 -x3450 -x3451 1800.09/1800.50 v -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 x346 -x3460 -x3461 -x3462 -x3463 x3464 -x3465 -x3466 x3467 x3468 1800.09/1800.50 v -x3469 x347 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 x348 -x3480 -x3481 -x3482 -x3483 -x3484 1800.09/1800.50 v -x3485 -x3486 -x3487 -x3488 -x3489 -x349 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x35 -x350 1800.09/1800.50 v -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 x351 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 1800.09/1800.50 v -x3517 -x3518 -x3519 x352 -x3520 -x3521 -x3522 -x3523 -x3524 x3525 -x3526 -x3527 -x3528 -x3529 x353 -x3530 -x3531 -x3532 1800.09/1800.50 v -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 x354 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 1800.09/1800.50 v x355 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 x356 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 1800.09/1800.50 v -x3566 -x3567 -x3568 -x3569 -x357 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 x3579 -x358 -x3580 -x3581 1800.09/1800.50 v -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x359 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 1800.09/1800.50 v -x3598 -x3599 -x36 -x360 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x361 -x3610 -x3611 -x3612 1800.09/1800.50 v -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x362 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 1800.09/1800.50 v -x3629 -x363 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x364 -x3640 -x3641 -x3642 -x3643 -x3644 1800.09/1800.50 v -x3645 -x3646 -x3647 -x3648 -x3649 -x365 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x366 -x3660 1800.09/1800.50 v -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x367 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 1800.09/1800.50 v -x3677 -x3678 -x3679 -x368 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x369 -x3690 -x3691 -x3692 1800.09/1800.50 v -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x37 -x370 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 1800.09/1800.50 v -x3709 -x371 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x372 -x3720 -x3721 -x3722 -x3723 -x3724 1800.09/1800.50 v -x3725 -x3726 -x3727 -x3728 -x3729 -x373 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x374 -x3740 1800.09/1800.50 v -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x375 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 1800.09/1800.50 v -x3757 -x3758 -x3759 -x376 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x377 -x3770 -x3771 -x3772 1800.09/1800.50 v -x3773 -x3774 x3775 -x3776 -x3777 x3778 -x3779 -x378 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 1800.09/1800.50 v -x379 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x38 -x380 -x3800 x3801 -x3802 -x3803 -x3804 1800.09/1800.50 v -x3805 -x3806 -x3807 -x3808 -x3809 -x381 -x3810 -x3811 -x3812 x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x382 -x3820 1800.09/1800.50 v -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x383 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 1800.09/1800.50 v -x3837 -x3838 -x3839 -x384 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x385 -x3850 -x3851 -x3852 1800.09/1800.50 v -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x386 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 1800.09/1800.50 v -x3869 -x387 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x388 -x3880 -x3881 -x3882 -x3883 -x3884 1800.09/1800.50 v -x3885 -x3886 -x3887 -x3888 -x3889 -x389 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x39 -x390 1800.09/1800.50 v -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x391 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 1800.09/1800.50 v -x3916 -x3917 -x3918 -x3919 -x392 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x393 -x3930 -x3931 1800.09/1800.50 v -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x394 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 1800.09/1800.50 v -x3948 -x3949 -x395 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x396 -x3960 -x3961 -x3962 -x3963 1800.09/1800.50 v -x3964 -x3965 -x3966 -x3967 x3968 -x3969 -x397 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x398 1800.09/1800.50 v -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x399 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 1800.09/1800.50 v -x3996 -x3997 -x3998 -x3999 -x4 -x40 -x400 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x401 1800.09/1800.50 v -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x402 -x4020 -x4021 -x4022 x4023 -x4024 -x4025 -x4026 1800.09/1800.50 v -x4027 -x4028 -x4029 -x403 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x404 -x4040 -x4041 -x4042 1800.09/1800.50 v -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x405 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 x4057 -x4058 -x4059 1800.09/1800.50 v -x406 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x407 -x4070 -x4071 -x4072 -x4073 x4074 -x4075 1800.09/1800.50 v x4076 -x4077 -x4078 -x4079 -x408 -x4080 x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 x4089 -x409 -x4090 -x4091 1800.09/1800.50 v -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x41 -x410 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 1800.09/1800.50 v -x4108 -x4109 -x411 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x412 -x4120 -x4121 -x4122 -x4123 1800.09/1800.50 v -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x413 -x4130 -x4131 -x4132 -x4133 x4134 x4135 -x4136 -x4137 -x4138 -x4139 -x414 1800.09/1800.50 v -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x415 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 1800.09/1800.50 v -x4156 -x4157 -x4158 -x4159 -x416 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x417 -x4170 -x4171 1800.09/1800.50 v -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x418 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 1800.09/1800.50 v -x4188 -x4189 -x419 x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x42 -x420 -x4200 -x4201 -x4202 1800.09/1800.50 v -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x421 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 1800.09/1800.50 v -x4219 -x422 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x423 -x4230 -x4231 -x4232 -x4233 -x4234 1800.09/1800.50 v -x4235 -x4236 -x4237 -x4238 -x4239 -x424 -x4240 -x4241 -x4242 -x4243 -x4244 x4245 -x4246 -x4247 -x4248 -x4249 -x425 -x4250 1800.09/1800.50 v -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 x4257 -x4258 -x4259 -x426 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 1800.09/1800.50 v -x4268 -x4269 -x427 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x428 -x4280 -x4281 -x4282 -x4283 1800.09/1800.50 v -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x429 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 1800.09/1800.50 v -x43 -x430 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x431 -x4310 -x4311 -x4312 -x4313 -x4314 1800.09/1800.50 v -x4315 -x4316 -x4317 -x4318 -x4319 -x432 -x4320 -x4321 -x4322 x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x433 -x4330 1800.09/1800.50 v -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x434 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 1800.09/1800.50 v -x4347 -x4348 -x4349 -x435 -x4350 -x4351 -x4352 x4353 -x4354 x4355 -x4356 -x4357 -x4358 -x4359 -x436 -x4360 -x4361 -x4362 1800.09/1800.50 v -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x437 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 1800.09/1800.50 v -x4379 -x438 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x439 -x4390 x4391 -x4392 -x4393 -x4394 1800.09/1800.50 v -x4395 -x4396 -x4397 -x4398 -x4399 -x44 -x440 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x441 1800.09/1800.50 v -x4410 -x4411 -x4412 x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x442 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 1800.09/1800.50 v -x4427 -x4428 -x4429 -x443 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x444 -x4440 -x4441 -x4442 1800.09/1800.50 v -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x445 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 1800.09/1800.50 v -x4459 -x446 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 x4468 -x4469 -x447 -x4470 -x4471 -x4472 -x4473 -x4474 1800.09/1800.50 v -x4475 -x4476 -x4477 -x4478 -x4479 -x448 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x449 -x4490 1800.09/1800.50 v -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x45 -x450 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 1800.09/1800.50 v -x4507 -x4508 -x4509 -x451 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x452 -x4520 -x4521 -x4522 1800.09/1800.50 v -x4523 x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x453 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 1800.09/1800.50 v -x454 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x455 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 1800.09/1800.50 v -x4556 -x4557 -x4558 -x4559 -x456 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x457 -x4570 -x4571 1800.09/1800.50 v -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 x4579 -x458 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 1800.09/1800.50 v -x4589 -x459 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x46 -x460 -x4600 -x4601 -x4602 -x4603 1800.09/1800.50 v -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x461 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 1800.09/1800.50 v -x462 -x4620 -x4621 -x4622 -x4623 x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x463 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 1800.09/1800.50 v -x4636 -x4637 -x4638 -x4639 -x464 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x465 -x4650 -x4651 1800.09/1800.50 v -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x466 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 1800.09/1800.50 v -x4668 -x4669 -x467 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x468 -x4680 -x4681 -x4682 -x4683 1800.09/1800.50 v -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x469 -x4690 x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x47 1800.09/1800.50 v -x470 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x471 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 1800.09/1800.50 v -x4716 -x4717 -x4718 -x4719 -x472 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 x473 -x4730 -x4731 1800.09/1800.50 v -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x474 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 1800.09/1800.50 v -x4748 -x4749 -x475 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 x4757 -x4758 -x4759 -x476 -x4760 -x4761 -x4762 -x4763 1800.09/1800.50 v -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x477 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 1800.09/1800.50 v -x478 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x479 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 1800.09/1800.50 v -x4796 -x4797 -x4798 -x4799 -x48 -x480 -x4800 x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x481 -x4810 1800.09/1800.50 v -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x482 -x4820 -x4821 -x4822 -x4823 x4824 -x4825 -x4826 -x4827 1800.09/1800.50 v -x4828 -x4829 -x483 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 x4837 -x4838 x4839 x484 -x4840 x4841 -x4842 -x4843 1800.09/1800.50 v -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x485 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 1800.09/1800.50 v -x486 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x487 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 1800.09/1800.50 v -x4876 -x4877 -x4878 -x4879 -x488 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x489 x4890 -x4891 1800.09/1800.50 v -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x49 -x490 -x4900 x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 1800.09/1800.50 v -x4908 -x4909 -x491 -x4910 -x4911 x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x492 -x4920 -x4921 -x4922 -x4923 1800.09/1800.50 v -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x493 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 1800.09/1800.50 v -x494 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 x4948 x4949 x495 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 1800.09/1800.50 v -x4956 x4957 -x4958 -x4959 -x496 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x497 -x4970 -x4971 1800.09/1800.50 v -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x498 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 1800.09/1800.50 v -x4988 x4989 -x499 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5 -x50 -x500 -x5000 -x5001 -x5002 1800.09/1800.50 v -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x501 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 1800.09/1800.50 v -x5019 -x502 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x503 -x5030 -x5031 -x5032 -x5033 -x5034 1800.09/1800.50 v -x5035 -x5036 -x5037 -x5038 x5039 -x504 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x505 -x5050 1800.09/1800.50 v -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x506 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 1800.09/1800.50 v -x5067 -x5068 -x5069 -x507 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 x508 -x5080 -x5081 -x5082 1800.09/1800.50 v -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x509 -x5090 -x5091 -x5092 x5093 -x5094 -x5095 -x5096 x5097 -x5098 -x5099 1800.09/1800.50 v -x51 -x510 x5100 -x5101 -x5102 -x5103 -x5104 -x5105 x5106 -x5107 -x5108 -x5109 -x511 -x5110 x5111 -x5112 -x5113 -x5114 1800.09/1800.50 v -x5115 -x5116 x5117 -x5118 -x5119 -x512 -x5120 -x5121 x5122 -x5123 -x5124 x5125 -x5126 -x5127 -x5128 -x5129 x513 -x5130 1800.09/1800.50 v -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x514 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 1800.09/1800.50 v -x5147 -x5148 -x5149 -x515 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 x516 -x5160 -x5161 -x5162 1800.09/1800.50 v -x5163 -x5164 x5165 -x5166 -x5167 x5168 -x5169 -x517 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 1800.09/1800.50 v -x518 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 x5187 -x5188 -x5189 -x519 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 1800.09/1800.50 v -x5196 -x5197 -x5198 -x5199 -x52 -x520 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x521 -x5210 1800.09/1800.50 v -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x522 x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 1800.09/1800.50 v -x5228 -x5229 -x523 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x524 -x5240 -x5241 -x5242 -x5243 1800.09/1800.50 v -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x525 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 1800.09/1800.50 v -x526 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 x5269 -x527 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 1800.09/1800.50 v -x5276 -x5277 -x5278 -x5279 -x528 x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x529 -x5290 -x5291 1800.09/1800.50 v -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x53 -x530 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 1800.09/1800.50 v -x5308 -x5309 -x531 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x532 -x5320 -x5321 -x5322 -x5323 1800.09/1800.50 v -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x533 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 1800.09/1800.50 v -x534 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x535 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 1800.09/1800.50 v -x5356 -x5357 -x5358 -x5359 -x536 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x537 -x5370 -x5371 1800.09/1800.50 v -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x538 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 1800.09/1800.50 v -x5388 -x5389 -x539 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x54 -x540 -x5400 -x5401 -x5402 1800.09/1800.50 v -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x541 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 1800.09/1800.50 v -x5419 -x542 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x543 -x5430 -x5431 -x5432 -x5433 -x5434 1800.09/1800.50 v -x5435 -x5436 -x5437 -x5438 -x5439 -x544 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x545 -x5450 1800.09/1800.50 v -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x546 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 1800.09/1800.50 v -x5467 -x5468 -x5469 -x547 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x548 -x5480 -x5481 -x5482 1800.09/1800.50 v x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x549 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 1800.09/1800.50 v -x55 -x550 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x551 -x5510 -x5511 -x5512 -x5513 -x5514 1800.09/1800.50 v -x5515 -x5516 -x5517 -x5518 -x5519 -x552 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x553 -x5530 1800.09/1800.50 v -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x554 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 1800.09/1800.50 v -x5547 -x5548 -x5549 -x555 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x556 -x5560 -x5561 -x5562 1800.09/1800.50 v -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x557 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 1800.09/1800.50 v -x5579 -x558 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x559 -x5590 -x5591 -x5592 -x5593 -x5594 1800.09/1800.50 v -x5595 -x5596 -x5597 -x5598 -x5599 -x56 -x560 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x561 1800.09/1800.50 v -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x562 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 1800.09/1800.50 v -x5626 -x5627 -x5628 -x5629 -x563 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x564 -x5640 -x5641 1800.09/1800.50 v -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x565 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 1800.09/1800.50 v -x5658 -x5659 -x566 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x567 -x5670 -x5671 -x5672 -x5673 1800.09/1800.50 v -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x568 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 1800.09/1800.50 v -x569 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x57 -x570 -x5700 -x5701 -x5702 -x5703 -x5704 1800.09/1800.50 v -x5705 -x5706 -x5707 -x5708 -x5709 -x571 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x572 -x5720 1800.09/1800.50 v -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x573 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 1800.09/1800.50 v -x5737 -x5738 -x5739 -x574 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x575 -x5750 -x5751 -x5752 1800.09/1800.50 v -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x576 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 1800.09/1800.50 v -x5769 -x577 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x578 -x5780 -x5781 -x5782 -x5783 -x5784 1800.09/1800.50 v -x5785 -x5786 -x5787 -x5788 -x5789 -x579 -x5790 -x5791 -x5792 -x5793 x5794 -x5795 -x5796 x5797 -x5798 -x5799 -x58 -x580 1800.09/1800.50 v -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 x5807 -x5808 -x5809 -x581 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 x5816 1800.09/1800.50 v -x5817 x5818 -x5819 -x582 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 x5827 -x5828 x5829 -x583 -x5830 -x5831 -x5832 1800.09/1800.50 v -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 x5839 -x584 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 x5848 -x5849 1800.09/1800.50 v -x585 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x586 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 1800.09/1800.50 v -x5866 -x5867 -x5868 -x5869 -x587 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x588 -x5880 -x5881 1800.09/1800.50 v -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x589 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 1800.09/1800.50 v -x5898 -x5899 -x59 -x590 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x591 -x5910 -x5911 -x5912 1800.09/1800.50 v -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x592 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 1800.09/1800.50 v -x5929 -x593 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x594 -x5940 -x5941 -x5942 -x5943 -x5944 1800.09/1800.50 v -x5945 -x5946 -x5947 -x5948 -x5949 -x595 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x596 -x5960 1800.09/1800.50 v -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x597 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 1800.09/1800.50 v -x5977 -x5978 -x5979 x598 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x599 -x5990 -x5991 -x5992 1800.09/1800.50 v -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6 -x60 -x600 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 1800.09/1800.50 v -x6008 -x6009 -x601 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 x6017 -x6018 -x6019 -x602 x6020 -x6021 -x6022 -x6023 1800.09/1800.50 v -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x603 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 1800.09/1800.50 v -x604 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x605 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 1800.09/1800.50 v -x6056 -x6057 -x6058 -x6059 -x606 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x607 -x6070 -x6071 1800.09/1800.50 v -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x608 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 1800.09/1800.50 v -x6088 -x6089 -x609 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x61 -x610 -x6100 -x6101 -x6102 1800.09/1800.50 v -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x611 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 1800.09/1800.50 v -x6119 x612 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x613 -x6130 -x6131 -x6132 -x6133 -x6134 1800.09/1800.50 v -x6135 -x6136 -x6137 -x6138 -x6139 -x614 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x615 -x6150 1800.09/1800.50 v -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x616 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 1800.09/1800.50 v -x6167 -x6168 -x6169 -x617 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x618 -x6180 -x6181 -x6182 1800.09/1800.50 v -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x619 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 1800.09/1800.50 v -x6199 -x62 -x620 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x621 -x6210 -x6211 -x6212 -x6213 1800.09/1800.50 v -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x622 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 1800.09/1800.50 v x623 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x624 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 1800.09/1800.50 v -x6246 -x6247 -x6248 -x6249 -x625 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x626 -x6260 -x6261 1800.09/1800.50 v -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x627 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 1800.09/1800.50 v -x6278 -x6279 -x628 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x629 -x6290 -x6291 -x6292 -x6293 1800.09/1800.50 v -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x63 -x630 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 1800.09/1800.50 v x631 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x632 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 1800.09/1800.50 v -x6326 -x6327 -x6328 x6329 x633 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x634 -x6340 -x6341 1800.09/1800.50 v -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x635 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 1800.09/1800.50 v -x6358 -x6359 -x636 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 x637 -x6370 -x6371 -x6372 -x6373 1800.09/1800.50 v -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x638 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 1800.09/1800.50 v -x639 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x64 -x640 -x6400 -x6401 -x6402 -x6403 -x6404 1800.09/1800.50 v -x6405 -x6406 -x6407 -x6408 -x6409 -x641 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x642 -x6420 1800.09/1800.50 v -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x643 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 1800.09/1800.50 v -x6437 -x6438 -x6439 -x644 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x645 -x6450 -x6451 -x6452 1800.09/1800.50 v -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x646 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 1800.09/1800.50 v -x6469 -x647 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x648 -x6480 -x6481 x6482 -x6483 x6484 1800.09/1800.50 v -x6485 -x6486 -x6487 -x6488 -x6489 -x649 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x65 -x650 1800.09/1800.50 v -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x651 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 1800.09/1800.50 v -x6516 x6517 -x6518 -x6519 -x652 -x6520 -x6521 x6522 x6523 -x6524 -x6525 -x6526 -x6527 -x6528 x6529 -x653 -x6530 -x6531 1800.09/1800.50 v -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x654 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 1800.09/1800.50 v -x6548 -x6549 -x655 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x656 -x6560 -x6561 -x6562 -x6563 1800.09/1800.50 v -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x657 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 1800.09/1800.50 v -x658 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x659 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 1800.09/1800.50 v -x6596 -x6597 -x6598 -x6599 -x66 x660 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x661 -x6610 1800.09/1800.50 v -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x662 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 1800.09/1800.50 v -x6627 -x6628 -x6629 -x663 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x664 -x6640 -x6641 -x6642 1800.09/1800.50 v -x6643 -x6644 -x6645 -x6646 -x6647 x6648 -x6649 -x665 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 1800.09/1800.50 v -x666 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x667 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 1800.09/1800.50 v -x6676 -x6677 -x6678 -x6679 -x668 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x669 -x6690 -x6691 1800.09/1800.50 v -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x67 -x670 x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 1800.09/1800.50 v -x6708 -x6709 -x671 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x672 -x6720 -x6721 -x6722 -x6723 1800.09/1800.50 v -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x673 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 1800.09/1800.50 v -x674 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x675 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 1800.09/1800.50 v -x6756 -x6757 -x6758 -x6759 -x676 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x677 -x6770 -x6771 1800.09/1800.50 v -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x678 -x6780 -x6781 -x6782 -x6783 -x6784 x6785 -x6786 -x6787 x6788 1800.09/1800.50 v -x6789 -x679 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x68 -x680 -x6800 -x6801 -x6802 -x6803 1800.09/1800.50 v -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 x681 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x682 1800.09/1800.50 v -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x683 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 1800.09/1800.50 v -x6836 -x6837 -x6838 -x6839 -x684 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x685 -x6850 -x6851 1800.09/1800.50 v -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x686 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 1800.09/1800.50 v -x6868 -x6869 -x687 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x688 -x6880 -x6881 -x6882 -x6883 1800.09/1800.50 v -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x689 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 1800.09/1800.50 v -x69 -x690 -x6900 -x6901 -x6902 -x6903 -x6904 x6905 x6906 -x6907 -x6908 -x6909 -x691 -x6910 -x6911 -x6912 -x6913 -x6914 1800.09/1800.50 v -x6915 -x6916 -x6917 -x6918 -x6919 -x692 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x693 -x6930 1800.09/1800.50 v -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x694 -x6940 x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 1800.09/1800.50 v -x6948 -x6949 -x695 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x696 -x6960 -x6961 -x6962 -x6963 1800.09/1800.50 v -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x697 -x6970 x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x698 1800.09/1800.50 v -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x699 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 1800.09/1800.50 v -x6996 -x6997 -x6998 -x6999 -x7 -x70 -x700 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x701 1800.09/1800.50 v -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x702 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 1800.09/1800.50 v -x7026 -x7027 -x7028 -x7029 -x703 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x704 -x7040 -x7041 1800.09/1800.50 v -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 x7049 -x705 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 1800.09/1800.50 v -x7059 -x706 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 x7068 -x7069 -x707 x7070 -x7071 -x7072 -x7073 -x7074 1800.09/1800.50 v -x7075 -x7076 x7077 -x7078 -x7079 -x708 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x709 -x7090 1800.09/1800.50 v -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x71 -x710 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 1800.09/1800.50 v -x7107 -x7108 -x7109 -x711 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 x712 -x7120 -x7121 -x7122 1800.09/1800.50 v -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x713 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 1800.09/1800.50 v -x7139 -x714 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x715 -x7150 -x7151 -x7152 -x7153 -x7154 1800.09/1800.50 v -x7155 -x7156 -x7157 -x7158 -x7159 -x716 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x717 -x7170 1800.09/1800.50 v -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x718 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 1800.09/1800.50 v -x7187 -x7188 -x7189 -x719 -x7190 -x7191 -x7192 -x7193 -x7194 x7195 x7196 -x7197 -x7198 -x7199 -x72 -x720 -x7200 -x7201 1800.09/1800.50 v -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x721 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 1800.09/1800.50 v -x7218 -x7219 -x722 -x7220 -x7221 x7222 -x7223 -x7224 x7225 -x7226 x7227 -x7228 x7229 -x723 -x7230 x7231 -x7232 x7233 -x7234 1800.09/1800.50 v -x7235 -x7236 -x7237 -x7238 -x7239 -x724 -x7240 -x7241 -x7242 -x7243 x7244 -x7245 x7246 -x7247 x7248 -x7249 -x725 x7250 1800.09/1800.50 v x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x726 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 1800.09/1800.50 v -x7268 -x7269 -x727 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x728 -x7280 -x7281 -x7282 -x7283 1800.09/1800.50 v -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x729 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 1800.09/1800.50 v -x73 -x730 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x731 -x7310 -x7311 -x7312 -x7313 -x7314 1800.09/1800.50 v -x7315 -x7316 -x7317 -x7318 -x7319 -x732 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x733 -x7330 1800.09/1800.50 v -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x734 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 1800.09/1800.50 v -x7347 -x7348 -x7349 -x735 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x736 -x7360 -x7361 -x7362 1800.09/1800.50 v -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x737 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 1800.09/1800.50 v -x7379 -x738 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x739 -x7390 -x7391 -x7392 -x7393 -x7394 1800.09/1800.50 v -x7395 -x7396 -x7397 -x7398 -x7399 -x74 -x740 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x741 1800.09/1800.50 v -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x742 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 1800.09/1800.50 v -x7426 -x7427 -x7428 -x7429 -x743 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x744 -x7440 -x7441 1800.09/1800.50 v -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x745 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 1800.09/1800.50 v -x7458 -x7459 -x746 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x747 -x7470 -x7471 -x7472 -x7473 1800.09/1800.50 v -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x748 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 1800.09/1800.50 v -x749 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x75 -x750 -x7500 -x7501 -x7502 -x7503 -x7504 1800.09/1800.50 v -x7505 -x7506 -x7507 -x7508 -x7509 -x751 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x752 -x7520 1800.09/1800.50 v -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x753 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 1800.09/1800.50 v -x7537 -x7538 -x7539 x754 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x755 -x7550 -x7551 -x7552 1800.09/1800.50 v -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x756 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 1800.09/1800.50 v -x7569 -x757 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x758 -x7580 -x7581 -x7582 -x7583 -x7584 1800.09/1800.50 v -x7585 -x7586 -x7587 -x7588 -x7589 -x759 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x76 -x760 1800.09/1800.50 v -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x761 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 1800.09/1800.50 v -x7616 -x7617 -x7618 -x7619 -x762 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x763 -x7630 -x7631 1800.09/1800.50 v -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x764 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 1800.09/1800.50 v -x7648 -x7649 -x765 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x766 -x7660 -x7661 -x7662 -x7663 1800.09/1800.50 v -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 x767 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x768 1800.09/1800.50 v -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x769 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 1800.09/1800.50 v -x7696 -x7697 -x7698 -x7699 -x77 -x770 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x771 -x7710 1800.09/1800.50 v -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x772 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 1800.09/1800.50 v -x7727 -x7728 -x7729 -x773 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x774 -x7740 -x7741 -x7742 1800.09/1800.50 v -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x775 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 1800.09/1800.50 v -x7759 -x776 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x777 -x7770 -x7771 -x7772 -x7773 -x7774 1800.09/1800.50 v -x7775 -x7776 -x7777 -x7778 -x7779 -x778 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x779 -x7790 1800.09/1800.50 v -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x78 -x780 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 1800.09/1800.50 v -x7807 -x7808 x7809 -x781 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x782 -x7820 -x7821 -x7822 1800.09/1800.50 v -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x783 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 1800.09/1800.50 v -x7839 -x784 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x785 -x7850 -x7851 -x7852 -x7853 -x7854 1800.09/1800.50 v -x7855 -x7856 -x7857 -x7858 -x7859 -x786 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x787 -x7870 1800.09/1800.50 v -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x788 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 1800.09/1800.50 v -x7887 -x7888 -x7889 -x789 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x79 x790 -x7900 -x7901 1800.09/1800.50 v -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 x791 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 1800.09/1800.50 v -x7919 -x792 -x7920 -x7921 -x7922 -x7923 -x7924 x7925 x7926 x7927 -x7928 -x7929 -x793 -x7930 -x7931 -x7932 -x7933 -x7934 1800.09/1800.50 v -x7935 -x7936 -x7937 -x7938 -x7939 -x794 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x795 -x7950 1800.09/1800.50 v -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x796 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 1800.09/1800.50 v -x7967 -x7968 -x7969 -x797 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x798 -x7980 -x7981 -x7982 1800.09/1800.50 v -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x799 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 1800.09/1800.50 v -x7999 -x8 -x80 x800 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 x801 -x8010 -x8011 -x8012 -x8013 1800.09/1800.50 v -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x802 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 1800.09/1800.50 v x803 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x804 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 1800.09/1800.50 v -x8046 -x8047 -x8048 -x8049 x805 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x806 -x8060 -x8061 1800.09/1800.50 v -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x807 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 1800.09/1800.50 v -x8078 -x8079 -x808 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x809 -x8090 -x8091 -x8092 -x8093 1800.09/1800.50 v -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x81 -x810 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 x8106 -x8107 -x8108 -x8109 1800.09/1800.50 v -x811 x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 x8118 -x8119 -x812 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 1800.09/1800.50 v -x8126 -x8127 -x8128 -x8129 -x813 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x814 -x8140 -x8141 1800.09/1800.50 v -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 x815 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 1800.09/1800.50 v -x8159 -x816 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x817 -x8170 -x8171 -x8172 -x8173 -x8174 1800.09/1800.50 v -x8175 -x8176 -x8177 -x8178 -x8179 -x818 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 x819 -x8190 1800.09/1800.50 v -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x82 -x820 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 1800.09/1800.50 v -x8207 -x8208 -x8209 -x821 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x822 -x8220 -x8221 -x8222 1800.09/1800.50 v -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x823 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 1800.09/1800.50 v -x8239 -x824 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x825 -x8250 -x8251 -x8252 -x8253 -x8254 1800.09/1800.50 v -x8255 -x8256 -x8257 -x8258 -x8259 -x826 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x827 -x8270 1800.09/1800.50 v -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x828 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 1800.09/1800.50 v -x8287 -x8288 -x8289 -x829 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x83 -x830 -x8300 -x8301 1800.09/1800.50 v -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x831 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 1800.09/1800.50 v -x8318 -x8319 -x832 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x833 -x8330 -x8331 -x8332 -x8333 1800.09/1800.50 v -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x834 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 1800.09/1800.50 v -x835 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x836 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 1800.09/1800.50 v -x8366 -x8367 -x8368 -x8369 -x837 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x838 -x8380 -x8381 1800.09/1800.50 v -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x839 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 1800.09/1800.50 v -x8398 -x8399 -x84 -x840 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x841 -x8410 -x8411 -x8412 1800.09/1800.50 v -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x842 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 1800.09/1800.50 v -x8429 -x843 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x844 -x8440 -x8441 -x8442 -x8443 -x8444 1800.09/1800.50 v -x8445 -x8446 -x8447 -x8448 -x8449 -x845 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x846 -x8460 1800.09/1800.50 v -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x847 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 1800.09/1800.50 v -x8477 -x8478 -x8479 -x848 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x849 -x8490 -x8491 -x8492 1800.09/1800.50 v -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x85 -x850 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 1800.09/1800.50 v -x8509 -x851 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x852 -x8520 -x8521 -x8522 -x8523 -x8524 1800.09/1800.50 v -x8525 -x8526 -x8527 -x8528 -x8529 -x853 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x854 -x8540 1800.09/1800.50 v -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x855 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 1800.09/1800.50 v -x8557 -x8558 -x8559 -x856 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 x857 -x8570 -x8571 -x8572 1800.09/1800.50 v -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x858 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 1800.09/1800.50 v -x8589 -x859 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x86 -x860 -x8600 -x8601 -x8602 -x8603 1800.09/1800.50 v -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x861 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 1800.09/1800.50 v -x862 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x863 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 1800.09/1800.50 v -x8636 -x8637 -x8638 -x8639 -x864 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x865 -x8650 -x8651 1800.09/1800.50 v -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x866 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 1800.09/1800.50 v -x8668 -x8669 -x867 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 x868 -x8680 -x8681 -x8682 -x8683 1800.09/1800.50 v -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 x869 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x87 1800.09/1800.50 v -x870 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x871 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 1800.09/1800.50 v -x8716 -x8717 -x8718 -x8719 -x872 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x873 -x8730 -x8731 1800.09/1800.50 v -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x874 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 1800.09/1800.50 v -x8748 -x8749 -x875 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x876 -x8760 -x8761 -x8762 -x8763 1800.09/1800.50 v -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x877 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 1800.09/1800.50 v -x878 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x879 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 1800.09/1800.50 v -x8796 -x8797 -x8798 -x8799 -x88 -x880 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x881 -x8810 1800.09/1800.50 v -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x882 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 1800.09/1800.50 v -x8827 -x8828 -x8829 -x883 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x884 -x8840 -x8841 -x8842 1800.09/1800.50 v -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x885 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 1800.09/1800.50 v -x8859 -x886 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x887 -x8870 -x8871 -x8872 -x8873 -x8874 1800.09/1800.50 v -x8875 -x8876 -x8877 -x8878 -x8879 -x888 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x889 -x8890 1800.09/1800.50 v -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x89 -x890 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 1800.09/1800.50 v -x8907 -x8908 -x8909 -x891 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x892 -x8920 -x8921 -x8922 1800.09/1800.50 v -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x893 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 1800.09/1800.50 v -x8939 -x894 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x895 -x8950 -x8951 -x8952 -x8953 -x8954 1800.09/1800.50 v -x8955 -x8956 -x8957 x8958 -x8959 -x896 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x897 -x8970 1800.09/1800.50 v -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x898 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 1800.09/1800.50 v -x8987 -x8988 -x8989 -x899 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9 -x90 -x900 -x9000 1800.09/1800.50 v -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x901 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 1800.09/1800.50 v -x9017 -x9018 -x9019 x902 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x903 -x9030 -x9031 -x9032 1800.09/1800.50 v -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x904 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 1800.09/1800.50 v -x9049 -x905 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x906 -x9060 -x9061 -x9062 -x9063 -x9064 1800.09/1800.50 v -x9065 -x9066 -x9067 -x9068 -x9069 -x907 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x908 -x9080 1800.09/1800.50 v -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x909 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 1800.09/1800.50 v -x9097 -x9098 -x9099 -x91 -x910 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x911 -x9110 -x9111 1800.09/1800.50 v -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 x9119 -x912 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 x9126 -x9127 -x9128 1800.09/1800.50 v -x9129 -x913 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x914 -x9140 -x9141 -x9142 -x9143 -x9144 1800.09/1800.50 v -x9145 -x9146 -x9147 -x9148 -x9149 -x915 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x916 -x9160 1800.09/1800.50 v -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x917 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 1800.09/1800.50 v -x9177 -x9178 -x9179 -x918 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x919 -x9190 -x9191 -x9192 1800.09/1800.50 v -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x92 -x920 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 1800.09/1800.50 v -x9209 -x921 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x922 -x9220 -x9221 -x9222 -x9223 -x9224 1800.09/1800.50 v -x9225 -x9226 -x9227 -x9228 -x9229 -x923 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x924 -x9240 1800.09/1800.50 v -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x925 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 1800.09/1800.50 v -x9257 -x9258 -x9259 -x926 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x927 -x9270 -x9271 -x9272 1800.09/1800.50 v -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x928 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 1800.09/1800.50 v -x9289 -x929 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x93 -x930 -x9300 -x9301 -x9302 -x9303 1800.09/1800.50 v -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x931 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 1800.09/1800.50 v -x932 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x933 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 1800.09/1800.50 v -x9336 -x9337 -x9338 -x9339 -x934 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x935 -x9350 -x9351 1800.09/1800.50 v -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x936 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 1800.09/1800.50 v -x9368 -x9369 -x937 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x938 -x9380 -x9381 -x9382 -x9383 1800.09/1800.50 v -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x939 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 1800.09/1800.50 v -x94 -x940 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x941 -x9410 -x9411 -x9412 -x9413 -x9414 1800.09/1800.50 v -x9415 -x9416 -x9417 -x9418 -x9419 -x942 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x943 -x9430 1800.09/1800.50 v -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x944 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 1800.09/1800.50 v -x9447 -x9448 -x9449 -x945 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x946 -x9460 -x9461 -x9462 1800.09/1800.50 v -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x947 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 1800.09/1800.50 v -x9479 -x948 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x949 -x9490 -x9491 -x9492 -x9493 -x9494 1800.09/1800.50 v -x9495 -x9496 -x9497 -x9498 -x9499 -x95 -x950 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x951 1800.09/1800.50 v -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 x9517 -x9518 x9519 -x952 -x9520 -x9521 -x9522 -x9523 -x9524 x9525 -x9526 1800.09/1800.50 v -x9527 -x9528 -x9529 -x953 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x954 -x9540 -x9541 -x9542 1800.09/1800.50 v -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x955 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 1800.09/1800.50 v -x9559 -x956 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x957 -x9570 -x9571 -x9572 -x9573 -x9574 1800.09/1800.50 v -x9575 -x9576 -x9577 -x9578 -x9579 -x958 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x959 -x9590 1800.09/1800.50 v -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x96 -x960 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 1800.09/1800.50 v -x9607 -x9608 -x9609 x961 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x962 -x9620 -x9621 -x9622 1800.09/1800.50 v -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 x963 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 1800.09/1800.50 v -x964 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 x9647 x9648 -x9649 -x965 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 1800.09/1800.50 v -x9656 -x9657 -x9658 -x9659 -x966 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x967 -x9670 -x9671 1800.09/1800.50 v -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x968 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 1800.09/1800.50 v -x9688 -x9689 -x969 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x97 -x970 -x9700 -x9701 -x9702 1800.09/1800.50 v -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x971 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 1800.09/1800.50 v -x9719 -x972 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x973 -x9730 -x9731 -x9732 -x9733 -x9734 1800.09/1800.50 v -x9735 -x9736 -x9737 -x9738 -x9739 -x974 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x975 -x9750 1800.09/1800.50 v -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x976 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 1800.09/1800.50 v -x9767 -x9768 -x9769 -x977 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x978 -x9780 -x9781 -x9782 1800.09/1800.50 v -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x979 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 1800.09/1800.50 v -x9799 -x98 -x980 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x981 -x9810 -x9811 -x9812 -x9813 1800.09/1800.50 v -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x982 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 1800.09/1800.50 v -x983 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x984 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 1800.09/1800.50 v -x9846 -x9847 -x9848 -x9849 -x985 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x986 -x9860 -x9861 1800.09/1800.50 v -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x987 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 1800.09/1800.50 v -x9878 -x9879 -x988 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x989 -x9890 -x9891 -x9892 -x9893 1800.09/1800.50 v -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x99 -x990 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 1800.09/1800.50 v -x991 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x992 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 1800.09/1800.50 v -x9926 -x9927 -x9928 -x9929 -x993 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x994 -x9940 -x9941 1800.09/1800.50 v -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x995 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 1800.09/1800.50 v -x9958 -x9959 -x996 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x997 -x9970 -x9971 -x9972 -x9973 1800.09/1800.50 v -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x998 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 1800.09/1800.50 v -x999 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999
OK -5479
/tmp/evaluation/458726-1178641605/instance-458726-1178641605.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node52/watcher-458726-1178641605 -o ROOT/results/node52/solver-458726-1178641605 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458726-1178641605/instance-458726-1178641605.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.07 1.02 1.00 3/64 18708 /proc/meminfo: memFree=1779612/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=2664 CPUtime=0 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 441 0 0 0 0 0 0 0 18 0 1 0 219005632 2727936 423 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134542169 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 666 425 79 219 0 443 0 [startup+0.0242671 s] /proc/loadavg: 1.07 1.02 1.00 3/64 18708 /proc/meminfo: memFree=1779612/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=3148 CPUtime=0.02 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 576 0 0 0 2 0 0 0 18 0 1 0 219005632 3223552 558 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 787 558 86 219 0 564 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3148 [startup+0.101258 s] /proc/loadavg: 1.07 1.02 1.00 3/64 18708 /proc/meminfo: memFree=1779612/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=4808 CPUtime=0.09 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 1063 0 0 0 9 0 0 0 18 0 1 0 219005632 4923392 947 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134591356 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 1202 947 86 219 0 979 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4808 [startup+0.301271 s] /proc/loadavg: 1.07 1.02 1.00 3/64 18708 /proc/meminfo: memFree=1779612/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=5824 CPUtime=0.29 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 1360 0 0 0 29 0 0 0 19 0 1 0 219005632 5963776 1244 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134804495 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 1456 1244 86 219 0 1233 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5824 [startup+0.701297 s] /proc/loadavg: 1.07 1.02 1.00 3/64 18708 /proc/meminfo: memFree=1779612/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=8512 CPUtime=0.69 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 2102 0 0 0 67 2 0 0 23 0 1 0 219005632 8716288 1857 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 2128 1857 90 219 0 1905 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8512 [startup+1.50135 s] /proc/loadavg: 1.07 1.02 1.00 2/65 18709 /proc/meminfo: memFree=1772180/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=9096 CPUtime=1.49 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 2240 0 0 0 146 3 0 0 25 0 1 0 219005632 9314304 1995 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 2274 1995 90 219 0 2051 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9096 [startup+3.10146 s] /proc/loadavg: 1.07 1.02 1.00 2/65 18709 /proc/meminfo: memFree=1771540/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=10064 CPUtime=3.09 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 2455 0 0 0 304 5 0 0 25 0 1 0 219005632 10305536 2210 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 2516 2210 90 219 0 2293 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10064 [startup+6.30167 s] /proc/loadavg: 1.07 1.02 1.00 2/65 18709 /proc/meminfo: memFree=1770068/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=10980 CPUtime=6.29 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 2678 0 0 0 621 8 0 0 25 0 1 0 219005632 11243520 2433 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 2745 2433 90 219 0 2522 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10980 [startup+12.7011 s] /proc/loadavg: 1.06 1.01 1.00 2/65 18709 /proc/meminfo: memFree=1768468/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=13064 CPUtime=12.69 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 3151 0 0 0 1253 16 0 0 25 0 1 0 219005632 13377536 2857 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 3266 2857 102 219 0 3043 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13064 [startup+25.502 s] /proc/loadavg: 1.05 1.01 1.00 2/65 18709 /proc/meminfo: memFree=1766484/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=16260 CPUtime=25.48 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 3733 0 0 0 2520 28 0 0 25 0 1 0 219005632 16650240 3342 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 4065 3342 102 219 0 3842 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16260 [startup+51.1017 s] /proc/loadavg: 1.03 1.01 1.00 2/65 18709 /proc/meminfo: memFree=1764372/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=17704 CPUtime=51.08 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 4462 0 0 0 5058 50 0 0 25 0 1 0 219005632 18128896 3878 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 4426 3878 102 219 0 4203 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 17704 [startup+102.304 s] /proc/loadavg: 1.01 1.01 1.00 2/65 18709 /proc/meminfo: memFree=1760532/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=22620 CPUtime=102.27 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 5406 0 0 0 10141 86 0 0 25 0 1 0 219005632 23162880 4822 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 5655 4822 102 219 0 5432 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 22620 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18709 /proc/meminfo: memFree=1756372/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=33316 CPUtime=162.26 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 6832 0 0 0 16101 125 0 0 25 0 1 0 219005632 34115584 5863 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 8329 5863 102 219 0 8106 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 33316 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18709 /proc/meminfo: memFree=1753748/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=33908 CPUtime=222.24 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 7475 0 0 0 22062 162 0 0 25 0 1 0 219005632 34721792 6506 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546055 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 8477 6506 102 219 0 8254 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 33908 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18709 /proc/meminfo: memFree=1751508/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=34596 CPUtime=282.23 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 8040 0 0 0 28027 196 0 0 25 0 1 0 219005632 35426304 7071 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 8649 7071 102 219 0 8426 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 34596 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18709 /proc/meminfo: memFree=1748180/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=35056 CPUtime=342.22 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 8860 0 0 0 33997 225 0 0 25 0 1 0 219005632 35897344 7891 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 8764 7891 102 219 0 8541 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 35056 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18709 /proc/meminfo: memFree=1746068/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=38724 CPUtime=402.2 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 10160 0 0 0 39963 257 0 0 25 0 1 0 219005632 39653376 8422 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 9681 8422 102 219 0 9458 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 38724 [startup+462.301 s] /proc/loadavg: 1.06 1.02 1.00 2/65 18709 /proc/meminfo: memFree=1741780/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=55528 CPUtime=462.19 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 11214 0 0 0 45928 291 0 0 25 0 1 0 219005632 56860672 9476 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 13882 9476 102 219 0 13659 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 55528 [startup+522.301 s] /proc/loadavg: 1.02 1.01 1.00 2/65 18709 /proc/meminfo: memFree=1740628/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=56064 CPUtime=522.18 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 11508 0 0 0 51898 320 0 0 25 0 1 0 219005632 57409536 9770 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 14016 9770 102 219 0 13793 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 56064 [startup+582.302 s] /proc/loadavg: 1.01 1.00 1.00 2/65 18709 /proc/meminfo: memFree=1738708/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=56356 CPUtime=582.17 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 11989 0 0 0 57870 347 0 0 25 0 1 0 219005632 57708544 10251 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546073 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 14089 10251 102 219 0 13866 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 56356 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18709 /proc/meminfo: memFree=1737492/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=56892 CPUtime=642.15 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 12275 0 0 0 63840 375 0 0 25 0 1 0 219005632 58257408 10537 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 14223 10537 102 219 0 14000 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 56892 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18709 /proc/meminfo: memFree=1729684/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=58324 CPUtime=882.1 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 14238 0 0 0 87724 486 0 0 25 0 1 0 219005632 59723776 12500 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 14581 12500 102 219 0 14358 0 Current children cumulated CPU time (s) 882.1 Current children cumulated vsize (KiB) 58324 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18709 /proc/meminfo: memFree=1726292/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=58804 CPUtime=942.07 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 15082 0 0 0 93690 517 0 0 25 0 1 0 219005632 60215296 13344 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 14701 13344 102 219 0 14478 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 58804 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18709 /proc/meminfo: memFree=1725652/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=59000 CPUtime=1002.07 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 15248 0 0 0 99669 538 0 0 25 0 1 0 219005632 60416000 13510 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546023 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 14750 13510 102 219 0 14527 0 Current children cumulated CPU time (s) 1002.07 Current children cumulated vsize (KiB) 59000 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18709 /proc/meminfo: memFree=1725140/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=59480 CPUtime=1062.05 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 15375 0 0 0 105644 561 0 0 25 0 1 0 219005632 60907520 13637 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 14870 13637 102 219 0 14647 0 Current children cumulated CPU time (s) 1062.05 Current children cumulated vsize (KiB) 59480 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18709 /proc/meminfo: memFree=1723668/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=65928 CPUtime=1122.03 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 17264 0 0 0 111615 588 0 0 25 0 1 0 219005632 67510272 13989 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 16482 13989 102 219 0 16259 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 65928 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18709 /proc/meminfo: memFree=1722452/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=66448 CPUtime=1182.03 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 17552 0 0 0 117591 612 0 0 25 0 1 0 219005632 68042752 14277 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 16612 14277 102 219 0 16389 0 Current children cumulated CPU time (s) 1182.03 Current children cumulated vsize (KiB) 66448 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18709 /proc/meminfo: memFree=1721108/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=66632 CPUtime=1242.01 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 17901 0 0 0 123565 636 0 0 25 0 1 0 219005632 68231168 14626 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 16658 14626 102 219 0 16435 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 66632 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18709 /proc/meminfo: memFree=1717908/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=99660 CPUtime=1302 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 18691 0 0 0 129539 661 0 0 25 0 1 0 219005632 102051840 15416 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 24915 15416 102 219 0 24692 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 99660 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18709 /proc/meminfo: memFree=1716372/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=100180 CPUtime=1361.98 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 19078 0 0 0 135512 686 0 0 25 0 1 0 219005632 102584320 15803 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 25045 15803 102 219 0 24822 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 100180 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18709 /proc/meminfo: memFree=1715860/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=100420 CPUtime=1421.97 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 19215 0 0 0 141490 707 0 0 25 0 1 0 219005632 102830080 15940 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 25105 15940 102 219 0 24882 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 100420 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18709 /proc/meminfo: memFree=1712340/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=100648 CPUtime=1481.96 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 20089 0 0 0 147464 732 0 0 25 0 1 0 219005632 103063552 16814 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 25162 16814 102 219 0 24939 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 100648 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18709 /proc/meminfo: memFree=1710548/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=101220 CPUtime=1541.94 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 20526 0 0 0 153439 755 0 0 25 0 1 0 219005632 103649280 17251 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 25305 17251 102 219 0 25082 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 101220 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18709 /proc/meminfo: memFree=1707796/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=101400 CPUtime=1601.93 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 21215 0 0 0 159414 779 0 0 25 0 1 0 219005632 103833600 17940 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550340 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 25350 17940 102 219 0 25127 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 101400 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18709 /proc/meminfo: memFree=1707092/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=101856 CPUtime=1661.92 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 21402 0 0 0 165390 802 0 0 25 0 1 0 219005632 104300544 18127 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 25464 18127 102 219 0 25241 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 101856 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18709 /proc/meminfo: memFree=1706516/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=102072 CPUtime=1721.9 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 21519 0 0 0 171365 825 0 0 25 0 1 0 219005632 104521728 18244 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134560808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 25518 18244 102 219 0 25295 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 102072 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18709 /proc/meminfo: memFree=1705940/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=102304 CPUtime=1781.89 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 21670 0 0 0 177341 848 0 0 25 0 1 0 219005632 104759296 18395 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 25576 18395 102 219 0 25353 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 102304 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18709 /proc/meminfo: memFree=1705876/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=102304 CPUtime=1800.09 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 21694 0 0 0 179152 857 0 0 25 0 1 0 219005632 104759296 18419 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 25576 18419 102 219 0 25353 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 102304 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18709 /proc/meminfo: memFree=1705876/2055920 swapFree=4183124/4192956 [pid=18708] ppid=18706 vsize=102304 CPUtime=1800.09 /proc/18708/stat : 18708 (PBS4_SAT07v2) R 18706 18708 18298 0 -1 4194304 21694 0 0 0 179152 857 0 0 25 0 1 0 219005632 104759296 18419 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18708/statm: 25576 18419 102 219 0 25353 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 102304 Child status: 0 Real time (s): 1800.53 CPU time (s): 1800.12 CPU user time (s): 1791.54 CPU system time (s): 8.58669 CPU usage (%): 99.9774 Max. virtual memory (cumulated for all children) (KiB): 102328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.54 system time used= 8.58669 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21697 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= 10 involuntary context switches= 1752 runsolver used 1.51477 second user time and 3.42648 second system time The end
Begin job on node52 on Tue May 8 16:26:46 UTC 2007 IDJOB= 458726 IDBENCH= 1875 IDSOLVER= 200 FILE ID= node52/458726-1178641605 PBS_JOBID= 5218338 Free space on /tmp= 66561 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458726-1178641605/instance-458726-1178641605.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node52/convwatcher-458726-1178641605 -o ROOT/results/node52/conversion-458726-1178641605 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458726-1178641605/instance-458726-1178641605.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-458726-1178641605 -o ROOT/results/node52/solver-458726-1178641605 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458726-1178641605/instance-458726-1178641605.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9 RANDOM SEED= 935977997 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node52.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1780020 kB Buffers: 29876 kB Cached: 146420 kB SwapCached: 3768 kB Active: 29496 kB Inactive: 156540 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1780020 kB SwapTotal: 4192956 kB SwapFree: 4183124 kB Dirty: 3564 kB Writeback: 0 kB Mapped: 15856 kB Slab: 75668 kB Committed_AS: 5375664 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66561 MiB End job on node52 on Tue May 8 16:56:48 UTC 2007