Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| NaPS 1.02 | SAT (TO) | 1058 | 1800.04 | 1800.41 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.5:100.opb |
| MD5SUM | 9d611ad786b3505d4cca46af1ba2bc6d |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 143 |
| Best CPU time to get the best result obtained on this benchmark | 1800.15 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 116 |
| Optimality of the best value was proved | NO |
| Number of variables | 10772 |
| Total number of constraints | 12051 |
| Number of constraints which are clauses | 10247 |
| Number of constraints which are cardinality constraints (but not clauses) | 1804 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 31 |
| Number of terms in the objective function | 10772 |
| Biggest coefficient in the objective function | 5356 |
| Number of bits for the biggest coefficient in the objective function | 13 |
| Sum of the numbers in the objective function | 30986 |
| Number of bits of the sum of numbers in the objective function | 15 |
| Biggest number in a constraint | 5356 |
| Number of bits of the biggest number in a constraint | 13 |
| Biggest sum of numbers in a constraint | 30986 |
| Number of bits of the biggest sum of numbers | 15 |
| 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 NaPS 1.02b. 1800.01/1800.40 o 7257 1800.01/1800.40 o 1058 1800.01/1800.40 c 1800.01/1800.40 c *** TERMINATED *** by signal 15 1800.01/1800.40 s SATISFIABLE 1800.01/1800.40 c _____________________________________________________________________________ 1800.01/1800.40 c 1800.01/1800.40 c std/band forms : 1805,0 1800.01/1800.40 c 2cl/3cl ITE-codings : 39698,0 1800.01/1800.40 c BDD/srt/adr Max costs : 86,1627467,0 1800.01/1800.40 c BDDraw/bin/mul/srt/adr: 1803,0,0,2,0 1800.01/1800.40 c BDD nodes : 65018 1800.01/1800.40 c Es1/CC detections : 0,0 1800.01/1800.40 c SAT/UNSAT calls : 2,0 1800.01/1800.40 c restarts : 29 1800.01/1800.40 c conflicts : 2287 (1 /sec) 1800.01/1800.40 c decisions : 842938 (468 /sec) 1800.01/1800.40 c propagations : 24224385 (13463 /sec) 1800.01/1800.40 c inspects : 0 (0 /sec) 1800.01/1800.40 c CPU time (solving tm) : 1799 s (13.23 s) 1800.01/1800.40 c Time for Opt-base : 0.03299 s 1800.01/1800.40 c _____________________________________________________________________________ 1800.01/1800.40 v -x9583 -x6786 -x5147 -x4651 -x4504 x3806 x1035 x879 -x9585 -x5151 x4508 -x3805 x1036 -x6785 x4652 x4507 -x3804 -x2193 -x1040 x883 -x9586 x6788 x4653 -x4509 -x3802 -x2198 -x1039 x881 x4656 -x4590 x4513 -x3803 -x2603 x2197 -x1037 -x756 -x418 -x6789 -x4654 -x4589 x4512 -x2607 -x1038 x882 -x9992 -x6791 -x6143 -x4655 x4591 x4510 x2200 -x886 -x755 -x6792 -x6147 x5269 x4594 -x4511 x2201 -x759 -x10458 -x9991 -x6454 x5268 x4593 x2204 x9995 -x7679 x4598 -x2202 -x760 -x10726 -x10461 -x7678 -x6453 x5270 x4597 -x2203 -x10462 x9996 -x7680 -x6457 x5272 x4595 -x1889 -x964 -x10725 -x7681 -x7009 -x6809 -x5167 x4596 -x3912 -x1888 -x1161 -x963 -x681 -x10729 x7682 -x6813 -x6458 -x6089 -x5273 x5172 x2083 -x1890 -x969 x7689 -x7008 -x6531 -x6404 -x6088 -x5275 x5171 -x3915 x2082 -x1891 -x968 -x680 -x10730 -x7683 -x6536 -x6408 -x6090 -x5946 -x5276 -x3916 x2088 x1892 x970 -x684 -x7684 -x7014 x6535 -x6091 x5945 x5174 -x4131 x2087 -x1899 -x974 -x7685 -x7012 -x6092 x5175 -x4136 -x2089 -x1893 -x973 -x685 -x10357 -x6538 -x6099 x5947 -x5178 -x4976 x4135 x2093 -x1894 -x971 -x7326 -x7013 -x6539 -x6093 x5949 -x5176 -x4980 x2092 -x1895 -x972 -x10356 x8968 -x8775 -x7325 -x7017 -x6642 -x6542 -x6094 -x5177 x4138 x2090 -x1109 -x10360 -x9764 -x7331 -x6540 -x6095 x5950 x4139 -x2091 -x1108 -x9763 x8967 -x7632 x7330 -x6645 -x6541 x5952 -x4630 -x4142 -x1828 -x1799 -x1110 -x10361 -x9769 -x7743 x7637 -x7332 -x6646 x5953 -x4629 -x4140 -x1803 -x1113 -x9768 x8973 x8721 -x8203 -x7742 x7636 -x7336 -x4631 -x4141 -x1112 x558 -x9770 x8971 -x8726 -x8207 -x7744 -x7335 -x4634 -x1117 -x9774 x8725 -x7745 -x7639 -x7333 -x5850 -x4633 -x3498 -x2390 -x1116 x557 -x10159 -x9773 -x8972 x7746 -x7640 -x7334 -x4638 -x3503 -x2389 -x1114 x10158 -x9930 -x9771 -x8976 -x8728 -x7753 x7643 -x4637 x3502 x2391 -x1115 x563 -x9934 -x9772 -x8729 -x7747 -x7641 -x4635 -x2394 x561 x10160 -x9338 x8732 -x7748 -x7642 -x4636 x3505 x2393 -x153 x10162 -x8730 -x7749 -x6596 x3506 -x2767 x2398 -x562 -x158 x9337 -x8918 -x8731 -x6595 -x4253 x3509 -x2766 -x2698 -x2397 -x1400 -x566 -x157 x10163 x9341 -x6597 -x4252 x3507 -x2703 -x2395 x10165 -x8921 x6598 -x5999 -x4254 -x3508 -x3289 -x2768 -x2702 -x2396 -x1399 -x160 x10166 x9342 -x8922 x6599 -x4257 -x4087 x2770 -x1403 -x161 -x7723 -x7520 -x6606 -x5076 x4256 x4086 x3292 -x2705 -x164 -x8352 -x7524 x6600 x4261 -x3293 -x2771 -x2706 -x1404 -x162 -x9018 x8351 -x7722 -x6621 -x6601 -x5075 x4260 x4088 -x2773 -x2709 -x583 -x163 -x7726 -x6602 x4258 x4090 -x2774 -x2707 -x1844 -x9017 x8353 -x5081 x4259 -x2708 -x1843 -x1373 -x582 -x9358 -x9021 -x8355 -x7727 -x5079 x4091 x1849 x1378 -x9357 -x4093 x1848 x1377 x588 -x506 -x9363 -x9022 -x8356 -x5080 -x4094 x1850 x586 -x511 -x9362 x8358 -x5084 x1854 -x1699 x1380 -x1091 -x510 -x9364 -x8359 -x6329 -x3595 x1853 x1381 x1090 x587 -x10233 -x9859 x9368 -x7875 -x6328 x3594 -x1851 -x1698 -x1384 x1092 -x591 -x513 x9367 -x7880 -x6687 x6334 x3596 -x1852 -x1702 -x1382 -x1095 -x514 -x10232 -x9365 x7879 -x6686 x6333 -x5309 -x4321 x3597 -x3114 -x1383 x1094 -x517 -x10236 -x9366 -x6692 -x6335 -x4320 x3598 -x1703 x1099 -x515 x7882 -x6691 -x6339 -x5308 -x4322 x3605 -x3117 x1098 -x516 -x10237 -x8288 x7883 -x6693 -x6338 -x5312 -x4325 x3599 -x3118 x1096 x8287 -x7886 x6697 -x6336 -x4393 x4324 -x3600 -x1574 x1097 -x459 -x7884 x6696 -x6337 -x5313 -x4397 -x4369 x4329 -x3601 x464 -x8893 x8289 -x7885 x6694 -x4368 x4328 -x2041 -x1573 x463 -x245 x8291 -x6695 x4326 -x2045 -x1577 -x8892 -x6553 -x5101 -x4370 x4327 x466 x8292 -x6552 -x5105 x4372 -x1578 x467 x8898 -x8294 -x6554 x470 -x9188 x8896 -x8295 x6557 x4373 -x468 -x9187 x8451 x6556 -x4375 -x469 x9193 x8897 x6561 -x4376 x9192 -x8901 -x8454 x6560 -x5974 x3690 x9194 -x8455 x6558 x9198 x6559 x3689 -x2483 x9197 x6500 -x2487 -x9195 x6499 -x6074 x2486 -x9196 -x10433 x9582 -x6782 -x5146 -x4648 x3814 -x1034 x878 -x10437 -x9587 -x5150 -x4650 x4503 -x3810 x1033 -x6787 x4649 x4505 -x3809 -x1044 x884 -x414 x6790 x4657 x4506 -x2192 -x9589 x6794 x4517 -x2602 -x2194 -x887 -x635 -x417 -x9590 x6793 -x2606 x2199 -x885 -x8526 -x6888 -x6142 x2196 -x757 -x8530 -x6146 -x5264 x4592 x2205 x761 -x10457 x9993 -x8004 -x5263 x4606 x9997 -x8008 x4602 x10463 x6455 x5271 -x4601 -x1429 -x1157 -x763 -x6459 x5274 -x764 -x10727 -x9999 -x9880 x7692 -x7004 -x6808 x5278 -x3911 -x1160 -x10731 -x10000 -x9884 x7693 -x6812 -x5277 -x5166 x965 -x10466 x7688 -x7010 -x6461 -x6403 -x5168 -x4905 -x3917 -x1902 x966 -x682 -x6530 -x6462 -x6407 -x5941 x5173 x2084 -x1903 x967 x686 -x10733 -x7686 -x7015 -x6532 -x6102 -x5940 x5170 x2085 -x1898 x978 -x10734 x6537 -x6103 -x5179 -x4130 x2086 -x8771 -x7018 x6534 -x6098 x5948 -x4975 -x4132 -x3920 -x2245 x2097 -x1896 -x688 -x7016 -x6543 x5951 -x4979 x4137 -x2249 -x689 -x10358 -x8963 -x8774 -x6641 -x6096 x5955 x4134 -x1824 -x10362 x7327 x5954 -x4143 -x10109 x8969 x7328 -x6647 -x1827 -x1798 -x10113 -x9765 -x7631 x7329 -x1802 -x1111 -x10364 -x9766 x8974 -x8202 -x7633 x7340 -x5846 -x1125 -x553 -x10365 x9767 x8720 -x8206 x7638 -x4632 -x1121 -x9778 -x8977 x8722 x7756 x7635 -x6650 -x5849 -x4646 -x1120 x559 -x10154 -x8975 x8727 x7757 x7644 -x4642 -x3497 -x10153 -x9929 x8724 -x7752 -x4641 x3499 x564 -x9933 x8733 x3504 x2392 x10161 -x7750 x3501 x2406 -x567 x10164 x3510 -x2762 x2402 -x565 -x152 x10168 x9339 -x8917 -x5995 -x2761 x2401 -x154 x10167 x9343 -x2697 -x159 -x8923 -x6609 -x5998 -x3288 -x2769 x2699 -x1401 -x156 -x6610 -x4255 -x4082 x2772 -x2704 -x1405 -x165 -x9345 -x7519 x6617 -x6605 -x5071 -x4269 -x4081 x3294 -x2776 x2701 -x9346 -x8347 -x7523 -x4265 -x2775 -x2710 -x8926 -x8346 -x7724 -x6620 -x6603 x5077 -x4264 x4089 -x1407 -x578 x7728 x4092 -x1408 -x9047 x9019 x8354 -x8095 -x5082 x4096 -x3297 -x584 x9023 -x8357 -x8099 x4095 x1845 -x1372 x8361 -x7730 -x5085 x1846 x1374 x589 -x9359 x8360 -x7731 -x5083 x1847 x1379 -x505 -x9855 -x9360 -x9025 -x2841 x1858 x1376 -x592 -x507 x9361 -x9026 -x2845 x1385 -x590 -x512 -x9858 x9372 x1700 -x1454 -x509 x7874 -x6330 -x1704 x1093 -x518 x10234 x7876 -x6358 -x6331 x3608 -x3113 -x2345 -x1107 x10238 x7881 -x6688 x6332 x3609 -x2349 -x1103 x7878 -x6689 x6343 -x5576 -x5310 x3604 -x3119 -x1706 -x1102 -x8283 -x7887 x6690 -x5314 -x4323 -x1707 -x10240 -x8282 x6701 -x4392 x4337 -x3602 -x1649 -x241 -x10241 -x4396 -x4364 x4333 -x1653 -x458 -x8888 x8290 -x5316 -x4363 x4332 -x3122 -x2040 -x1575 x460 -x244 x8293 -x5317 -x2044 x1579 x465 -x9317 x8894 -x8297 -x5100 -x4371 x462 -x8296 -x5104 x4374 x471 x8899 x4378 -x1581 -x6555 x4377 -x1582 x8902 x8450 x6569 -x5970 -x4212 -x9189 -x8900 x6565 -x9190 x8456 x6564 -x5973 x9191 x9202 -x8501 -x6070 x3691 x8505 -x6496 -x2482 -x8459 -x6495 -x6073 x2484 -x1554 x2488 -x3693 x2750 -x3694 x2754 x10757 -x10432 x9584 -x7615 -x5148 x3813 -x1047 x876 -x10436 -x9588 -x6781 -x5152 -x4647 x1048 x880 -x9592 -x6783 x4665 x4520 -x3807 -x1043 x877 -x631 -x413 -x9591 x6784 x4661 x4521 -x888 -x751 -x6884 x6798 -x5154 x4660 x4516 -x3808 -x2604 -x2578 -x1041 -x750 -x634 -x419 -x9987 -x5155 x2608 -x2582 -x2195 -x10453 -x9986 -x8525 -x6887 -x6144 -x4876 -x4603 -x4514 x2213 x758 -x8529 -x6449 x6148 -x4880 x4605 -x2209 x762 -x10459 x9994 -x8003 -x6448 -x5800 -x2610 -x2208 -x1425 -x766 -x422 -x10721 x9998 -x8007 x5265 -x2611 -x765 -x10720 x10464 -x10002 -x7691 x6456 -x6150 x5266 -x4599 -x3907 -x3787 -x1428 -x1156 -x10001 -x7690 x6460 -x6151 x5267 -x676 -x10728 x10467 -x9879 x6810 -x6464 -x5282 -x4901 -x4600 x3913 -x1901 -x1162 -x675 -x10732 -x10465 -x9883 -x7003 x6814 -x6463 -x1900 -x10736 -x7005 x6405 -x6101 -x4904 -x4545 -x4162 -x3918 -x981 -x683 -x10735 -x7011 x6409 -x6100 -x5169 -x4549 -x982 x687 -x7687 -x7007 -x6816 -x5244 x5187 -x3921 -x2100 x1165 x977 -x691 -x10352 -x7019 -x6817 -x6533 -x5942 -x5248 x5183 -x3919 x2101 -x690 -x10351 -x8770 -x7983 -x6637 x6551 -x6411 -x5943 x5182 -x4977 -x2244 x2096 -x1897 -x975 x6547 -x6412 x5944 -x4981 -x4133 -x2248 -x10359 -x8776 x6643 x6546 -x6097 -x5959 -x5825 x4151 -x2094 -x1823 -x10363 -x8962 -x4147 -x10367 -x10108 x8964 -x7343 -x6648 -x5395 -x4983 -x4146 -x1829 x1800 -x1122 -x10366 -x10112 x8970 -x7344 -x4984 x1804 -x1124 -x9781 x8966 -x8779 -x8204 -x7755 x7339 -x6651 -x5845 -x4643 -x9782 -x8978 x8208 -x7754 -x7634 -x6649 -x4645 -x552 -x9777 -x7652 -x7337 x5851 -x1832 -x1806 -x1118 -x554 x8723 -x7648 -x1807 x560 x9931 -x9775 -x8741 -x8210 -x7647 -x4639 -x2403 -x1119 x556 -x10155 -x9935 x9333 -x8737 -x8211 x3500 x2405 -x568 -x10156 x9332 x8913 -x8736 -x7751 -x7084 -x5854 -x4640 x3518 x10157 -x7088 x3514 -x1395 -x10172 -x9937 x9340 -x8919 -x6608 -x5994 x3513 x3284 x2399 -x1394 -x1136 -x9938 x9344 -x6607 -x2763 -x155 -x9348 -x8924 -x6000 -x4266 -x3290 -x2764 x2400 -x1402 -x173 -x83 -x9347 -x7718 -x4268 x2765 x2700 -x1406 -x169 -x87 -x8927 -x7717 x7521 x6616 x3295 -x2780 -x2718 -x1410 -x993 -x168 -x9013 -x8925 x7525 -x5070 -x4083 -x2714 -x1409 -x9043 -x9012 -x7725 x6622 -x6604 -x6003 -x5072 -x4262 -x4084 x3298 -x2713 x8348 x7729 x5078 x4085 -x3296 -x577 -x9046 x9020 x8349 -x8094 -x7733 -x7527 x5074 -x4263 -x4100 -x579 x9024 x8350 -x8098 -x7732 -x7528 -x5086 -x585 x9028 -x8365 -x6625 -x3268 -x1861 x581 x9027 -x1862 -x1694 x1375 -x593 -x9854 -x9375 -x2840 x1857 -x1693 x1450 x1393 -x10228 -x9376 -x2844 x1389 -x508 -x10227 x9860 x9371 -x6354 -x3607 -x3109 -x1855 x1701 -x1453 x1388 -x1104 -x526 -x5304 -x3606 -x1705 -x1106 -x522 x10235 -x9369 -x6357 -x6346 x5572 -x5303 -x3115 -x2344 -x1709 -x521 x10239 x7877 -x6347 -x2348 -x1708 x10243 -x9863 -x7895 x6704 x6342 -x5575 -x5311 -x4334 -x3120 -x2941 -x1100 x10242 -x7891 x6705 -x5315 -x4336 -x2945 -x1569 -x8555 -x7890 -x7306 x6700 -x6340 -x5319 x4394 -x3603 x3123 -x1648 -x1568 -x1101 -x240 -x8284 -x7310 -x5318 x4398 -x3121 -x1652 -x9313 -x8285 -x6698 -x6168 -x4330 x2042 -x1576 -x246 -x8887 x8286 -x6172 -x4365 x2046 x1580 x461 -x9316 -x8889 -x8301 x5102 -x4400 -x4366 -x4331 x1584 -x479 x8895 x5106 -x4401 x4367 x1583 -x475 x8891 -x8446 -x6909 -x6566 -x4382 -x4208 x2048 -x474 -x249 x8903 -x6913 -x6568 x2049 x10258 x8452 -x5969 -x5108 -x4955 -x4211 x10262 -x5109 -x3686 -x9205 x8457 -x6562 x5975 -x3685 x9206 x9201 -x8500 x8460 -x6563 -x6069 x3692 -x1550 x8504 -x8458 -x9199 -x6075 -x5978 -x3696 -x1553 x6497 -x3695 x2485 -x7113 x6498 -x3821 x2749 x2496 -x3825 x2753 x2492 -x10434 -x9581 -x8604 -x7614 x5149 -x4662 -x4519 -x3811 -x1045 x409 x10438 x9580 -x5153 -x4664 -x4518 -x2598 x875 x9596 -x6801 -x5157 -x2597 -x896 -x630 x415 -x6802 -x6138 -x5156 x892 -x10440 -x6883 x6797 -x6137 -x4658 x2605 -x2577 -x2210 -x2108 -x1042 x891 -x636 -x420 -x10441 -x4604 x2609 -x2581 x2212 -x2112 x752 x8527 -x6889 -x6795 -x6145 -x5796 -x4875 -x4659 -x4515 -x2613 x753 -x423 -x10452 x9988 -x8531 x6149 -x4879 -x2612 x754 -x421 x10454 x9989 -x8005 -x6153 -x5799 -x3783 -x2206 -x1424 -x1152 x770 -x735 -x639 -x10460 x9990 x8009 -x6804 -x6450 -x6152 x10456 x10006 -x8533 -x6892 -x6803 -x6451 -x6122 x5285 -x3786 -x2207 x1430 -x1158 -x10722 x10468 -x8534 x6452 -x6399 x5286 -x3906 -x10723 -x9881 -x8011 x6811 -x6468 -x6398 -x5281 -x4900 -x4158 x3908 -x1163 -x980 -x10724 -x9885 -x8012 x6815 x3914 -x979 -x677 -x10740 x6819 x6406 -x5279 -x5184 -x4906 -x4544 -x4161 -x4111 x3910 -x2099 -x1433 x1166 -x678 -x7006 x6818 x6410 x5186 -x4971 -x4548 -x4115 -x3922 -x2098 x1164 x679 -x9887 -x8766 -x7979 -x7027 -x6548 x6414 -x5243 -x4970 x695 -x9888 -x7023 x6550 x6413 -x5247 -x8772 -x7982 -x7022 -x5962 -x5821 -x5180 x4978 -x4909 x4148 -x2246 -x1819 -x976 -x10353 -x6636 x5963 -x4982 x4150 -x2250 -x1794 -x10354 -x8993 -x8777 -x7342 -x6638 -x6544 -x5958 -x5824 -x5391 -x5181 x4986 -x2095 x1825 -x1793 x10355 -x8997 -x8198 -x7341 x6644 x4985 -x1123 x10371 -x10110 -x9780 -x8780 -x8197 x6640 -x6545 -x5956 -x5841 -x5394 -x4144 -x2252 -x1830 x1801 -x10114 -x9779 x8965 -x8778 -x6652 -x4644 -x2253 x1805 x8986 -x8205 -x7649 x5847 -x4145 -x1833 -x1809 -x9925 -x8982 x8209 -x7651 -x1831 -x1808 x10116 -x9924 -x9242 -x8981 -x8738 x8213 -x7338 x5852 x10117 -x8740 -x8212 -x2404 -x555 x9932 -x9776 -x7645 -x5855 x3515 x576 -x9936 -x5853 x3517 x572 -x10175 -x9940 -x8734 -x7646 x7083 -x5990 -x3966 -x1132 -x571 -x10176 -x9939 x9334 x8912 -x7087 -x10171 x9335 x8914 -x8735 -x5996 -x3511 -x1135 -x170 x9336 -x8920 x7515 -x4267 x3283 -x1396 -x172 -x10169 x9352 x8916 x7514 -x7135 -x6612 -x6001 -x3512 x3285 -x2783 -x2715 -x1397 -x989 -x82 -x8928 -x3291 -x2784 -x2717 -x1398 -x86 -x9905 x7522 x6618 -x6004 -x3858 x3287 -x2779 -x1414 -x992 -x166 x9909 -x7719 x7526 -x6002 x3299 -x9042 -x7720 -x7530 x6623 -x4103 -x2777 -x2711 -x167 -x9014 x7721 -x7529 -x5073 -x4104 -x9048 -x9015 x8368 -x8096 x7737 -x6626 x5094 -x4099 -x3264 -x2712 -x1860 x9016 x8369 -x8100 -x6624 x5090 -x1859 -x580 -x9850 -x9374 -x9032 -x8364 -x6511 x5089 -x4097 -x3267 -x1390 x601 -x9373 -x6515 x1392 -x597 -x9856 -x9051 -x8362 -x8102 x2842 x1449 -x596 -x523 -x8 -x8103 -x2846 x1695 -x1105 -x525 -x12 x9861 -x6353 -x6345 -x1856 x1696 x1455 -x1386 x10229 -x6344 -x3108 x1697 x10230 -x9864 -x9370 -x7892 -x6703 -x6359 x5571 -x3110 -x2848 x2346 x1713 -x1387 -x519 x10231 -x9862 -x7894 -x6702 -x5305 x4388 -x4335 -x3116 -x2849 -x2350 x10247 -x8551 -x5577 x5306 x4387 x3112 -x2940 -x1458 -x520 -x236 x5307 x3124 -x2944 -x2036 -x8554 -x7888 -x7305 -x6362 -x6341 -x5323 x4395 -x2352 -x2035 x1650 -x242 -x7309 x5096 x4399 -x2353 -x1654 x1570 -x9312 -x8304 -x7889 -x6699 -x6167 -x5580 x5095 -x4403 x2043 x1571 -x476 -x247 -x8305 -x6171 -x4402 x2047 x1572 -x478 -x9318 -x8300 x5103 -x4385 -x2816 x2051 -x1656 x1588 -x250 -x8890 -x6567 x5107 -x4386 -x2820 x2050 1800.01/1800.40 v -x1657 -x248 x8911 -x8298 -x6908 -x5965 x5111 -x4951 -x4381 -x4207 -x472 -x8907 -x8445 -x6912 x5110 x10257 -x9321 -x9204 -x8906 -x8447 x5971 -x5026 -x4954 -x4379 x4213 -x473 x10261 -x9203 x8453 -x5030 x8449 -x6065 x5976 x8461 x3687 -x8502 x6071 -x5979 -x4216 x3688 -x1549 x8506 -x5977 -x9200 -x7109 -x6076 x5701 x3700 -x2493 -x1555 -x2495 -x8850 -x8508 -x7112 x6503 x6077 -x3820 x2751 -x8509 x6504 x6078 -x3824 x2755 -x2491 -x10435 x9599 -x8603 x7616 -x6800 -x5145 -x4663 -x3812 -x1046 -x893 -x626 x10439 x9600 -x6799 x5144 -x895 x408 -x10443 x9595 -x6879 x5161 -x632 x410 -x10442 x8521 -x2599 -x2211 x416 -x9593 x8520 -x7620 -x6885 -x2600 x2579 -x2107 -x889 -x637 x412 -x7999 x6139 x2601 -x2583 -x2111 -x424 x8528 -x7998 -x7206 -x6890 -x6796 x6140 -x5795 -x4877 x2617 -x1420 -x890 x773 -x731 -x640 -x8532 -x7210 x6141 -x4881 x774 -x638 -x10009 -x8536 -x8006 -x6893 x6157 -x6118 -x5801 -x5284 -x3782 -x2585 -x1426 x769 -x734 x10455 -x10010 -x9875 -x8535 x8010 -x6891 -x5283 -x2586 -x1151 -x10476 x10005 -x9874 -x8014 x6471 -x6121 -x4896 -x4883 -x3788 x1431 -x1153 -x767 x10472 -x8013 -x6805 x6472 -x4884 -x1159 -x10743 x10471 x10003 -x9882 -x6806 -x6467 -x5804 -x4902 -x4157 -x1434 x1155 -x10744 -x9886 x6807 x6400 -x5185 x3909 -x1432 x1167 -x10739 -x9890 -x7024 x6823 -x6465 x6401 -x5280 -x4907 -x4546 -x4163 -x4110 -x3930 -x3791 x698 -x9889 -x7026 -x6549 x6402 -x4550 -x4114 x3926 -x2240 x699 -x10737 -x7978 x6418 -x5961 -x5245 -x4910 -x4041 x3925 -x2239 x694 -x8765 -x5960 -x5249 -x4972 -x4908 x4149 -x8767 -x7984 -x7020 -x5820 -x5551 x4973 -x4552 -x4166 -x2247 x692 -x10104 x8773 x4974 -x4553 -x2251 -x1818 -x10374 -x10103 -x8992 x8769 -x7021 -x5826 -x5390 -x5251 x4990 -x3143 -x2255 -x1820 -x10375 -x8996 -x8781 -x6639 -x5252 -x2254 x1826 x1795 x10370 -x10111 -x8983 -x7987 x6660 -x5957 -x5396 x1822 x1796 -x10115 x8985 -x8199 -x7650 x6656 -x5840 -x1834 x1797 x10368 x10119 -x9238 -x8200 x6655 -x5842 -x5829 -x1813 x10118 -x8739 x8201 x5848 -x9241 -x8979 x8217 x5844 -x5399 -x2270 x573 -x9926 -x5856 x3516 -x2274 x575 -x10174 -x9927 -x8980 -x7599 -x3962 -x10173 x9928 x9944 x7085 -x3965 -x1131 -x569 -x7089 -x5989 -x171 x9355 -x7131 -x5991 -x2782 -x2438 -x1137 -x570 x9356 x8915 x5997 -x2781 -x2716 -x2442 -x10170 x9351 x8936 -x7134 -x7091 x5993 -x3854 -x1417 -x988 -x84 x8932 x7516 -x7092 -x6611 -x6005 x3286 -x1418 -x88 -x10299 -x9904 x9349 -x9038 x8931 x7517 -x6613 -x4102 -x3857 x3307 -x1413 -x1140 -x994 -x10303 x9908 -x8090 x7518 x6619 -x4101 -x3303 -x10021 -x9044 -x8367 -x8089 x7740 x7534 x6615 -x5091 -x3302 -x2778 -x1411 -x90 -x8366 x7741 x6627 x5093 -x91 -x9049 x9035 -x8097 x7736 -x7260 -x3263 -x997 -x598 x9036 -x8101 -x2836 -x1391 x600 x9052 -x9031 -x8105 -x7734 -x6510 x5087 -x4098 -x3269 -x2835 -x1445 -x9849 -x9050 -x8104 -x6514 -x524 -x9851 -x9029 -x8363 -x6349 x5088 -x3193 x2843 x1451 -x594 -x7 x9857 -x2847 -x2340 -x11 x9853 -x6355 -x5567 -x4930 -x3272 x2851 -x2339 -x1716 x1456 -x595 -x9865 -x7893 x2850 -x1717 -x10250 -x6360 x5573 -x5223 x2347 x1712 -x1459 -x10251 -x3111 -x2351 -x1644 -x1457 x10246 -x8550 -x6363 -x5578 x5326 -x3132 -x2942 -x2355 -x1710 -x1643 -x6361 x5327 x4389 x3128 -x2946 -x2354 -x235 -x10244 -x10063 -x9308 -x8556 -x8303 -x7307 -x6020 x5581 -x5322 x4390 x3127 x1651 -x237 -x8302 -x7311 -x6024 -x5579 x4391 -x2037 -x1655 -x477 -x243 -x9314 -x8680 -x6169 -x5320 x4407 -x4384 -x2948 -x2038 -x1659 x1591 -x239 -x6173 x5097 -x4383 -x2949 x2039 -x1658 x1592 -x251 -x9319 -x8908 -x8559 -x7313 x5098 -x4203 -x2815 x2055 x1587 -x8910 -x7314 x5099 -x2819 x9322 -x8299 -x6910 x6175 x5115 -x4950 -x4209 -x1585 -x9320 -x6914 x6176 -x5964 x10259 -x8904 x5966 -x5025 -x4956 -x4380 x4214 x10263 -x8496 -x8448 x5972 -x5029 -x8905 -x8495 x8469 -x6916 x5968 -x4217 -x1545 -x1186 x8465 -x6917 -x6064 x5980 -x4215 -x10265 -x8503 x8464 -x6066 -x5697 -x4959 x3703 -x2895 x1551 -x10266 x8507 x6072 x3704 -x2745 -x2494 -x8846 -x8511 -x7108 -x6502 x6068 x5700 x3699 -x2744 -x1556 -x8510 -x6501 x6079 -x8849 x7114 -x3822 -x3697 x2752 -x1557 -x3826 x2756 -x2489 -x1558 x10431 x9597 -x8605 x7617 x5164 -x894 x10430 x5165 -x2573 -x625 x10447 -x7621 x5160 -x2572 -x627 -x7619 -x6878 -x4871 -x633 x411 -x9594 -x8609 -x6880 -x5791 -x5158 -x4870 x2620 x2580 -x2109 -x772 x629 -x432 x8522 -x6886 x2621 -x2584 -x2113 -x771 -x641 x428 -x10008 x8523 x8124 -x7205 x6882 x6160 -x5797 -x4878 -x3778 x2616 x2588 -x730 x427 -x10007 x8524 x8000 -x7209 -x6894 x6161 -x4882 x2587 -x1419 -x10473 x8540 x8001 -x6470 x6156 -x6117 -x5802 -x4886 -x3784 -x2614 -x2115 -x1421 -x736 -x10475 x8002 -x6469 -x4885 -x2116 x1427 -x10742 x8018 -x6222 -x6154 -x6123 -x5805 -x4153 -x3789 x1423 -x768 -x10741 -x9876 -x5803 -x4895 -x4540 -x1435 -x1154 x10469 x10004 -x9877 -x6826 -x4897 -x4539 -x4159 -x3927 x3792 -x1175 -x739 -x697 -x9878 -x7025 -x6827 -x5239 -x4903 -x3929 -x3790 -x1171 x696 -x10470 -x9894 -x7974 -x7768 x6822 -x6466 -x6421 -x6126 -x5238 -x4899 -x4547 -x4164 x4112 x4037 -x1170 -x6422 -x4911 -x4551 -x4116 -x10738 -x7980 -x6820 x6417 -x5816 -x5547 -x5246 -x4555 -x4167 -x4040 x3923 -x5250 -x4554 -x4165 -x2241 -x10373 -x7985 -x6415 -x5822 -x5550 -x5386 -x5254 -x4993 x4118 x3924 -x3139 -x2242 x693 -x10372 -x8768 -x5253 -x4994 x4119 -x2243 -x8994 -x8789 -x7988 x6657 -x5827 -x5392 x4989 -x3142 -x2259 -x10105 -x8998 -x8984 -x8785 -x7986 x6659 -x1821 -x10106 -x8784 -x5830 -x5397 x4987 -x1842 -x1816 x10107 -x5828 -x1838 -x1817 x10369 -x10123 -x9237 -x9000 x8220 -x6653 x5400 -x1837 -x1812 -x9001 x8221 -x5843 -x5398 -x574 -x9243 x8216 -x7595 -x6654 -x6268 x5864 -x2269 -x1810 -x7079 -x6272 x5860 -x2273 x9947 x8214 -x7598 -x7078 x5859 -x3961 -x1127 x9948 x9943 -x9354 -x9246 -x7929 x7086 -x3967 -x1133 -x9353 x7933 -x7090 -x78 x9941 x9408 -x8933 -x7130 -x7094 -x2437 -x1416 -x1138 -x984 -x77 -x9412 x8935 -x7093 -x5992 -x2441 -x1415 -x7136 -x6013 -x3970 -x3853 -x3304 -x1141 -x990 -x85 -x6009 x3306 -x1139 -x89 -x10298 x10017 -x9906 -x9350 x8929 -x7739 -x7537 x6762 -x6008 -x3859 -x995 -x93 -x10302 x9910 -x9037 -x7738 -x7538 -x6766 -x6614 -x5092 -x92 -x10020 -x9039 -x9034 x8930 x7533 -x7256 -x7139 -x6635 -x3300 -x3259 -x1412 -x998 -x9045 -x9033 -x8091 -x6631 -x996 -x599 -x9912 x9041 -x8092 x7531 -x7259 -x6630 x5750 -x3862 -x3301 -x3265 -x9913 x9053 -x8093 -x8376 -x8109 -x7735 -x6512 -x3579 -x3270 x3189 -x8380 x6516 -x2837 -x1444 -x9030 x4926 x3273 -x3192 -x2838 -x1715 -x1446 -x9 -x9852 -x6348 x3271 x2839 -x1714 x1452 -x13 -x10249 -x9873 -x6518 -x6350 x5219 -x4929 x2855 x1448 x112 -x10248 x9869 -x6519 -x6356 -x5566 -x2936 -x2341 -x1460 x9868 -x8546 -x6352 -x5568 x5325 -x5222 -x3129 -x2935 x2342 -x1979 -x15 -x7301 -x6364 x5574 x5324 -x3131 x2343 -x1983 -x16 x10059 -x8552 -x7300 x5570 -x2943 -x2359 -x1711 -x6163 x5582 -x2947 -x1645 -x10245 -x10062 -x8676 -x8557 -x7308 -x6162 -x6019 x4410 x3125 -x2951 -x1646 -x1590 -x9307 -x7312 -x6023 x4411 -x2950 x1647 -x1589 -x238 -x9309 -x8679 x8560 -x7316 -x6170 -x5321 x4406 x3126 -x2058 x1663 -x259 -x9315 -x8909 -x8558 -x7315 -x6904 -x6174 -x2059 -x255 x9311 -x6903 x6178 -x5118 -x4946 x4404 -x3168 -x2817 -x2220 x2054 -x254 -x10253 x9323 x6177 -x5119 -x4202 -x2821 -x2224 -x10252 -x6911 x5114 -x4952 -x4204 -x2052 -x1586 -x1504 -x6915 -x4210 x10260 x8466 -x6919 -x5112 -x5027 -x4957 x4206 -x2823 -x1182 x10264 x8468 -x6918 x5967 -x5031 -x4218 -x2824 -x10268 x5988 -x4960 x3702 -x2891 -x2370 -x1185 -x10267 x8497 x5984 -x4958 x3701 -x2374 -x1544 x8498 -x8462 x7104 x5983 -x5696 -x5033 -x2894 -x1546 x8499 -x6067 -x5034 -x3816 x1552 -x8845 x8515 -x8463 -x7110 -x6087 x5702 -x3815 x1548 -x341 x6083 -x2746 x1559 -x345 -x8851 x7115 x6082 -x3823 -x3698 -x2747 -x3827 x2748 -x2490 x10450 x9598 -x8606 x7618 -x5162 x10451 -x7622 -x2103 x10446 -x8610 x2619 -x2102 x1054 -x429 -x8608 x2618 -x2574 x1058 -x628 -x431 x10444 -x8120 -x6159 -x5159 -x2575 -x2110 -x726 -x649 -x6881 -x6158 -x5790 -x4872 x2576 -x2114 x645 -x8543 x8123 -x7207 -x6902 -x6113 -x5792 -x4873 x3432 -x2592 -x2118 -x732 x644 -x425 -x10474 -x8544 -x7211 -x6898 -x5798 -x4874 -x3777 -x2117 x8539 x8021 -x6897 x6218 -x6119 x5794 -x4890 -x3779 -x2615 -x737 -x426 x8022 -x5806 -x3785 -x1422 -x8537 x8017 -x7213 -x6825 -x6221 -x6155 -x6124 x3781 -x3525 -x1443 -x1172 -x740 -x7214 -x6824 -x4152 -x4106 -x3928 x3793 -x3529 x1439 -x1174 -x738 -x9897 x8405 -x8015 x7764 -x6420 -x6127 -x4154 -x4105 x1438 -x9898 -x6419 -x6125 -x4898 -x4541 -x4160 -x9893 x7767 -x4919 -x4542 -x4156 x4113 x4036 -x1168 -x7973 -x5240 -x4915 x4543 -x4168 -x4117 -x9891 -x7975 -x6821 -x5546 -x5241 -x4992 -x4914 -x4559 x4121 -x4042 -x1169 -x8988 -x7981 -x5815 -x5242 -x4991 x4120 -x8987 -x8786 x8630 -x7977 -x6416 -x5817 x5647 -x5552 -x5258 -x3138 -x2262 -x8788 -x7989 x6658 -x5823 x5651 -x5385 -x2263 -x8995 x5819 x5387 -x4045 -x3144 -x2258 -x1839 -x1815 -x1674 -x8999 x5831 -x5393 -x1841 -x1814 -x1678 -x10126 -x9233 -x9003 -x8782 x8219 -x5555 x5389 x4988 -x3453 -x2256 -x10127 -x9002 x8218 x5401 -x3457 -x10122 -x9500 x9239 -x8783 x5861 -x3147 -x1835 x5863 -x10120 x9946 -x9244 -x7594 -x6267 -x3957 -x2271 -x1836 -x1811 x9945 -x6271 -x2275 -x9247 x8215 -x7600 x5857 -x3963 -x9245 -x7080 -x1126 -x7928 -x7126 -x7081 x5858 -x3968 -x2277 -x1128 -x8934 x7932 x7082 -x2278 -x1134 x9942 x9407 -x7603 -x7132 -x7098 -x6010 -x3971 -x3849 -x2439 -x1130 -x9900 -x9411 -x6012 -x3969 -x3305 -x2443 -x1142 -x983 -x79 -x9899 -x8825 -x7536 -x7137 -x3855 -x985 -x80 -x7535 -x991 -x81 -x10300 x10016 -x9907 -x7140 x6761 -x6632 -x6006 -x3860 -x2445 -x987 -x97 -x10304 x9911 -x7138 -x6765 -x6634 -x2446 -x999 -x10022 -x9915 -x7255 -x6007 x5746 -x5055 x3863 -x9914 x9040 -x6506 -x3861 -x3258 -x10306 -x9061 -x8112 x7532 -x7261 -x6628 -x6505 x5749 -x3575 -x3260 -x10307 -x9057 -x8113 -x3266 -x3 x10025 -x9056 -x8375 -x8108 -x6629 -x6513 -x3578 x3262 x3188 -x2 -x8379 x6517 x3274 -x9870 -x8106 x7264 -x6521 x4925 -x3194 -x2858 -x108 -x10 -x9872 -x6520 -x2859 -x1447 -x14 x5218 -x4931 x2854 -x1468 x111 -x18 -x6351 -x3130 -x1464 -x17 -x9866 x6934 -x6372 -x5224 -x3197 -x2852 -x2362 -x1978 -x1463 -x8545 -x6938 -x6368 -x5569 -x2937 -x2363 -x1982 x10058 -x9867 -x8547 -x8480 -x6367 -x6309 -x5590 x4934 -x4409 -x2938 -x2358 -x8553 -x7302 x6313 -x5586 -x4408 -x2939 -x10064 x9072 -x8675 x8549 -x7303 -x6021 -x5585 x5522 x5227 -x2955 -x2356 -x2057 -x1666 -x256 x8561 -x7304 -x6164 -x6025 -x5526 -x2811 -x2056 -x1667 -x258 -x8681 -x7320 -x6165 -x5363 -x5117 -x3616 -x3164 -x2810 x1662 -x9310 x6166 -x5116 x3620 -x10067 -x9331 -x6182 x6027 x4405 -x3167 -x2818 -x2219 -x1660 -x1500 -x252 -x9327 -x6905 x6028 -x5021 -x4945 -x2822 -x2223 -x9326 x8684 -x6906 -x5020 -x4947 -x2826 x2657 -x2053 -x1724 -x1503 -x253 x10254 x8467 -x6907 -x4953 -x4205 -x2825 -x1728 x10255 -x6923 -x5985 -x5113 -x5028 -x4949 x4226 -x1181 x10256 -x5987 -x5032 -x4961 x4222 -x10272 x5692 -x5036 -x4726 x4221 -x2890 -x2369 -x1187 -x5035 -x2373 -x8947 -x8841 x8518 -x6084 -x5981 -x5698 -x2896 x8519 x7103 -x6086 -x1547 -x8847 x8514 x7105 -x5982 x5703 -x1567 -x1190 -x340 -x7111 -x3817 -x1563 -x344 -x8852 -x8512 x7107 -x6080 x5704 -x3818 -x2899 x2759 -x1562 x7116 -x5705 x3819 x2760 x10448 -x8607 x7630 -x5163 -x8611 -x7626 -x430 -x7625 x1206 x1053 -x646 -x7201 -x2104 x1210 x1057 -x648 -x10445 -x8542 -x8119 -x7200 -x6899 -x6243 x3428 -x2595 -x2105 -x8541 -x6901 -x6247 -x2596 -x2106 -x725 x8125 -x8020 -x7208 -x4893 x3431 -x2591 -x2122 -x727 -x642 -x8019 -x7212 -x6112 -x5793 -x4894 -x733 -x7216 -x6895 x6217 -x6114 x5814 -x4889 -x2589 -x1440 x729 -x643 -x7215 -x6120 -x5810 -x3780 -x1442 -x1173 -x741 -x9896 -x8538 -x8401 x8128 x7834 -x6896 -x6223 -x6116 -x5809 -x4887 -x3801 -x3524 -x9895 -x6128 x3797 -x3528 x8404 -x8016 x7763 -x5871 -x4916 -x4032 x3796 -x1436 -x5875 -x4918 -x4155 -x4107 x7769 -x6226 x5542 -x4562 -x4176 -x4108 x4038 -x1437 -x291 -x4563 -x4172 x4109 -x295 -x9892 -x8626 -x5548 -x5261 -x4912 -x4558 -x4171 -x4125 -x4043 -x3991 x3550 -x3134 -x2261 -x8787 -x7976 -x5262 x3554 -x2260 x8629 -x7997 -x7772 x5646 -x5553 -x5257 -x4913 -x4556 -x4046 -x3140 x2004 -x8989 -x7993 -x5818 x5650 -x4044 x2008 -x1840 -x10125 -x8990 -x7992 -x5839 -x5556 -x5255 -x3145 x2532 -x1673 -x10124 -x8991 -x5835 -x5554 x5388 -x1677 x9496 -x9007 -x6197 -x5834 -x5409 -x3452 -x3148 -x2257 x9232 x5862 -x5405 -x3456 -x3146 -x2265 -x10088 x9499 x9234 -x7590 -x5404 -x2264 x9240 -x10121 x9236 -x7596 -x6963 -x6269 -x6045 -x2272 -x9248 -x6273 -x6049 -x3956 -x2276 x7601 -x3958 -x3243 -x2280 -x3964 -x2433 -x2279 x7930 x7604 -x7101 -x6275 -x3960 -x2432 -x133 x7934 -x7602 -x7125 -x7102 -x6276 -x6011 -x3972 -x1129 x137 x9409 x8821 -x7127 -x7097 -x2440 -x1150 -x10294 -x9413 -x7133 -x3848 -x2444 -x1146 -x10293 -x10012 -x8824 x7936 -x7129 -x7095 x3850 -x2448 -x1145 -x100 -x9901 x7937 -x7141 -x6633 -x3856 -x2447 -x986 -x101 -x10301 x10018 -x9902 -x9415 -x7251 x6763 -x5051 x3852 -x1007 -x96 -x10305 x9903 -x9416 x6767 x3864 -x1003 -x10309 -x10023 -x9919 -x9058 -x8111 x7257 x5745 -x5054 -x1002 -x94 -x10308 -x9060 -x8110 x10026 -x7574 -x7262 x6769 x5751 -x3574 -x3184 x10024 x6770 -x6507 -x3261 -x9054 -x8377 -x8328 x7265 -x6508 -x5447 -x4921 -x3580 -x3282 x3190 -x2857 -x9871 x8381 x7263 x6509 -x5451 -x3278 -x2856 -x4 -x9055 -x8872 -x8107 -x6525 -x5754 -x5214 x4927 -x3277 -x3195 -x2295 -x1465 -x107 -x5 x2299 -x1467 -x6 -x8383 -x7545 -x6369 x5220 -x4932 -x3583 -x3198 -x2361 x113 -x22 -x8384 -x7549 -x6371 -x3196 -x2360 -x10054 -x8476 x6933 -x5587 -x5225 x4935 -x2853 -x2553 -x1980 -x1461 -x6937 -x6015 -x5589 x4933 -x2557 -x1984 x10060 -x9068 -x8671 -x8479 -x6365 -x6308 -x6014 x5228 -x2958 -x1665 -x1462 -x116 -x8548 x6312 x5226 -x2959 -x1664 -x257 -x10065 x9071 -x8677 -x8569 -x7323 1800.01/1800.40 v -x6366 -x6022 -x5583 x5521 x5359 -x2954 -x2357 -x1986 -x8565 -x7324 -x6026 -x5525 -x1987 -x10068 x9959 -x9328 -x8682 -x8564 -x7319 -x6185 x6030 -x5584 -x5362 -x3615 -x3163 -x2952 -x10066 -x9330 -x6186 x6029 x3619 -x2812 -x9217 x8685 -x7317 -x6181 -x3169 -x2813 -x2653 -x2221 -x1661 -x1499 x8683 -x2814 -x2225 -x9324 -x6926 -x6179 x4223 -x2830 x2656 -x1723 -x1505 -x1303 -x1177 -x6927 -x5986 -x5022 -x4948 x4225 -x1727 -x1307 -x10275 -x9325 -x6922 -x5023 -x4969 x4722 -x3172 -x2886 -x2227 -x1183 -x10276 -x5024 -x4965 -x2228 -x10271 -x8943 -x8517 -x6920 -x5040 -x4964 -x4725 x4219 -x2892 -x2371 -x1508 -x1188 x8516 -x6085 x5691 -x2375 -x10269 -x8946 x5693 -x4220 -x2897 -x1564 -x1191 -x8840 -x5699 -x1566 -x1189 -x8842 x5695 -x3016 -x2900 x2758 -x2377 -x342 -x8848 x7106 x5706 x3020 -x2898 x2757 -x2378 -x346 -x8844 -x8513 x7124 -x6081 x3830 -x1560 -x8853 x7120 x3831 x10449 -x8619 x7629 -x8615 -x647 -x8614 x8115 -x7623 -x2594 x1205 x1055 -x6900 -x2593 x1209 x1059 -x8121 -x7624 -x6242 -x4892 x3427 -x2125 x706 -x7202 -x6246 -x4891 -x2126 -x710 x8126 -x7203 -x6213 x5811 -x3666 x3433 -x2121 -x1061 x7204 x5813 -x3670 -x1441 -x1062 -x728 x8129 -x7830 -x7220 x6219 -x3798 -x2590 -x2119 x749 x8127 -x6115 -x3800 x745 -x8400 x7833 -x7759 -x6224 -x6136 -x5807 -x4888 -x3526 -x3436 x744 -x6132 -x4917 -x3530 x8406 x7765 -x6227 -x6131 -x5870 -x5808 -x4561 -x4173 x3794 -x2507 -x6225 -x5874 -x4560 -x4175 -x4031 x7770 -x5260 -x4128 -x4033 -x3987 x3795 -x3532 -x290 x5541 -x5259 -x4129 x4039 -x3533 -x294 -x10134 -x8625 x8409 -x7994 -x7773 x5543 -x4169 -x4124 x4035 -x3990 x3549 -x10138 -x7996 -x7771 -x5549 -x4047 x3553 -x3133 x8631 -x5836 x5648 x5545 -x4557 -x4170 -x4122 -x3135 -x2528 x2003 -x1353 -x5838 x5652 -x5557 -x3141 x2007 -x1357 -x9010 -x7990 -x6193 -x5406 -x5256 -x3137 x2531 -x1675 -x9011 -x5408 -x3149 -x1679 -x10084 x9495 -x9006 -x8634 -x7991 -x6196 -x5832 -x5654 -x3454 x6263 -x5655 -x3458 -x10087 x9501 -x9004 -x6959 x6262 -x5833 -x5402 -x4066 -x1681 x9235 -x7589 -x2266 -x1682 -x9256 -x7591 -x6962 -x6270 -x6044 -x5403 -x3460 x3239 -x2267 x9252 -x7924 -x7597 -x6274 -x6048 -x3461 x2268 -x9504 x9251 -x7923 x7593 -x7100 -x6278 -x3242 x2284 -x9403 x7605 -x7099 -x6277 -x3959 -x9402 x7931 -x3980 -x1147 -x132 -x58 x7935 -x3976 -x2434 -x1149 x136 -x62 x9410 x8820 x7939 -x3975 -x2435 -x1014 -x99 -x9414 x7938 -x7128 -x6757 -x2436 -x1018 -x98 -x9418 -x8826 -x7149 -x7096 -x6756 -x2452 -x1143 -x1004 -x10295 -x10011 -x9417 -x7145 x3851 -x1006 -x10296 -x10013 x9922 -x7144 x6764 x5741 -x5050 x3872 -x1144 x10297 x10019 x9923 -x9059 -x7250 x6768 x3868 x10313 x10015 -x9918 -x8829 -x7570 -x7252 x6772 x5747 -x5056 -x4237 x3867 -x3570 -x1000 -x95 x10027 -x8371 x7258 x6771 -x9916 -x8370 -x8324 -x7573 x7254 x5752 -x3576 -x3279 -x1001 x7266 -x3281 -x3183 -x8868 -x8378 -x8327 -x6528 -x5755 -x5446 x5059 -x3581 -x3185 -x103 x8382 -x6529 -x5753 -x5450 -x4920 x3191 -x1466 -x8871 x8386 -x6524 -x4922 -x4276 -x3584 -x3275 x3187 -x2294 -x109 -x25 x8385 -x6370 -x5213 x4928 -x4280 -x3582 -x3199 x2298 -x1974 -x26 -x7544 -x6522 -x5215 x4924 -x3276 -x1973 x114 -x21 -x7548 -x5588 x5221 x4936 -x8475 x6935 x5217 -x2957 -x2552 -x1981 -x117 -x19 -x10053 -x6939 x5229 -x2956 -x2556 -x1985 -x115 -x10055 -x9067 -x8566 -x8481 -x7322 -x6433 -x6310 -x1989 -x200 x10061 -x8670 -x8568 -x7321 x6314 -x6016 -x1988 -x204 x10057 -x9955 x9073 -x8672 -x6941 -x6863 -x6184 -x6017 x5523 x5358 -x3159 -x10069 -x9329 -x8678 -x6942 -x6183 x6018 -x5527 -x2215 x9958 -x9213 -x9172 x8674 -x8562 -x8484 -x6316 x6034 -x5364 -x3617 -x3165 -x2953 -x2214 x1495 x8686 -x6317 x3621 -x9216 -x9076 -x8563 -x7318 -x6925 -x5529 -x3170 -x2833 -x2652 -x2222 -x1501 -x6924 -x5530 -x4224 -x2834 -x2226 -x10274 -x6180 -x5367 -x4966 -x3623 -x3173 -x2829 x2658 -x2230 -x1725 -x1506 -x1302 -x10273 -x4968 -x3624 -x3171 -x2365 -x2229 -x1729 -x1306 -x1176 -x5043 x4721 -x2827 -x2364 -x2177 -x1509 -x1178 -x5044 -x2885 -x1507 -x1184 x8942 -x6921 -x5039 -x4962 -x4727 -x2887 x2661 -x2372 -x1731 -x1180 -x2893 -x2376 -x1732 -x1565 -x1192 x336 -x10270 -x8948 -x5037 -x4963 -x2889 -x2380 x335 x5694 -x2901 -x2379 x7121 -x5714 x4730 x3829 x3015 -x343 -x8843 x7123 -x5710 x3828 x3019 -x347 -x8951 -x8861 -x5709 -x4617 -x1561 -x348 -x8857 -x7119 -x349 -x8618 x7627 -x1278 x1050 -x1282 -x9446 -x8612 -x3423 -x2124 x1207 x1056 x8114 -x2123 x1211 x1060 -x8613 x8116 -x6244 x3429 -x1064 x705 -x8122 -x6248 x5812 -x1063 -x709 x8118 x7223 -x3665 x3434 -x1213 x746 x8130 x7224 -x6212 -x3799 -x3669 -x3520 -x1214 x748 -x8396 x7829 -x7219 -x6250 -x6214 -x6133 -x3519 -x3437 -x2120 -x6251 x6220 -x6135 -x3435 -x8402 -x7859 x7835 -x7217 x6216 -x3527 -x2503 x742 -x7758 -x6228 -x4174 -x3531 x8407 -x7760 -x6129 -x5872 -x4127 -x3535 -x2506 x743 x7766 -x5876 -x4126 -x3534 -x8621 x8410 x7838 x7762 -x6130 x3986 -x292 x8408 -x7995 -x7774 x5642 -x4034 -x296 -x10133 -x8627 -x5878 x5641 -x4055 -x3992 x3551 -x10137 -x5879 -x5837 x5544 -x4051 x3555 -x1669 -x9009 x8632 x5649 -x5565 -x4123 -x4050 -x2527 x2005 -x1668 -x1352 -x320 -x298 -x9008 x5653 -x5561 -x5407 -x3448 -x3136 x2009 -x1356 -x299 x9491 -x8635 -x6192 -x5657 -x5560 -x4851 x3995 -x3557 -x3447 -x3157 x2533 -x1676 -x8633 -x5656 -x4855 -x3558 -x3153 -x1680 -x10083 x9497 -x9143 -x6198 -x4062 -x3455 -x3152 x2011 -x1684 x9147 -x3459 x2012 -x1683 -x10089 x9502 -x9253 -x9005 -x8576 -x6958 -x4065 -x3463 -x2536 -x9255 -x8580 x6264 -x3462 -x9505 -x6964 x6265 -x6201 -x6046 -x3314 x3238 -x2287 x1529 -x9503 -x7592 x6266 -x6050 -x3318 -x2288 -x10092 x9249 -x7613 x6282 -x3977 -x3244 x2283 -x7925 x7609 -x3979 -x1148 x9250 -x8816 x7926 -x7608 -x6967 -x6052 x2281 -x134 -x57 -x9404 x7927 -x6053 x138 -x61 -x9405 x8822 x7943 -x7231 -x7146 -x3973 x3247 -x2455 -x1013 x9406 -x7235 -x7148 -x2456 -x1017 -x1005 x9921 -x9422 -x8827 -x5046 -x3974 x3869 -x2451 x140 x9920 -x6758 x3871 x141 -x10316 -x8830 -x7142 -x6759 -x5052 -x4233 -x2449 -x10317 -x10014 -x8828 x6760 x5740 x10312 -x10035 -x7569 -x7143 x6776 x5742 -x5057 -x4236 x3865 -x1753 -x10031 -x7253 x5748 -x3569 -x3280 x10310 -x10030 -x9917 -x8323 -x7575 -x7274 -x6527 x5744 x5060 x3866 -x3571 -x806 -x8372 -x7270 -x6526 -x5756 x5058 -x3577 -x810 -x8867 -x8373 -x8329 -x7269 -x5448 x3573 -x24 x8374 -x5452 -x3585 -x3186 x102 -x23 -x8873 -x8390 -x7578 -x4275 -x3207 x2296 x104 -x6929 -x4923 -x4279 x3203 x2300 -x110 -x8471 -x8332 -x7546 -x6928 -x6523 -x5454 -x4944 x3202 -x1774 x106 -x7550 -x6304 -x5455 -x5216 x4940 -x1975 -x1778 -x118 -x10603 -x9063 -x8876 -x8477 x6936 -x6429 x6303 -x5237 x4939 -x2554 x2302 -x1976 -x20 -x10607 -x8567 -x6940 -x5517 x5233 -x2558 x2303 -x1977 -x9069 -x8482 -x7552 -x6944 -x6859 -x6432 -x6311 -x5516 x5354 -x5334 x5232 -x1993 -x199 -x10056 -x7553 -x6943 x6315 -x5338 -x3611 -x203 -x10077 x9954 -x9168 x9074 -x8485 -x8263 -x6862 -x6319 -x6037 x5524 x5360 -x3610 -x3218 -x2560 -x10073 -x8673 -x8483 -x8267 -x6318 -x6038 -x5528 -x3158 -x2561 -x10072 x9960 -x9212 -x9171 -x9077 -x8694 x6033 -x5532 -x5365 -x3618 -x3160 -x3093 -x2832 -x2648 -x9075 x8690 -x5531 x3622 -x3166 -x2831 -x2216 -x1719 x1494 -x9218 x8689 x6031 -x5368 -x3626 -x3162 -x2654 -x2217 -x1718 x1496 -x5366 -x4967 -x3625 -x3174 -x2218 -x1502 -x9963 -x5042 -x4717 x2659 -x2234 -x2173 -x1726 x1498 -x1304 -x5041 -x1730 -x1510 x1308 -x9221 -x8938 x4723 -x2828 x2662 -x2176 -x1734 x2660 -x2366 -x1733 -x1179 x8944 -x4728 -x2367 -x1479 -x1310 -x1200 -x2888 -x2368 -x1311 -x1196 -x9263 -x8949 -x5711 -x5038 x4731 -x2909 -x2384 -x1195 -x9267 x7122 -x5713 x4729 -x2905 x337 x8952 -x8858 -x4613 -x3405 x3017 -x2904 x338 x8950 -x8860 -x3409 x3021 x339 -x5707 -x4616 x353 -x8856 -x7117 -x9442 -x8616 x7628 -x1277 x1202 -x1074 -x6238 -x1281 x1049 -x9445 -x6237 x1208 x1051 -x3422 x1212 x1052 x7222 -x6245 -x3424 -x1216 x1068 x707 x8117 x7221 -x6249 x3430 -x1215 x747 -x711 -x8138 -x7825 -x6253 -x3667 x3426 x8134 -x6252 -x6134 -x3671 -x3438 x8133 -x7855 x7831 -x713 -x8395 -x6215 -x5866 -x3521 -x714 -x8397 -x7858 x7836 -x7218 -x6236 -x5865 -x5601 -x3673 x3522 -x2502 -x8403 -x6232 -x3674 x3523 -x286 x8399 x7839 -x6231 -x5873 x3982 -x3539 -x2508 x285 x8411 x7837 -x7761 -x5877 -x3545 -x7782 -x6576 -x5881 -x4052 x3988 -x3544 -x293 -x8620 -x7778 -x6580 -x5880 -x4054 -x1999 -x297 -x10135 -x8622 -x7777 -x5562 -x3993 x3552 -x2523 -x2511 -x1998 -x316 -x301 -x10139 -x8628 x5643 -x5564 x3556 -x300 x8624 -x6188 x5644 -x4187 -x4048 x3996 -x3560 -x3154 -x2529 x2006 -x1354 -x319 -x8636 x5645 x3994 -x3559 -x3156 x2010 -x1670 -x1358 -x10141 -x10079 -x6194 x5661 -x5558 -x4850 -x4049 x2534 x2014 -x1671 -x10142 x9490 -x4854 -x3449 x2013 -x1672 -x10085 x9492 -x9142 -x6954 -x6199 -x5559 -x4061 -x3450 -x3150 x2537 -x1688 -x1360 x9498 -x9254 x9146 -x6040 -x3451 -x2535 -x1361 -x10090 x9494 -x8575 -x6960 -x6202 -x6039 -x4067 -x3467 -x3234 -x3151 -x2286 -x1525 -x9506 -x8579 -x6200 -x2285 -x10093 -x7610 -x6965 x6285 -x6047 -x3313 x3240 -x3043 x1528 -x10091 -x7612 x6286 -x6051 -x3978 -x3317 -x128 -x9565 -x6968 x6281 -x6055 -x4070 -x3245 x127 -x6966 -x6054 x7946 -x7606 -x6279 x3248 -x2454 x2282 -x135 -x59 -x8815 x7947 -x7147 x3246 -x2453 x139 -x63 -x9425 -x8817 x7942 -x7607 -x7230 -x6988 -x1015 x143 -x9426 x8823 -x7234 x3870 -x1019 x142 -x10315 -x9421 x8819 x7940 x65 -x10314 -x8831 -x5045 x66 -x10032 -x9419 x7565 -x6779 -x5047 -x4232 -x2450 -x1749 x1021 -x10034 -x6780 -x5053 -x1022 -x8319 -x7571 -x7271 x6775 x5049 -x4238 -x2152 -x1752 -x7273 x5743 -x5442 x5061 x10311 -x10028 -x8863 -x8325 -x7576 x6773 x5764 -x5441 -x805 -x5760 -x3572 -x2290 -x809 -x10029 -x8869 x8393 -x8330 -x7579 -x7267 -x5759 -x5449 -x4241 x3593 -x3204 -x2289 x8394 -x7577 -x7540 -x5453 x3589 -x3206 -x8874 -x8389 -x8333 -x7539 -x7268 -x5457 -x4941 -x4277 x3588 x2297 -x1603 -x8331 -x5456 -x4943 -x4281 -x2548 x2301 x105 -x8877 -x8387 -x7547 -x5234 x3200 -x2547 x2305 -x1773 x364 -x126 -x8875 -x8470 -x7551 -x6930 -x5236 x2304 -x1777 -x368 -x122 -x10602 -x8472 -x7555 -x6931 -x6428 x4937 -x4283 x3201 -x2555 -x1996 -x121 -x10606 -x9062 -x8478 -x7554 x6932 x6305 -x4284 -x2559 -x1997 -x10074 -x9950 -x9656 -x9064 x8474 x6948 -x6858 -x6434 x6306 -x6036 -x5333 x5230 x4938 -x3214 -x2563 -x1992 -x201 -x10076 -x9070 -x8486 x6307 -x6035 -x5518 x5353 -x5337 -x2562 -x205 x9956 -x9208 -x9167 x9066 -x8691 -x8262 -x6864 -x6323 -x5519 x5355 x5231 -x3217 -x3089 -x1990 -x1929 -x9078 -x8693 -x8266 x5520 x5361 -x3612 -x1933 -x10070 x9961 -x9214 -x9173 -x6437 -x5536 x5357 -x4697 -x3613 -x3092 -x207 -x5369 -x4701 x3614 -x3161 -x2647 x1298 -x208 -x10071 -x9964 -x9219 x8687 -x6867 x6032 -x5896 -x3630 -x3182 -x2649 -x2237 x1297 -x9962 -x5900 -x3178 -x2655 -x2238 -x1720 x1497 -x9222 -x9176 x8688 -x3177 x2651 -x2233 -x2172 -x1721 x1518 -x1305 -x9220 -x4716 x2663 x1722 x1514 x1309 -x4718 -x2231 -x2178 x1738 x1513 -x1475 -x1313 -x1197 x8937 x4724 -x1312 -x1199 x8939 -x7663 x4720 -x2906 -x2387 -x1478 x8945 -x5712 x4732 x3011 -x2908 -x2388 -x9262 x8941 x3010 -x2383 -x2181 -x1193 -x9266 x8953 -x8859 -x4612 -x3404 x3018 -x2902 -x2381 -x1194 -x356 -x3408 x3022 -x357 -x6483 -x5708 x4618 -x4528 x3023 -x2903 x352 -x8854 -x7118 -x4532 x3024 -x9441 -x8617 -x2063 x1279 -x1073 -x2067 -x1283 x1201 x701 -x9447 -x8750 x1203 x1071 x700 -x6239 -x3661 x1204 x1072 -x8135 -x6737 -x6240 -x3660 -x1285 x1220 x1067 x708 -x8137 -x6741 -x6241 x3425 -x1286 -x712 -x9450 -x6257 -x3668 x3446 x1065 -x716 x7824 -x3672 x3442 -x715 x8131 -x7854 x7826 -x7351 -x6233 -x5597 -x3676 x3441 x2498 x7832 -x7355 -x6235 -x3675 x8132 -x7860 x7828 -x5600 -x3542 x2504 -x266 x8398 x7840 -x5867 -x3543 -x270 x8419 -x7779 -x6229 -x5868 -x3538 -x2509 -x660 -x10129 -x8415 -x7781 -x5869 -x4053 x3981 x287 -x10208 -x10128 -x8414 -x7863 -x6575 -x6230 -x5885 x3983 -x3536 -x2512 -x1260 x288 -x10212 -x6579 -x5563 x3989 -x3546 -x2510 -x1348 x289 -x10136 -x7775 -x5497 -x4183 x3985 -x3547 -x1347 -x315 x305 -x10140 -x8623 -x5501 x3997 x3548 -x3155 -x2522 -x2000 x10144 x8644 -x7776 -x5664 -x4186 -x3564 -x2524 -x2001 -x1355 -x321 x10143 -x8640 -x6187 -x5665 -x2530 x2002 -x1359 -x8639 -x6189 x5660 -x4852 -x4057 x2526 -x2018 -x1691 -x1363 -x10078 -x6195 -x4856 x2538 -x1692 -x1362 -x10080 -x9144 x6191 x5658 -x5622 -x4063 -x3470 -x1687 -x324 -x10086 x9493 x9148 -x6953 -x6203 -x5626 -x3471 -x10082 -x9514 -x8577 -x6955 x6284 -x4858 -x4463 -x4068 -x3466 -x3039 -x1685 x1524 -x10094 x9510 -x8581 -x7611 -x6961 x6283 -x6041 -x4859 -x3233 -x9561 x9509 x9150 -x6957 -x6042 -x4071 -x3464 -x3315 -x3235 -x3042 -x2795 x1530 x9151 -x6969 -x6043 -x4069 -x3319 x3241 -x53 -x9564 x8583 x7945 -x6059 x3237 -x52 x8584 x7944 x3249 -x1009 x129 -x10705 -x9424 -x6984 -x6280 -x3321 -x1533 -x1008 x130 -x60 -x9423 -x3322 x131 -x64 -x8149 -x7232 -x6987 -x1016 -x147 x68 -x8818 -x7236 -x1020 x67 x8839 x7941 -x6778 -x6379 x4228 x1024 -x10033 -x8835 -x6777 -x6383 x1023 -x9420 -x8834 -x7238 -x4234 -x2148 -x1748 -x1332 x7564 -x7272 -x7239 -x5048 x7566 x5761 -x5069 -x4239 -x2151 -x1754 -x8318 -x7572 x5763 x5065 x8392 -x8320 x7568 x6774 x5064 -x4242 x3590 -x807 -x8862 x8391 -x8326 -x7580 -x5443 -x4271 -x4240 x3592 -x3205 -x811 -x8864 x8322 -x5757 -x5444 -x4270 -x1757 -x1599 -x8870 -x8334 x5445 -x4942 -x2291 -x9097 -x8866 -x5758 x5461 -x4278 x3586 -x2292 -x1602 -x813 -x123 -x8878 -x7541 -x5235 -x4282 x2293 -x814 -x125 -x8388 -x7542 -x6424 -x4286 x3587 x2309 -x1995 -x1775 x363 x7543 -x4285 -x2549 -x1994 -x1779 -x367 -x195 -x10604 -x9652 -x7559 -x7038 -x6951 -x6854 -x6430 -x2550 -x194 -x119 -x10608 -x10075 -x8473 -x6952 -x2551 -x9655 -x9163 x8494 x6947 -x6860 -x6435 -x6326 -x5725 -x5335 -x3213 -x2567 -x1781 -x202 -x120 -x9949 -x9065 -x8692 -x8490 -x6327 -x5339 -x1782 -x206 -x10610 -x9951 1800.01/1800.40 v -x9169 -x9086 -x8489 -x8264 x6945 -x6865 -x6438 -x6322 x5539 -x3219 -x3088 -x1991 -x1928 -x210 -x10611 x9957 -x9207 -x9082 -x8268 -x6436 x5540 x5356 -x1932 -x209 x9953 x9209 -x9174 -x9081 -x6868 -x6320 -x5535 x5377 -x5341 -x4696 -x3633 -x3179 -x3094 -x2236 -x1231 -x932 -x9965 -x9215 -x6866 -x5373 -x5342 -x4700 -x3634 -x3181 -x2235 -x1235 x9211 -x9177 -x8270 -x5895 -x5533 -x5372 -x3629 -x3222 -x2168 x1515 -x9223 -x9175 -x8271 -x5899 -x2650 x1517 x1299 -x3627 -x3175 -x3097 -x2671 -x2174 x1741 x1300 -x2667 x1742 x1301 -x1198 -x7659 -x3176 -x2666 -x2386 -x2232 x2179 x1737 x1511 -x1474 -x1317 -x4719 -x2907 -x2385 -x10660 -x7662 x4740 -x2182 x1735 x1512 -x1480 x8940 x4736 -x2180 -x9264 x8961 x4735 -x4608 -x3758 -x2995 -x355 -x9268 x8957 -x3762 x3012 -x354 x8956 -x6479 -x4614 -x3406 x3013 -x2382 -x1483 -x608 -x3410 x3014 x612 -x9270 -x6482 x4619 -x4527 x3028 x350 -x9271 -x8855 -x4531 -x9443 x8746 -x3733 -x2062 x1280 -x1075 x1070 -x3737 -x2066 -x1284 x1069 -x9448 -x8749 -x7702 -x1288 x1223 -x8136 -x1287 x1224 x702 -x9451 -x6736 -x6260 x3443 x1219 -x1079 x703 -x33 -x9449 -x6740 -x6261 -x3662 x3445 x704 -x37 -x7850 -x6256 -x5001 -x4676 -x3663 x1217 -x1066 x720 -x6234 -x5005 x3664 -x7856 -x7350 -x7281 -x6254 -x5596 x3680 -x3541 -x3439 x7827 -x7354 -x7285 -x3540 x2497 x8416 -x7861 x7848 -x5602 -x3440 x2499 -x656 -x265 x8418 x7844 -x7780 x2505 -x269 -x7864 x7843 -x5888 x2501 -x1256 -x659 -x7862 -x5889 -x2513 -x10207 -x8412 -x6577 -x5884 -x5605 -x3537 -x1259 -x311 x308 -x10211 -x10130 -x6581 x3984 x309 -x10483 -x10131 x8641 -x8413 -x5882 -x5663 -x5496 -x4182 x4005 -x3567 -x317 x304 -x10487 x10132 x8643 -x5662 -x5500 -x4846 -x4001 -x3568 -x1349 x10148 -x6583 -x4845 -x4188 -x4000 -x3563 -x2021 -x1690 -x1350 -x322 x302 -x9138 -x6584 -x2525 -x2022 -x1689 x1351 -x9137 -x8637 -x4853 -x3561 -x3469 -x2546 -x2017 -x1367 -x325 x8571 -x6190 -x4857 -x4056 -x3468 -x2542 -x323 -x9511 -x9145 -x8638 x8570 x6211 x5659 -x5621 -x4861 -x4459 -x4191 -x4058 -x2541 -x2015 -x1520 -x10081 -x9513 x9149 -x6207 -x5625 -x4860 -x4064 x3309 -x10102 -x9834 x9153 -x8578 -x6206 -x4462 x4060 x3308 -x3038 -x2791 -x1686 x1526 -x10098 x9152 -x8582 -x6956 -x4072 -x10097 -x9560 x9507 x8586 -x7417 -x6977 -x6062 -x3465 -x3316 -x3044 -x2794 -x2467 x1531 x8585 -x7421 -x6973 -x6063 -x3320 -x3236 -x10701 -x9566 x9508 -x6972 -x6058 -x3324 -x3257 -x1534 -x831 -x7226 -x3323 x3253 -x1532 -x835 -x54 -x10704 -x8145 -x7225 -x6983 -x6056 x3252 -x3047 x150 -x55 -x1010 x151 x56 -x9569 x8836 -x8148 -x7233 -x6989 -x6671 -x1011 -x146 x72 x8838 -x7237 x1012 -x7241 -x6378 -x1744 -x1328 x1028 -x144 -x7240 -x6382 x4227 -x8832 -x6992 -x5066 x4229 -x3339 -x2147 -x1750 -x1331 x5762 -x5068 -x4235 -x3343 x801 -x8833 -x7954 x4231 -x2153 -x1755 x800 -x7958 x7567 -x4243 x3591 -x7588 -x5672 x5062 -x2920 -x1758 -x808 -x8321 x7584 -x5676 -x1756 -x812 -x9093 x8342 x7583 -x5464 -x5063 -x2156 -x1598 -x816 -x8865 -x8338 -x5465 -x4272 -x1769 -x815 -x124 -x9096 -x8886 -x8337 -x7181 x5460 -x4273 -x2312 -x1768 -x1604 -x10598 -x8882 -x7185 x4274 -x2313 -x10597 -x8881 x7562 -x7034 -x6950 x5458 x4290 x2308 -x1776 x365 x7563 -x6949 -x6423 -x5329 -x1780 -x369 -x10605 -x9651 x8491 -x7558 -x7059 -x7037 -x6425 -x6325 -x5721 -x5328 -x3209 -x2570 x2306 -x1784 x1607 -x10609 x8493 -x8258 -x7063 -x6853 -x6431 -x6324 -x2571 -x1783 -x196 -x10613 -x9657 -x9083 -x8257 -x7556 -x6855 x6427 -x5724 x5538 -x5336 -x3215 -x3084 -x2566 -x537 -x371 -x197 -x10612 -x9162 -x9085 -x6861 -x6439 x5537 -x5340 -x372 -x198 -x9164 -x8487 -x8265 x6946 x6857 x5374 -x5344 -x3632 -x3364 -x3220 -x3090 -x2564 -x1930 -x928 -x214 -x9952 -x9170 -x8269 -x6869 x5376 -x5343 -x3631 -x3368 -x3180 -x1934 x9973 -x9660 -x9166 -x9079 -x8488 -x8273 -x6321 -x4698 -x4305 -x3223 -x3095 -x1230 -x931 x9969 x9210 -x9178 -x8272 -x4702 -x3221 -x1516 -x1234 x9968 x9231 -x9080 -x5925 -x5897 -x5534 -x5370 -x3478 -x3098 -x2668 -x1936 x1740 -x9227 -x5901 -x3482 -x3096 -x2670 -x2167 -x1937 x1739 -x9226 -x5371 -x4704 -x3628 -x2169 -x1470 x1320 -x4705 -x2175 x1321 -x10656 -x7658 -x5903 x4737 -x2664 -x2413 x2171 x1958 -x1476 -x1316 -x9258 -x5904 x4739 -x2417 -x2183 -x10659 -x9257 x8958 -x7664 -x2991 -x2665 x1736 -x1481 -x1314 x8960 -x3400 -x9265 x4733 -x3757 -x3399 -x2994 -x1484 -x9269 -x4607 -x3761 -x1482 -x9273 x8954 x7667 -x6478 x4803 -x4734 -x4609 -x3407 x3031 -x607 -x9272 x4807 -x4615 -x3411 x3032 x611 -x10042 x8955 -x6484 x4611 -x4529 -x3412 x3027 -x351 -x10046 x4620 -x4533 -x3413 -x9439 x8745 x7698 -x3732 -x2064 -x1276 x1222 -x1076 -x948 -x9444 -x3736 -x2068 x1275 x1221 -x952 -x9440 -x8751 -x7701 -x6259 -x1292 -x1080 -x9452 -x6258 x3444 -x1078 -x9805 -x7160 -x6738 -x4672 -x2070 x723 -x32 -x9809 -x6742 -x2071 x724 -x36 -x8754 -x5592 -x5000 -x4675 x3683 x1218 x719 -x7849 -x5004 x3684 -x7851 x7845 -x7352 -x7280 -x6744 -x6255 -x5598 x3679 x717 -x8417 -x7857 x7847 -x7356 -x7284 -x6745 -x7853 -x5887 -x5603 x4488 x3677 -x655 -x267 -x7865 -x6571 -x5886 x2500 -x271 -x10508 -x7841 -x7358 -x6570 -x5606 -x3715 x2521 -x1255 -x661 x307 -x10512 -x7359 -x5604 x2517 x306 -x10209 -x7842 -x6578 -x4178 x4002 -x3566 x2516 -x1261 -x273 -x10213 x8642 -x6582 x4004 -x3565 -x310 -x274 -x10482 x10151 -x6586 -x5883 -x5498 -x4184 -x2020 -x664 -x312 -x10486 x10152 -x6585 -x5502 -x2019 -x318 -x10215 x10147 -x4189 -x3998 -x2543 x1370 -x1264 -x314 x303 -x10216 -x4847 -x2545 x1371 -x326 x10145 x6208 -x5504 -x4848 -x4348 -x4192 -x3999 -x3562 -x1366 -x9512 -x9139 x6210 -x5505 x4849 -x4190 -x10099 -x9830 -x9140 -x5623 x4865 -x4458 -x3034 -x2539 -x2016 -x1364 -x10101 x9141 x8572 -x5627 -x4059 -x1519 -x10562 -x9833 -x9556 x9157 x8573 -x6974 -x6204 -x6061 -x4464 x4080 -x3040 -x2790 -x2540 -x2463 -x1521 x8574 -x6976 -x6060 x4076 x3310 x1527 -x10095 -x9562 -x8651 x8590 -x7416 -x6716 -x6205 -x5629 x4075 x3311 -x3254 -x3045 -x2796 -x2466 x1523 -x8655 -x7420 -x5630 x3312 -x3256 -x1535 -x10700 -x10096 -x9567 -x6979 -x6970 -x4467 x3328 -x3048 -x830 x149 -x3046 -x834 x148 -x10706 -x9570 -x9118 -x8144 -x6985 -x6971 -x6667 -x6057 -x5198 -x3250 x2799 x75 -x9568 -x9122 x8837 -x7227 x76 -x8150 -x7228 -x6990 -x6670 -x3251 x1031 x71 x7229 x1032 -x10709 x7245 -x6993 -x6380 -x2143 -x1327 x1027 -x145 x69 -x6991 -x6384 -x5067 -x1743 -x8153 -x3338 -x2149 -x1745 -x1333 x1025 -x860 x4230 -x3342 -x1751 -x7953 -x7585 -x6386 x4251 -x2916 -x2154 x1747 -x7957 -x7587 -x6387 x4247 -x1759 x802 -x9292 x8339 -x5671 -x5463 x4246 -x2919 -x2157 -x1594 x1336 x803 x8341 -x5675 -x5462 -x2155 x804 -x9092 -x8883 x7581 -x2311 -x1600 x820 -x8885 -x2310 -x359 -x9098 -x8430 -x8335 x7582 x7561 -x7180 -x5416 x4293 -x1605 -x358 x7560 -x7184 -x5420 x4294 -x1770 -x9647 -x8879 -x8336 -x7033 x5459 x4289 -x2569 -x1771 x1608 x366 -x10599 x8492 -x2568 -x1772 x1606 -x370 -x10600 -x9653 -x9101 -x8880 -x7058 -x7039 -x5720 x4287 x2307 -x1788 -x533 -x374 -x10601 -x9084 -x7062 -x6426 -x5330 -x3208 x1924 -x373 -x10617 -x9658 -x7557 -x6447 -x5726 -x5331 -x3210 x1923 -x781 -x536 -x217 -x8259 -x6856 -x6443 x5375 -x5332 -x4692 -x3216 -x3083 -x785 -x218 x9970 -x9661 -x8260 x7042 -x6877 -x6442 -x5348 x4691 -x4301 -x3363 -x3212 -x3085 -x2565 -x1931 -x927 -x213 x9972 -x9659 -x9165 x8261 -x6873 -x5891 -x3367 -x3224 -x3091 -x1935 x9228 -x9186 -x8277 -x6872 -x5921 -x5890 -x5729 -x4699 -x4304 -x3087 -x1939 -x1232 -x933 -x211 x9230 -x9182 -x4703 -x3099 -x2669 -x1938 -x1236 x9966 -x9181 -x5924 -x5898 -x4707 -x3477 x1319 -x5902 -x4706 -x3481 x1318 x9967 -x9224 -x7654 -x5906 -x1954 -x1238 -x936 -x5905 x4738 -x2170 -x1469 -x1239 -x10655 -x9225 -x7660 -x2412 -x2191 x1957 -x1471 x8959 -x2416 -x2187 -x1477 -x10661 -x10187 -x7665 -x2990 -x2186 -x1473 -x1315 -x9259 -x1485 -x9260 x7668 -x6474 -x3759 x3030 -x2996 -x9261 x7666 -x4523 -x3763 -x3401 x3029 -x10664 -x9277 -x6480 -x5130 x4802 -x4522 -x3402 -x609 x4806 -x4610 -x3403 x613 -x10041 -x6485 -x4628 -x4530 -x3765 -x3417 x3025 -x2999 -x228 -x10045 -x4624 -x4534 -x3766 x8747 x7697 -x5288 -x3734 -x2065 x1295 -x1077 -x947 -x9438 -x6732 x5292 -x3738 -x2069 x1296 -x1081 -x951 -x9460 -x8752 -x7703 x7156 -x6731 -x2073 -x1291 x722 -x9456 -x2072 x721 -x10533 -x9804 -x9455 -x8755 -x7159 -x6739 -x4671 -x3740 x3682 -x1289 -x34 x10537 -x9808 -x8753 -x7346 -x6743 -x3741 x3681 -x38 -x7706 -x7345 -x6747 -x5002 -x4677 x7846 -x6746 -x5591 -x5006 -x261 -x7353 -x7282 -x5593 -x4484 x718 -x651 -x260 -x40 -x7852 -x7357 -x7286 -x5599 -x41 -x7873 -x7483 -x7361 -x5595 -x5008 -x4680 x4487 x3711 x3678 x2518 -x1251 -x657 -x268 -x10203 -x7869 -x7487 -x7360 -x5607 -x5009 x2520 -x272 -x10507 x10202 -x7868 -x7288 -x3714 -x2320 -x1257 -x662 -x490 -x276 -x10511 -x7289 -x6572 -x5492 x4003 -x2324 -x275 -x10210 x10150 -x6573 -x5491 x2514 -x1262 -x665 -x10214 x10149 -x6574 -x4177 -x663 -x10484 -x10218 -x6590 -x5499 -x4179 -x2515 x1369 -x1265 -x10488 -x10217 -x5503 -x4185 -x2544 x1368 -x1263 -x313 -x7376 -x5507 -x4344 -x4181 -x334 -x7380 x6209 -x5617 -x5506 -x4193 -x330 x10490 x10146 -x5616 -x4868 -x4454 -x4347 -x329 x10491 -x10100 -x4869 -x10558 -x9829 -x9160 -x5624 x4864 -x4460 x4077 -x2786 -x1365 -x9161 -x6975 -x5628 x4079 -x3033 -x10561 -x9835 x9156 -x8593 -x6712 -x5632 x4862 -x4465 -x3035 -x2792 -x2462 -x9555 -x8594 -x5631 -x3255 -x3041 -x1522 -x10696 -x9557 x9154 -x8650 x8589 -x7418 -x6715 -x4468 x4073 -x3331 -x3037 -x2797 -x2729 -x2468 -x1543 -x9563 -x8654 -x7422 -x4466 -x3332 -x3049 -x1539 -x10702 -x9838 -x9559 x8587 -x8140 -x5194 -x4074 -x3327 x2800 -x1538 -x832 x74 -x9571 -x6978 x2798 -x836 x73 -x10707 -x9117 -x8146 -x7424 -x6980 -x6666 -x5197 -x3325 -x2471 x1030 -x9121 -x7425 -x6986 x6374 x1029 -x10710 -x8151 -x7248 -x6982 -x6672 x6373 -x3937 -x1323 -x838 -x10708 -x7249 -x6994 -x3941 -x839 -x8154 x7244 -x6381 -x1329 -x907 -x856 x70 -x8152 -x6385 -x2142 x7242 -x6675 -x6389 x4248 -x3340 -x2966 -x2144 -x1334 x1026 -x859 -x7586 -x6388 x4250 -x3344 -x2970 -x2150 -x1746 -x9288 -x7955 -x2915 x2146 -x1767 x1337 -x8340 -x7959 -x2158 x1763 x1335 -x9291 -x9088 -x5673 x4244 -x3346 -x2921 x1762 -x823 -x8884 -x5677 -x3347 -x1593 -x824 -x9094 -x8426 -x7961 -x7906 x4292 x4245 -x1595 x819 -x7962 x4291 -x1601 -x9099 -x8429 -x7182 -x7029 x5679 -x5415 -x3645 -x2924 x1597 x817 -x7186 x5680 -x5419 x1609 -x360 x9102 -x7035 -x5716 -x1791 -x361 -x9646 -x9100 -x1792 x362 -x10620 -x9648 -x7188 -x7060 -x7040 -x6444 -x5722 x4288 -x1787 -x532 x378 -x216 -x10621 -x9654 -x7189 -x7064 -x6446 -x215 -x10616 x9650 x7043 -x6874 -x5727 -x5351 -x1785 -x923 -x780 -x538 -x389 x9971 -x9662 x7041 -x6876 -x5352 -x3211 x1925 -x1226 -x784 -x393 -x10614 -x9183 x8280 -x7066 -x6440 -x5730 -x5347 -x4300 -x3365 -x3232 x1926 -x1225 -x929 x9229 -x9185 x8281 -x7067 -x5728 x4693 -x3369 -x3228 -x3086 x1927 -x8276 -x6870 -x6441 -x5920 -x5345 x4694 -x4306 -x3227 -x3107 -x1943 -x1233 -x934 -x541 -x212 -x5892 x4695 -x3103 -x1237 -x9179 -x8274 -x6871 -x5926 -x5893 x4711 -x3479 x3371 -x3102 -x2632 -x1241 -x937 x5894 -x3483 x3372 -x1240 -x935 -x10651 -x9180 x5910 x4309 -x2188 -x1953 x7653 -x2190 x10657 -x10183 x7655 -x5929 -x4422 -x3485 -x2986 -x2414 x1959 -x7661 -x3753 -x3486 -x2418 -x1472 -x10662 -x10186 x7657 -x3752 -x2992 -x2184 -x1493 x7669 -x1489 -x603 -x10665 -x9280 -x8178 x5126 -x3760 -x2997 -x2420 -x2185 -x1962 -x1488 -x602 -x10663 -x9281 -x8182 -x6473 -x3764 -x2421 -x9276 -x6475 -x5129 x4804 -x4625 -x3768 -x3420 -x3000 -x610 -x224 -x6481 x4808 -x4627 -x4524 -x3767 -x3421 -x2998 x614 -x10043 -x9274 -x6477 -x4525 -x3416 x3392 x3026 -x615 x227 -x10047 -x6486 -x4623 x4526 -x616 -x9457 x8743 x7699 -x5287 -x3735 -x2061 -x1293 -x1089 -x949 -x9459 x8748 x5291 -x3739 x2060 -x1085 -x953 -x28 x8744 -x7704 x7155 -x4667 -x3743 x2077 -x1084 -x27 -x8756 -x6733 -x4996 -x3742 x10532 -x9806 -x9453 -x7707 -x7161 -x6734 -x4995 -x4673 -x1290 -x955 -x35 x10536 -x9810 -x7705 -x7276 -x6735 -x956 -x39 -x9454 -x7275 -x6751 -x5003 -x4678 x4016 -x43 -x7347 -x5007 -x42 -x9812 -x7870 -x7348 -x7283 -x7164 -x5011 -x4681 -x4483 -x9813 -x7872 -x7349 -x7287 -x5594 -x5010 -x4679 x2519 -x650 -x262 x7482 -x7365 -x7291 -x5615 x4489 x3710 -x652 x486 -x263 -x7486 -x7290 -x5611 -x1250 -x658 -x264 -x10509 -x7866 -x5610 -x3716 -x2319 -x1252 -x654 -x489 -x280 -x10513 -x10478 x10204 -x2323 -x1258 -x666 -x10477 x10324 x10205 -x7867 -x6593 x4574 -x4492 -x1254 -x10328 x10206 -x6594 -x5493 -x1266 -x10515 -x10485 x10222 -x6589 -x5494 -x3719 -x331 -x10516 -x10489 x5495 -x4180 -x333 x10493 -x7375 -x6587 x5511 -x4867 -x4343 -x4201 x10492 -x7379 -x4866 -x4197 x9825 -x9159 x7793 -x4349 -x4196 -x327 -x9158 -x5618 -x4453 x4078 -x10557 -x9831 -x8592 -x5619 -x4455 -x2458 -x328 -x8591 -x7412 x5620 -x4461 -x2785 -x10563 -x9836 -x7411 -x6711 x5636 x4863 -x4747 x4457 -x4352 -x3330 -x2787 x2725 -x2464 -x1540 x4751 -x4469 -x3329 -x3036 -x2793 -x1542 -x826 -x9839 -x9744 -x9155 -x8652 -x7419 -x6717 -x3057 x2789 -x2728 -x2469 -x825 -x10695 -x9837 x9748 -x9558 -x8656 -x7423 -x3053 x2801 -x10697 -x10566 -x9579 x8588 -x7427 -x6834 -x6662 -x5193 -x3052 -x2472 -x1536 -x833 -x10703 -x9575 -x8139 -x7426 x6838 -x2470 -x837 x10699 -x9574 -x9119 -x8658 -x8141 -x7247 -x6720 -x6668 -x5199 -x3326 -x1537 -x841 -x10711 -x9123 -x8659 -x8147 -x7246 -x6981 -x840 -x8143 -x7002 -x6673 -x3936 -x3879 -x903 -x8155 -x6998 x6375 -x3940 -x3883 -x3334 -x1322 -x9125 -x6997 -x6676 x6376 -x5202 -x3333 -x1324 x906 -x855 -x9126 -x7949 -x6674 x6377 x4249 -x1330 -x7948 x7243 -x6393 -x3341 -x2965 -x2911 -x2678 -x1764 x1326 -x861 -x5667 -x3345 -x2969 -x2682 -x2145 -x1766 x1338 -x9287 -x7956 -x5666 -x3349 -x3068 -x2917 x2166 -x822 -x7960 -x3348 x2162 -x821 -x9293 -x7964 -x7902 -x5674 -x2922 x2161 x1760 -x864 -x9087 -x7963 -x7176 -x5678 -x9089 -x8425 x7905 -x7175 x5682 -x3641 -x2925 x1761 -x9095 1800.01/1800.40 v x5681 -x2923 -x1596 x9296 x9091 -x8431 -x7183 -x5417 -x3644 -x1790 -x1617 -x818 x9103 -x7187 -x7054 -x7028 -x5421 -x1789 x1613 -x10619 -x7191 -x7053 -x7030 x1612 x528 -x381 -x10618 -x7190 -x7036 -x6445 -x5715 -x382 -x8434 -x7061 x7032 -x5717 -x5423 -x5350 -x534 x377 -x9649 -x7065 x7044 -x6875 -x5723 -x5424 -x5349 -x3359 x9670 -x9383 x8279 -x7069 -x5719 -x4296 -x3358 -x3229 -x1786 -x782 -x539 -x388 x375 -x9666 -x9387 -x9184 x8278 -x7068 -x5731 -x3231 -x922 -x786 -x392 -x10615 -x10411 -x9665 -x5916 -x4302 -x3366 -x3104 -x1946 -x924 -x542 -x10415 x3473 -x3370 -x3106 -x1947 -x1227 -x930 -x540 -x5922 -x5346 -x4714 -x4307 x3472 x3374 -x3225 -x2628 -x1942 -x1228 -x926 -x788 -x4715 x3373 -x1229 -x938 -x789 -x8275 -x7446 -x5927 -x5913 x4710 x4310 -x3480 -x3226 -x3100 -x2631 -x1949 -x1940 -x1245 -x5914 x4308 -x3484 -x2408 -x2189 -x5930 x5909 x4708 -x4418 -x3488 -x3101 -x2407 -x1955 -x10650 -x5928 -x3487 -x10652 -x10182 x5907 -x4421 -x2415 x1960 -x1490 x10658 x7656 -x2985 -x2419 -x1492 x10654 -x10188 -x9279 x7677 -x2987 x2423 -x1963 -x10666 -x9278 -x7673 x4798 -x3754 -x2993 x2422 -x1961 x9540 -x8177 -x7672 x5125 x4797 -x3755 -x3419 -x2989 -x1486 -x10037 -x9544 -x8181 -x4626 -x3756 -x3418 -x3001 -x604 -x10191 -x10036 -x5131 x4805 -x3772 x3388 -x1487 -x605 -x223 -x6476 x4809 x606 -x10044 -x9275 -x6494 x4810 -x4537 -x3414 x3391 x620 x229 -x10048 -x6490 x4811 -x4621 -x4538 -x9458 -x7695 x7151 -x5289 -x3731 -x2080 -x1294 -x1088 x950 -x9800 x8742 x7700 x5293 -x3730 -x2081 -x954 -x9799 x8764 x7696 x7157 -x3747 x2076 -x1082 -x958 -x8760 -x7708 -x4666 -x957 -x29 x10534 -x9807 -x8759 -x7162 -x6754 x5295 -x4668 -x4012 x2074 -x1083 -x30 x10538 -x9811 -x6755 x5296 -x4997 -x4674 -x31 -x9815 x7165 -x6750 -x4998 -x4670 -x4479 x4015 -x47 -x9814 -x7871 -x7277 x7163 -x4999 -x4682 -x10540 x8238 -x7368 -x7278 -x6748 -x5612 -x5015 -x4485 x3706 -x10541 -x10503 -x8242 -x7369 -x7279 -x5614 -x10502 x7484 -x7364 -x7295 x4490 x3712 x485 -x283 x7488 -x653 -x284 -x10510 -x7362 -x6592 -x5608 x4570 -x4493 -x3717 -x2321 -x674 -x491 -x279 -x10514 -x6591 -x4491 -x2325 -x1253 -x670 -x10518 x10323 x10225 -x7490 -x5609 x4573 -x3720 -x1274 -x669 -x277 -x10517 -x10479 x10327 x10226 -x7491 -x3718 -x1270 -x332 -x10480 x10221 -x5514 -x4339 -x4198 -x2327 -x1269 -x494 x10481 -x5515 -x4200 -x2328 x10497 x10219 -x7789 -x7377 -x6588 x5510 -x4345 -x7381 -x10553 x7792 x5508 -x4350 -x4194 x9824 -x10559 x9826 -x7383 -x6707 -x5639 -x4353 -x4195 -x9832 -x8646 -x7384 -x5640 -x4456 -x4351 -x2457 -x1541 -x10564 x9828 -x8645 -x6713 x5635 -x4746 x4477 -x3054 x2724 -x2459 -x9840 -x7413 x4750 -x4473 -x3056 -x2788 -x2465 -x10567 -x9743 -x9576 -x8653 -x7414 -x6718 x5633 -x5189 -x4472 -x2809 -x2730 -x2461 -x10565 x9747 -x9578 -x9113 -x8657 -x7415 -x2805 -x2473 -x827 -x9112 -x8661 -x7431 x6833 -x6721 -x5195 -x3050 -x2804 -x828 -x10698 -x8660 x6837 -x6719 -x6661 -x829 -x10719 -x9572 -x9120 -x6999 -x6663 -x5200 -x3051 -x2733 -x845 -x10715 -x9124 -x8142 -x7001 -x6669 -x10714 -x9573 -x9128 -x8163 x6665 -x5203 -x3938 -x3878 -x902 x851 -x9127 -x8159 -x6677 -x5201 x3942 -x3882 -x8158 -x6995 x6396 x908 -x857 x6397 -x3335 -x1765 -x1325 -x9283 -x6996 -x6392 -x3944 -x3336 x3064 -x2967 -x2677 x2163 -x1346 -x862 -x7950 -x3945 -x3337 -x2971 -x2910 -x2681 x2165 x1342 -x9289 -x7951 -x6390 -x3353 -x3067 -x2912 x1341 -x911 -x865 -x7952 -x5668 -x2918 -x863 -x9294 -x8421 -x7968 -x7901 -x5669 -x2973 x2914 x2159 x5670 -x5411 -x2974 -x2926 x9297 -x8427 x7907 x5686 -x5410 -x3640 x2160 -x1614 x9295 -x9090 -x7177 -x1616 -x9111 -x8432 -x7178 -x5418 -x3646 -x380 -x9107 -x7179 -x5422 -x379 -x9106 -x8435 x7910 -x7195 -x5426 x1610 -x8433 -x7055 -x7031 -x5425 x776 x527 x9667 -x7056 -x7052 -x3649 x1611 x775 x529 x9669 -x7057 -x7048 -x5718 -x3230 -x535 -x9382 -x7073 -x7047 -x5739 -x1945 -x783 x531 -x390 x376 -x9386 -x5735 x4295 -x3360 -x3105 -x1944 -x787 -x543 -x394 -x10410 -x9663 -x5734 -x4713 x4297 -x3361 -x791 -x10414 -x5915 -x4712 -x4303 x3362 -x925 -x790 -x9664 x7442 -x5917 -x5912 x4299 x3378 -x2627 -x1248 -x946 -x396 -x5923 -x5911 x4311 x3474 -x1249 -x942 -x397 -x7445 -x5919 x3475 -x2633 -x1941 -x1244 -x941 -x5931 x3476 -x1948 x10178 x4709 -x4417 -x3492 -x1950 -x1242 -x2409 -x1956 -x1491 x10184 -x8705 x7674 -x5908 -x4423 -x2636 -x2410 x1952 -x10653 x7676 x2411 -x1964 -x10674 -x10189 x5121 -x2427 -x10670 -x2988 -x10669 -x10192 x9539 -x8179 -x7670 x5127 -x4426 -x3775 -x3009 -x220 -x10190 -x9543 -x8183 x4799 -x3776 -x3005 -x7671 -x6491 -x5132 x4800 -x4536 -x3771 x3387 -x3004 -x623 x225 -x10038 -x6493 x4801 -x4535 -x624 -x10039 -x8185 -x5133 -x4815 -x3769 -x3415 x3393 x619 x230 -x10040 -x8186 -x6489 -x5134 -x4622 x8761 -x5290 -x3750 -x2078 -x1086 x10758 -x10528 x8763 -x7694 x7150 x5294 -x3751 -x10527 -x7716 x7152 -x6753 x5298 -x3746 x962 -x9801 x7712 x7158 -x6752 x5297 x10535 -x9802 -x8757 x7711 x7154 -x4011 -x3744 -x2075 -x50 x10539 -x9803 x7166 -x4669 -x51 -x10543 -x9819 -x8758 -x7367 -x5018 -x4690 x4017 -x46 -x10542 -x7478 -x7366 -x5613 -x5019 -x4686 -x4478 x8237 -x7477 -x7298 -x6749 -x5014 -x4685 -x4480 -x1873 -x481 -x282 -x44 -x8241 -x7299 -x4486 x3705 x2315 -x281 x7485 -x7294 -x5012 x4482 x4020 x3707 x2314 -x671 x487 -x10504 x7489 -x4494 x3713 -x673 -x10505 x10224 -x7493 -x7363 -x7292 x4569 x3709 -x2322 -x1271 -x492 -x10506 x10223 -x7492 -x3721 -x2326 -x1273 -x10522 x10325 -x5513 -x4776 x4575 -x2330 -x667 -x495 -x278 x10329 -x7371 -x5512 -x4199 -x2329 -x493 x10500 -x7370 -x1267 -x668 x10501 -x4338 x10496 -x10331 x10220 -x7788 -x7378 -x4578 -x4340 -x1268 -x10332 -x7382 -x4346 x10494 x7794 -x7386 -x5638 x5509 -x4342 -x10552 -x7385 -x5637 -x4354 -x10554 x4474 -x2720 -x10560 x9827 -x6706 x4476 -x3055 -x10556 x9848 -x7797 -x6708 -x4748 -x2806 x2726 -x10568 -x9844 -x9577 -x8647 -x6714 x4752 -x2808 -x2460 -x9843 -x9745 -x8648 -x7434 -x6710 x5634 -x4470 -x2731 -x2481 x9749 -x8649 -x7435 -x6722 -x5188 -x2477 -x10716 -x8665 -x7430 x6835 -x5190 x4754 -x4471 -x2802 x2734 -x2476 -x848 -x10718 -x9114 -x7000 x6839 -x5196 x4755 -x3932 -x2732 -x849 -x9751 -x9115 -x8160 -x7428 -x5192 x3931 -x2803 x898 -x844 -x9752 x9116 -x8162 -x6664 -x5204 -x10712 -x9132 -x6841 x6685 x6395 -x3939 -x3880 -x904 -x842 -x6842 -x6681 x6394 x3943 -x3884 -x2961 x850 -x10713 -x8156 -x6680 x5775 -x3947 -x2960 -x1343 x909 x852 -x3946 x2164 -x1345 -x858 -x8157 -x3886 -x3356 x3063 -x2968 -x2679 -x912 x854 -x9282 -x3887 -x3357 -x2972 -x2683 -x910 -x866 -x9284 -x7971 x7897 -x6391 -x3352 -x3069 -x2976 x1339 -x9290 -x7972 -x2975 -x2913 x9286 -x7967 -x7903 -x5689 x3636 -x3350 -x2934 -x2685 x1340 x9298 -x8420 -x5690 x2930 -x2686 -x1615 -x9108 -x8422 -x7965 x7908 x5685 -x3642 x3072 x2929 -x9110 -x8428 -x5412 -x8424 x7911 -x7198 x5683 -x5413 -x4830 -x3647 -x8436 x7909 -x7199 x5414 -x9104 -x7194 -x7049 x5430 -x3650 x9668 -x7051 -x3648 -x384 -x9105 -x7192 -x7076 -x5736 -x383 -x7077 -x5738 x777 x530 -x9384 -x7072 -x7045 x778 x551 -x391 -x9388 x779 x547 -x395 -x10412 -x7070 -x7046 -x5732 -x3381 -x2623 -x1247 -x943 x795 x546 -x399 -x10416 x4298 -x3382 -x1246 -x945 -x398 -x9390 x7441 -x5733 -x4319 x3377 -x2629 -x9391 -x5918 -x4315 x10586 -x10418 -x7447 -x5939 -x4413 -x4314 -x3495 x3375 -x2634 -x939 -x10419 -x5935 -x3496 x8701 -x5934 -x4419 -x3491 -x2637 -x1243 -x940 x10177 x7675 -x2635 -x1951 -x10671 x10179 -x8704 x7450 -x4424 -x3489 -x2430 -x1972 -x10673 x10185 -x8173 -x2431 -x1968 x10181 -x8172 -x4427 -x3774 -x3006 -x2426 -x1967 -x10193 x5120 -x4425 -x3773 -x3008 -x10667 x9541 -x8180 x5122 -x3384 -x2424 -x622 -x9545 -x8184 -x6492 x5128 -x621 -x219 -x10668 -x8188 x5124 x4818 x3389 -x3002 -x221 -x8187 -x5135 x4819 x226 -x10051 x9547 -x4814 -x3770 x3394 -x3003 x617 -x10052 x9548 -x6487 -x10759 x8762 -x7713 -x10760 -x3748 -x2079 -x1087 -x7715 -x5302 x4007 x961 -x49 -x10529 x7153 -x48 -x10530 -x9822 x7709 x7174 -x5017 -x4687 -x4013 -x3745 x959 x10531 -x9823 -x7170 -x5016 -x4689 -x10547 -x9818 -x7710 -x7297 -x7169 x4018 -x2866 x1869 -x7296 -x2870 -x9816 x8239 -x4683 x4021 -x1872 -x45 -x8243 x7479 -x4481 x4019 -x672 -x480 x8800 x7480 -x5013 -x4684 -x4565 x4502 -x482 -x10319 x7481 x4498 x3708 x2316 -x1272 x488 -x10525 -x10318 -x8245 x7497 -x7293 -x4772 x4571 x4497 -x3729 x2317 x484 -x10526 -x8246 -x3725 x2318 -x496 -x10521 x10499 x10326 -x4775 x4576 -x3724 -x2334 x10498 x10330 -x10519 -x10334 -x9677 x7784 -x4579 -x10333 x9681 -x7372 -x4577 -x7790 x7404 -x7373 x7374 -x4341 x10495 x7795 -x7390 -x4362 x4742 x4475 -x4358 x9845 x7798 x4741 -x4357 -x10555 x9847 -x9739 x7796 -x2807 -x2719 -x10576 -x9738 -x7433 -x4749 -x2721 -x2478 -x10572 -x7432 x6829 -x6709 x4753 x2727 -x2480 -x10571 -x9841 -x9746 -x8668 x6828 -x6730 x4757 x2723 -x847 -x10717 x9750 -x8669 -x6726 x4756 x2735 -x846 -x9842 -x9754 -x8664 x6836 -x6725 -x2474 -x9753 -x8161 x6840 -x5191 x3874 -x9135 -x8662 -x7429 -x6844 x6682 -x5212 x3873 -x2475 x9136 -x6843 x6684 -x5208 x3933 x897 -x9131 -x5771 -x5207 x3934 -x3881 x899 -x843 x3935 -x3885 -x2673 -x1344 -x905 -x9129 -x6678 x5774 -x3951 -x3889 -x3355 -x3059 -x2672 x901 -x3888 -x3354 -x2962 -x913 x853 x9607 -x7970 -x6679 x3065 -x2963 -x2680 -x874 x9611 -x7969 -x2964 -x2684 -x870 -x5688 -x3070 -x2980 -x2931 -x2688 -x869 -x9285 x7896 -x5687 -x2933 -x2687 -x9306 x7898 -x3351 x3073 -x9302 -x9109 -x7904 x3635 x3071 -x9301 -x7966 x7900 -x7197 -x4826 x3637 x2927 -x8423 x7912 -x7196 -x3643 -x8444 x5684 -x5433 -x4829 x3639 x2928 -x8440 -x7050 -x5434 -x3651 -x8439 -x8033 -x7075 x5429 -x9378 -x7074 -x5737 -x9377 -x7193 x5427 x548 -x10406 x550 -x385 -x10405 -x9385 -x3380 x798 -x386 -x9389 -x3379 -x944 x799 -x387 -x10413 -x9393 x7437 -x7071 -x4316 x794 x544 -x403 -x10417 -x9392 -x4318 -x2622 x10582 -x10421 x7443 -x5936 -x3494 -x2624 x792 -x545 -x10420 -x5938 -x3493 -x2630 x10585 -x7448 -x4312 x3376 -x2626 -x4412 -x2638 x8700 x7451 -x5932 -x4414 -x4313 -x2429 -x1969 -x10672 x7449 -x4420 -x2428 -x1971 -x8706 -x5933 x4416 -x3490 x10180 x9536 -x4428 -x3007 x10201 x9535 -x1965 -x10197 -x8174 -x10196 x9542 x8709 -x8175 x4817 -x2425 -x1966 -x9546 x8176 x5123 x4816 -x3383 -x10050 x9550 -x8192 x5143 -x3385 -x10049 x9549 -x5139 x3390 -x222 -x5138 -x4812 x618 x234 -x6488 -x10761 -x7714 -x3749 -x9821 x7171 -x5301 -x9820 x7173 -x4688 x4006 -x10550 -x5299 x4008 -x960 -x10551 x8233 -x4014 -x10546 x8232 -x7167 x4010 -x2865 x1868 x4022 -x2869 -x10544 -x9817 x8796 x8240 -x7168 x4499 -x1874 -x8244 x4501 -x10524 x8799 -x8248 -x7500 -x3726 -x10523 -x8247 -x7501 -x4564 -x3728 -x483 x7496 -x4771 -x4566 x4495 -x2337 -x1877 -x504 -x10320 x4572 -x2338 -x500 -x10321 x7494 -x4777 x4568 x4496 -x3722 -x2333 -x499 x10322 -x4580 -x10520 -x10338 -x9676 x7400 -x3723 -x2331 x9680 x7783 x7785 x7403 -x7393 -x4780 -x4359 -x7791 -x7394 -x4361 x7787 -x7389 x9846 x7799 -x10573 -x7387 -x4355 -x10575 x4743 -x2479 -x8667 -x6727 x4744 -x4356 -x9740 -x8666 -x6729 x4745 x2722 -x10569 -x9741 x9631 -x4761 x2743 x9742 x9635 x6830 -x2739 -x10570 -x9758 -x9134 x6831 -x6723 -x5209 -x2738 -x9133 x6832 x6683 -x5211 -x9707 -x9471 -x8663 -x6848 -x6724 x9475 x3875 -x5770 -x5205 x3954 x3876 x3955 x3877 x900 -x9130 x5776 -x5206 -x3950 x3893 -x921 -x871 -x3058 -x2674 -x917 -x873 x9606 -x3948 x3060 -x2983 -x2675 -x916 x9610 x3066 -x2984 -x2932 -x2676 -x9303 -x5779 x5472 x3062 -x2979 -x2692 -x867 -x9305 -x5476 x3074 -x2977 -x868 x7899 -x9299 -x8441 -x7920 -x5432 -x4825 -x8443 -x7916 -x5431 x3638 -x9300 x8029 -x7915 -x4831 x3659 x439 x3655 x443 -x8437 -x8032 x3654 x549 -x8438 x5428 -x4834 x797 -x9379 x796 x9524 -x9380 -x406 -x10407 x9381 -x4317 -x407 -x10408 -x9397 -x402 -x10409 x7436 -x5937 x10581 -x10425 x7817 x7438 -x793 -x400 x7444 -x2625 x10587 x8696 x7440 -x2646 x7452 -x2642 -x1970 x8702 -x2641 -x4415 x10590 x10198 -x8707 -x4436 x10200 x4432 x8710 -x4431 x9537 x8708 -x10194 x9538 -x8195 x5140 -x8196 x5142 -x10195 -x8191 x231 -x3386 x233 -x8189 -x5136 -x4813 x3398 x7172 -x10549 -x10548 x3833 -x5300 x1864 x4009 -x4030 -x2867 x1870 x8234 x4500 -x4026 x2871 -x10545 x8795 x8235 -x7499 -x4025 -x1875 x8236 -x7498 -x3727 x10394 x8801 -x8252 -x4767 -x2873 -x2336 -x1878 -x501 x10398 -x2874 -x2335 -x1876 -x503 x9792 -x4773 -x4567 x10341 x8804 -x7495 -x4778 -x4588 -x497 x10342 x4584 -x10337 -x9678 x7399 -x7392 -x4781 x4583 -x2332 -x498 x9682 -x7391 -x4779 -x4360 -x10335 x7405 x7786 -x9684 x7807 x1909 -x10574 -x9685 x7803 -x1913 x7802 -x7388 -x6728 -x4764 x2740 -x4765 x2742 x10639 x9761 x9630 -x4760 -x10643 x9762 x9634 -x5210 -x9757 x9703 x6851 -x4758 -x2736 x6852 -x9755 -x9706 -x9470 -x6847 -x5766 -x3953 -x2737 x9474 x3952 -x6845 -x5772 x3896 -x918 x3897 -x920 -x872 x5777 x3892 -x2982 -x2981 x9608 -x8054 -x5780 -x3949 x3890 -x2695 -x914 x9612 -x9304 x8058 -x5778 x3061 -x2696 x5471 -x3082 -x2691 -x915 -x5475 x3078 x9614 -x7917 -x4821 x3077 -x2978 -x2689 -x1624 x9615 -x8442 -x7919 -x1628 -x4827 x3656 x3658 x8028 -x7913 -x4832 x438 x442 -x8034 -x7914 -x4835 x3652 -x4833 x9520 x3653 -x405 -x404 x9723 x9523 -x9400 -x8037 x9727 -x9401 -x10578 -x10428 -x9396 x7813 -x10429 x10583 -x10424 -x9394 x7816 -x2643 -x401 x7439 -x2645 x10588 -x10422 x7460 x8695 x7456 x10591 x8697 x7455 -x4433 -x2639 x10589 x10199 x8703 -x4435 x8699 -x2640 x8711 -x8194 -x4429 -x8193 x5141 x9553 -x4430 x183 x9554 x232 x3395 x3397 -x8190 -x5137 x10762 x3832 -x2861 -x4027 -x2860 -x4029 x1863 x8791 -x2868 x1865 x2872 x1871 -x10754 x8797 -x8255 -x4023 -x2876 x1867 -x8256 -x2875 -x1879 -x502 x10393 x9788 x8802 -x8251 -x4024 x10397 -x4766 -x10340 x9791 x8805 -x8249 -x4768 -x4585 -x10339 -x9672 x8803 -x4774 -x4587 -x9671 -x7396 -x4770 -x4782 -x10680 -x9679 x7401 x4581 -x10684 x9683 -x10336 -x9687 x7804 x7406 1800.01/1800.40 v x4582 -x9686 x7806 x1908 x1912 -x10380 x7800 -x4763 -x10382 -x4762 x2741 x9760 -x7801 x9759 x10638 x9632 x6850 -x10642 x9636 x6849 x9702 -x4759 -x9756 -x9708 x9638 -x9472 x7466 x3895 -x9639 x9476 x7470 -x5765 x3894 -x919 -x6846 -x5767 -x9602 -x5773 x9711 -x9601 -x9478 x5769 -x2694 -x9479 -x5781 -x2693 x9609 x8053 -x3891 -x3079 x9613 x8057 -x3081 x9617 x5473 x9616 -x7918 -x5477 x3075 -x2690 -x1623 -x4820 -x3657 -x1627 -x8078 x8024 x6296 x5479 -x4822 x3076 -x8082 -x5480 -x4828 x8030 -x4824 x440 -x4836 x444 -x8035 x9519 -x9399 -x8038 x446 -x9398 -x8036 x447 -x10427 x9722 x9525 -x10426 x9726 x7812 -x10577 -x2644 -x10579 x9528 -x9395 x7818 x7457 x10584 x7459 -x10423 x10592 -x4434 -x10625 x10763 x7453 x10627 x8698 -x8719 x7454 x8715 x9552 x8714 x4438 -x179 x9551 x4442 x182 -x3396 x9462 -x4028 x3834 -x2862 -x10750 -x8254 x3836 -x2863 x8790 -x8253 x3837 x2864 x1866 -x10753 x8792 -x2880 -x1887 x8798 x1883 x10395 x9787 x8794 x1882 x10399 x8806 -x4586 x9793 -x8250 -x4769 x10401 -x4790 -x10402 -x9673 x7395 -x4786 -x10679 x9796 -x9674 x7397 -x4785 -x10683 x9675 x7805 x7402 -x9691 x1910 x1914 x10379 -x10381 x9627 x9626 x1916 x1917 x10640 x9699 x9633 -x10644 x9637 -x9466 x9704 x9641 -x9465 x9640 x10646 -x9709 -x9473 x7465 x10647 x9477 x7469 x9712 -x9481 x9710 -x9480 -x5768 -x5789 -x9603 x5785 x5467 -x3080 -x9604 x8055 x5784 x5466 x9605 x8059 x9621 -x8311 x5474 -x5478 -x8061 -x6292 x5482 -x1625 -x8062 x5481 -x1629 -x434 x8077 x6295 -x433 -x8081 x8023 -x4823 x8025 -x4844 x1631 x441 x8031 -x4840 x1632 x445 x9516 x8027 -x4839 x449 -x8039 x448 x9521 x9724 x9526 x7809 x9728 -x10282 x9529 x7814 x9527 -x7458 x9730 x7819 -x10580 x9731 x10596 x10624 -x8716 x10626 -x8718 x8712 x4437 -x178 x4441 x8713 x184 x7507 -x2132 x9461 x3835 x5378 x3839 -x5379 x3838 -x10749 x6109 -x2883 -x1884 x10390 -x2884 -x1886 -x10755 x10389 x9784 -x2879 x8793 x10396 x9789 -x8814 -x2877 x1880 x10400 -x8810 x10404 x9794 -x8809 -x4787 x1881 x10403 -x4789 x9797 x9795 -x10681 -x9694 -x4783 x2024 -x10685 -x9695 x7398 x2028 x1905 -x9690 x7410 -x4784 x1904 -x10687 -x9688 x1911 -x10688 x1915 x10635 -x10383 x1918 x10634 x9628 x10641 -x10385 x9629 -x10645 -x10386 x9698 x10649 x9700 x9645 x10648 x9705 -x9467 -x9468 x7467 x9713 x9469 x7471 x9485 -x5786 -x8049 -x5788 x8048 x7473 -x7474 x9624 -x8307 x8056 x5782 x9625 x8060 x5468 -x1619 x9620 -x8310 -x8064 x5783 x5469 -x1618 -x8063 x5470 x9618 -x6291 x5486 -x1626 -x1630 x8079 x6297 -x4841 x1634 -x8083 -x4843 x1633 -x435 -x436 x8026 x437 x8085 -x8047 x6300 -x4837 x453 -x9719 x9515 x8086 x8043 -x9718 x9517 x8042 -x4838 x9522 -x10278 x9725 x9729 x9530 x7808 x10281 x9733 x7810 x9732 x7815 x10593 x10595 -x8717 x10628 -x10764 x8596 -x175 x10630 x4439 -x180 x10631 x4443 -x10344 x185 -x10348 x7506 x4445 -x2131 x4446 x8344 x9463 x5380 -x10746 x6105 x3843 -x2882 -x2881 -x1885 -x10751 x6108 -x10756 -x8811 x10391 x9783 -x8813 x10392 x9785 -x2878 x9790 -x4788 -x8807 x10676 x9798 x10675 -x9693 -x8808 -x9692 -x10682 x7407 -x5436 x2023 -x10686 x7409 x5439 x2027 -x10690 -x10689 x10377 x1906 x10376 -x9689 x1907 -x10384 -x10388 x10636 -x10387 x10637 -x7462 x9644 -x7461 x9701 x9642 -x9488 x7468 x9717 -x9489 x7472 -x5787 x9716 x9484 x7476 x7475 x9623 -x9482 x9622 x8050 -x8306 -x8223 x8051 -x8227 x8052 -x8312 x8068 -x6288 x5489 -x8074 x5490 x1620 x9619 -x8073 -x6293 x5485 x1621 -x4842 x1622 x8315 x8080 x6298 x5483 -x1638 -x8084 x8088 -x8044 x6301 -x4795 -x456 x8087 -x8046 x6299 -x457 x452 x8040 x450 -x9720 x9518 -x10277 -x9721 x8041 x9534 x10283 x9737 x9533 x10594 x7811 x7823 x10623 x10622 -x10286 x10765 x10629 x10633 x8595 x10632 -x174 x4440 -x176 x4444 -x181 -x10343 x4448 x2128 -x10347 x4447 x7508 -x2133 x8343 -x10766 -x5384 -x3846 x9464 -x3847 x6104 x3842 -x10745 -x10747 x6110 x3840 -x10752 -x8812 x9786 x10677 x7408 x10678 -x5435 x2025 x5438 x2029 -x10694 -x2031 x1921 x10378 -x2032 x1922 -x9487 -x9486 -x7463 x9643 -x7464 x9714 x10767 x9697 x9715 -x9483 -x8308 -x8222 x8071 x5488 -x8226 x8072 x5487 -x8313 x8067 -x6287 x8316 x8065 -x6289 x1641 x8314 -x8075 -x6294 x1642 -x8076 -x5484 x4792 -x1637 -x455 -x8045 x6302 -x454 x4794 -x1635 x451 -x10279 x10284 x9736 x9531 -x8165 x7820 x3899 -x8169 x7822 -x10287 x9734 x9532 -x9435 -x10285 x8597 -x7503 -x177 -x10345 -x9975 x8600 x7502 -x4452 -x193 x10349 -x9979 x2127 -x189 x7509 x2129 -x188 -x2134 x8345 -x3845 -x3844 -x5383 x6106 -x5381 x6111 x3841 -x10748 -x5437 x2026 x5440 x2030 -x10693 -x2034 x1920 -x2033 x1919 -x10691 x7922 x9696 -x8070 x8069 -x8224 -x8309 -x8228 -x1640 x8317 -x1639 -x8230 x8066 -x8231 -x6290 x4791 x4796 -x1636 -x10768 x10769 -x10280 x7821 -x9431 -x8164 x3898 -x10288 -x8168 x9735 -x9434 x10770 x8598 x8601 -x190 x8599 -x192 -x10346 -x9974 -x4451 x10350 -x9978 x7504 x7505 -x4449 -x186 x2130 x7513 x2141 -x187 -x5382 x6107 -x10692 x7921 x8225 -x8229 x4793 -x9430 -x8166 x3900 x10292 -x8170 x10291 -x9436 -x3903 x8602 -x191 -x9976 -x9980 -x4450 x2138 x2140 x9982 x7512 x9983 -x2137 -x9429 x9432 -x8167 x3901 -x8171 x10289 -x9437 x3904 x3902 x10290 -x9977 -x9981 x2139 x9985 x9984 x7510 -x2135 -x9428 -x9427 x9433 x3905 -x10771 x10772 x7511 -x2136 x1
OK 1058
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4082844-1465236258/watcher-4082844-1465236258 -o /tmp/evaluation-result-4082844-1465236258/solver-4082844-1465236258 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465219565-1169 --watchdog 1960 naps-1.02 HOME/instance-4082844-1465236258.opb pid=3607 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.36 2.30 2.21 4/176 3610 /proc/meminfo: memFree=30137836/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=7280 CPUtime=0 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 506 0 0 0 0 0 0 0 20 0 1 0 105558995 7454720 380 33554432000 4194304 5796924 140736543854304 140735904701384 4621249 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 1820 380 114 392 0 1419 0 [startup+0.100147 s] /proc/loadavg: 2.36 2.30 2.21 4/176 3610 /proc/meminfo: memFree=30137836/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=10764 CPUtime=0.09 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 1453 0 0 0 9 0 0 0 20 0 1 0 105558995 11022336 1278 33554432000 4194304 5796924 140736543854304 140735904701384 5087606 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 2691 1278 129 392 0 2290 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10764 [startup+0.200309 s] /proc/loadavg: 2.36 2.30 2.21 4/176 3610 /proc/meminfo: memFree=30137836/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=14072 CPUtime=0.19 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 2307 0 0 0 19 0 0 0 20 0 1 0 105558995 14409728 2127 33554432000 4194304 5796924 140736543854304 140735904701384 5095032 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 3518 2127 129 392 0 3117 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 14072 [startup+0.300281 s] /proc/loadavg: 2.36 2.30 2.21 4/176 3610 /proc/meminfo: memFree=30137836/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=16192 CPUtime=0.29 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 2938 0 0 0 29 0 0 0 20 0 1 0 105558995 16580608 2673 33554432000 4194304 5796924 140736543854304 140735904701384 5087494 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 4048 2673 140 392 0 3647 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16192 [startup+0.700225 s] /proc/loadavg: 2.36 2.30 2.21 4/176 3610 /proc/meminfo: memFree=30137836/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=18800 CPUtime=0.69 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 3755 0 0 0 69 0 0 0 20 0 1 0 105558995 19251200 3325 33554432000 4194304 5796924 140736543854304 140735904701384 4808116 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 4700 3325 140 392 0 4299 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18800 [startup+1.50029 s] /proc/loadavg: 2.36 2.30 2.21 4/177 3611 /proc/meminfo: memFree=30091688/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=108892 CPUtime=1.49 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 20434 0 0 0 145 4 0 0 20 0 1 0 105558995 111505408 26170 33554432000 4194304 5796924 140736543854304 140736543836952 4246767 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 27223 26170 167 392 0 26822 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 108892 [startup+3.10031 s] /proc/loadavg: 2.41 2.31 2.21 3/177 3611 /proc/meminfo: memFree=29879292/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=550784 CPUtime=3.08 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 67108 0 0 0 293 15 0 0 20 0 1 0 105558995 564002816 127233 33554432000 4194304 5796924 140736543854304 140736543834088 4601696 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 137696 127234 167 392 0 137295 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 550784 [startup+6.30031 s] /proc/loadavg: 2.41 2.31 2.21 3/177 3611 /proc/meminfo: memFree=29336556/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=961244 CPUtime=6.29 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 100373 0 0 0 604 25 0 0 20 0 1 0 105558995 984313856 214294 33554432000 4194304 5796924 140736543854304 140736543851864 5095032 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 240311 214295 167 392 0 239910 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 961244 [startup+12.7003 s] /proc/loadavg: 2.42 2.31 2.22 3/177 3611 /proc/meminfo: memFree=29300316/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=945388 CPUtime=12.68 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 107367 0 0 0 1240 28 0 0 20 0 1 0 105558995 968077312 218188 33554432000 4194304 5796924 140736543854304 140736543851352 5095032 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 236347 218188 177 392 0 235946 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 945388 [startup+25.5004 s] /proc/loadavg: 2.43 2.32 2.22 4/177 3611 /proc/meminfo: memFree=29082432/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1174828 CPUtime=25.48 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 127275 0 0 0 2512 36 0 0 20 0 1 0 105558995 1203023872 272530 33554432000 4194304 5796924 140736543854304 140736543851352 4569014 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 293707 272530 181 392 0 293306 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1174828 [startup+51.1004 s] /proc/loadavg: 2.36 2.31 2.22 3/177 3611 /proc/meminfo: memFree=29079272/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1174828 CPUtime=51.07 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 127582 0 0 0 5071 36 0 0 20 0 1 0 105558995 1203023872 273348 33554432000 4194304 5796924 140736543854304 140736543851352 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 293707 273348 181 392 0 293306 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1174828 [startup+102.3 s] /proc/loadavg: 2.25 2.28 2.21 3/177 3612 /proc/meminfo: memFree=29068592/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1178660 CPUtime=102.27 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 128096 0 0 0 10191 36 0 0 20 0 1 0 105558995 1206947840 275906 33554432000 4194304 5796924 140736543854304 140736543851352 4594694 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 294665 275906 181 392 0 294264 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1178660 [startup+162.3 s] /proc/loadavg: 2.23 2.27 2.21 4/177 3614 /proc/meminfo: memFree=29015228/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1232588 CPUtime=162.26 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 128919 0 0 0 16189 37 0 0 20 0 1 0 105558995 1262170112 278759 33554432000 4194304 5796924 140736543854304 140736543851352 4568949 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 308147 278759 181 392 0 307746 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 1232588 [startup+222.307 s] /proc/loadavg: 2.24 2.27 2.21 3/177 3615 /proc/meminfo: memFree=29072020/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1182500 CPUtime=222.26 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 129209 0 0 0 22187 39 0 0 20 0 1 0 105558995 1210880000 274885 33554432000 4194304 5796924 140736543854304 140736543851768 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 295625 274885 181 392 0 295224 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 1182500 [startup+282.3 s] /proc/loadavg: 2.39 2.29 2.22 3/177 3616 /proc/meminfo: memFree=29027460/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1236364 CPUtime=282.25 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 129537 0 0 0 28185 40 0 0 20 0 1 0 105558995 1266036736 277768 33554432000 4194304 5796924 140736543854304 140736543851944 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 309091 277768 181 392 0 308690 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 1236364 [startup+342.3 s] /proc/loadavg: 2.25 2.27 2.21 4/177 3617 /proc/meminfo: memFree=29014004/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1236364 CPUtime=342.24 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 130249 0 0 0 34184 40 0 0 20 0 1 0 105558995 1266036736 279487 33554432000 4194304 5796924 140736543854304 140736543851944 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 309091 279487 181 392 0 308690 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 1236364 [startup+402.3 s] /proc/loadavg: 2.27 2.28 2.22 3/178 3621 /proc/meminfo: memFree=29005964/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1236364 CPUtime=402.23 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 130268 0 0 0 40183 40 0 0 20 0 1 0 105558995 1266036736 281039 33554432000 4194304 5796924 140736543854304 140736543851944 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 309091 281039 181 392 0 308690 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 1236364 [startup+462.3 s] /proc/loadavg: 2.27 2.27 2.21 3/177 3623 /proc/meminfo: memFree=29000240/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1240184 CPUtime=462.22 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 131155 0 0 0 46179 43 0 0 20 0 1 0 105558995 1269948416 279781 33554432000 4194304 5796924 140736543854304 140736543851944 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 310046 279781 181 392 0 309645 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 1240184 [startup+522.3 s] /proc/loadavg: 2.33 2.28 2.22 4/177 3624 /proc/meminfo: memFree=28997152/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1240184 CPUtime=522.21 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 131377 0 0 0 52178 43 0 0 20 0 1 0 105558995 1269948416 281536 33554432000 4194304 5796924 140736543854304 140736543851944 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 310046 281536 181 392 0 309645 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 1240184 [startup+582.3 s] /proc/loadavg: 2.34 2.29 2.22 3/177 3625 /proc/meminfo: memFree=29011664/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1193936 CPUtime=582.2 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 131464 0 0 0 58175 45 0 0 20 0 1 0 105558995 1222590464 277967 33554432000 4194304 5796924 140736543854304 140736543851768 4568961 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 298484 277967 181 392 0 298083 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 1193936 ################ # More data... # ################ [startup+882.307 s] /proc/loadavg: 2.27 2.27 2.23 3/177 3631 /proc/meminfo: memFree=28974972/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1247824 CPUtime=882.16 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 133408 0 0 0 88167 49 0 0 20 0 1 0 105558995 1277771776 283892 33554432000 4194304 5796924 140736543854304 140736543851944 4606427 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 311956 283892 181 392 0 311555 0 Current children cumulated CPU time (s) 882.16 Current children cumulated vsize (KiB) 1247824 [startup+942.3 s] /proc/loadavg: 2.26 2.27 2.22 4/177 3632 /proc/meminfo: memFree=28990292/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1201804 CPUtime=942.14 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 133686 0 0 0 94163 51 0 0 20 0 1 0 105558995 1230647296 281025 33554432000 4194304 5796924 140736543854304 140736543851768 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 300451 281025 181 392 0 300050 0 Current children cumulated CPU time (s) 942.14 Current children cumulated vsize (KiB) 1201804 [startup+1002.3 s] /proc/loadavg: 2.21 2.25 2.22 4/178 3636 /proc/meminfo: memFree=28995060/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1251892 CPUtime=1002.13 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 134224 0 0 0 100161 52 0 0 20 0 1 0 105558995 1281937408 283585 33554432000 4194304 5796924 140736543854304 140736543851944 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 312973 283585 181 392 0 312572 0 Current children cumulated CPU time (s) 1002.13 Current children cumulated vsize (KiB) 1251892 [startup+1062.3 s] /proc/loadavg: 2.34 2.26 2.22 4/177 3638 /proc/meminfo: memFree=29006800/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1251892 CPUtime=1062.12 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 134952 0 0 0 106157 55 0 0 20 0 1 0 105558995 1281937408 282190 33554432000 4194304 5796924 140736543854304 140736543851944 4582594 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 312973 282190 181 392 0 312572 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 1251892 [startup+1122.3 s] /proc/loadavg: 2.24 2.24 2.21 3/177 3639 /proc/meminfo: memFree=28958880/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1255808 CPUtime=1122.11 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 135371 0 0 0 112156 55 0 0 20 0 1 0 105558995 1285947392 285659 33554432000 4194304 5796924 140736543854304 140736543851352 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 313952 285659 181 392 0 313551 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 1255808 [startup+1182.3 s] /proc/loadavg: 2.28 2.26 2.22 4/177 3640 /proc/meminfo: memFree=28963172/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1255808 CPUtime=1182.09 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 135397 0 0 0 118154 55 0 0 20 0 1 0 105558995 1285947392 288228 33554432000 4194304 5796924 140736543854304 140736543851352 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 313952 288228 181 392 0 313551 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 1255808 [startup+1242.3 s] /proc/loadavg: 2.24 2.24 2.21 3/177 3641 /proc/meminfo: memFree=28994132/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1255808 CPUtime=1242.09 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 136427 0 0 0 124150 59 0 0 20 0 1 0 105558995 1285947392 284558 33554432000 4194304 5796924 140736543854304 140736543851944 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 313952 284558 181 392 0 313551 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 1255808 [startup+1302.3 s] /proc/loadavg: 2.32 2.26 2.22 4/177 3642 /proc/meminfo: memFree=28953076/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1259720 CPUtime=1302.07 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 136501 0 0 0 130148 59 0 0 20 0 1 0 105558995 1289953280 286998 33554432000 4194304 5796924 140736543854304 140736543851352 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 314930 286998 181 392 0 314529 0 Current children cumulated CPU time (s) 1302.07 Current children cumulated vsize (KiB) 1259720 [startup+1362.3 s] /proc/loadavg: 2.37 2.28 2.22 4/177 3874 /proc/meminfo: memFree=29097740/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1259720 CPUtime=1362.04 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 136536 0 0 0 136145 59 0 0 20 0 1 0 105558995 1289953280 290309 33554432000 4194304 5796924 140736543854304 140736543851352 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 314930 290309 181 392 0 314529 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 1259720 [startup+1422.3 s] /proc/loadavg: 2.36 2.30 2.23 3/177 3920 /proc/meminfo: memFree=29066868/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1259720 CPUtime=1422.03 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 136821 0 0 0 142142 61 0 0 20 0 1 0 105558995 1289953280 285274 33554432000 4194304 5796924 140736543854304 140736543851944 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 314930 285274 181 392 0 314529 0 Current children cumulated CPU time (s) 1422.03 Current children cumulated vsize (KiB) 1259720 [startup+1482.3 s] /proc/loadavg: 2.35 2.30 2.24 3/177 3921 /proc/meminfo: memFree=29042084/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1259720 CPUtime=1482 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 137190 0 0 0 148139 61 0 0 20 0 1 0 105558995 1289953280 287652 33554432000 4194304 5796924 140736543854304 140736543851944 4569794 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 314930 287652 181 392 0 314529 0 Current children cumulated CPU time (s) 1482 Current children cumulated vsize (KiB) 1259720 [startup+1542.31 s] /proc/loadavg: 2.29 2.29 2.24 4/176 3922 /proc/meminfo: memFree=28992336/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1264980 CPUtime=1541.97 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 137616 0 0 0 154136 61 0 0 20 0 1 0 105558995 1295339520 290599 33554432000 4194304 5796924 140736543854304 140736543851352 4606847 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 316245 290599 181 392 0 315844 0 Current children cumulated CPU time (s) 1541.97 Current children cumulated vsize (KiB) 1264980 [startup+1602.3 s] /proc/loadavg: 2.36 2.30 2.24 3/178 3927 /proc/meminfo: memFree=29021436/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1264980 CPUtime=1601.96 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 137620 0 0 0 160134 62 0 0 20 0 1 0 105558995 1295339520 292647 33554432000 4194304 5796924 140736543854304 140736543851352 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 316245 292647 181 392 0 315844 0 Current children cumulated CPU time (s) 1601.96 Current children cumulated vsize (KiB) 1264980 [startup+1662.3 s] /proc/loadavg: 2.25 2.27 2.23 3/176 3928 /proc/meminfo: memFree=29043188/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1264980 CPUtime=1661.95 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 138243 0 0 0 166131 64 0 0 20 0 1 0 105558995 1295339520 287039 33554432000 4194304 5796924 140736543854304 140736543851944 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 316245 287039 181 392 0 315844 0 Current children cumulated CPU time (s) 1661.95 Current children cumulated vsize (KiB) 1264980 [startup+1722.3 s] /proc/loadavg: 2.31 2.28 2.24 4/177 3930 /proc/meminfo: memFree=28996660/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1264980 CPUtime=1721.93 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 138351 0 0 0 172129 64 0 0 20 0 1 0 105558995 1295339520 288669 33554432000 4194304 5796924 140736543854304 140736543851944 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 316245 288669 181 392 0 315844 0 Current children cumulated CPU time (s) 1721.93 Current children cumulated vsize (KiB) 1264980 [startup+1782.3 s] /proc/loadavg: 2.34 2.29 2.24 3/177 3931 /proc/meminfo: memFree=29026968/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1264980 CPUtime=1781.91 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 138361 0 0 0 178127 64 0 0 20 0 1 0 105558995 1295339520 290717 33554432000 4194304 5796924 140736543854304 140736543851944 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 316245 290717 181 392 0 315844 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 1264980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.33 2.29 2.24 3/177 3932 /proc/meminfo: memFree=28988748/32872528 swapFree=16360/1798728 [pid=3610] ppid=3607 vsize=1264980 CPUtime=1800.01 cores=1,3,5,7 /proc/3610/stat : 3610 (naps-1.02) R 3607 3610 1152 0 -1 4202496 138362 0 0 0 179937 64 0 0 20 0 1 0 105558995 1295339520 291229 33554432000 4194304 5796924 140736543854304 140736543851944 4607241 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0 /proc/3610/statm: 316245 291229 181 392 0 315844 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1264980 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 3610 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.41 CPU time (s): 1800.04 CPU user time (s): 1799.38 CPU system time (s): 0.658899 CPU usage (%): 99.9792 Max. virtual memory (cumulated for all children) (KiB): 1345120 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.38 system time used= 0.658899 maximum resident set size= 1255140 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 138374 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= 174 involuntary context switches= 1891 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.49332 second user time and 6.96894 second system time The end
Begin job on node123 at 2016-06-06 20:04:18 IDJOB=4082844 IDBENCH=2224 IDSOLVER=2544 FILE ID=node123/4082844-1465236258 RUNJOBID= node123-1465219565-1169 PBS_JOBID= 19843215 Free space on /tmp= 71728 MiB SOLVER NAME= NaPS 1.02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.5:100.opb COMMAND LINE= naps-1.02 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4082844-1465236258/watcher-4082844-1465236258 -o /tmp/evaluation-result-4082844-1465236258/solver-4082844-1465236258 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465219565-1169 --watchdog 1960 naps-1.02 HOME/instance-4082844-1465236258.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9d611ad786b3505d4cca46af1ba2bc6d RANDOM SEED=847262838 node123.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.117 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.23 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.117 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.117 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.117 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.117 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.117 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.117 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.117 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30137992 kB Buffers: 15344 kB Cached: 67264 kB SwapCached: 1832 kB Active: 172720 kB Inactive: 41524 kB Active(anon): 131916 kB Inactive(anon): 2052 kB Active(file): 40804 kB Inactive(file): 39472 kB Unevictable: 1798728 kB Mlocked: 16360 kB SwapTotal: 67108856 kB SwapFree: 67098732 kB Dirty: 4272 kB Writeback: 0 kB AnonPages: 1949976 kB Mapped: 7804 kB Shmem: 0 kB Slab: 566024 kB SReclaimable: 10324 kB SUnreclaim: 555700 kB KernelStack: 1416 kB PageTables: 7836 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2079864 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1925120 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71724 MiB End job on node123 at 2016-06-06 20:34:19