Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| bsolo 3.1 cl | SAT (MO) | 615 | 385.422 | 385.591 |
| 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 | 44 |
| Best CPU time to get the best result obtained on this benchmark | 1793.93 |
| 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 bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1878593-1245162860.opb 0.00/0.00 c File size is 592717 bytes. 0.06/0.09 c Highest Coefficient sum: 30986 0.06/0.09 c Parsing was ok!! 0.06/0.09 c Total parsing time: 0.088 s 0.06/0.09 c Var: 10772 Constr: 12052 10249/1803/0 Lit: 45891 Watch. Lit: 27579 0.06/0.09 c Obj. Vars: 10772 (100 % of total variables) 0.09/0.18 c Pre-processing Time: 0.186 s 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 0 10771 12038 45847 3 27552 28514 0 0 0.19 0.09/0.18 c Switching off lower bounding mode. 0.09/0.20 o 698 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 0 10771 12039 56618 4 35571 50056 1 0 0.21 0.19/0.22 o 697 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 0 10771 12040 67389 5 43591 71598 2 0 0.23 0.19/0.23 o 696 0.19/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.27 c 0 10771 12041 78160 6 51611 93140 3 0 0.24 0.19/0.27 o 695 0.79/0.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.88 c 2 10771 12044 94450 7 59637 93140 6 7 0.28 0.79/0.88 o 623 2.19/2.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.28 c 2 10771 12045 105221 8 67474 93140 7 2 0.89 2.19/2.28 c 102 10771 12145 384623 31 67499 102455 107 68 1.50 2.19/2.28 o 615 385.12/385.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 385.12/385.30 c 102 10771 12146 395394 32 75791 93140 108 44 2.30 385.12/385.30 c 202 10771 12246 669559 54 75998 102455 208 63 3.18 385.12/385.30 c 452 10771 12496 1360227 108 76449 112701 458 92 4.91 385.12/385.30 c 927 10771 12971 2657847 204 77519 123972 933 126 7.32 385.12/385.30 c 1741 10771 13785 4922025 357 78990 136370 1747 155 11.19 385.12/385.30 c 3061 10771 15105 8608132 569 81655 150008 3067 167 18.26 385.12/385.30 c 5142 10771 17186 14403411 838 85643 165009 5148 177 29.00 385.12/385.30 c 8366 10771 20410 23402992 1146 92243 181510 8372 169 49.45 385.12/385.30 c 13302 10771 25346 37263782 1470 101975 199662 13308 161 82.26 385.12/385.30 c 20808 10771 32852 58185054 1771 117071 219629 20814 153 135.67 385.12/385.30 c 32169 10771 44213 89834856 2031 139824 241592 32175 136 234.84 385.12/385.30 c 49313 10771 61357 138104704 2250 173908 265752 49319 133 370.33 385.12/385.30 c Caught signal: 15 385.12/385.30 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 -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 -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 -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 -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 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 385.12/385.31 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 385.12/385.31 c 18 51232 18002 142501 63276 143505293 51238 133 385.14 385.12/385.31 c Objective: 615 385.12/385.31 s SATISFIABLE 385.12/385.31 c Total time: 385.141 s
OK 615
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878593-1245162860/watcher-1878593-1245162860 -o /tmp/evaluation-result-1878593-1245162860/solver-1878593-1245162860 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878593-1245162860.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 0.97 0.99 3/64 3127 /proc/meminfo: memFree=1924904/2055920 swapFree=4181364/4192956 [pid=3127] ppid=3125 vsize=19108 CPUtime=0 /proc/3127/stat : 3127 (bsolo) R 3125 3127 2870 0 -1 4194304 265 0 0 0 0 0 0 0 18 0 1 0 183883302 19566592 249 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3127/statm: 4777 250 173 640 0 3988 0 [startup+0.072576 s] /proc/loadavg: 1.00 0.97 0.99 3/64 3127 /proc/meminfo: memFree=1924904/2055920 swapFree=4181364/4192956 [pid=3127] ppid=3125 vsize=13292 CPUtime=0.06 /proc/3127/stat : 3127 (bsolo) R 3125 3127 2870 0 -1 4194304 859 0 0 0 6 0 0 0 18 0 1 0 183883302 13611008 843 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3127/statm: 3323 843 285 640 0 2534 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13292 [startup+0.10154 s] /proc/loadavg: 1.00 0.97 0.99 3/64 3127 /proc/meminfo: memFree=1924904/2055920 swapFree=4181364/4192956 [pid=3127] ppid=3125 vsize=14416 CPUtime=0.09 /proc/3127/stat : 3127 (bsolo) R 3125 3127 2870 0 -1 4194304 1324 0 0 0 9 0 0 0 18 0 1 0 183883302 14761984 1163 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3127/statm: 3604 1163 189 640 0 2960 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14416 [startup+0.301559 s] /proc/loadavg: 1.00 0.97 0.99 3/64 3127 /proc/meminfo: memFree=1924904/2055920 swapFree=4181364/4192956 [pid=3127] ppid=3125 vsize=16160 CPUtime=0.29 /proc/3127/stat : 3127 (bsolo) R 3125 3127 2870 0 -1 4194304 2026 0 0 0 25 4 0 0 19 0 1 0 183883302 16547840 1598 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3127/statm: 4040 1598 197 640 0 3396 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16160 [startup+0.701598 s] /proc/loadavg: 1.00 0.97 0.99 3/64 3127 /proc/meminfo: memFree=1924904/2055920 swapFree=4181364/4192956 [pid=3127] ppid=3125 vsize=16160 CPUtime=0.69 /proc/3127/stat : 3127 (bsolo) R 3125 3127 2870 0 -1 4194304 2026 0 0 0 65 4 0 0 23 0 1 0 183883302 16547840 1598 1992294400 134512640 137136520 4294956256 18446744073709551615 134544259 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3127/statm: 4040 1598 197 640 0 3396 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16160 [startup+1.50168 s] /proc/loadavg: 1.00 0.97 0.99 2/65 3128 /proc/meminfo: memFree=1918944/2055920 swapFree=4181364/4192956 [pid=3127] ppid=3125 vsize=19956 CPUtime=1.49 /proc/3127/stat : 3127 (bsolo) R 3125 3127 2870 0 -1 4194304 2991 0 0 0 145 4 0 0 25 0 1 0 183883302 20434944 2563 1992294400 134512640 137136520 4294956256 18446744073709551615 134578788 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3127/statm: 4989 2563 197 640 0 4345 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19956 [startup+3.10184 s] /proc/loadavg: 1.00 0.97 0.99 2/65 3128 /proc/meminfo: memFree=1915296/2055920 swapFree=4181364/4192956 [pid=3127] ppid=3125 vsize=23508 CPUtime=3.09 /proc/3127/stat : 3127 (bsolo) R 3125 3127 2870 0 -1 4194304 4619 0 0 0 304 5 0 0 25 0 1 0 183883302 24072192 3397 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3127/statm: 5877 3397 197 640 0 5233 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23508 [startup+6.30217 s] /proc/loadavg: 1.00 0.97 0.99 2/65 3128 /proc/meminfo: memFree=1902304/2055920 swapFree=4181364/4192956 [pid=3127] ppid=3125 vsize=37804 CPUtime=6.29 /proc/3127/stat : 3127 (bsolo) R 3125 3127 2870 0 -1 4194304 10213 0 0 0 622 7 0 0 25 0 1 0 183883302 38711296 7028 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3127/statm: 9451 7028 197 640 0 8807 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37804 [startup+12.7018 s] /proc/loadavg: 1.00 0.97 0.99 2/65 3128 /proc/meminfo: memFree=1856936/2055920 swapFree=4181364/4192956 [pid=3127] ppid=3125 vsize=82952 CPUtime=12.68 /proc/3127/stat : 3127 (bsolo) R 3125 3127 2870 0 -1 4194304 27924 0 0 0 1256 12 0 0 25 0 1 0 183883302 84942848 18323 1992294400 134512640 137136520 4294956256 18446744073709551615 134574232 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3127/statm: 20738 18323 197 640 0 20094 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 82952 [startup+25.5011 s] /proc/loadavg: 1.00 0.97 0.99 2/65 3128 /proc/meminfo: memFree=1758568/2055920 swapFree=4181364/4192956 [pid=3127] ppid=3125 vsize=178484 CPUtime=25.48 /proc/3127/stat : 3127 (bsolo) R 3125 3127 2870 0 -1 4194304 63262 0 0 0 2522 26 0 0 25 0 1 0 183883302 182767616 42174 1992294400 134512640 137136520 4294956256 18446744073709551615 134574427 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3127/statm: 44621 42174 197 640 0 43977 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 178484 [startup+51.1016 s] /proc/loadavg: 1.00 0.97 0.99 2/65 3128 /proc/meminfo: memFree=1620392/2055920 swapFree=4181364/4192956 [pid=3127] ppid=3125 vsize=318820 CPUtime=51.07 /proc/3127/stat : 3127 (bsolo) R 3125 3127 2870 0 -1 4194304 136518 0 0 0 5055 52 0 0 25 0 1 0 183883302 326471680 77271 1992294400 134512640 137136520 4294956256 18446744073709551615 134600009 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3127/statm: 79705 77271 197 640 0 79061 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 318820 [startup+102.306 s] /proc/loadavg: 1.00 0.97 0.99 2/65 3128 /proc/meminfo: memFree=1328680/2055920 swapFree=4181364/4192956 [pid=3127] ppid=3125 vsize=606032 CPUtime=102.25 /proc/3127/stat : 3127 (bsolo) R 3125 3127 2870 0 -1 4194304 274411 0 0 0 10125 100 0 0 25 0 1 0 183883302 620576768 149051 1992294400 134512640 137136520 4294956256 18446744073709551615 134599913 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3127/statm: 151508 149051 197 640 0 150864 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 606032 [startup+162.302 s] /proc/loadavg: 1.00 0.97 0.99 2/65 3128 /proc/meminfo: memFree=1046248/2055920 swapFree=4181364/4192956 [pid=3127] ppid=3125 vsize=889844 CPUtime=162.22 /proc/3127/stat : 3127 (bsolo) R 3125 3127 2870 0 -1 4194304 418446 0 0 0 16069 153 0 0 25 0 1 0 183883302 911200256 220046 1992294400 134512640 137136520 4294956256 18446744073709551615 136502148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3127/statm: 222461 220046 197 640 0 221817 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 889844 [startup+222.302 s] /proc/loadavg: 1.00 0.97 0.99 2/65 3128 /proc/meminfo: memFree=818984/2055920 swapFree=4181364/4192956 [pid=3127] ppid=3125 vsize=1114328 CPUtime=222.2 /proc/3127/stat : 3127 (bsolo) R 3125 3127 2870 0 -1 4194304 536336 0 0 0 22021 199 0 0 25 0 1 0 183883302 1141071872 276167 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3127/statm: 278582 276167 197 640 0 277938 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 1114328 [startup+282.302 s] /proc/loadavg: 1.00 0.97 0.99 2/65 3128 /proc/meminfo: memFree=505512/2055920 swapFree=4181364/4192956 [pid=3127] ppid=3125 vsize=1430176 CPUtime=282.17 /proc/3127/stat : 3127 (bsolo) R 3125 3127 2870 0 -1 4194304 651087 0 0 0 27973 244 0 0 25 0 1 0 183883302 1464500224 355114 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3127/statm: 357544 355114 197 640 0 356900 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 1430176 [startup+342.302 s] /proc/loadavg: 1.00 0.97 0.99 2/65 3128 /proc/meminfo: memFree=250664/2055920 swapFree=4181364/4192956 [pid=3127] ppid=3125 vsize=1682168 CPUtime=342.14 /proc/3127/stat : 3127 (bsolo) R 3125 3127 2870 0 -1 4194304 729885 0 0 0 33940 274 0 0 25 0 1 0 183883302 1722540032 418127 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3127/statm: 420542 418127 197 640 0 419898 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 1682168 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+385.302 s] /proc/loadavg: 1.00 0.97 0.99 2/65 3128 /proc/meminfo: memFree=87976/2055920 swapFree=4181364/4192956 [pid=3127] ppid=3125 vsize=1843252 CPUtime=385.12 /proc/3127/stat : 3127 (bsolo) R 3125 3127 2870 0 -1 4194304 806445 0 0 0 38209 303 0 0 25 0 1 0 183883302 1887490048 458398 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3127/statm: 460813 458398 197 640 0 460169 0 Current children cumulated CPU time (s) 385.12 Current children cumulated vsize (KiB) 1843252 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+385.406 s] /proc/loadavg: 1.00 0.97 0.99 2/65 3128 /proc/meminfo: memFree=87976/2055920 swapFree=4181364/4192956 [pid=3127] ppid=3125 vsize=0 CPUtime=385.23 /proc/3127/stat : 3127 (bsolo) R 3125 3127 2870 0 -1 4194308 806447 0 0 0 38210 313 0 0 25 0 1 0 183883302 0 0 1992294400 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/3127/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 385.23 Current children cumulated vsize (KiB) 0 [startup+385.501 s] /proc/loadavg: 1.00 0.97 0.99 2/65 3128 /proc/meminfo: memFree=87976/2055920 swapFree=4181364/4192956 [pid=3127] ppid=3125 vsize=0 CPUtime=385.33 /proc/3127/stat : 3127 (bsolo) R 3125 3127 2870 0 -1 4194308 806447 0 0 0 38210 323 0 0 25 0 1 0 183883302 0 0 1992294400 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/3127/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 385.33 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 385.591 CPU time (s): 385.422 CPU user time (s): 382.102 CPU system time (s): 3.3205 CPU usage (%): 99.9563 Max. virtual memory (cumulated for all children) (KiB): 1843252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 382.102 system time used= 3.3205 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 806447 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= 2 involuntary context switches= 1609 runsolver used 0.353946 second user time and 1.05884 second system time The end
Begin job on node36 at 2009-06-16 16:34:20 IDJOB=1878593 IDBENCH=2224 IDSOLVER=700 FILE ID=node36/1878593-1245162860 PBS_JOBID= 9363826 Free space on /tmp= 66200 MiB SOLVER NAME= bsolo 3.1 cl 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= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878593-1245162860/watcher-1878593-1245162860 -o /tmp/evaluation-result-1878593-1245162860/solver-1878593-1245162860 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878593-1245162860.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9d611ad786b3505d4cca46af1ba2bc6d RANDOM SEED=1726262761 node36.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.230 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.230 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1925384 kB Buffers: 27248 kB Cached: 57436 kB SwapCached: 6436 kB Active: 56220 kB Inactive: 37416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1925384 kB SwapTotal: 4192956 kB SwapFree: 4181364 kB Dirty: 4520 kB Writeback: 0 kB Mapped: 13428 kB Slab: 22964 kB Committed_AS: 177628 kB PageTables: 1360 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878593-1245162860.opb Free space on /tmp at the end= 66196 MiB End job on node36 at 2009-06-16 16:40:47