Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
pwbo 2.0 | SAT (TO) | -9410 | 1800.18 | 900.418 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mzzv42z.opb |
MD5SUM | 8886b8ab7bdc8ec03150a7b794b8a992 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -10270 |
Best CPU time to get the best result obtained on this benchmark | 26.399 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -10270 |
Optimality of the best value was proved | YES |
Number of variables | 12596 |
Total number of constraints | 10687 |
Number of constraints which are clauses | 4 |
Number of constraints which are cardinality constraints (but not clauses) | 5680 |
Number of constraints which are nor clauses,nor cardinality constraints | 5003 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 714 |
Biggest coefficient in the objective function | 559 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 66891 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1117 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 66891 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c ==============================[ Solver Version ]=============================== 0.00/0.00 c | | 0.00/0.00 c | pwbo: 2.0 beta - March, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3703472-1338086756.opb. 0.00/0.00 c Instance file HOME/instance-3703472-1338086756.opb 0.00/0.00 c File size is 1509680 bytes. 0.08/0.15 c Cost Offset: -11139 0.08/0.15 c Highest Coefficient sum: 7117 0.08/0.15 c ============================[ Problem Statistics ]============================= 0.08/0.15 c | | 0.08/0.15 c | Parsing time: 0.16 s | 0.08/0.15 c | Number Variables: 12596 | 0.08/0.15 c | Number Clauses: 2176 | 0.08/0.15 c | Number Cardinality: 12361 | 0.08/0.15 c | Number PB Constraints: 652 | 0.08/0.15 c | | 0.08/0.16 c | Problem Type: Optimization | 0.08/0.16 c | Objective Function: PB Constraint | 0.08/0.16 c | | 0.08/0.16 c =============================================================================== 216.16/108.24 o -330 216.16/108.24 o -2282 216.16/108.24 o -2284 216.16/108.24 o -3114 216.16/108.24 o -3119 216.16/108.24 o -3949 216.16/108.24 o -3959 216.16/108.24 o -3962 216.16/108.24 o -3965 216.16/108.24 o -4702 216.16/108.24 o -4706 216.16/108.24 o -4920 216.16/108.24 o -4922 216.16/108.24 o -4932 216.16/108.24 o -4934 216.16/108.24 o -4939 216.16/108.24 o -4944 216.16/108.24 o -4945 216.16/108.24 o -5457 216.16/108.24 o -5716 216.16/108.24 o -5726 216.16/108.24 o -5734 216.16/108.24 o -5744 216.16/108.24 o -5794 216.16/108.24 o -5799 216.16/108.24 o -5801 216.16/108.24 o -5806 216.16/108.24 o -5809 216.16/108.24 o -5878 216.16/108.24 o -6204 216.16/108.24 o -6249 216.16/108.24 o -6324 216.16/108.24 o -6326 216.16/108.24 o -6376 216.16/108.24 o -6379 216.16/108.24 o -6382 216.16/108.24 o -6386 216.16/108.24 o -6389 216.16/108.24 o -6430 216.16/108.24 o -6434 216.16/108.24 o -6436 216.16/108.24 o -6441 216.16/108.24 o -6446 216.16/108.24 o -6451 216.16/108.24 o -6452 216.16/108.24 o -6456 216.16/108.24 o -6459 216.16/108.24 o -6463 216.16/108.24 o -6466 216.16/108.24 o -6469 216.16/108.24 o -6473 216.16/108.24 o -6477 216.16/108.24 o -6479 216.16/108.24 o -6482 216.16/108.24 o -6485 216.16/108.24 o -6486 216.16/108.24 o -6491 216.16/108.24 o -6496 216.16/108.24 o -6499 216.16/108.24 o -6504 216.16/108.24 o -6505 216.16/108.24 o -6509 216.16/108.24 o -6512 216.16/108.24 o -6521 216.16/108.24 o -6526 216.16/108.24 o -6604 216.16/108.24 o -6606 216.16/108.24 o -6610 216.16/108.24 o -6614 216.16/108.24 o -6615 216.16/108.24 o -6620 216.16/108.24 o -6625 216.16/108.24 o -6627 216.16/108.24 o -6632 216.16/108.24 o -6634 216.16/108.24 o -6639 216.16/108.24 o -6643 216.16/108.24 o -6644 216.16/108.24 o -6647 216.16/108.24 o -6649 216.16/108.24 o -6652 216.16/108.24 o -6654 216.16/108.24 o -6663 216.16/108.24 o -6666 216.16/108.24 o -6668 216.16/108.24 o -6672 216.16/108.24 o -6675 216.16/108.24 o -6679 216.16/108.24 o -6684 216.16/108.24 o -6689 216.16/108.24 o -6694 216.16/108.24 o -6695 216.16/108.24 o -6696 216.16/108.24 o -6697 216.16/108.24 o -6702 216.16/108.24 o -6704 216.16/108.24 o -6708 216.16/108.24 o -6709 216.16/108.24 o -6711 216.16/108.24 o -6712 216.16/108.24 o -6715 216.16/108.24 o -6719 216.16/108.24 o -6720 216.16/108.24 o -6722 216.16/108.24 o -6724 216.16/108.24 o -6728 216.16/108.24 o -6729 216.16/108.24 o -6730 216.16/108.24 o -6733 216.16/108.24 o -6734 216.16/108.24 o -6741 216.16/108.24 o -6745 216.16/108.24 o -6749 216.16/108.24 o -6754 216.16/108.24 o -6755 216.16/108.24 o -6758 216.16/108.24 o -6759 216.16/108.24 o -6761 216.16/108.24 o -6766 216.16/108.24 o -6770 216.16/108.24 o -6774 216.16/108.24 o -6775 216.16/108.24 o -6777 216.16/108.24 o -6780 216.16/108.24 o -6795 216.16/108.24 o -6796 216.16/108.24 o -6799 216.16/108.24 o -6801 216.16/108.24 o -6804 216.16/108.24 o -6808 216.16/108.24 o -6813 216.16/108.24 o -6814 216.16/108.24 o -6912 216.16/108.24 o -6915 216.16/108.24 o -6919 216.16/108.24 o -6920 216.16/108.24 o -6925 216.16/108.24 o -6926 216.16/108.24 o -6929 216.16/108.24 o -6933 216.16/108.24 o -6934 216.16/108.24 o -6938 216.16/108.24 o -6943 216.16/108.24 o -6946 216.16/108.24 o -6949 216.16/108.24 o -6964 216.16/108.24 o -6965 216.16/108.24 o -6988 216.16/108.24 o -6990 216.16/108.24 o -7006 216.16/108.24 o -7010 216.16/108.24 o -7053 216.16/108.24 o -7054 216.16/108.24 o -7055 216.16/108.24 o -7059 216.16/108.24 o -7060 216.16/108.24 o -7062 216.16/108.24 o -7066 216.16/108.24 o -7067 216.16/108.24 o -7072 216.16/108.24 o -7077 216.16/108.24 o -7081 216.16/108.24 o -7083 216.16/108.24 o -7086 216.16/108.24 o -7090 216.16/108.24 o -7095 216.16/108.24 o -7099 216.16/108.24 o -7100 216.16/108.24 o -7102 216.16/108.24 o -7104 216.16/108.24 o -7106 216.16/108.24 o -7110 216.16/108.24 o -7114 216.16/108.24 o -7116 216.16/108.24 o -7117 216.16/108.24 o -7120 216.16/108.24 o -7121 216.16/108.24 o -7123 216.16/108.24 o -7127 216.16/108.24 o -7130 216.16/108.24 o -7132 216.16/108.24 o -7133 216.16/108.24 o -7135 216.16/108.24 o -7139 216.16/108.24 o -7143 216.16/108.24 o -7144 216.16/108.24 o -7145 216.16/108.24 o -7147 216.16/108.24 o -7197 216.16/108.24 o -7203 216.16/108.24 o -7218 216.16/108.24 o -7219 216.16/108.24 o -7221 216.16/108.24 o -7222 216.16/108.24 o -7226 216.16/108.24 o -7228 216.16/108.24 o -7230 216.16/108.24 o -7235 216.16/108.24 o -7239 216.16/108.24 o -7244 216.16/108.24 o -7245 216.16/108.24 o -7250 216.16/108.24 o -7255 216.16/108.24 o -7256 216.16/108.24 o -7261 216.16/108.24 o -7263 216.16/108.24 o -7265 216.16/108.24 o -7269 216.16/108.24 o -7270 216.16/108.24 o -7274 216.16/108.24 o -7279 216.16/108.24 o -7284 216.16/108.24 o -7289 216.16/108.24 o -7294 216.16/108.24 o -7295 216.16/108.24 o -7296 216.16/108.24 o -7300 216.16/108.24 o -7305 216.16/108.24 o -7310 216.16/108.24 o -7311 216.16/108.24 o -7316 216.16/108.24 o -7317 216.16/108.24 o -7319 216.16/108.24 o -7320 216.16/108.24 o -7325 216.16/108.24 o -7329 216.16/108.24 o -7334 216.16/108.24 o -7338 216.16/108.24 o -7342 216.16/108.24 o -7345 216.16/108.24 o -7349 216.16/108.24 o -7350 216.16/108.24 o -7351 216.16/108.24 o -7356 216.16/108.24 o -7360 216.16/108.24 o -7365 216.16/108.24 o -7367 216.16/108.24 o -7370 216.16/108.24 o -7374 216.16/108.24 o -7376 216.16/108.24 o -7377 216.16/108.24 o -7379 216.16/108.24 o -7381 216.16/108.24 o -7382 216.16/108.24 o -7384 216.16/108.24 o -7389 216.16/108.24 o -7390 216.16/108.24 o -7391 216.16/108.24 o -7393 216.16/108.24 o -7397 216.16/108.24 o -7400 216.16/108.24 o -7404 216.16/108.24 o -7406 216.16/108.24 o -7411 216.16/108.24 o -7415 216.16/108.24 o -7417 216.16/108.24 o -7422 216.16/108.24 o -7426 216.16/108.24 o -7431 216.16/108.24 o -7433 216.16/108.24 o -7435 216.16/108.24 o -7440 216.16/108.24 o -7441 216.16/108.24 o -7443 216.16/108.24 o -7445 216.16/108.24 o -7447 216.16/108.24 o -7451 216.16/108.24 o -7456 216.16/108.24 o -7458 216.16/108.24 o -7460 216.16/108.24 o -7463 216.16/108.24 o -7465 216.16/108.24 o -7466 216.16/108.24 o -7467 216.16/108.24 o -7472 216.16/108.24 o -7475 216.16/108.24 o -7480 216.16/108.24 o -7482 216.16/108.24 o -7486 216.16/108.24 o -7487 216.16/108.24 o -7488 216.16/108.24 o -7490 216.16/108.24 o -7493 216.16/108.24 o -7497 216.16/108.24 o -7498 216.16/108.24 o -7503 216.16/108.24 o -7507 216.16/108.24 o -7509 216.16/108.24 o -7511 216.16/108.24 o -7515 216.16/108.24 o -7519 216.16/108.24 o -7520 216.16/108.24 o -7525 216.16/108.24 o -7530 216.16/108.24 o -7534 216.16/108.24 o -7539 216.16/108.24 o -7542 216.16/108.24 o -7544 216.16/108.24 o -7549 216.16/108.24 o -7554 216.16/108.24 o -7555 216.16/108.24 o -7558 216.16/108.24 o -7559 216.16/108.24 o -7562 216.16/108.24 o -7564 216.16/108.24 o -7565 216.16/108.24 o -7569 216.16/108.24 o -7570 216.16/108.24 o -7572 216.16/108.24 o -7575 216.16/108.24 o -7579 216.16/108.24 o -7584 216.16/108.24 o -7589 216.16/108.24 o -7590 216.16/108.24 o -7592 216.16/108.24 o -7594 216.16/108.24 o -7595 216.16/108.24 o -7599 216.16/108.24 o -7601 216.16/108.24 o -7606 216.16/108.24 o -7610 216.16/108.24 o -7615 216.16/108.24 o -7618 216.16/108.24 o -7622 216.16/108.24 o -7627 216.16/108.24 o -7630 216.16/108.24 o -7634 216.16/108.24 o -7638 216.16/108.24 o -7641 216.16/108.24 o -7645 216.16/108.24 o -7646 216.16/108.24 o -7650 216.16/108.24 o -7655 216.16/108.24 o -7657 216.16/108.24 o -7659 216.16/108.24 o -7661 216.16/108.24 o -7665 216.16/108.24 o -7670 216.16/108.24 o -7673 216.16/108.24 o -7674 216.16/108.24 o -7679 216.16/108.24 o -7680 216.16/108.24 o -7684 216.16/108.24 o -7685 216.16/108.24 o -7686 216.16/108.24 o -7690 216.16/108.24 o -7691 216.16/108.24 o -7695 216.16/108.24 o -7700 216.16/108.24 o -7705 216.16/108.24 o -7706 216.16/108.24 o -7710 216.16/108.24 o -7714 216.16/108.24 o -7715 216.16/108.24 o -7720 216.16/108.24 o -7723 216.16/108.24 o -7725 216.16/108.24 o -7726 216.16/108.24 o -7729 216.16/108.24 o -7734 216.16/108.24 o -7739 216.16/108.24 o -7740 216.16/108.24 o -7744 216.16/108.24 o -7745 216.16/108.24 o -7749 216.16/108.24 o -7751 216.16/108.24 o -7756 216.16/108.24 o -7760 216.16/108.24 o -7764 216.16/108.24 o -7765 216.16/108.24 o -7770 216.16/108.24 o -7771 216.16/108.24 o -7776 216.16/108.24 o -7779 216.16/108.24 o -7780 216.16/108.24 o -7785 216.16/108.24 o -7786 216.16/108.24 o -7787 216.16/108.24 o -7789 216.16/108.24 o -7794 216.16/108.24 o -7796 216.16/108.24 o -7798 216.16/108.24 o -7799 216.16/108.24 o -7800 216.16/108.24 o -7801 216.16/108.24 o -7803 216.16/108.24 o -7805 216.16/108.24 o -7806 216.16/108.24 o -7810 216.16/108.24 o -7814 216.16/108.24 o -7818 216.16/108.24 o -7820 216.16/108.24 o -7823 216.16/108.24 o -7826 216.16/108.24 o -7831 216.16/108.24 o -7834 216.16/108.24 o -7839 216.16/108.24 o -7840 216.16/108.24 o -7844 216.16/108.24 o -7845 216.16/108.24 o -7846 216.16/108.24 o -7847 216.16/108.24 o -7849 216.16/108.24 o -7851 216.16/108.24 o -7854 216.16/108.24 o -7855 216.16/108.24 o -7860 216.16/108.24 o -7864 216.16/108.24 o -7867 216.16/108.24 o -7871 216.16/108.24 o -7873 216.16/108.24 o -7876 216.16/108.24 o -7880 216.16/108.24 o -7881 216.16/108.24 o -7884 216.16/108.24 o -7885 216.16/108.24 o -7886 216.16/108.24 o -7888 216.16/108.24 o -7890 216.16/108.24 o -7892 216.16/108.24 o -7896 216.16/108.24 o -7901 216.16/108.24 o -7902 216.16/108.24 o -7903 216.16/108.24 o -7905 216.16/108.24 o -7910 216.16/108.24 o -7912 216.16/108.24 o -7916 216.16/108.24 o -7919 216.16/108.24 o -7924 216.16/108.24 o -7926 216.16/108.24 o -7929 216.16/108.24 o -7934 216.16/108.24 o -7939 216.16/108.24 o -7943 216.16/108.24 o -7947 216.16/108.24 o -7948 216.16/108.24 o -7952 216.16/108.24 o -7953 216.16/108.24 o -7954 216.16/108.24 o -7957 216.16/108.24 o -7962 216.16/108.24 o -7965 216.16/108.24 o -7969 216.16/108.24 o -7971 216.16/108.24 o -7976 216.16/108.24 o -7981 216.16/108.24 o -7984 216.16/108.24 o -7987 216.16/108.24 o -7989 216.16/108.24 o -7994 216.16/108.24 o -7999 216.16/108.24 o -8001 216.16/108.24 o -8002 216.16/108.24 o -8005 216.16/108.24 o -8006 216.16/108.24 o -8010 216.16/108.24 o -8012 216.16/108.24 o -8017 216.16/108.24 o -8019 216.16/108.24 o -8020 216.16/108.24 o -8021 216.16/108.24 o -8024 216.16/108.24 o -8029 216.16/108.24 o -8030 216.16/108.24 o -8031 216.16/108.24 o -8035 216.16/108.24 o -8039 216.16/108.24 o -8043 216.16/108.24 o -8044 216.16/108.24 o -8047 216.16/108.24 o -8051 216.16/108.24 o -8052 216.16/108.24 o -8054 216.16/108.24 o -8059 216.16/108.24 o -8060 216.16/108.24 o -8061 216.16/108.24 o -8065 216.16/108.24 o -8070 216.16/108.24 o -8071 216.16/108.24 o -8075 216.16/108.24 o -8080 216.16/108.24 o -8085 216.16/108.24 o -8086 216.16/108.24 o -8091 216.16/108.24 o -8095 216.16/108.24 o -8096 216.16/108.24 o -8097 216.16/108.24 o -8101 216.16/108.24 o -8106 216.16/108.24 o -8109 216.16/108.24 o -8111 216.16/108.24 o -8114 216.16/108.24 o -8115 216.16/108.24 o -8119 216.16/108.24 o -8124 216.16/108.24 o -8125 216.16/108.24 o -8126 216.16/108.24 o -8130 216.16/108.24 o -8135 216.16/108.24 o -8138 216.16/108.24 o -8141 216.16/108.24 o -8146 216.16/108.24 o -8150 216.16/108.24 o -8151 216.16/108.24 o -8155 216.16/108.24 o -8156 216.16/108.24 o -8158 216.16/108.24 o -8160 216.16/108.24 o -8165 216.16/108.24 o -8170 216.16/108.24 o -8175 216.16/108.24 o -8176 1800.18/900.41 o -8181 1800.18/900.41 o -8183 1800.18/900.41 o -8186 1800.18/900.41 o -8189 1800.18/900.41 o -8193 1800.18/900.41 o -8194 1800.18/900.41 o -8195 1800.18/900.41 o -8199 1800.18/900.41 o -8201 1800.18/900.41 o -8206 1800.18/900.41 o -8208 1800.18/900.41 o -8213 1800.18/900.41 o -8214 1800.18/900.41 o -8215 1800.18/900.41 o -8216 1800.18/900.41 o -8221 1800.18/900.41 o -8226 1800.18/900.41 o -8231 1800.18/900.41 o -8233 1800.18/900.41 o -8238 1800.18/900.41 o -8241 1800.18/900.41 o -8244 1800.18/900.41 o -8247 1800.18/900.41 o -8252 1800.18/900.41 o -8255 1800.18/900.41 o -8256 1800.18/900.41 o -8260 1800.18/900.41 o -8265 1800.18/900.41 o -8267 1800.18/900.41 o -8270 1800.18/900.41 o -8275 1800.18/900.41 o -8278 1800.18/900.41 o -8282 1800.18/900.41 o -8287 1800.18/900.41 o -8289 1800.18/900.41 o -8290 1800.18/900.41 o -8295 1800.18/900.41 o -8300 1800.18/900.41 o -8305 1800.18/900.41 o -8309 1800.18/900.41 o -8313 1800.18/900.41 o -8317 1800.18/900.41 o -8318 1800.18/900.41 o -8320 1800.18/900.41 o -8322 1800.18/900.41 o -8325 1800.18/900.41 o -8330 1800.18/900.41 o -8331 1800.18/900.41 o -8333 1800.18/900.41 o -8338 1800.18/900.41 o -8339 1800.18/900.41 o -8342 1800.18/900.41 o -8344 1800.18/900.41 o -8345 1800.18/900.41 o -8349 1800.18/900.41 o -8350 1800.18/900.41 o -8355 1800.18/900.41 o -8358 1800.18/900.41 o -8363 1800.18/900.41 o -8364 1800.18/900.41 o -8366 1800.18/900.41 o -8367 1800.18/900.41 o -8370 1800.18/900.41 o -8371 1800.18/900.41 o -8375 1800.18/900.41 o -8379 1800.18/900.41 o -8380 1800.18/900.41 o -8381 1800.18/900.41 o -8385 1800.18/900.41 o -8386 1800.18/900.41 o -8391 1800.18/900.41 o -8396 1800.18/900.41 o -8397 1800.18/900.41 o -8400 1800.18/900.41 o -8401 1800.18/900.41 o -8403 1800.18/900.41 o -8404 1800.18/900.41 o -8406 1800.18/900.41 o -8407 1800.18/900.41 o -8412 1800.18/900.41 o -8413 1800.18/900.41 o -8416 1800.18/900.41 o -8417 1800.18/900.41 o -8420 1800.18/900.41 o -8425 1800.18/900.41 o -8426 1800.18/900.41 o -8429 1800.18/900.41 o -8431 1800.18/900.41 o -8435 1800.18/900.41 o -8438 1800.18/900.41 o -8440 1800.18/900.41 o -8443 1800.18/900.41 o -8447 1800.18/900.41 o -8452 1800.18/900.41 o -8455 1800.18/900.41 o -8458 1800.18/900.41 o -8462 1800.18/900.41 o -8464 1800.18/900.41 o -8465 1800.18/900.41 o -8466 1800.18/900.41 o -8471 1800.18/900.41 o -8472 1800.18/900.41 o -8475 1800.18/900.41 o -8479 1800.18/900.41 o -8481 1800.18/900.41 o -8483 1800.18/900.41 o -8484 1800.18/900.41 o -8486 1800.18/900.41 o -8491 1800.18/900.41 o -8496 1800.18/900.41 o -8497 1800.18/900.41 o -8500 1800.18/900.41 o -8501 1800.18/900.41 o -8505 1800.18/900.41 o -8506 1800.18/900.41 o -8507 1800.18/900.41 o -8511 1800.18/900.41 o -8516 1800.18/900.41 o -8518 1800.18/900.41 o -8520 1800.18/900.41 o -8521 1800.18/900.41 o -8525 1800.18/900.41 o -8527 1800.18/900.41 o -8530 1800.18/900.41 o -8532 1800.18/900.41 o -8535 1800.18/900.41 o -8538 1800.18/900.41 o -8540 1800.18/900.41 o -8545 1800.18/900.41 o -8547 1800.18/900.41 o -8551 1800.18/900.41 o -8556 1800.18/900.41 o -8560 1800.18/900.41 o -8564 1800.18/900.41 o -8569 1800.18/900.41 o -8570 1800.18/900.41 o -8571 1800.18/900.41 o -8574 1800.18/900.41 o -8575 1800.18/900.41 o -8577 1800.18/900.41 o -8581 1800.18/900.41 o -8585 1800.18/900.41 o -8586 1800.18/900.41 o -8589 1800.18/900.41 o -8594 1800.18/900.41 o -8595 1800.18/900.41 o -8600 1800.18/900.41 o -8605 1800.18/900.41 o -8607 1800.18/900.41 o -8608 1800.18/900.41 o -8613 1800.18/900.41 o -8615 1800.18/900.41 o -8618 1800.18/900.41 o -8620 1800.18/900.41 o -8621 1800.18/900.41 o -8626 1800.18/900.41 o -8629 1800.18/900.41 o -8630 1800.18/900.41 o -8631 1800.18/900.41 o -8635 1800.18/900.41 o -8636 1800.18/900.41 o -8639 1800.18/900.41 o -8643 1800.18/900.41 o -8647 1800.18/900.41 o -8651 1800.18/900.41 o -8655 1800.18/900.41 o -8657 1800.18/900.41 o -8661 1800.18/900.41 o -8666 1800.18/900.41 o -8667 1800.18/900.41 o -8670 1800.18/900.41 o -8675 1800.18/900.41 o -8680 1800.18/900.41 o -8685 1800.18/900.41 o -8690 1800.18/900.41 o -8691 1800.18/900.41 o -8695 1800.18/900.41 o -8700 1800.18/900.41 o -8702 1800.18/900.41 o -8704 1800.18/900.41 o -8705 1800.18/900.41 o -8710 1800.18/900.41 o -8712 1800.18/900.41 o -8713 1800.18/900.41 o -8716 1800.18/900.41 o -8721 1800.18/900.41 o -8723 1800.18/900.41 o -8725 1800.18/900.41 o -8728 1800.18/900.41 o -8730 1800.18/900.41 o -8734 1800.18/900.41 o -8735 1800.18/900.41 o -8740 1800.18/900.41 o -8742 1800.18/900.41 o -8743 1800.18/900.41 o -8745 1800.18/900.41 o -8748 1800.18/900.41 o -8752 1800.18/900.41 o -8755 1800.18/900.41 o -8756 1800.18/900.41 o -8761 1800.18/900.41 o -8764 1800.18/900.41 o -8766 1800.18/900.41 o -8767 1800.18/900.41 o -8770 1800.18/900.41 o -8772 1800.18/900.41 o -8775 1800.18/900.41 o -8777 1800.18/900.41 o -8781 1800.18/900.41 o -8782 1800.18/900.41 o -8786 1800.18/900.41 o -8791 1800.18/900.41 o -8795 1800.18/900.41 o -8797 1800.18/900.41 o -8799 1800.18/900.41 o -8800 1800.18/900.41 o -8805 1800.18/900.41 o -8810 1800.18/900.41 o -8815 1800.18/900.41 o -8820 1800.18/900.41 o -8825 1800.18/900.41 o -8826 1800.18/900.41 o -8827 1800.18/900.41 o -8830 1800.18/900.41 o -8834 1800.18/900.41 o -8836 1800.18/900.41 o -8838 1800.18/900.41 o -8840 1800.18/900.41 o -8845 1800.18/900.41 o -8850 1800.18/900.41 o -8855 1800.18/900.41 o -8860 1800.18/900.41 o -8861 1800.18/900.41 o -8864 1800.18/900.41 o -8865 1800.18/900.41 o -8866 1800.18/900.41 o -8868 1800.18/900.41 o -8870 1800.18/900.41 o -8871 1800.18/900.41 o -8873 1800.18/900.41 o -8874 1800.18/900.41 o -8875 1800.18/900.41 o -8880 1800.18/900.41 o -8881 1800.18/900.41 o -8885 1800.18/900.41 o -8890 1800.18/900.41 o -8892 1800.18/900.41 o -8893 1800.18/900.41 o -8895 1800.18/900.41 o -8896 1800.18/900.41 o -8900 1800.18/900.41 o -8901 1800.18/900.41 o -8906 1800.18/900.41 o -8910 1800.18/900.41 o -8915 1800.18/900.41 o -8920 1800.18/900.41 o -8921 1800.18/900.41 o -8925 1800.18/900.41 o -8926 1800.18/900.41 o -8930 1800.18/900.41 o -8931 1800.18/900.41 o -8935 1800.18/900.41 o -8936 1800.18/900.41 o -8940 1800.18/900.41 o -8943 1800.18/900.41 o -8945 1800.18/900.41 o -8948 1800.18/900.41 o -8951 1800.18/900.41 o -8956 1800.18/900.41 o -8961 1800.18/900.41 o -8964 1800.18/900.41 o -8969 1800.18/900.41 o -8973 1800.18/900.41 o -8976 1800.18/900.41 o -8979 1800.18/900.41 o -8980 1800.18/900.41 o -8985 1800.18/900.41 o -8986 1800.18/900.41 o -8988 1800.18/900.41 o -8992 1800.18/900.41 o -8995 1800.18/900.41 o -8996 1800.18/900.41 o -8999 1800.18/900.41 o -9000 1800.18/900.41 o -9005 1800.18/900.41 o -9008 1800.18/900.41 o -9010 1800.18/900.41 o -9011 1800.18/900.41 o -9016 1800.18/900.41 o -9021 1800.18/900.41 o -9025 1800.18/900.41 o -9030 1800.18/900.41 o -9033 1800.18/900.41 o -9037 1800.18/900.41 o -9039 1800.18/900.41 o -9041 1800.18/900.41 o -9044 1800.18/900.41 o -9045 1800.18/900.41 o -9046 1800.18/900.41 o -9050 1800.18/900.41 o -9055 1800.18/900.41 o -9056 1800.18/900.41 o -9060 1800.18/900.41 o -9061 1800.18/900.41 o -9065 1800.18/900.41 o -9070 1800.18/900.41 o -9071 1800.18/900.41 o -9075 1800.18/900.41 o -9076 1800.18/900.41 o -9081 1800.18/900.41 o -9083 1800.18/900.41 o -9085 1800.18/900.41 o -9086 1800.18/900.41 o -9087 1800.18/900.41 o -9090 1800.18/900.41 o -9091 1800.18/900.41 o -9096 1800.18/900.41 o -9098 1800.18/900.41 o -9100 1800.18/900.41 o -9105 1800.18/900.41 o -9106 1800.18/900.41 o -9111 1800.18/900.41 o -9113 1800.18/900.41 o -9116 1800.18/900.41 o -9120 1800.18/900.41 o -9125 1800.18/900.41 o -9126 1800.18/900.41 o -9130 1800.18/900.41 o -9131 1800.18/900.41 o -9136 1800.18/900.41 o -9139 1800.18/900.41 o -9141 1800.18/900.41 o -9145 1800.18/900.41 o -9147 1800.18/900.41 o -9150 1800.18/900.41 o -9154 1800.18/900.41 o -9155 1800.18/900.41 o -9156 1800.18/900.41 o -9159 1800.18/900.41 o -9160 1800.18/900.41 o -9165 1800.18/900.41 o -9170 1800.18/900.41 o -9173 1800.18/900.41 o -9175 1800.18/900.41 o -9180 1800.18/900.41 o -9181 1800.18/900.41 o -9185 1800.18/900.41 o -9189 1800.18/900.41 o -9190 1800.18/900.41 o -9195 1800.18/900.41 o -9196 1800.18/900.41 o -9200 1800.18/900.41 o -9201 1800.18/900.41 o -9206 1800.18/900.41 o -9210 1800.18/900.41 o -9213 1800.18/900.41 o -9215 1800.18/900.41 o -9216 1800.18/900.41 o -9220 1800.18/900.41 o -9225 1800.18/900.41 o -9230 1800.18/900.41 o -9231 1800.18/900.41 o -9232 1800.18/900.41 o -9235 1800.18/900.41 o -9240 1800.18/900.41 o -9241 1800.18/900.41 o -9245 1800.18/900.41 o -9250 1800.18/900.41 o -9255 1800.18/900.41 o -9258 1800.18/900.41 o -9259 1800.18/900.41 o -9261 1800.18/900.41 o -9263 1800.18/900.41 o -9265 1800.18/900.41 o -9269 1800.18/900.41 o -9270 1800.18/900.41 o -9273 1800.18/900.41 o -9276 1800.18/900.41 o -9280 1800.18/900.41 o -9285 1800.18/900.41 o -9290 1800.18/900.41 o -9292 1800.18/900.41 o -9295 1800.18/900.41 o -9296 1800.18/900.41 o -9300 1800.18/900.41 o -9301 1800.18/900.41 o -9302 1800.18/900.41 o -9305 1800.18/900.41 o -9310 1800.18/900.41 o -9315 1800.18/900.41 o -9320 1800.18/900.41 o -9325 1800.18/900.41 o -9328 1800.18/900.41 o -9329 1800.18/900.41 o -9330 1800.18/900.41 o -9332 1800.18/900.41 o -9335 1800.18/900.41 o -9336 1800.18/900.41 o -9337 1800.18/900.41 o -9340 1800.18/900.41 o -9341 1800.18/900.41 o -9345 1800.18/900.41 o -9350 1800.18/900.41 o -9351 1800.18/900.41 o -9353 1800.18/900.41 o -9355 1800.18/900.41 o -9360 1800.18/900.41 o -9361 1800.18/900.41 o -9364 1800.18/900.41 o -9365 1800.18/900.41 o -9367 1800.18/900.41 o -9370 1800.18/900.41 o -9375 1800.18/900.41 o -9380 1800.18/900.41 o -9381 1800.18/900.41 o -9385 1800.18/900.41 o -9388 1800.18/900.41 o -9391 1800.18/900.41 o -9396 1800.18/900.41 o -9401 1800.18/900.41 o -9405 1800.18/900.41 o -9410 1800.18/900.41 c =============================================================================== 1800.18/900.41 c Wall Clock Time: 900.41 s 1800.18/900.41 c Best Solution: -9410 1800.18/900.41 s SATISFIABLE 1800.18/900.41 v x1 x3190 x4609 x5720 x6862 x8018 x9166 x10315 x11456 x2 x1143 x2043 x2186 x2321 x2452 x2592 x2742 x2901 -x3039 x3191 x3362 x3512 x3661 x3813 x3955 x4112 x4271 x4387 x4498 -x4610 x4721 -x4832 x4943 x5054 x5165 x5276 x5387 x5498 -x5609 x5721 x5832 x5943 -x6054 -x6055 -x6056 -x6057 -x6058 -x6169 -x6170 -x6171 -x6172 -x6173 -x6284 -x6285 -x6286 -x6287 -x6288 -x6399 -x6400 -x6401 -x6402 -x6403 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7447 -x7448 -x7449 -x7450 -x7561 -x7562 -x7563 -x7564 -x7675 -x7676 -x7677 -x7678 -x7789 -x7790 -x7791 -x7792 -x7903 -x7904 -x7905 -x7906 -x7907 -x8019 -x8020 -x8021 -x8022 -x8023 -x8134 -x8135 -x8136 -x8137 -x8138 -x8249 -x8250 -x8251 -x8252 -x8253 -x8364 -x8365 -x8366 -x8367 -x8368 -x8479 -x8480 -x8481 -x8482 -x8483 -x8594 -x8595 -x8596 -x8597 -x8598 -x8709 -x8710 -x8711 -x8712 -x8713 -x8824 -x8825 -x8826 -x8827 -x8938 -x8939 -x8940 -x8941 -x9052 -x9053 -x9054 -x9055 -x9167 -x9168 -x9169 -x9170 -x9281 -x9282 -x9283 -x9284 -x9285 -x9396 -x9397 -x9398 -x9399 -x9400 -x9511 -x9512 -x9513 -x9514 -x9515 -x9626 -x9627 -x9628 -x9629 -x9630 -x9741 -x9742 -x9743 -x9744 -x9745 -x9856 -x9857 -x9858 -x9859 -x9860 -x9971 -x9972 -x9973 -x9974 -x9975 -x10086 -x10087 -x10088 -x10089 -x10090 -x10201 -x10202 -x10203 -x10204 -x10316 -x10317 -x10318 -x10319 -x10430 -x10431 -x10432 -x10433 -x10544 -x10545 -x10546 -x10547 -x10658 -x10659 -x10660 -x10661 -x10772 -x10773 -x10774 -x10775 -x10886 -x10887 -x10888 -x10889 -x11000 -x11001 -x11002 -x11003 -x11114 -x11115 -x11116 -x11117 -x11228 -x11229 -x11230 -x11231 -x11342 -x11343 -x11344 -x11345 -x11457 -x11458 -x11459 -x11460 -x11571 -x11572 -x11573 -x11574 -x11685 -x11686 -x11687 -x11688 -x11799 -x11800 -x11801 -x11802 -x11913 -x11914 -x11915 -x11916 -x12027 -x12028 -x12029 -x12030 -x12141 -x12142 -x12143 -x12144 -x12255 -x12256 -x12257 -x12258 -x12369 -x12370 -x12371 -x12372 -x12483 -x12484 -x12485 -x12486 -x3 -x4 -x5 -x6 -x117 -x118 -x119 -x120 -x231 -x232 -x233 -x234 -x345 -x346 -x347 -x348 -x459 -x460 -x461 -x462 -x573 -x574 -x575 -x576 -x687 -x688 -x689 -x690 -x801 -x802 -x803 -x804 -x915 -x916 -x917 -x918 x1029 x1030 -x1031 -x1032 -x1144 -x1145 -x1146 -x1147 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 x1722 -x1723 -x1724 -x1725 -x1726 -x1837 -x1838 -x1839 -x1840 -x1841 -x1952 -x1953 x1954 -x1955 -x1956 -x2011 -x2012 -x2013 -x2014 -x2015 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2095 -x2096 x2097 -x2108 -x2109 -x2110 -x2121 -x2122 -x2123 -x2134 -x2135 -x2136 -x2147 -x2148 -x2149 -x2160 -x2161 x2162 -x2173 x2174 -x2175 -x2187 -x2188 -x2189 x2200 -x2201 -x2202 -x2213 -x2214 -x2215 -x2226 -x2227 -x2228 -x2239 -x2240 -x2241 -x2252 -x2253 -x2254 -x2255 -x2266 -x2267 -x2268 -x2269 -x2280 -x2281 -x2282 -x2283 -x2294 -x2295 -x2296 -x2297 -x2308 -x2309 -x2310 -x2322 -x2323 -x2324 -x2335 -x2336 -x2337 -x2348 -x2349 -x2350 -x2361 -x2362 -x2363 -x2374 -x2375 -x2376 -x2387 -x2388 -x2389 -x2400 -x2401 -x2402 -x2413 -x2414 -x2415 -x2426 -x2427 -x2428 -x2439 -x2440 -x2441 -x2453 -x2454 -x2455 -x2466 -x2467 -x2468 -x2479 -x2480 -x2481 -x2492 -x2493 -x2494 -x2505 -x2506 -x2507 -x2518 -x2519 -x2520 -x2521 -x2522 -x2533 -x2534 -x2535 -x2536 -x2537 -x2548 -x2549 -x2550 -x2551 -x2552 -x2563 -x2564 -x2565 -x2566 -x2567 -x2578 -x2579 -x2580 -x2581 -x2593 -x2594 -x2595 -x2596 -x2607 -x2608 -x2609 -x2610 -x2621 -x2622 -x2623 -x2624 -x2635 -x2636 -x2637 -x2638 -x2649 -x2650 -x2651 -x2652 -x2663 -x2664 -x2665 x2666 -x2677 -x2678 -x2679 -x2680 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2840 -x2841 -x2842 -x2843 x2844 -x2845 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2888 -x2889 -x2890 -x2902 -x2903 -x2904 -x2915 -x2916 -x2917 -x2928 -x2929 -x2930 -x2941 -x2942 -x2943 -x2944 -x2955 -x2956 -x2957 -x2958 -x2969 -x2970 -x2971 -x2972 -x2983 -x2984 -x2985 -x2986 -x2997 -x2998 -x2999 -x3000 -x3011 -x3012 x3013 -x3014 -x3025 -x3026 -x3027 -x3028 -x3040 -x3041 -x3042 -x3043 -x3054 -x3055 -x3056 -x3057 -x3068 x3069 -x3070 -x3071 -x3082 -x3083 -x3084 -x3085 -x3096 -x3097 -x3098 -x3099 x3110 x3111 x3112 x3113 -x3114 x3125 -x3126 x3127 x3128 x3129 -x3130 -x3141 -x3142 x3143 -x3144 x3145 -x3156 x3157 x3158 -x3159 -x3160 -x3161 x3162 -x3173 x3174 -x3175 -x3176 -x3177 -x3178 x3179 -x3192 x3193 x3194 x3195 x3196 x3197 -x3198 -x3209 x3210 x3211 -x3212 -x3213 -x3214 x3215 -x3226 x3227 -x3228 -x3229 -x3230 -x3231 x3232 -x3243 x3244 x3245 x3246 x3247 x3248 -x3249 -x3260 -x3261 -x3262 -x3263 x3264 -x3265 x3266 x3277 x3278 -x3279 x3280 -x3281 -x3282 x3283 -x3294 x3295 x3296 -x3297 -x3298 -x3299 x3300 -x3311 -x3312 -x3313 -x3314 x3315 -x3316 x3317 x3328 x3329 -x3330 x3331 -x3332 -x3333 x3334 -x3345 x3346 x3347 -x3348 -x3349 -x3350 x3351 x3391 x3392 x3393 x3394 -x3395 -x3406 -x3407 -x3408 -x3409 x3410 -x3421 x3422 -x3423 x3424 x3435 -x3436 x3437 x3438 x3439 -x3440 x3451 -x3452 x3453 -x3454 x3455 -x3466 -x3467 x3468 -x3469 x3470 -x3481 -x3482 -x3483 -x3484 x3485 -x3496 x3497 -x3498 -x3499 -x3500 x3501 -x3513 -x3514 x3515 x3516 x3517 -x3528 -x3529 -x3530 -x3531 -x3532 -x3543 -x3544 -x3545 -x3546 x3547 -x3558 -x3559 -x3560 -x3561 -x3562 -x3573 x3574 -x3575 x3576 -x3587 -x3588 x3589 -x3590 x3591 -x3602 x3603 -x3604 x3605 -x3606 x3617 -x3618 x3619 -x3620 x3631 -x3632 x3633 -x3634 -x3635 -x3636 x3647 x3648 -x3649 -x3650 -x3662 -x3663 -x3664 x3665 -x3666 x3677 x3678 -x3679 -x3680 -x3691 -x3692 x3693 -x3694 -x3705 x3706 x3707 x3708 x3709 -x3710 x3721 x3722 x3723 -x3724 x3725 x3736 x3737 x3738 -x3739 x3740 -x3751 x3752 -x3753 x3754 x3755 -x3766 x3767 -x3768 x3769 x3770 -x3771 x3782 -x3783 x3784 x3785 x3786 -x3787 -x3798 x3799 -x3800 x3801 x3802 -x3814 x3815 -x3816 x3817 x3818 x3829 -x3830 x3831 x3832 x3833 -x3834 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3939 -x3940 -x3941 x3942 -x3943 x3944 -x3956 x3957 -x3958 -x3959 x3960 x3961 -x3972 x3973 -x3974 x3975 -x3976 x3977 -x3988 -x3989 -x3990 x3991 x3992 -x4003 -x4004 x4005 -x4006 x4007 x4008 -x4019 x4020 x4021 -x4022 x4023 x4024 -x4035 -x4036 x4037 -x4038 x4039 x4040 x4051 -x4052 x4053 -x4054 x4055 x4056 -x4067 x4068 x4069 -x4070 x4071 -x4082 x4083 x4084 -x4085 x4086 -x4097 -x4098 -x4099 -x4100 -x4101 -x4113 x4114 x4115 -x4116 x4117 -x4128 -x4129 -x4130 -x4131 -x4132 -x4143 -x4144 -x4145 -x4146 -x4147 x4148 -x4159 -x4160 -x4161 x4162 x4163 x4174 -x4175 x4176 x4177 x4178 x4179 -x4180 x4191 x4192 x4193 -x4194 x4195 x4196 -x4207 -x4208 -x4209 x4210 -x4211 x4212 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4239 -x4240 -x4241 x4242 -x4243 x4244 -x4255 -x4256 -x4257 x4258 -x4259 x4260 -x4272 -x4273 -x4274 x4275 -x4276 x4277 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 x1976 x1977 -x1978 -x1979 -x1980 -x1981 -x1982 x1983 x1984 -x1985 x1986 -x1987 -x1988 x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x3698 -x3701 -x3702 -x3703 -x3704 -x6378 -x6383 -x6389 -x6393 -x6397 -x6424 -x6428 -x6431 -x6504 -x6508 -x6512 -x6603 -x6716 -x12032 -x12039 -x12047 -x12216 -x12223 -x12229 -x12235 -x1331 -x1339 -x1348 -x1686 -x1695 -x1704 -x6407 -x6434 -x6523 -x6607 -x6720 -x11987 -x12055 -x12240 -x1357 -x1712 -x6411 -x6438 x6527 -x6612 -x6725 -x11995 -x12062 -x12246 -x675 -x1366 -x1719 -x6292 -x6441 -x6533 -x6616 -x6729 -x12002 -x12070 -x12251 -x683 -x1381 -x1732 -x6444 -x6538 -x6621 -x6733 -x12010 -x12260 -x695 -x1389 -x1741 -x6293 -x6544 x6625 -x6738 -x12018 -x12078 -x12085 -x12264 -x703 -x1398 -x1750 -x12025 -x6548 -x6637 -x6743 -x12093 -x12267 -x710 -x1407 -x1758 -x6838 -x12037 -x12045 -x6642 -x6755 -x12101 -x12271 -x717 -x1416 -x1766 -x3711 -x3712 -x3713 -x3714 -x6648 x6760 -x12109 -x12274 -x725 -x1425 -x1774 -x6652 -x6766 -x6843 -x12052 -x12116 -x12277 -x732 -x1433 -x1781 -x6847 -x6875 -x12060 -x12124 -x12280 -x739 -x1441 -x1788 -x6787 -x6878 -x12068 -x12132 -x12284 -x743 -x1449 -x1792 -x6882 -x12076 -x12139 -x12288 -x748 -x1456 x1797 -x6788 -x12083 -x12151 -x12293 -x752 -x1463 -x1801 -x12091 -x12159 -x12297 -x756 -x1467 -x1806 -x12099 -x12166 -x12301 -x761 -x1472 -x1810 -x12106 -x12174 -x12306 -x874 x1476 -x1966 -x12114 -x12183 -x12310 -x1481 x3715 -x3716 -x3717 x3718 -x12122 -x12192 -x12315 -x1485 -x12129 -x12199 -x12319 -x1675 -x12137 -x12206 -x12323 -x12149 -x12213 -x12328 -x12157 -x12219 -x12332 -x12164 -x12226 -x12337 -x12172 -x12232 x12341 -x12181 -x12238 -x12345 -x12190 -x12243 -x12350 -x12198 -x12249 -x12354 -x3719 -x3720 -x3726 -x3727 -x11028 -x12253 -x12359 -x11030 -x12262 -x3022 x3081 -x3092 -x3103 -x3441 -x3446 -x3456 -x2993 -x3004 -x3015 -x3425 -x3430 -x3115 -x7709 -x7715 -x7720 -x7726 -x8312 -x8317 -x8324 -x8345 -x8351 -x9911 -x9917 -x9922 -x9928 -x10409 -x10418 -x10428 -x10442 -x10474 -x10485 -x10496 -x10584 -x10594 -x10604 -x7731 -x8329 -x8358 -x9933 -x10452 -x10507 -x10613 -x7737 -x8025 -x8336 -x8370 -x9939 -x10462 -x10517 -x10623 -x7742 -x8031 -x8377 -x9944 -x10472 -x10527 -x10633 -x7748 -x8037 -x8341 -x8385 -x9950 -x10483 -x10537 -x10643 -x3728 -x3729 -x3730 -x3731 -x3732 -x7753 -x8040 -x8348 -x8393 -x9955 -x10494 -x10551 -x10653 -x7759 -x8043 -x8355 -x8400 -x9961 -x10505 -x10561 -x10667 -x7764 -x8045 -x8361 -x8408 -x9966 -x10515 -x10571 -x10677 -x7770 -x8374 -x8416 -x9977 -x10525 -x10580 -x10687 -x7775 -x8049 -x8382 -x8423 -x9982 -x10535 -x10590 -x10697 -x7780 -x8053 -x8389 -x8430 -x9986 -x10549 -x10600 -x10707 -x7784 -x8056 -x8397 -x8437 -x9991 -x10558 -x10610 -x10718 -x1329 -x1685 -x7788 -x8405 -x8444 -x9995 -x10568 -x10620 -x10729 -x1338 -x1694 -x7797 -x8412 -x8451 -x10000 -x10578 -x10630 -x10740 -x1347 -x1703 -x7801 -x8420 -x10004 -x10588 -x10640 -x10751 -x1356 -x1710 -x3733 -x3734 -x3735 -x3741 -x3742 -x7806 -x8427 -x8458 -x10008 -x10598 -x10650 -x10762 -x674 -x1365 -x1718 -x7810 -x8434 -x8464 -x10013 -x10608 -x10664 -x10777 -x682 -x1373 -x1731 -x7847 -x7851 -x7853 -x10050 -x10054 -x10056 -x10712 -x10723 -x10734 -x10745 -x10784 -x10795 -x10900 -x10910 -x10920 -x686 -x698 -x754 -x759 -x876 -x1324 -x1333 -x1342 -x1350 -x1384 -x1393 -x1465 -x1470 x1474 -x1680 -x1688 -x1697 -x1735 -x1744 -x1803 -x1808 -x1969 -x10859 -x10870 -x10881 -x10927 -x10937 -x10947 -x11010 -x11016 -x11020 -x6373 -x6379 -x6384 -x6395 -x6405 -x6409 -x11990 -x12000 -x12008 -x12015 -x6413 -x11998 -x12023 -x11988 -x12006 -x12013 -x12035 -x12043 -x7653 -x12173 -x12182 -x12191 -x12214 -x12220 -x12227 -x12236 -x12241 -x12247 -x7712 -x7767 -x3743 -x3744 -x3745 -x3746 -x7620 -x7679 -x7690 -x7734 -x7745 -x7793 -x7804 -x7848 -x7881 -x7941 -x7996 -x7859 -x8046 -x7908 -x7974 -x8024 -x8068 -x8139 x8183 -x8227 -x7963 -x8112 -x8265 -x6575 -x6586 -x6608 -x6647 -x6669 -x6724 -x6774 -x6447 -x6451 -x6454 -x6456 -x6457 -x6460 -x6461 -x6463 -x100 -x102 -x104 -x107 -x109 -x111 -x122 -x129 -x6702 -x6464 -x6466 -x113 -x115 -x138 -x6469 -x124 -x126 -x147 -x6495 -x133 -x135 -x156 -x141 -x144 -x164 -x150 -x152 -x173 -x3695 -x3747 -x3748 -x159 -x161 -x182 -x4420 -x4423 -x168 -x170 -x190 -x4425 -x4427 -x177 -x179 -x197 -x4429 -x4431 -x6885 -x6887 -x184 -x186 -x205 -x4434 -x4436 -x6889 -x192 -x194 -x213 -x4438 -x4440 -x6890 -x200 -x202 -x221 -x4444 -x207 -x210 -x228 -x4446 -x215 -x217 -x240 -x4733 -x224 -x225 -x248 -x236 -x237 -x254 -x3749 -x3750 -x3756 -x9938 -x243 -x244 -x261 -x9976 -x251 -x252 -x267 -x258 -x259 -x274 -x9723 -x9725 -x264 -x265 -x281 -x5389 -x9727 -x9729 -x271 -x272 -x287 -x5394 -x9732 -x9734 -x277 -x278 -x294 -x5384 -x5385 -x5400 -x9736 -x9738 -x284 -x285 -x300 -x5391 -x5392 -x5405 -x9740 -x9748 -x291 -x292 -x307 -x5396 -x5397 -x5411 -x9750 -x9752 -x298 -x314 -x5402 -x5403 -x5416 -x9755 -x297 -x305 -x320 -x3757 -x3758 -x5407 -x5408 -x5422 -x9754 -x304 -x310 -x311 -x327 -x5413 -x5414 -x5427 -x6004 -x9759 -x317 -x318 -x333 -x5418 -x5419 -x5431 -x6009 -x9866 -x324 -x325 -x339 -x5424 -x5425 -x5436 -x6001 -x6002 -x6015 -x331 -x344 -x8353 -x5429 -x5564 -x6006 -x6007 -x6020 -x330 -x337 -x667 -x5434 -x6012 -x6013 -x6025 -x342 -x6017 -x6018 -x6029 -x6023 -x6157 -x4403 -x9606 -x9608 -x9609 -x9610 -x354 -x362 -x373 -x384 -x395 -x422 -x434 -x446 -x458 -x479 -x491 -x503 -x515 -x4406 -x9616 -x475 -x527 -x3759 -x3760 -x3761 -x3762 -x539 -x4409 -x4413 -x4416 -x9621 -x9625 -x9762 -x9765 -x9769 -x9795 -x407 -x419 -x431 -x487 -x499 -x511 -x552 -x563 -x578 -x4419 -x9773 -x9800 -x443 -x523 -x587 -x4459 -x9777 -x9805 -x455 -x535 -x596 -x9781 -x9809 -x471 -x547 -x604 -x9785 -x9814 -x483 -x558 -x611 -x9673 -x9818 -x495 -x569 -x617 -x9792 -x9821 -x508 -x583 -x624 -x9797 -x520 -x593 -x630 -x9803 -x9826 -x532 -x601 -x636 -x3763 x3764 x3765 -x9807 -x9830 -x544 -x607 -x640 -x9811 -x9833 -x555 -x614 -x646 -x9816 -x9838 -x566 -x620 -x650 -x9820 -x9842 -x581 -x627 -x655 -x9847 -x591 -x633 -x659 -x9824 -x9851 -x96 -x638 -x663 -x9716 -x9828 -x98 -x644 -x2892 -x2897 -x2907 -x2913 -x2922 -x2933 x2936 -x2939 -x2947 -x3138 -x3150 -x3165 -x3180 -x3183 -x3200 -x3208 -x3222 -x3537 -x3542 -x3553 -x3236 -x2927 -x2951 -x2959 -x2963 -x3136 -x3148 -x3163 -x3188 -x3205 -x3219 -x3242 -x3253 -x3257 -x3535 -x3539 -x3564 -x3570 -x3580 x3772 -x3773 -x3774 -x3171 -x3233 -x3268 -x3550 -x3586 -x3186 -x3239 -x3271 -x3556 -x3596 -x3203 -x3251 -x3274 -x3567 -x3600 -x3255 -x3415 -x3577 -x3608 -x7856 -x7858 -x7861 -x7863 -x7865 -x8541 -x8546 -x8563 -x8568 -x8574 -x10059 -x10061 -x10063 -x10066 -x10068 -x11036 -x11052 -x11064 -x11076 -x11088 -x7867 -x7869 -x8553 -x8559 -x8580 -x8585 -x10070 -x10072 -x11047 -x11060 -x11100 -x11112 -x7872 -x7874 -x7876 -x8565 -x8571 -x8577 -x8590 -x8603 -x10074 -x10077 -x10079 -x11033 -x11044 -x11072 -x11084 -x11096 -x11128 -x11141 -x11153 -x7878 -x8582 -x8611 -x10081 -x11108 -x11165 -x7880 -x8617 -x10083 -x11056 -x11124 -x11177 -x7883 -x8624 x10085 -x11068 -x11080 -x11136 -x11189 -x3775 -x3776 -x3777 -x7885 -x8600 -x8631 -x10093 -x11093 -x11148 -x11201 -x7887 -x7889 -x8607 -x8614 -x8646 -x10095 -x10097 -x11105 -x11121 -x11160 -x11172 -x11213 -x11225 -x7891 -x8620 -x8653 -x11185 -x11241 -x7894 -x8628 -x8661 -x10099 -x11133 -x11197 -x11252 -x7896 -x8636 -x8669 -x10101 -x10104 -x11145 -x11157 -x11263 -x7898 -x8642 -x8675 -x10106 -x11169 -x11209 -x11274 -x7900 -x8650 -x8682 -x10108 -x11181 -x11221 -x11285 -x7902 -x8658 -x8690 -x10110 -x11193 -x11237 -x11296 -x8666 -x8695 -x11205 -x11248 -x11259 -x11306 -x8672 -x11218 -x11270 -x11315 -x8680 -x8702 -x11234 -x11281 -x11324 -x8686 -x8715 -x11245 -x11292 -x11333 -x8693 -x8722 -x11256 -x11302 -x11341 -x8729 -x11267 -x11312 -x11354 -x8700 -x8735 -x11278 -x11321 -x11363 -x8706 -x8743 -x11289 -x11329 -x11372 -x1497 -x8719 -x8726 -x8732 -x8751 -x8759 -x8766 -x11300 -x11310 -x11318 -x11338 -x11351 -x11360 -x11382 -x11391 -x11399 -x8740 -x8774 -x11327 -x11369 -x11408 -x8748 -x8781 -x11336 -x11378 -x11417 -x8755 -x8786 -x11349 -x11387 -x11426 -x3689 -x3699 -x8763 -x8790 -x11358 -x11396 -x11435 -x8771 -x8794 -x11366 -x11405 -x11442 -x8777 -x11376 -x11414 -x11450 -x8784 -x8798 -x11422 -x11463 -x2344 -x2353 -x2360 -x2370 -x2372 -x2381 -x2383 -x2386 -x2394 -x2397 -x2408 -x2419 -x2392 -x2405 -x2430 -x2403 -x2416 -x2438 -x2766 -x2411 -x2424 -x2449 -x2768 -x2782 -x2422 -x2435 -x2461 -x2770 -x2786 -x2433 -x2446 -x2472 -x2790 -x2801 -x3697 -x2444 -x2458 -x2483 -x2805 -x2456 -x2469 x2491 -x2815 -x2464 -x2477 -x2501 -x2475 -x2488 -x2511 -x2486 -x2498 -x2523 -x2496 -x2508 -x2530 -x2503 -x2515 -x2541 -x2513 -x2527 -x2547 -x2525 -x2538 -x2557 -x2544 -x2561 -x5024 -x9185 -x9191 -x9199 -x9207 -x9210 -x9214 -x9219 -x9228 -x5133 -x9223 -x9234 -x5116 -x5119 -x5129 -x5144 -x5156 -x9231 -x9239 -x9243 -x9252 -x5126 -x5140 -x5169 -x9247 -x9261 -x5137 -x5151 -x5181 -x9256 -x9269 -x5148 -x5163 -x5193 -x9265 -x9278 -x5160 -x5176 -x5205 -x9274 -x9292 -x5173 -x5189 -x5217 -x9288 -x9301 -x5185 -x5201 -x5229 -x9296 -x9309 -x5197 -x5213 -x5241 -x9305 -x9317 -x5209 -x5225 -x5253 -x9313 -x9325 -x5222 -x5237 -x5266 -x5797 -x9321 x9333 -x5234 -x5249 -x5278 -x5830 -x9328 -x9340 -x5246 -x5261 -x5289 -x5818 -x5841 -x9336 -x9348 -x5258 -x5272 -x5300 -x5815 -x5827 -x5852 -x9344 -x9356 -x5269 -x5284 -x5311 -x5824 -x5838 -x5863 -x9351 -x9364 -x5281 -x5295 -x5322 -x5835 -x5848 -x5873 -x9359 -x5292 -x5306 -x5331 -x5845 -x5859 -x5883 -x9367 -x9370 -x5303 -x5317 -x5341 -x5856 -x5869 -x5892 -x9373 -x9378 -x5314 -x5327 -x5350 -x5879 -x5898 -x9381 -x9386 -x5337 -x5357 -x5887 -x9389 -x9392 -x9405 -x9425 -x9430 -x9442 -x9446 -x9450 -x9453 -x1265 -x9457 -x9465 -x1316 -x8163 -x9462 -x9469 -x9474 -x9476 -x9480 -x9483 -x9490 -x1272 -x1273 -x8165 -x9486 -x9494 -x8160 -x8164 -x8166 -x8167 -x8168 -x8169 -x8170 -x8206 -x8209 -x8223 -x9492 -x9496 -x9501 -x9503 -x9505 -x9507 -x9517 -x8212 -x8217 -x8229 -x9509 -x9520 -x8215 -x8221 -x8234 -x9519 x9524 -x11749 -x8220 -x8226 -x8239 -x9522 -x9529 -x12381 -x8225 -x8232 -x8244 -x9526 -x9533 -x12374 -x12388 -x8231 -x8237 x8255 -x9531 -x9537 -x12367 -x12379 -x12397 -x7945 -x8236 -x8242 -x8260 -x9535 -x9542 -x10148 -x12377 -x12405 -x7946 -x8241 -x8247 -x8264 -x9540 -x9546 -x10149 -x12383 -x12386 -x12414 -x12393 -x7947 -x8246 -x8269 -x9544 -x10150 -x12391 -x12423 -x8258 -x9551 -x7948 -x7949 -x12402 -x8257 -x8273 -x9548 -x12433 -x10151 -x7950 -x8262 -x9556 -x12411 -x8275 -x9554 -x10152 -x12400 -x12409 -x12443 -x7951 -x8267 -x9562 -x12420 -x9559 -x10153 -x12418 -x12453 -x7953 -x8271 -x9566 -x12430 -x9564 -x10154 -x12427 -x12462 -x9572 -x7954 -x12440 -x3778 -x9569 -x9577 -x10155 -x12437 -x12449 -x12470 -x7955 -x9575 -x9581 -x10156 -x12447 -x12458 -x12479 -x9154 -x9586 -x10158 -x12457 -x12467 -x12491 -x7956 -x9584 -x9590 -x10159 -x12466 -x12499 -x7959 -x9589 -x10162 -x12475 -x12476 -x12489 -x12506 -x7962 -x9594 -x10165 -x12488 -x12496 -x12514 -x7966 -x9598 -x10169 -x12495 -x12504 -x12522 -x3779 -x3780 -x3781 -x3788 -x7969 -x9165 -x10172 -x12503 -x12512 -x12529 -x7972 x10175 -x12511 -x12519 -x12537 -x7976 -x10178 -x12518 -x12527 -x12545 -x7979 -x10182 -x12526 -x12535 -x12552 -x7982 -x10185 -x12534 -x12543 -x12560 -x7986 -x10188 -x12541 -x12550 -x12568 -x7989 -x10192 -x12549 -x12558 -x12576 -x8013 -x10220 -x12557 -x12566 -x12583 -x12565 -x12573 -x12591 -x12572 -x12581 -x9 -x3789 -x3790 -x3791 -x3792 -x12580 -x12589 -x16 -x12588 -x12596 -x24 -x12595 -x14 -x32 -x13 -x22 -x39 -x21 -x30 -x47 -x28 -x37 -x55 -x36 -x45 -x63 -x44 -x53 -x70 -x52 -x60 -x77 -x59 -x68 -x83 -x3793 -x3794 -x3795 -x3796 -x67 -x75 -x90 -x81 -x94 -x11217 -x11254 -x11287 -x11320 -x11357 -x11390 -x11423 x11461 -x11494 -x3797 -x3803 -x3804 -x3805 x3845 -x3846 x3847 x3858 -x3859 x3860 x3871 -x3872 x3873 x3884 -x3885 x3886 x3897 -x3898 x3899 x3910 -x3911 x3912 -x3806 x3807 -x3808 x3809 x3810 -x3811 -x3812 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x5332 -x5388 -x5443 -x5499 -x5554 -x5610 -x5665 -x5722 x5777 -x5833 -x5888 -x5944 -x5988 -x6032 -x6059 -x6619 -x6680 -x6735 -x6785 -x6829 -x6880 -x6924 -x6986 -x7041 -x7103 -x7147 x7191 -x7242 -x7286 -x7337 -x7381 -x7425 -x7598 -x7664 -x7723 -x7778 -x7837 -x7892 -x7952 -x8007 -x8057 x8101 -x8150 -x8194 -x8238 -x8276 -x8309 -x8331 -x8676 -x8714 -x8747 -x8780 -x8813 -x8850 -x8883 -x8916 -x8953 -x8986 -x9019 -x9056 -x9089 -x9122 x9155 -x9193 -x9226 -x9259 -x9297 -x9330 -x9363 -x9385 -x3848 -x3849 -x393 -x426 -x463 -x496 -x529 -x551 x588 -x621 -x654 -x691 -x724 -x735 -x2351 -x2358 -x2368 -x2379 -x2390 -x2398 -x2409 -x2420 -x2431 -x2442 -x2450 -x2462 -x2473 -x2484 x2495 -x2502 -x2512 -x2524 -x2531 -x2542 -x2553 -x2558 -x2562 -x2569 -x2784 -x2788 -x2798 -x2802 -x2806 -x2816 -x2820 -x2830 x2833 -x2836 -x2839 -x2848 -x2851 -x2854 -x2855 -x2895 -x2905 -x2911 -x2920 -x2926 -x2934 x2937 -x2940 -x2948 -x2952 -x2960 -x2964 -x3001 -x3008 -x3019 -x3030 -x3036 -x3047 -x3053 -x3064 x3075 -x3086 -x3093 -x3104 -x3116 -x3123 -x3133 -x3426 -x3431 -x3442 -x3447 -x3457 -x3462 -x3471 -x3476 x3486 -x3491 -x3502 -x3507 -x3518 -x3523 -x3526 -x3696 -x3700 -x3870 -x3877 -x3881 -x3888 x3892 -x3896 -x3903 -x3908 -x3914 -x3994 -x3998 -x4002 -x4012 x4016 -x4026 -x4030 -x4034 -x4043 -x3850 -x3851 -x3852 -x3853 -x4087 -x4091 -x4095 -x4104 x4108 -x4118 -x4122 -x4126 -x4134 -x4173 -x4184 -x4188 -x4198 x4202 -x4206 -x4216 -x4220 -x4229 -x4349 -x4352 -x4356 -x4359 -x4362 -x4366 -x4370 -x4374 -x4379 -x4382 -x4385 -x4390 -x4393 -x4396 x4398 -x3363 -x3364 -x3365 -x3366 -x4424 -x4428 -x4433 -x4437 -x4441 -x4445 -x4447 -x3377 -x3378 x3379 x3380 -x4462 -x4466 -x4469 x4472 -x4475 -x4479 -x4481 -x5123 -x5134 -x5145 -x5157 -x5170 -x5182 -x5194 -x5206 -x5218 -x5230 x5242 -x5255 -x5267 -x5279 -x5290 -x5301 -x5312 -x5323 -x5333 -x5342 -x5351 -x5822 -x5831 -x5842 -x5853 -x5864 x5874 -x5884 -x5893 -x5900 -x5905 -x5911 -x5916 -x5920 -x5924 -x5927 -x5929 -x6038 -x6047 -x6061 -x6069 -x6077 -x6085 x6091 -x6097 -x6102 -x6108 -x6113 -x6119 -x6124 -x6376 -x6382 -x6387 -x6392 -x6396 -x6406 -x6410 -x6414 -x6417 x6419 -x6422 -x6425 -x6429 -x6432 -x6435 -x6439 -x6442 -x6445 -x6446 -x6580 -x6582 -x6584 -x6587 -x6589 x6591 -x6593 -x6595 -x6598 -x6599 -x3854 -x3855 -x3856 -x6684 -x6686 -x6688 -x6690 -x6693 x6695 -x6697 -x6699 -x6701 -x6703 -x6842 -x6846 -x6850 -x6853 -x6855 -x6857 -x6859 -x6861 x6871 -x6873 -x6876 -x6879 -x6883 -x6884 -x6905 -x6907 x6909 -x6910 -x6922 -x6925 x6927 -x6928 -x6940 -x6942 -x6944 -x6945 -x6955 -x6958 x6960 -x6962 -x7254 -x7259 -x7265 -x7270 -x7274 -x7280 -x7285 -x7292 -x7300 -x7306 -x7313 -x7320 -x7327 -x7342 -x7350 -x7357 -x7365 -x7373 -x7380 -x7388 -x7396 -x7404 -x7411 -x7419 -x7427 -x7434 -x7442 -x7454 -x7461 -x7469 -x7476 -x7481 -x7486 -x7490 -x7494 -x7499 -x7503 -x7594 -x7600 -x7605 -x7611 -x7615 -x7619 x7623 -x7626 -x7630 -x7635 -x7639 -x7666 -x7670 -x7674 -x7683 -x7687 -x7692 -x7696 -x7700 -x7705 -x7710 -x7716 -x7721 -x7727 -x7732 -x7738 -x7743 -x7749 -x7754 -x7760 -x7765 x7771 -x8076 -x8082 -x8087 -x8093 -x8098 -x8104 -x8109 -x8115 x8120 -x8126 -x8131 -x8142 -x8146 -x8151 -x8155 -x8157 -x8158 x3857 -x3861 x3862 -x9176 -x9183 -x9188 -x9196 -x9203 -x9211 -x9220 -x9229 -x9235 -x9244 -x9253 -x9262 -x9271 -x9279 -x9293 -x9302 -x9310 -x9318 -x9326 x9334 -x9342 -x9349 -x9357 -x9365 -x9371 -x9379 -x9387 -x9393 -x9406 -x9414 -x9421 -x9428 -x9435 -x9439 -x9447 -x9454 -x9460 -x9466 -x9472 -x9477 -x9484 -x9871 -x9876 -x9880 -x9885 -x9889 -x9893 -x9898 -x9902 -x9907 -x9912 x9918 -x9923 -x9929 -x9934 -x9940 -x9945 -x9951 -x9956 -x9962 -x9967 -x9978 -x11993 -x12001 -x12009 -x12017 -x12024 -x12036 -x12044 -x12051 -x12059 -x12067 -x12074 -x12082 -x12090 -x12098 -x12105 -x12113 -x12121 -x12128 -x12136 -x12148 -x12155 -x12163 -x12171 -x12180 -x12188 -x12197 -x12205 -x12212 -x12218 -x12225 -x12231 -x12237 -x12242 -x12248 -x12252 -x12261 -x12265 -x12268 -x12272 -x12275 -x12278 -x12282 -x12285 -x12289 -x12294 -x12298 -x12302 -x12307 -x12311 -x12316 -x12320 -x12324 -x12329 -x12333 -x12338 x12342 -x12346 -x12351 -x12355 -x12360 -x12362 -x844 -x846 -x848 -x851 -x853 -x855 -x857 -x859 -x862 -x864 -x866 -x868 -x870 -x873 -x875 -x1165 -x1172 -x1178 -x1184 -x1188 -x1193 -x1197 -x1201 -x1206 -x1209 -x1213 -x1218 -x1222 -x1227 -x1231 -x1234 x1238 -x1241 -x1244 -x1248 -x1251 -x1254 -x1257 -x1268 -x1271 -x1630 -x1632 -x1635 -x1637 -x1639 -x1641 -x1643 -x1646 -x1648 -x1650 -x1652 -x1654 -x1657 -x1659 -x1661 -x1663 -x1665 -x1668 x1670 -x1672 -x1674 -x1676 -x1923 -x1925 -x1927 -x1929 -x1932 -x1934 -x1936 -x1938 -x1940 -x1943 -x1945 -x1947 -x1949 -x1951 x1959 -x1961 -x1963 -x1965 -x1967 -x4443 -x4476 -x4510 -x4543 x4576 -x4611 -x4644 -x4677 -x4688 -x4955 -x5188 -x6070 -x6218 -x6251 -x6289 -x6322 -x6355 -x6388 x6426 -x6459 -x6492 -x6531 -x7576 -x8205 -x8320 -x8380 -x8413 -x8446 -x8484 x8517 -x8550 -x8583 -x8621 -x8632 -x3863 -x3864 -x3865 -x9516 -x9549 -x9582 -x9615 -x9653 -x9686 -x9719 -x9757 -x9823 -x9861 -x9894 -x9905 x10434 -x10798 -x11059 -x11092 -x11129 -x11162 x11173 -x11994 -x62 -x106 -x143 x187 -x235 -x279 -x334 -x1380 -x1457 -x1540 -x1623 -x1700 -x1782 -x1864 x1941 -x2006 -x2016 -x2020 -x2024 -x2035 -x2039 -x2570 -x2606 -x2615 -x2619 -x2627 x2631 -x2639 -x2643 -x2647 -x2655 -x2966 -x2968 -x2975 x2978 -x2981 -x2988 -x2991 -x3369 -x3373 -x3381 -x3385 x3389 -x3398 -x3402 -x3411 -x3417 -x3651 -x3654 -x3657 -x3660 x3669 -x3672 -x3675 -x3683 -x3688 -x3866 -x3931 -x3934 x3937 -x3946 -x3949 -x3969 -x3978 x3981 -x3984 -x4044 -x4063 -x4066 x4074 -x4077 -x4135 -x4154 -x4157 x4165 -x4168 -x4230 -x4278 -x4308 -x4314 -x4319 -x4325 -x4329 -x4334 -x4338 -x4344 -x4375 x4397 -x4400 -x4401 -x4404 -x4407 -x4411 -x4414 -x4417 -x4418 -x4482 -x4485 -x4489 x4492 -x4495 -x4500 -x4501 -x4514 -x4519 -x4621 -x4626 -x4630 -x4635 -x4639 x4643 -x4648 -x4652 -x4657 -x4661 -x4662 -x4981 -x5012 -x5535 -x5558 -x5566 -x5568 -x5592 -x5596 -x5601 x5605 -x5611 -x5615 -x5619 -x5624 -x5625 -x5760 -x5791 -x5954 -x5973 -x5978 -x5979 -x5981 -x5984 -x5987 x5991 -x5994 -x5997 -x5998 -x6134 -x6153 -x6159 -x6168 -x6278 -x6283 -x6319 -x6325 -x6330 x6336 -x6341 -x6346 -x6350 -x6353 -x6357 -x6360 -x6363 -x6368 -x6369 -x6493 -x6539 -x6545 -x6559 -x6562 -x6566 -x6569 x6572 -x6576 -x6577 -x6643 -x6649 -x6663 -x6666 x6670 -x6673 -x6676 -x6679 -x6681 -x6710 -x6778 -x6783 -x6810 -x6814 -x6819 -x6822 x6825 -x6828 -x6832 -x6835 -x6836 -x6894 x6898 -x6901 -x6911 x6916 -x6919 -x6929 -x6933 -x6937 -x6947 x6951 -x6952 -x6961 -x7016 -x7020 -x7023 -x7026 -x7029 -x7033 -x7036 -x7039 -x7043 -x7046 -x7049 -x7053 -x7056 -x7059 -x7062 -x7066 -x7069 -x7073 -x7078 -x7082 -x7087 -x7091 -x7095 -x7107 -x7108 -x7478 -x7502 -x7513 -x7527 -x7555 -x7641 -x7645 -x7648 x7651 -x7655 -x7658 -x7659 -x7661 -x7957 -x7960 -x7964 -x7967 -x7970 -x7973 -x7977 -x7983 -x7987 x7988 -x8171 -x8175 -x8178 -x8181 -x8185 x8188 -x8191 -x8195 -x8198 -x8201 -x8202 -x8807 -x9150 -x9164 -x9611 -x9617 -x9622 -x9632 -x9637 -x9643 -x9648 -x9654 -x9659 -x9663 x9669 -x9674 -x9680 -x9685 -x9696 -x9702 -x9707 -x9712 -x9717 -x9718 -x9867 -x10160 -x10163 -x10166 -x10170 -x10173 x10176 -x10180 -x10186 -x10189 -x10191 -x11735 -x11743 -x11752 -x11761 -x11770 -x11779 -x11787 -x11796 -x11809 -x11818 -x11827 -x11835 -x11844 -x11852 -x11860 -x11866 -x11873 -x11879 -x11885 -x11890 -x11895 -x11899 -x11904 -x11908 -x11921 -x11925 -x11930 -x11934 -x11938 -x11943 -x11947 -x11952 -x11956 -x11960 x11965 -x11969 -x11974 -x11978 -x11982 -x11984 -x88 -x706 -x817 -x819 -x821 -x823 -x825 -x828 -x830 -x836 -x840 -x841 -x886 -x1276 -x1278 -x1280 -x1282 -x1284 -x1287 -x1289 -x1291 x1293 -x1298 -x1300 -x1302 -x1304 -x1306 -x1309 -x1310 -x1321 -x1368 -x1428 -x1580 -x1582 -x1585 -x1587 -x1590 -x1593 -x1597 -x1600 -x1613 -x1616 x1619 -x1622 -x1626 -x1627 -x1677 -x1753 -x1887 -x1889 -x1891 -x1893 -x1895 -x1899 -x1902 -x1905 x1909 -x1915 -x1918 -x1920 -x9790 -x4342 -x7980 -x9691 -x10183 -x11912 -x833 -x1295 -x1603 -x1912 -x3867 -x3868 -x3869 -x3874 -x3875 -x3876 -x3878 -x3879 -x3880 -x3882 -x3883 -x3887 -x3889 x3890 -x3891 -x3893 x3894 -x3895 -x3900 -x3901 x3902 -x3904 -x3905 -x3906 -x3907 -x3909 -x3913 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3929 -x3930 -x3932 -x3933 -x3935 -x3936 -x3938 x3945 -x3947 -x3948 -x3950 -x3951 -x3952 -x3953 -x3954 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 x3970 x3971 x3979 -x3980 -x3982 -x3983 -x3985 -x3986 -x3987 -x3993 -x3995 -x3996 -x3997 -x3999 -x4000 -x4001 -x4009 -x4010 -x4011 -x4013 -x4014 x4015 -x4017 -x4018 -x4025 -x4027 -x4028 -x4029 -x4031 -x4032 -x4033 -x4041 -x4042 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4064 -x4065 -x4072 -x4073 -x4075 x4076 -x4078 -x4079 -x4080 -x4081 -x4088 -x4089 -x4090 -x4092 -x4093 -x4094 -x4096 -x4102 -x4103 -x4105 x4106 -x4107 x4109 -x4110 -x4111 -x4119 -x4120 -x4121 -x4123 -x4124 -x4125 -x4127 -x4133 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4149 -x4150 -x4151 -x4152 -x4153 -x4155 -x4156 x4158 x4164 -x4166 -x4167 -x4169 -x4170 -x4171 -x4172 -x4181 -x4182 -x4183 -x4185 -x4186 -x4187 -x4189 -x4190 -x4197 x4199 -x4200 -x4201 -x4203 -x4204 -x4205 -x4213 -x4214 -x4215 -x4217 -x4218 -x4219 -x4221 -x4222 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4309 -x4311 -x4312 -x4313 -x4315 -x4316 -x4317 -x4318 -x4320 -x4322 -x4323 -x4324 -x4326 -x4327 -x4328 -x4330 -x4331 -x4333 -x4335 -x4336 -x4337 -x4339 -x4340 -x4341 -x4345 -x4346 -x4347 -x4348 -x4350 -x4351 -x4353 -x4355 -x4357 -x4358 -x4360 -x4361 -x4363 -x4364 -x4367 -x4368 -x4369 -x4371 -x4372 -x4373 -x4377 -x4378 -x4380 -x4381 -x4383 -x4384 -x4386 -x4389 -x4391 -x4392 -x4394 -x4395 -x4402 -x4405 -x4408 -x4412 -x4415 -x4422 -x4426 -x4430 -x4435 -x4439 -x4442 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4455 -x4456 -x4457 -x4458 -x4460 -x4461 -x4463 -x4464 -x4467 -x4468 -x4470 x4471 -x4473 -x4474 -x4477 -x4478 -x4480 -x4483 -x4484 -x4486 -x4488 -x4490 -x4491 -x4493 x4494 -x4496 -x4497 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4511 -x4512 x4513 -x4515 -x4516 -x4517 -x4518 -x4520 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4612 -x4613 -x4614 -x4615 -x4616 x4617 -x4618 -x4619 -x4620 x4623 -x4624 -x4625 x4627 -x4628 -x4629 x4631 -x4632 -x4634 x4636 -x4637 -x4638 x4640 -x4641 -x4642 -x4645 -x4646 -x4647 -x4649 -x4650 -x4651 -x4653 -x4654 -x4656 -x4658 -x4659 -x4660 -x4663 -x4664 -x4665 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4978 -x4979 -x4980 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5011 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5022 -x5023 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5111 -x5112 -x5113 -x5114 -x5115 -x5117 -x5118 -x5120 -x5122 -x5124 -x5125 -x5127 -x5128 -x5130 -x5131 -x5135 -x5136 -x5138 -x5139 -x5141 -x5142 -x5146 -x5147 -x5149 -x5150 -x5152 -x5153 -x5155 -x5158 -x5159 -x5161 -x5162 -x5164 -x5167 -x5168 -x5171 -x5172 -x5174 -x5175 -x5178 -x5179 -x5180 -x5183 -x5184 -x5186 -x5187 -x5190 -x5191 -x5192 -x5195 -x5196 -x5198 -x5200 -x5202 -x5203 -x5204 -x5207 -x5208 -x5211 -x5212 -x5214 -x5215 -x5216 -x5219 -x5220 -x5223 -x5224 -x5226 -x5227 -x5228 -x5231 -x5233 -x5235 -x5236 x5238 -x5239 -x5240 -x5244 -x5245 -x5247 -x5248 -x5250 x5251 -x5252 -x5256 -x5257 -x5259 -x5260 -x5262 -x5263 -x5264 -x5268 -x5270 -x5271 -x5273 -x5274 -x5275 -x5280 -x5282 -x5283 -x5285 -x5286 -x5287 -x5291 -x5293 -x5294 -x5296 -x5297 -x5298 -x5302 -x5304 -x5305 -x5307 -x5308 -x5309 -x5313 -x5315 -x5316 -x5318 -x5319 -x5320 -x5324 -x5325 -x5326 -x5328 -x5329 -x5330 -x5334 -x5335 -x5336 -x5338 -x5339 -x5340 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5352 -x5353 -x5355 -x5356 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5386 -x5390 -x5393 -x5395 -x5398 -x5401 -x5404 -x5406 -x5409 -x5412 -x5415 -x5417 -x5420 -x5423 -x5426 -x5428 -x5430 -x5433 -x5435 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5488 -x5489 -x5490 -x5491 -x5492 x5493 -x5494 -x5495 -x5496 -x5497 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5533 -x5534 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5555 -x5556 -x5557 -x5559 -x5560 -x5561 -x5562 -x5563 -x5567 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5588 -x5589 -x5590 -x5591 -x5593 -x5594 -x5595 -x5597 -x5599 -x5600 x5602 -x5603 x5604 -x5606 -x5607 -x5608 -x5612 -x5613 -x5614 -x5616 -x5617 -x5618 -x5620 -x5622 -x5623 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5756 -x5757 -x5758 -x5759 -x5761 -x5762 -x5763 -x5764 -x5765 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5789 -x5790 -x5792 -x5793 -x5794 -x5795 -x5796 -x5798 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5811 -x5812 -x5813 -x5814 -x5816 -x5817 -x5819 -x5820 -x5823 -x5825 -x5826 -x5828 -x5829 -x5834 -x5836 -x5837 -x5839 -x5840 -x5843 -x5846 -x5847 -x5849 -x5850 -x5851 -x5854 -x5857 -x5858 -x5860 -x5861 -x5862 -x5865 -x5867 -x5868 -x5870 x5871 -x5872 -x5875 -x5876 -x5878 -x5880 -x5881 -x5882 -x5885 -x5886 -x5889 -x5890 -x5891 -x5894 -x5895 -x5896 -x5897 -x5901 -x5902 -x5903 -x5904 -x5906 -x5907 -x5908 -x5909 -x5912 -x5913 -x5914 -x5915 -x5917 -x5918 -x5919 -x5922 -x5923 -x5925 -x5926 -x5928 -x5930 -x5931 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 x5952 x5953 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5974 -x5975 -x5976 x5980 x5982 -x5983 x5985 -x5986 x5989 -x5990 -x5992 -x5993 -x5995 -x5996 -x6000 -x6003 -x6005 -x6008 -x6011 -x6014 -x6016 -x6019 -x6022 -x6024 -x6026 -x6027 -x6028 -x6030 -x6031 -x6033 -x6034 -x6035 -x6036 -x6037 -x6039 -x6040 -x6041 -x6042 -x6044 -x6045 -x6046 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6060 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6078 -x6079 -x6080 -x6082 -x6083 -x6084 -x6086 -x6087 x6088 -x6089 -x6090 -x6093 -x6094 -x6095 x6096 -x6098 -x6099 -x6100 -x6101 -x6104 -x6105 -x6106 -x6107 -x6109 -x6110 -x6111 -x6112 -x6115 -x6116 -x6117 -x6118 -x6120 -x6121 -x6122 -x6123 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6135 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6148 -x6149 -x6150 -x6151 -x6152 -x6154 -x6155 -x6156 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 x6236 -x6237 x6238 -x6239 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6274 -x6275 -x6276 -x6277 -x6279 -x6280 -x6281 -x6282 -x6290 -x6291 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6320 -x6321 -x6323 -x6324 -x6326 -x6327 -x6328 -x6329 -x6331 -x6332 -x6334 -x6335 -x6337 -x6338 x6339 -x6340 -x6342 -x6343 -x6345 -x6347 -x6348 -x6349 -x6351 -x6352 -x6354 -x6356 -x6358 -x6359 -x6361 -x6362 -x6364 -x6365 -x6367 -x6370 -x6371 -x6372 -x6374 -x6375 -x6380 -x6381 -x6385 -x6386 -x6390 -x6391 -x6394 -x6398 -x6408 -x6412 -x6416 -x6418 -x6420 -x6421 -x6423 -x6427 -x6430 -x6433 -x6436 -x6440 -x6443 -x6449 -x6450 -x6452 -x6453 -x6455 -x6458 -x6462 -x6465 -x6467 -x6468 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6494 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6505 -x6506 -x6507 -x6509 -x6510 -x6511 -x6513 -x6521 -x6522 -x6524 -x6525 x6526 -x6528 -x6529 -x6530 -x6532 -x6534 -x6535 -x6536 -x6537 -x6540 -x6541 -x6543 -x6546 -x6547 -x6549 -x6550 -x6551 -x6552 -x6554 -x6555 -x6556 -x6557 -x6558 -x6560 -x6561 -x6563 -x6565 x6567 x6568 x6570 -x6571 -x6573 -x6574 -x6578 -x6579 -x6581 x4288 -x6583 -x6585 -x6588 -x6590 -x6592 -x6594 -x6596 x4299 -x6600 -x6601 -x6602 -x6604 -x6605 -x6606 x4310 -x6609 -x6610 -x6611 -x6613 -x6614 -x6615 -x6617 -x6618 -x6620 -x6622 -x6623 x6624 -x6626 -x6627 -x6628 -x6629 -x6638 -x6639 -x6640 -x6641 -x6644 -x6645 -x6646 -x6650 -x6651 -x6653 -x6654 -x6655 -x6656 -x6657 -x6659 x4321 -x6660 -x6661 -x6662 -x6664 -x6665 -x6667 -x6668 -x6671 x6672 -x6674 -x6675 -x6677 -x6678 -x6682 -x6683 -x6685 -x6687 -x4332 -x4343 -x4354 -x4365 -x4376 -x4388 -x4399 -x4410 -x4421 -x4432 -x6689 -x6692 -x6694 -x6696 -x6698 -x6700 -x4454 -x4465 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6711 -x4487 -x4499 -x6712 -x6714 -x6715 -x6717 -x6718 -x6719 -x6721 -x6722 -x6723 -x6726 -x6727 -x6728 -x6730 -x6731 -x6732 -x6734 -x6736 -x6737 -x6739 -x6740 -x6741 -x6742 -x6744 -x6745 -x6753 -x6754 x6756 -x6757 -x6758 -x6759 -x6761 -x6762 -x6764 -x6765 -x4521 -x4532 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6775 -x6776 -x6777 -x6779 -x6780 -x6781 -x6782 -x6784 -x6786 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6808 -x6809 -x6811 -x6812 -x6813 x4554 x4565 -x6815 -x6816 -x6817 -x6820 -x6821 -x6823 -x6824 -x6826 x6827 -x6830 -x6831 -x6833 -x6834 -x6837 -x6839 -x6841 -x6844 -x6845 -x6848 -x6849 -x4587 -x4598 -x6852 -x6854 -x6856 -x6858 -x6860 -x6870 -x6872 -x6874 -x6877 -x6881 -x4622 -x4633 -x6886 -x6888 -x6892 -x6893 -x4655 -x4666 -x4699 -x6895 -x6896 -x6897 -x6899 x6900 -x4710 -x4722 -x4744 -x6903 -x6904 -x6906 -x6908 -x6912 -x6914 -x6915 -x6917 x6918 -x6920 -x6921 -x6923 -x4755 -x4766 -x4777 -x6926 -x6930 -x6931 -x6932 -x6934 -x6936 -x6938 -x6939 -x6941 -x6943 -x6948 -x6949 -x6950 -x4788 -x4799 -x4810 x6953 -x6954 -x6956 -x6959 -x6963 -x6964 -x6965 -x6966 -x6967 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x4821 -x4833 -x4844 -x4855 -x6995 -x6996 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7017 -x7018 -x7021 -x7022 -x7024 -x7025 -x7027 -x7028 -x7031 -x7032 -x4866 -x4877 -x4888 -x4899 -x7034 -x7035 -x7037 -x7038 -x7040 -x7042 -x7044 -x7045 -x7047 -x7048 -x7050 -x7051 -x7054 -x7055 -x7057 -x7058 -x7060 -x7061 -x7064 -x7065 -x4910 -x4921 -x4932 -x4944 -x7067 -x7068 -x7070 -x7071 -x7072 -x7075 -x7076 -x7077 -x7079 -x7080 -x7081 -x7083 -x7084 -x7086 -x7088 -x7089 -x7090 -x7092 -x7093 -x7094 -x7104 -x7105 -x7106 -x7109 -x7110 -x7111 -x7112 -x7113 -x7115 -x4966 -x4977 -x4988 -x4999 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7159 -x5010 -x5021 -x5032 -x5043 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7203 -x5055 -x5066 -x5077 -x5088 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x5099 -x5110 x5121 x5132 -x7255 -x7256 -x7257 -x7258 -x7260 -x7261 -x7262 -x7263 -x7266 -x7267 -x7268 -x7269 -x7271 -x7272 -x7273 -x7276 -x7277 -x7278 -x7279 -x7281 -x7282 -x7283 -x7284 -x7287 -x7288 -x7289 -x7290 -x7291 -x7293 -x7294 -x7295 -x7296 -x7298 -x7299 -x7301 -x7302 -x7303 -x7304 -x7305 -x7307 -x7309 -x7310 -x7311 -x7312 -x7314 -x5143 -x5154 -x5166 -x5177 -x7315 -x7316 -x7317 -x7318 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7328 -x7329 -x7338 -x7339 -x7340 -x7341 -x7343 -x7344 -x7345 -x7346 -x7347 -x7349 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7358 -x7360 -x7361 -x7362 -x7363 -x7364 -x7366 -x7367 -x7368 -x7369 -x7371 -x7372 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7389 -x7390 -x7391 -x7393 -x7394 -x7395 -x7397 -x5199 -x5210 -x5221 -x7398 -x7399 -x7400 -x7401 -x7402 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7412 -x7413 -x7415 -x7416 -x7417 -x7418 -x7420 -x7421 -x7422 -x7423 -x7424 -x7426 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7435 -x7437 -x7438 -x7439 -x7440 -x7441 -x7443 -x7444 -x7445 -x7446 -x7452 -x7453 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7470 -x7471 -x7472 -x7474 -x7475 -x7477 -x5232 -x5243 -x5254 -x7479 -x7480 -x7482 -x7483 -x7485 -x7487 -x7488 -x7489 -x7491 -x7492 -x7493 -x7496 -x7497 -x7498 -x7500 -x7501 -x7504 -x7505 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x5265 -x5277 -x5288 -x7514 -x7515 -x7516 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x5299 -x5310 -x5321 -x5343 -x5354 -x5365 -x5376 -x5399 -x5410 -x5421 -x5432 -x5454 -x5465 -x5476 -x5487 -x5510 -x5521 -x5532 -x5543 -x5565 -x5576 -x5587 -x5598 -x5621 -x5632 -x5643 -x5654 -x5676 -x5687 -x5698 -x5709 -x5733 x5744 -x5755 -x5766 -x5788 -x5799 -x5810 -x5821 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7551 -x7552 -x7553 -x7554 -x7556 -x7557 -x7558 -x7559 x7560 x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x5844 -x5855 -x5866 -x5877 -x7573 -x7574 -x7575 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7595 -x7596 -x7597 -x7599 -x7601 -x7602 -x7603 -x7604 -x7606 -x7607 -x7608 -x7610 -x7612 -x7613 -x7614 -x7616 -x7617 -x7618 -x5899 -x5910 -x5921 -x5932 x7621 -x7622 -x7624 x7625 -x7627 -x7628 -x7629 -x7632 -x7633 -x7634 -x7636 -x7637 -x7638 -x7640 -x7643 -x7644 -x7646 -x7647 -x7649 -x7650 -x7652 x7654 -x5955 -x5966 -x5977 -x7656 -x7657 -x7660 -x5999 -x6010 -x6021 -x6043 -x7662 -x7663 -x7665 -x7667 -x7668 -x7669 -x7671 -x7672 -x7673 -x7680 -x7681 -x7682 -x7684 -x7685 -x7686 -x7688 -x7689 -x7691 -x7693 -x7694 -x7695 -x7697 -x7698 -x7699 -x7702 -x7703 -x7704 -x7706 -x7707 -x7708 -x7711 -x7713 -x7714 -x7717 -x7718 -x7719 -x7722 -x7724 -x7725 -x7728 -x7729 -x7730 -x7733 -x7735 -x7736 -x7739 -x7740 -x7741 -x7744 -x7746 -x7747 -x7750 -x7751 -x7752 -x7755 -x7757 -x7758 -x7761 -x7762 -x7763 -x7766 x7768 -x7769 -x7772 -x7773 x7774 -x7776 -x7777 -x7779 -x7781 -x7782 -x7783 -x7785 -x7786 -x7787 -x7794 -x7795 -x7796 -x7798 -x7799 -x7800 -x7802 -x7803 -x7805 -x7807 -x7808 -x7809 -x7811 -x7812 -x7813 -x7814 -x7816 x7817 -x7818 -x7819 x7820 x7821 -x7822 -x7823 -x7824 x7825 -x7827 -x7828 -x7829 -x7830 x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7849 -x7850 -x7852 -x7854 -x7855 -x7857 -x7860 -x7862 -x7864 -x7866 -x7868 -x7871 -x7873 -x7875 -x7877 -x7879 -x7882 -x7884 -x7886 -x7888 -x7890 -x7893 -x7895 -x7897 -x7899 x7901 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7942 -x7943 -x7944 -x7958 -x7961 -x7965 x7968 x7971 x7975 x7978 x7981 x7984 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8008 -x8009 -x8010 -x8011 -x8012 -x8014 -x8015 -x8016 -x8017 -x8026 -x8027 -x8028 -x8029 -x8030 -x8032 -x8033 -x8034 -x8036 -x8038 -x8039 -x8041 -x8042 -x8044 -x8047 -x8048 -x8050 -x8051 -x8052 -x8054 -x8055 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8077 -x8078 -x8080 -x8081 -x8083 -x8084 -x8085 -x8086 -x8088 -x8089 -x8091 -x8092 -x8094 -x8095 -x8096 -x8097 -x8099 -x8100 -x8102 -x8103 -x8105 -x8106 -x8107 -x8108 -x8110 -x8111 -x8113 -x8114 -x8116 -x8117 -x8118 x8119 -x8121 -x8122 -x8124 -x8125 -x8127 -x8128 -x8129 -x8130 -x8132 -x8133 -x8140 -x8141 -x8143 -x8144 -x8145 -x8147 -x8148 -x8149 -x8152 -x8153 -x8154 -x8156 -x8159 -x8162 -x8173 -x8174 -x8176 -x8177 -x8179 -x8180 -x8182 -x8184 -x8186 -x8187 -x8189 x8190 -x8192 -x8193 -x8196 -x8197 -x8199 -x8200 -x8203 -x8204 -x8207 -x8208 -x8210 -x8211 -x8213 -x8214 -x8218 -x8219 -x8222 -x8224 -x8228 -x8230 -x8233 -x8235 x8240 x8243 -x8245 -x8248 -x8256 -x8259 -x8261 -x8263 -x8266 -x8268 -x8270 -x8272 -x8274 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8310 -x8311 -x8313 -x8314 -x8315 -x8316 -x8318 -x8319 -x8321 -x8322 -x8323 -x8325 -x8326 -x8327 -x8328 -x8330 -x8332 -x8333 -x8334 -x8335 -x8337 -x8338 -x8339 -x8340 -x8343 -x8344 -x8346 -x8347 -x8349 -x8350 -x8352 -x8354 -x8356 -x8357 -x8359 -x8360 -x8362 -x8363 -x8371 -x8372 -x8373 -x8375 -x8376 -x8378 -x8379 -x8381 -x8383 -x8384 -x8386 -x8387 -x8388 -x8390 -x8392 -x8394 -x8395 -x8396 -x8398 -x8399 -x8401 -x8403 -x8404 -x8406 -x8407 -x8409 -x8410 -x8411 -x8414 -x8415 -x8417 -x8418 -x8419 -x8421 -x8422 -x8425 -x8426 -x8428 -x8429 -x8431 -x8432 -x8433 -x8436 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8445 -x8447 -x8448 -x8449 -x8450 -x8452 -x8453 -x6081 -x6092 -x6103 -x6114 -x6125 -x6136 -x6147 -x6158 -x6174 -x6185 -x6196 -x6207 -x8454 -x8455 -x8456 -x8459 -x8460 -x8461 -x8462 -x8463 -x8465 -x8466 -x8467 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8518 -x8519 -x8520 -x6229 -x6240 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8540 -x8542 -x8543 -x8544 -x8545 -x8547 -x8548 -x8549 -x8551 -x8552 -x8554 -x8555 -x8556 -x8557 -x8558 -x8560 -x8562 -x8564 -x8566 -x8567 -x8569 -x8570 -x8573 -x8575 -x6262 -x6273 -x8576 -x8578 -x8579 -x8581 -x8584 -x8586 -x8587 -x8588 -x8589 -x8591 -x8592 -x8593 -x8601 -x8602 -x8604 -x8605 -x8606 -x8608 -x8609 -x8612 -x8613 -x8615 -x8616 -x8618 -x8619 -x8622 -x8623 -x8625 -x8626 -x8627 -x8629 -x8630 -x8633 -x8634 -x8635 -x8637 -x8638 -x8639 -x8640 -x8641 -x8644 -x8645 -x8647 -x8648 -x6300 -x6311 -x8649 -x8651 -x8652 -x8655 -x8656 -x8657 -x8659 -x8660 -x8662 -x8663 -x8664 -x8667 -x8668 -x8670 -x8671 -x8673 -x8674 -x8677 -x8678 -x8679 -x8681 -x8683 -x8684 -x8685 -x8688 -x8689 -x8691 -x8692 -x8694 -x8696 -x8697 -x8699 -x8701 -x8703 -x8704 -x8705 -x8707 -x8708 -x8716 -x8717 -x8718 -x8720 -x8721 -x8723 -x6333 -x6344 -x8724 -x8727 -x8728 -x8730 -x8731 -x8733 -x8734 -x8737 -x8738 -x8739 -x8741 -x8742 -x8744 -x8745 -x8746 -x8749 -x8750 -x8752 -x8753 -x8754 -x8756 -x8757 -x8760 -x8761 -x8762 -x8764 -x8765 -x8767 -x8768 -x8770 -x8772 -x8773 -x8775 -x8776 -x8778 -x8779 -x8782 -x8783 -x8785 -x8787 -x8788 -x8789 -x8792 -x8793 -x6366 -x6377 -x8795 -x8796 -x8797 -x8799 -x8800 -x8801 -x8803 -x8804 -x8805 -x8806 -x8808 -x8809 -x8810 -x8811 -x8812 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x6404 -x6415 -x8846 -x8847 -x8848 -x8849 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8906 -x8907 -x8908 -x6437 x6448 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8928 -x8929 -x8930 -x8931 -x8932 x8933 -x8934 -x8935 -x8936 -x8937 x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x6470 -x6481 -x8972 -x8973 -x8974 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x6503 -x6520 -x9016 -x9017 -x9018 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x6542 -x6553 -x9065 -x9066 -x9068 -x9069 -x9070 -x9071 x9072 -x9073 -x9074 x9075 -x9076 x9077 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 x9085 -x9086 -x9087 -x9088 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x6564 -x6597 -x9118 -x9119 -x9120 -x9121 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9145 -x9146 -x9147 -x9148 -x9149 -x9151 -x9152 -x9153 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x6636 -x6658 -x9172 -x9173 -x9174 -x9175 -x9177 -x9178 -x9179 -x9180 -x9181 -x9184 -x9186 -x9187 -x9189 -x9190 -x9192 -x9194 -x9195 -x9197 -x9198 -x9200 -x9201 -x9202 -x9205 -x9206 -x9208 -x9209 -x9212 -x9213 -x9216 -x9217 -x9218 -x9221 -x9222 -x9224 -x9225 -x9227 -x9230 -x9232 -x9233 -x9236 -x9238 -x9240 -x9241 -x9242 -x6691 -x6713 -x9245 -x9246 -x9249 -x9250 -x9251 -x9254 -x9255 -x9257 -x9258 -x9260 -x9263 -x9264 -x9266 -x9267 -x9268 -x9272 -x9273 -x9275 -x9276 -x9277 -x9280 -x9287 -x9289 -x9290 -x9291 -x9294 -x9295 -x9298 -x9299 -x9300 -x9303 -x9304 -x9306 -x9307 -x9311 -x9312 -x9314 -x9315 -x9316 -x9320 -x9322 -x9323 -x9324 -x9327 -x9329 -x9331 -x9332 -x6752 -x6763 -x9335 -x9337 -x9338 -x9339 -x9343 -x9345 -x9346 -x9347 -x9350 -x9353 -x9354 -x9355 -x9358 -x9360 -x9361 -x9362 -x9366 -x9368 -x9369 -x9372 -x9375 -x9376 -x9377 -x9380 -x9382 -x9383 -x9384 -x9388 -x9390 -x9391 -x9394 -x9395 -x9402 -x9403 -x9404 -x9407 -x9408 -x9409 -x9410 -x9411 -x9413 -x9415 -x6796 -x6807 -x6818 -x9416 -x9417 -x9418 -x9419 -x9420 -x9422 -x9424 -x9426 -x9427 -x9429 -x9431 -x9432 -x9433 -x9436 -x9437 -x9438 -x9440 -x9441 -x9443 -x9444 -x9448 -x9449 -x9451 -x9452 -x9455 -x9458 -x9459 -x9461 -x9463 -x9464 -x9468 -x9470 -x9471 -x9473 -x9475 -x9479 -x6840 -x6851 -x6869 -x9481 -x9482 -x9485 -x9487 -x9488 -x9491 -x9493 -x9495 -x9497 -x9498 -x9499 x9502 x9504 x9506 -x9508 x9510 -x9518 -x9521 -x9523 -x9525 -x9528 -x9530 -x6891 -x6902 -x6913 -x9532 -x9534 -x9536 -x9539 -x9541 -x9543 -x9545 -x9547 -x9550 -x9552 -x9553 -x9555 -x9557 -x9558 -x9561 -x9563 -x9565 -x9567 -x9568 -x9570 -x9573 -x9574 -x9576 -x9578 -x9579 -x6935 -x6946 -x6957 -x6968 -x9580 -x9583 -x9585 -x9587 -x9588 -x9591 -x9592 -x9595 -x9596 -x9597 -x9599 -x9600 -x9601 -x9602 -x9603 -x9605 -x9607 -x9612 -x9613 -x9614 -x9618 -x9619 -x9620 -x9623 -x9624 -x6997 -x7008 -x7019 -x7030 -x9633 -x9634 -x9635 -x9636 -x9638 -x9639 -x9640 -x9641 -x9644 -x9645 -x9646 -x9647 -x9649 -x9650 -x9651 -x9652 -x9655 -x9656 -x9657 -x9658 x9660 x9661 -x9662 x9665 -x9666 -x9667 -x9668 -x9670 -x9671 -x9672 -x9676 -x9677 -x9678 -x9679 -x9681 -x9682 -x9683 -x9684 -x7052 -x7063 -x7074 -x7085 -x9687 -x9688 -x9689 -x9690 -x9692 -x9693 -x9694 -x9695 -x9698 -x9699 -x9700 -x9701 -x9703 -x9704 -x9705 -x9706 -x9709 -x9710 -x9711 -x9713 -x9714 -x9715 -x9720 -x9721 -x9722 -x9724 -x9726 -x9728 -x9731 -x9733 -x9735 -x7114 -x7125 -x7136 -x9737 -x9739 -x9747 -x9749 -x9751 -x9753 -x9756 -x9758 -x9760 -x9761 -x9763 -x9764 -x9766 -x9767 -x9770 -x9771 -x9772 -x9774 -x9775 -x9776 -x9778 -x9780 -x7158 x7169 -x7180 -x9782 -x9783 -x9784 -x9786 -x9787 -x9788 -x9789 -x9791 -x9793 -x9794 -x9796 -x9798 -x9799 -x9802 -x9804 -x9806 -x9808 -x9810 -x9813 -x9815 -x9817 -x9819 -x9822 -x7202 x7220 -x7231 -x9825 -x9827 -x9829 -x9831 -x9832 -x9835 -x9836 -x9837 -x9839 -x9840 -x9841 -x9843 -x9844 -x9846 -x9848 -x9849 -x9850 -x9852 -x9853 -x9854 -x9855 -x9862 -x9863 -x9864 -x9865 -x7253 -x7264 x7275 -x7297 -x7308 -x7319 -x7348 -x7359 -x7370 -x7392 -x7403 -x7414 -x7436 -x7451 -x7462 -x7473 -x7484 -x7495 -x7506 -x7517 -x7528 -x7539 -x7550 -x7565 -x7587 -x7609 -x7631 -x7642 -x7701 -x7756 -x7815 -x7826 -x7870 -x7919 -x7930 -x7985 -x8035 -x9868 -x9869 -x9870 -x9873 -x9874 -x9875 x8079 -x8090 -x9877 -x9878 -x9879 -x9881 -x9882 -x9884 -x9886 -x9887 -x9888 -x9890 -x9891 -x9892 -x9895 -x9896 -x9897 -x9899 -x9900 -x9901 -x9903 -x9904 -x9906 -x9908 -x9909 -x9910 -x9913 -x9914 x9915 -x9919 -x9920 -x9921 -x9924 x8123 -x9925 -x9926 -x9930 -x9931 -x9932 -x9935 -x9936 -x9937 -x9941 -x9942 -x9943 -x9946 -x9947 -x9948 -x9952 -x9953 -x9954 -x9957 -x9958 -x9959 -x9963 -x9964 -x9965 -x9968 -x9969 -x9970 -x9979 -x9980 -x9981 -x9983 -x8161 -x8172 -x9984 -x9985 -x9988 -x9989 -x9990 -x9992 -x9993 -x9994 -x9996 -x9997 -x9999 -x10001 -x10002 -x10003 -x10005 -x10006 -x10007 -x10010 -x10011 -x10012 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x8216 -x10028 -x10029 -x10030 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10051 -x10052 -x10055 -x10057 -x10058 -x8254 -x10060 -x10062 -x10065 -x10067 -x10069 -x10071 -x10073 -x10076 -x10078 x10080 -x8287 -x8298 x10082 -x10084 -x10092 -x10094 -x10096 -x10098 -x10100 -x10103 -x10105 -x10107 -x10109 -x10111 -x10112 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x8342 -x10121 -x10122 -x10123 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10136 -x10137 -x10138 -x10139 -x8369 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10147 -x10161 -x10164 -x10167 -x10171 x10174 -x10177 -x8391 -x8402 -x10181 -x10184 -x10187 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x8424 -x8435 -x10199 -x10200 -x10206 -x10207 -x10208 -x10209 x10210 x10211 x10212 -x10213 -x8457 -x8468 -x10214 -x10215 -x10217 -x10218 -x10219 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10250 -x10251 -x10252 -x10253 -x10254 -x8495 -x8506 -x10255 -x10256 -x10257 -x10258 -x10259 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10332 -x10333 -x8528 x8539 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x8561 -x8572 -x10396 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10429 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10443 -x10444 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10453 -x10454 -x10455 -x10457 -x10458 -x10459 -x10460 -x10461 -x10463 -x10464 -x10465 -x10466 -x10468 -x10469 -x10470 -x10471 -x10473 -x10475 -x10476 -x10477 -x10479 -x10480 -x10481 -x10482 -x10484 -x10486 -x10487 -x10488 -x10490 -x10491 -x10492 -x8599 -x8610 -x10493 -x10495 -x10497 -x10498 -x10499 -x10501 -x10502 -x10503 -x10504 -x10506 -x10508 -x10509 -x10510 -x10512 -x10513 -x10514 -x10516 -x10518 -x10519 -x10520 -x10521 -x10523 -x10524 -x10526 -x10528 -x10529 -x10530 -x10531 -x10532 -x10534 -x10536 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10550 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10560 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10569 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10579 -x10582 -x10583 -x10585 -x10586 -x10587 -x10589 -x10591 -x10593 -x10595 -x10596 -x8643 -x10597 -x10599 -x10601 -x10602 -x10605 -x10606 -x10607 -x10609 -x10611 -x10612 -x10615 -x10616 -x10617 -x10618 -x10619 -x10621 -x10622 -x10624 -x10626 -x10627 -x10628 -x10629 -x10631 -x10632 -x10634 -x10635 -x10637 -x10638 -x10639 -x10641 -x10642 -x10644 -x10645 -x10646 -x10648 -x10649 -x10651 -x10652 -x10654 -x10655 -x10656 -x10657 -x10663 -x10665 -x10666 -x10668 -x10669 -x10670 -x10671 -x10672 -x10674 -x10675 -x10676 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10685 -x10686 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10696 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10708 -x10709 -x10710 -x10711 -x10713 -x10714 -x10715 -x10716 -x10719 -x10720 -x10721 -x10722 -x10724 -x10725 -x10726 -x10727 -x10730 -x10731 -x10732 -x10733 -x10735 -x10736 -x10737 -x10738 -x10741 -x10742 -x10743 -x10744 -x10746 -x10747 -x10748 -x10749 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10785 -x10786 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10796 -x10797 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10854 -x10855 -x10856 -x10857 -x10858 -x10860 -x10861 -x10862 -x10863 -x10865 -x10866 -x10867 -x10868 -x10869 -x10871 -x10872 -x10873 -x10874 -x10876 -x10877 -x10878 -x10879 -x10880 -x10882 -x10883 -x10884 -x10885 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10911 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10921 -x10922 -x10924 -x10925 -x10926 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10935 -x10936 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10946 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 x10990 -x10991 -x10992 x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11005 -x11006 -x11007 -x11008 -x11009 -x11011 -x11012 -x11013 -x11014 -x11017 -x11018 -x11019 -x11021 -x11022 -x11023 -x11024 -x11025 -x11027 -x11029 -x11031 -x11032 -x11034 -x11035 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11045 -x11046 -x11049 -x11050 -x11051 -x11053 -x11054 -x11055 -x11057 -x11058 -x11061 -x11062 -x11063 -x11065 -x11066 -x11067 -x11069 -x11071 -x11073 -x11074 -x11075 -x11077 -x11078 -x11079 -x11082 -x11083 -x11085 -x11086 -x11087 -x11089 -x11090 -x11091 -x11094 -x11095 -x11097 -x11098 -x11099 -x11101 -x11102 -x11104 -x11106 -x11107 -x11109 -x11110 -x11111 -x11113 -x11119 -x11120 -x11122 -x11123 -x11125 -x11126 -x11127 -x11130 -x11131 -x11132 -x11134 -x11135 -x11137 -x11138 -x11139 -x11142 -x11143 -x11144 -x11146 -x11147 -x11149 -x11150 -x11152 -x11154 -x11155 -x11156 -x11158 -x11159 -x11161 -x11163 -x11164 -x11166 -x11167 -x11168 -x11170 -x11171 -x11174 -x11175 -x11176 -x11178 -x11179 -x11180 -x11182 -x11183 -x11186 -x11187 -x11188 -x11190 -x11191 -x11192 -x11194 -x11196 -x11198 -x11199 -x11200 -x11202 -x11203 -x11204 -x11207 -x11208 -x11210 -x11211 -x11212 -x11214 -x11215 -x11216 -x11219 -x11220 -x11222 -x11223 -x11224 -x11226 -x11227 -x11233 -x11235 -x11236 -x11238 -x11239 -x11240 -x11242 -x11244 -x11246 -x11247 -x11249 -x11250 -x11251 -x11253 -x11255 -x11257 -x11258 -x11260 -x11261 -x11262 -x11264 -x11266 -x11268 -x11269 -x11271 -x11272 -x11273 -x11275 -x11277 -x11279 -x11280 -x11282 -x11283 -x11284 -x11286 -x11288 -x11290 -x11291 -x11293 -x11294 -x11295 -x11297 -x11299 -x11301 -x11303 -x11304 -x11305 -x11307 -x11308 -x11311 -x11313 -x11314 -x11316 -x11317 -x11319 -x11322 -x11323 -x11325 -x11326 -x11328 -x11330 -x11332 -x11334 -x11335 -x11337 -x11339 -x11340 -x11347 -x11348 -x11350 -x11352 -x11353 -x11355 -x11356 -x11359 -x11361 -x11362 -x11364 -x11365 -x11367 -x11370 -x11371 -x11373 -x11374 -x11375 -x11377 -x11380 -x11381 -x11383 -x11384 -x11385 -x11386 -x11388 -x11389 -x11392 -x11393 -x11394 -x11395 -x11397 -x11398 -x11400 -x11402 -x11403 -x11404 -x11406 -x11407 -x11409 -x11410 -x11411 -x11413 -x11415 -x11416 -x11418 -x11419 -x11420 -x11421 -x11424 -x11425 -x11427 -x11428 -x11429 -x11430 -x11431 -x11432 -x11433 -x11436 -x11437 -x11438 -x11439 -x11440 -x11441 -x11443 -x11444 -x11446 -x11447 -x11448 -x11449 -x11451 -x11452 -x11453 -x11454 -x11455 -x11462 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11471 -x11473 -x11474 -x11475 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11484 -x11485 -x11486 -x11487 -x11488 -x11489 -x11490 -x11491 -x11492 -x11493 -x11495 -x11496 -x11497 -x11498 -x11499 -x11500 -x11501 -x11502 -x11503 -x11504 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512 -x11513 -x11514 -x11515 -x11517 -x8654 -x8665 -x11518 -x11519 -x11520 -x11521 -x11522 -x11523 -x11524 -x11525 -x11526 -x11528 -x11529 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 -x11539 -x11540 -x11541 -x11542 -x11543 -x11544 -x11545 -x11546 -x11547 -x11548 -x11550 -x11551 -x11552 -x11553 -x11554 -x11555 -x11556 -x11557 -x11558 -x11559 -x11561 -x11562 -x11563 -x11564 -x11565 -x11566 -x11567 -x11568 -x11569 -x11570 -x11576 -x11577 -x11578 -x11579 -x11580 -x11581 -x11582 -x11583 -x11584 -x11585 -x11587 -x11588 -x11589 -x11590 -x8687 -x8698 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11598 -x11599 -x11600 -x11601 -x11602 -x11603 -x11604 -x11605 -x11606 -x11607 -x11609 -x11610 -x11611 -x11612 -x11613 -x11614 -x11615 -x11616 -x11617 -x11618 -x11620 -x11621 -x11622 -x11623 -x11624 -x11625 -x11626 -x11627 -x11628 -x11629 -x11631 -x11632 -x11633 -x11634 -x11635 -x11636 -x11637 -x11638 -x11639 -x11640 -x11642 -x11643 -x11644 -x11645 -x11646 -x11647 -x11648 -x11649 -x11650 -x11651 -x11653 -x11654 -x11655 -x11656 -x11657 -x11658 -x11659 -x11660 -x8725 -x8736 -x11661 -x11662 -x11664 -x11665 -x11666 -x11667 -x11668 -x11669 -x11670 -x11671 -x11672 -x11673 -x11675 -x11676 -x11677 -x11678 -x11679 -x11680 -x11681 -x11682 -x11683 -x11684 -x11690 -x11691 -x11692 -x11693 -x11694 -x11695 -x11696 -x11697 -x11698 -x11699 -x11701 -x11702 -x11703 -x11704 -x11705 -x11706 -x11707 -x11708 -x11709 -x11710 -x11712 -x11713 -x11714 -x11715 -x11716 -x11717 -x11718 -x11719 -x11720 -x11721 -x11723 -x11724 -x11725 -x11726 -x11727 -x11728 -x11729 -x11730 -x11731 -x11732 -x11734 -x11736 -x11737 -x11738 -x11739 -x11740 -x11741 -x11742 -x11745 -x11746 -x11747 -x11748 -x8758 -x8769 -x11750 -x11751 -x11753 -x11754 -x11756 -x11757 -x11758 -x11759 -x11760 -x11762 -x11763 -x11764 -x11765 -x11767 -x11768 -x11769 -x11771 -x11772 -x11773 -x11774 -x11775 -x11776 -x11778 -x11780 -x11781 -x11782 -x11783 -x11784 -x11785 -x11786 -x11789 -x11790 -x11791 -x11792 -x11793 -x11794 -x11795 -x11797 -x11798 -x11804 -x11805 -x11806 -x11807 -x11808 -x11810 -x11811 -x11812 -x11813 -x11815 -x11816 -x11817 -x11819 -x11820 -x11821 -x11822 -x11823 -x11824 -x11826 -x11828 -x11829 -x11830 -x11831 -x11832 -x11833 -x11834 -x11837 -x11838 -x11839 -x11840 -x11841 -x8791 -x8802 -x11842 -x11843 -x11845 -x11846 -x11848 -x11849 -x11850 -x11851 -x11853 -x11854 -x11855 -x11856 -x11857 -x11859 -x11861 -x11862 -x11863 -x11864 -x11865 -x11867 -x11868 -x11870 -x11871 -x11872 -x11874 -x11875 -x11876 -x11877 -x11878 -x11881 -x11882 -x11883 -x11884 -x11886 -x11887 -x11888 -x11889 -x11892 -x11893 -x11894 -x11896 -x11897 -x11898 -x11900 -x11901 -x11903 -x8828 -x8839 -x11905 -x11906 -x11907 -x11909 -x11910 -x11911 -x11918 -x11919 -x11920 -x11922 -x11923 -x11924 -x11926 -x11927 -x11929 -x11931 -x11932 -x11933 -x11935 -x11936 -x11937 -x11940 -x11941 -x11942 -x11944 -x11945 -x11946 -x11948 -x11949 -x11951 -x8861 -x8872 -x11953 -x11954 -x11955 -x11957 -x11958 -x11959 -x11962 -x11963 -x11964 -x11966 x11967 -x11968 -x11970 -x11971 -x11973 -x11975 -x11976 -x11977 -x11979 -x11980 -x11981 -x11985 -x11986 -x11989 -x11991 -x11992 -x11996 -x11997 -x11999 -x8894 -x8905 -x12003 -x12004 -x12007 -x12011 -x12012 -x12014 -x12019 -x12020 -x12021 -x12022 -x12026 -x12033 -x12034 -x12038 -x12040 -x12041 -x12046 -x12048 -x12049 -x12050 -x12054 -x12056 -x12057 -x12058 -x12061 -x12063 -x12065 -x12066 -x12069 -x12071 -x12072 -x12073 -x12077 -x12079 -x12080 -x12081 -x8927 -x8942 -x12084 -x12087 -x12088 -x12089 -x12092 -x12094 -x12095 -x12096 -x12100 -x12102 -x12103 -x12104 -x12107 -x12110 -x12111 -x12112 -x12115 -x12117 -x12118 -x12120 -x12123 -x12125 -x12126 -x12127 -x12131 -x12133 -x12134 -x12135 -x12138 -x12140 -x12146 -x12147 -x12150 -x12152 -x12153 -x12154 -x12158 -x12160 -x12161 -x12162 -x8964 -x8975 -x12165 -x12168 -x12169 -x12170 -x12175 -x12176 -x12177 -x12179 -x12184 -x12185 -x12186 -x12187 -x12193 -x12194 -x12195 -x12196 -x12201 -x12202 -x12203 -x12204 -x12207 -x12208 -x12209 -x12210 -x12215 -x12217 -x12221 -x12224 -x12228 -x12230 -x12234 -x8997 -x9008 -x12239 -x12245 -x12250 -x12254 -x12263 -x12266 -x12269 -x12273 -x12276 -x12279 -x9030 -x9041 -x12283 -x12286 -x12287 -x12290 -x12291 -x12295 -x12296 -x12299 -x12300 -x12304 -x12305 -x12308 -x12309 -x12312 -x12313 -x12317 -x12318 -x12321 -x12322 -x12326 -x9067 -x9078 -x12327 -x12330 -x12331 -x12334 -x12335 -x12339 -x12340 -x12343 -x12344 -x12348 -x12349 -x12352 -x12353 -x12356 -x12357 -x12361 -x12363 -x12364 -x12365 -x12366 -x12368 -x12375 -x9100 -x9111 -x12376 -x12378 -x12380 -x12382 -x12385 -x12387 -x12389 -x12390 -x12392 -x12394 -x12396 -x12398 -x12399 -x12401 -x12403 -x12404 -x12407 -x12408 -x12410 -x12412 -x12413 -x12415 -x12416 -x12419 -x12421 -x12422 -x12424 -x12425 -x12426 -x12429 -x12431 -x12432 -x12434 -x12435 -x12436 -x12438 -x12441 -x12442 -x12444 -x12445 -x12446 -x12448 -x12451 -x12452 -x12454 -x12455 -x12456 -x12459 -x12460 -x12463 -x12464 -x12465 x9133 -x9144 -x12468 -x12469 -x12471 -x12473 -x12474 -x12477 -x12478 -x12480 -x12481 -x12482 -x12490 -x12492 -x12493 -x12494 -x12497 -x12500 -x12501 -x12502 -x12505 -x12507 -x12508 -x12510 -x12513 -x12515 -x12516 -x12517 -x12521 -x12523 -x12524 -x12525 -x12528 -x12530 -x12532 -x12533 -x12536 -x12538 -x12539 -x12540 -x12544 -x12546 -x12547 -x12548 x9171 -x9182 -x12551 -x12554 -x12555 -x12556 -x12559 -x12561 -x12562 -x12563 -x12567 -x12569 -x12570 -x12571 -x12574 -x12577 -x12578 -x12579 -x12582 -x12584 -x12585 -x12587 -x12590 -x12592 -x12593 -x12594 -x8 -x10 -x11 -x12 -x15 -x17 -x19 -x20 -x23 -x25 -x26 -x27 -x31 -x33 -x34 -x35 x9204 -x9215 -x38 -x41 -x42 -x43 -x46 -x48 -x49 -x50 -x54 -x56 -x57 -x58 -x61 -x64 -x65 -x66 -x69 -x71 -x72 -x74 -x76 -x78 -x79 -x80 -x82 -x85 -x86 -x87 -x89 -x91 -x92 -x93 -x97 -x99 -x101 -x103 x9237 -x9248 -x105 -x108 -x110 -x112 -x114 -x116 -x123 -x125 -x127 -x128 -x130 -x131 -x134 -x136 -x137 -x139 -x140 -x142 -x145 -x146 -x148 -x149 -x151 -x153 -x155 -x157 -x158 -x160 -x162 -x163 -x166 -x167 -x169 -x171 -x172 -x174 -x175 -x178 -x180 -x181 -x183 -x185 -x188 -x189 -x191 x9270 -x9286 -x193 -x195 -x196 -x199 -x201 -x203 -x204 -x206 -x208 -x211 -x212 -x214 -x216 -x218 -x219 -x222 -x223 -x226 -x227 -x229 -x230 -x238 -x239 -x241 -x242 -x245 -x247 -x249 -x250 -x253 -x255 -x256 -x260 -x262 -x263 -x266 -x269 -x270 x9308 -x9319 -x273 -x275 -x276 -x280 -x282 -x283 -x286 -x288 -x289 -x293 -x295 -x296 -x299 -x302 -x303 -x306 -x308 -x309 -x313 -x315 -x316 -x319 -x321 -x322 -x326 -x328 -x329 -x332 -x335 -x336 x9341 -x9352 -x338 -x340 -x341 -x343 -x350 -x351 -x352 -x353 -x355 -x356 -x357 -x358 -x359 -x361 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x372 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x383 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x394 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x405 -x406 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x416 -x417 -x418 -x420 -x421 -x423 -x424 -x425 -x427 -x428 -x429 -x430 -x432 -x433 -x435 -x436 -x438 -x439 -x440 x9374 -x441 -x442 -x444 -x445 -x447 -x449 -x450 -x451 -x452 -x453 -x454 -x456 -x457 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x472 -x473 -x476 -x477 -x478 -x480 -x481 -x482 -x484 -x486 -x488 -x489 -x490 -x492 -x493 -x494 -x497 -x498 -x500 -x501 -x502 -x504 -x505 -x506 -x509 -x510 -x512 -x513 -x514 -x516 -x517 -x519 -x521 -x522 -x524 -x525 -x526 -x528 -x530 -x531 -x533 -x534 -x536 -x537 -x538 -x541 -x542 -x543 -x545 -x546 -x548 -x549 -x550 -x553 -x554 -x556 -x557 -x559 -x560 -x561 -x564 -x9401 -x9412 -x9423 -x9434 -x9445 -x9456 -x9467 -x9478 -x9489 -x9500 -x565 -x567 -x568 -x570 -x571 -x572 -x579 -x580 -x582 -x584 -x585 -x586 -x589 -x590 -x592 -x594 -x595 -x597 -x598 -x600 -x602 -x603 -x605 -x606 -x608 -x609 -x612 -x613 -x615 -x616 -x618 -x619 -x622 -x623 -x625 -x626 -x628 -x629 -x631 -x634 -x635 -x637 -x639 -x641 -x642 -x9527 -x9538 -x645 -x647 -x648 -x649 -x651 -x652 -x653 -x656 -x657 -x658 -x660 -x661 -x662 -x664 -x666 -x9560 -x9571 -x9593 -x9604 -x9631 -x9642 -x668 -x9664 -x9675 -x9697 -x9708 -x9730 -x9746 -x9768 -x9779 -x9801 -x9812 -x9834 -x9845 -x9872 -x9883 -x9916 -x9927 -x9949 -x9960 -x9987 -x9998 -x10009 -x10020 -x10031 -x10042 -x10053 -x10064 -x10075 -x10091 -x10102 -x10113 -x10124 -x10135 -x10146 -x10157 -x10168 -x10179 -x10190 -x10205 -x10216 -x10227 -x10238 -x10249 -x10260 -x10271 -x10282 -x10293 -x10304 -x10320 -x10331 -x10342 -x10353 -x10364 -x10375 -x10386 -x10397 -x10408 -x10419 x10445 -x10456 -x10467 -x10478 -x10489 -x10500 -x10511 -x10522 -x10533 -x10548 -x10559 -x10570 -x10581 -x10592 -x10603 -x10614 -x10625 -x10636 -x10647 -x10662 -x10673 -x10684 -x669 -x670 -x671 -x672 -x673 -x677 -x678 -x679 -x680 -x681 -x684 -x685 -x692 -x693 -x694 -x696 -x697 -x699 -x700 -x701 -x704 -x705 -x707 -x708 -x709 -x711 -x712 -x714 -x715 -x716 -x718 -x719 -x720 -x721 -x722 -x723 -x726 -x727 -x728 -x729 -x730 -x731 -x733 -x734 -x736 -x737 -x738 -x740 -x741 -x742 -x744 -x745 -x747 -x10695 -x10706 -x10717 -x749 -x750 -x751 -x753 -x755 -x758 -x760 -x762 -x763 -x764 -x765 -x766 -x767 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x10728 -x10739 -x10750 -x800 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x818 -x820 -x822 -x824 -x826 -x10761 -x10776 -x10787 -x829 -x831 -x832 -x834 -x835 -x837 -x839 -x842 -x843 -x845 -x847 -x850 -x852 -x10809 -x854 -x856 -x858 -x861 -x863 -x865 -x867 -x869 -x872 -x10820 -x10831 -x10842 -x10853 -x10864 -x10875 -x877 -x878 -x879 -x880 -x881 -x883 -x884 -x885 -x887 -x888 -x889 -x890 -x891 -x892 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x10890 -x938 -x939 -x940 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 x1006 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x10901 -x10912 -x10923 -x10934 -x10945 -x10956 -x10967 -x10978 -x10989 -x11004 -x11015 -x11026 -x11037 -x11048 -x1015 -x1016 -x1017 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1067 -x1068 -x1069 -x11070 -x11081 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1122 -x1123 -x1124 -x11103 -x11118 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1160 -x1161 -x1162 -x1163 -x1164 -x1166 -x1167 -x1168 -x1169 -x1171 -x1173 -x1174 -x1175 -x1176 -x1177 -x1179 -x1180 -x1182 -x1183 -x1185 -x1186 -x1187 -x11140 -x11151 -x1189 -x1190 -x1191 -x1194 -x1195 -x1196 -x1198 -x1199 -x1200 -x1202 -x1204 -x1205 -x1207 -x1208 -x1210 -x1211 -x1212 -x1215 -x1216 -x1217 -x1219 -x1220 -x1221 -x1223 -x1224 -x1226 -x1228 -x1229 -x1230 x11184 -x1232 -x1233 -x1235 x1237 -x1239 -x1240 -x1242 -x1243 -x1245 -x1246 -x1249 -x1250 -x1252 -x1253 -x1255 -x1256 -x1266 -x1267 -x1269 -x1270 -x11195 -x11206 -x1274 -x1277 -x1279 -x1281 -x1283 -x1285 -x1288 -x1290 -x1292 -x1294 -x11232 -x11243 -x1296 -x1299 -x1301 -x1303 -x1305 -x1307 -x1311 -x1312 -x1313 -x1314 -x1315 -x1317 -x1318 -x1320 -x11265 -x11276 -x11298 -x11309 -x11331 -x11346 -x11368 -x11379 -x1322 -x11401 -x11412 x11434 -x11445 -x1323 -x1325 -x1326 -x1327 -x1328 -x1332 -x1334 -x1335 -x1336 -x1337 x11472 -x11483 -x1340 -x1343 -x1344 -x1345 -x1346 -x1349 -x1351 -x1353 -x1354 -x1355 -x1358 -x1359 -x1360 -x1361 -x1362 -x1364 -x1367 -x1369 -x1370 -x1371 -x1372 -x1382 -x1383 -x1385 -x1386 -x1387 -x1388 -x1390 -x1392 -x1394 -x1395 -x1396 -x1397 -x1399 -x1400 -x1401 -x1403 -x1404 -x1405 -x1406 -x1408 -x1409 -x1410 -x1411 -x1412 -x1414 -x1415 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1426 -x1427 -x1429 -x1430 -x1431 -x1432 -x11505 -x11516 -x11527 -x11538 -x11549 -x11560 -x11575 x11586 -x11597 -x1434 -x1436 -x1437 -x1438 -x1439 -x1440 -x1442 -x1443 -x1444 -x1445 -x1447 -x1448 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1458 -x1459 -x1460 -x1461 -x1462 -x1464 -x1466 -x1469 -x1471 -x1473 -x1475 -x1477 -x1478 -x1480 -x1482 -x1483 -x1484 -x1486 -x1487 -x1488 -x1489 -x1498 -x11608 -x11619 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1552 -x1553 -x11630 -x11641 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1581 -x1583 -x1586 -x1588 -x1589 -x11652 -x11663 -x1591 -x1592 -x1594 -x1596 -x1598 -x1599 -x1601 -x1602 -x1604 -x1605 -x1614 -x1615 -x1617 -x1618 -x1620 x1621 -x1624 -x1625 -x1628 -x11674 -x11689 -x1629 -x1631 -x1633 -x1636 -x1638 -x1640 -x1642 -x1644 -x1647 -x1649 -x11700 -x11711 -x1651 -x1653 -x1655 -x1658 -x1660 -x1662 -x1664 -x1666 -x1669 -x1671 -x11722 -x11733 -x1673 -x11744 -x11755 -x11766 -x11777 -x11788 -x11803 -x11814 -x11825 -x1679 -x1681 -x1682 -x1683 -x1684 -x1687 -x1690 -x1691 -x1692 -x1693 -x1696 -x1698 -x1699 -x1701 -x1702 -x1705 -x1706 -x1707 -x1708 -x1709 -x1713 -x1714 -x1715 -x1716 -x1717 -x11836 -x11847 -x1720 -x1721 -x1728 -x1729 -x1730 -x1733 -x1734 -x1736 -x1737 -x1739 -x1740 -x1742 -x1743 -x1745 -x1746 -x1747 -x1748 -x1751 -x1752 -x1754 -x1755 -x1756 -x1757 -x1759 -x1761 -x1762 -x1763 -x1764 -x1765 -x1767 -x1768 -x1769 -x1770 -x1772 -x1773 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1783 -x1784 -x1785 -x1786 -x1787 -x1789 -x1790 -x1791 -x1794 x1795 -x1796 -x11858 -x11869 -x1798 -x1799 -x1800 -x1802 -x1805 -x1807 -x1809 -x1811 -x1812 -x1813 -x1814 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1854 -x11880 -x11891 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1888 -x1890 -x1892 -x11902 -x11917 -x1894 -x1896 -x1898 -x1900 -x1901 -x1903 -x1904 -x1906 -x1907 -x1910 x1911 -x1913 -x1914 -x1916 -x1917 -x1921 -x1922 -x11928 -x11939 -x1924 -x1926 -x1928 -x1931 -x1933 -x1935 -x1937 -x1939 -x1942 -x1944 -x11950 -x11961 -x1946 -x1948 -x1950 -x1958 -x1960 -x1962 -x1964 -x11972 x11983 -x12005 -x12016 -x12031 -x12042 -x12053 -x12064 -x12075 -x12086 -x12097 -x12108 -x12119 -x12130 -x12145 -x12156 -x12167 -x12178 -x12189 -x12200 -x12211 -x12222 -x12233 -x12244 -x12259 -x12270 -x12281 -x12292 -x12303 -x12314 -x12325 -x12336 -x12347 -x12358 -x12373 -x12384 -x12395 -x12406 -x12417 -x12428 -x12439 -x12450 -x12461 -x12472 -x12487 -x12498 -x12509 -x12520 -x12531 -x12542 -x12553 -x12564 -x12575 -x12586 -x7 -x2865 -x2891 -x2896 -x2899 -x2906 -x2909 -x18 -x29 -x40 -x51 -x2912 -x2918 -x2921 -x2924 -x2932 -x3135 -x3137 -x3140 -x3147 -x3149 -x3152 -x3472 -x3534 -x3155 -x3164 -x3167 -x3538 -x3541 -x3170 -x3172 -x3182 -x3549 -x3552 -x3185 -x3187 -x3199 -x3555 -x3563 -x3202 -x3204 -x3207 -x3566 -x3569 -x3217 -x3218 -x3221 -x3572 -x3579 -x3224 -x3225 -x3235 -x3582 -x3585 -x73 -x84 -x95 -x3238 -x3241 -x3527 -x3595 -x3533 -x2051 -x2052 -x2054 -x2056 -x2057 -x2059 -x2068 -x2069 -x2071 -x2073 -x2074 -x2076 -x2085 -x2086 -x2088 -x2090 -x2091 -x2093 x121 x132 -x2098 -x2099 -x2101 -x2104 -x2105 -x2107 -x2113 -x2114 -x2116 -x2119 -x2120 -x2125 -x2128 -x2129 -x2131 -x2575 -x2659 -x2137 -x2138 -x2140 -x2662 -x2668 -x2143 -x2144 -x2146 -x2670 -x2672 -x2152 -x2153 -x2155 -x2674 -x2676 -x2158 -x2159 -x2164 -x2682 -x2684 x154 -x165 -x176 -x2167 -x2168 -x2170 -x2686 -x2688 -x2176 -x2177 -x2179 -x2690 -x2699 -x2182 -x2183 -x2185 -x2701 -x2703 -x2192 -x2193 -x2195 -x2706 -x2715 -x2198 -x2199 -x2204 -x2718 x2720 -x2207 -x2208 -x2210 -x2723 -x2732 -x2216 -x2217 -x2219 -x2735 -x2737 -x2222 -x2223 -x2225 -x2740 -x2750 -x2231 -x2232 -x2656 -x2754 -x2657 -x198 -x209 -x220 -x246 -x257 -x268 -x290 -x301 -x312 -x323 -x349 -x360 -x371 -x382 -x404 -x415 -x437 -x448 -x474 -x485 -x507 -x518 -x540 -x562 x577 -x599 -x610 -x632 -x643 -x665 -x676 -x702 -x713 -x860 -x930 -x996 -x2235 -x2236 -x2244 -x2245 -x2249 -x2250 -x1066 -x1132 -x1203 -x1275 -x1341 -x1424 -x1507 -x2292 -x2300 -x2304 -x2257 -x2258 -x2307 -x2262 -x2270 -x2274 x2313 -x2316 -x2319 -x2261 -x2277 -x2284 -x2287 -x2326 -x2329 -x2332 -x2630 -x2634 -x2265 -x2290 -x2642 -x2273 -x2298 -x2646 -x2338 -x2302 -x2654 -x2341 -x2571 -x746 -x757 -x768 -x779 -x790 -x805 -x816 -x827 -x838 -x849 -x871 -x882 -x893 -x904 -x919 -x941 -x952 -x963 -x974 -x985 -x1007 -x1018 -x1033 -x1044 -x1055 -x1077 -x1088 -x1099 -x1110 -x1121 -x1148 -x1159 -x1170 -x1181 -x1192 -x1214 -x1225 -x1236 -x1247 -x1264 -x1286 -x1297 -x1308 -x1319 -x1330 -x1352 -x1363 -x1391 -x1402 -x1413 -x1435 -x1446 -x1468 -x1479 -x1496 -x1518 -x1529 -x1551 -x1562 -x1573 -x1584 -x1595 -x1612 -x1634 -x1645 -x1656 -x1667 -x1678 -x1689 -x1711 -x1727 -x1738 -x1749 -x1760 -x1771 -x1793 -x1804 -x1815 -x1826 -x1842 -x1853 x1875 -x1886 -x1897 x1908 -x1919 -x1930 -x1957 -x1968 -x2003 -x2004 -x2005 -x2007 -x2008 -x2009 -x2010 -x2017 -x2018 -x2019 -x2021 -x2022 -x2023 -x2025 -x2033 -x2034 -x2036 -x2037 -x2038 -x2040 -x2041 -x2042 -x2053 -x2055 -x2058 -x2060 -x2070 -x2072 -x2075 -x2077 -x2087 -x2089 -x2092 -x2094 -x2100 -x2102 -x2103 -x2106 -x2111 -x2112 -x2115 -x2117 -x2118 -x2124 -x2126 -x2127 -x2130 -x2132 -x2133 -x2139 -x2141 -x2142 -x2145 -x2150 -x2151 -x2154 -x2156 -x2157 -x2163 -x2165 -x2166 -x2169 -x2171 -x2172 -x2178 -x2180 -x2181 -x2184 -x2190 -x2191 -x2194 -x2196 -x2197 -x2203 -x2205 -x2206 -x2209 -x2211 -x2212 -x2218 -x2220 -x2221 -x2224 -x2229 -x2230 -x2233 -x2234 -x2237 -x2238 -x2242 -x2243 -x2246 -x2247 -x2248 -x2251 -x2256 -x2259 -x2260 -x2263 -x2264 -x2271 -x2272 -x2275 -x2276 -x2278 -x2279 -x2285 -x2286 -x2288 -x2289 -x2291 -x2293 -x2299 -x2301 -x2303 -x2305 -x2306 -x2311 -x2343 -x2345 -x2352 -x2354 -x2359 -x2364 -x2371 -x2377 -x2385 -x2396 -x2407 -x2369 -x2380 -x2382 -x2393 -x2418 -x2404 -x2412 -x2423 -x2429 -x2437 -x2448 -x2460 -x2661 -x2669 -x2312 x2314 -x2391 -x2399 -x2434 -x2445 -x2471 -x2482 -x2490 -x2673 -x2681 -x2315 -x2317 -x2410 -x2457 -x2500 -x2685 -x2775 -x2421 -x2465 -x2689 -x2785 -x2318 -x2320 -x2432 -x2476 -x2510 -x2789 -x2819 -x2443 -x2487 -x2517 -x2529 -x2799 -x2823 -x2325 -x2327 -x2451 -x2497 -x2832 -x2803 -x2328 -x2330 -x2504 -x2540 x2835 -x2463 -x2807 -x2474 -x2514 -x2546 -x2817 -x2838 -x2331 -x2333 -x2485 -x2526 -x2556 -x2821 -x2847 -x2532 -x2560 -x2757 -x2850 -x2334 -x2339 -x2543 -x2568 -x2853 -x2758 -x2340 -x2342 -x2346 -x2347 -x2355 -x2356 -x2357 -x2365 -x2366 -x2367 -x2373 -x2378 -x2384 -x2395 -x2406 -x2417 -x2425 -x2436 -x2447 -x2459 -x2470 -x2478 -x2489 -x2499 -x2509 -x2516 -x2528 -x2539 -x3276 -x3284 -x3286 -x3287 -x3288 -x3290 -x3291 -x3292 -x3301 -x3302 -x3303 -x3305 -x3309 -x3306 -x3307 -x3320 -x3318 -x3324 -x3310 -x3322 -x3335 -x3321 -x3326 -x3339 -x3325 -x3337 x3343 -x2545 -x3336 -x3341 -x3353 -x3340 -x3344 -x3357 -x3355 -x3361 -x3628 -x3626 -x3359 -x3416 -x3637 -x2554 -x2555 -x3629 -x3638 -x3640 -x3642 -x3644 -x3645 -x2559 -x2862 -x2864 -x2866 -x2868 -x2992 -x2995 -x3002 -x3003 -x3006 -x3009 -x3010 -x3017 -x3418 -x3420 -x3427 -x3429 -x2870 -x2878 -x3020 -x3021 -x3024 -x3432 -x3434 -x2880 -x2882 -x3031 -x3032 -x3034 -x3443 -x3445 -x2884 -x2886 -x3037 -x3038 -x3045 -x3448 -x3450 -x2962 -x3048 -x3049 -x3051 -x3458 -x3460 -x3059 -x3060 -x3062 -x3463 -x3465 -x3066 -x3067 -x3073 -x3473 -x3475 -x3077 -x3078 -x3080 -x3478 -x3480 -x3088 -x3089 -x3091 -x3488 -x3490 -x3095 -x3100 -x3102 -x3493 x3495 -x3106 -x3107 -x3109 -x3504 -x3506 -x3118 -x3119 -x3121 -x3509 -x3511 -x3131 -x3132 -x3520 -x3522 -x3525 -x2572 -x2574 -x2576 -x2582 -x2584 -x2586 -x2588 -x2590 -x2597 -x2599 -x2601 -x2603 -x2605 -x2612 -x2614 -x2617 -x2625 -x2573 -x2577 -x2583 -x2585 -x2587 -x2589 -x2591 -x2598 -x2600 -x2602 -x2604 -x2611 -x2613 -x2616 -x2618 -x2620 -x2626 x2628 x2629 -x2632 -x2633 -x2640 -x2641 -x2644 -x2645 -x2648 -x2653 -x2658 -x2660 -x2667 -x2671 -x2675 -x2683 -x2687 -x2698 -x2700 -x2702 -x2704 -x2705 -x2707 -x2716 -x2717 -x2719 x2721 -x2722 -x2724 -x2733 -x2734 -x2736 -x2738 -x2739 -x2741 -x2751 -x2752 -x2753 -x2755 -x2756 -x2759 -x2767 -x2769 -x2771 -x2772 -x2773 -x2774 -x2783 -x2787 -x2791 -x2800 -x2804 -x2814 -x2818 -x2822 x2831 -x2834 -x2837 -x2846 -x2849 -x2852 -x2863 -x2867 -x2869 -x2871 -x2879 -x2881 -x2883 -x2885 -x2887 -x2893 -x2894 -x2898 -x2900 -x2908 -x2910 -x2914 -x2919 -x2923 -x2925 -x2931 -x2935 -x2938 -x2945 -x2946 -x2949 -x2950 -x2953 -x2954 -x2961 -x2965 -x2967 x2973 x2974 x2976 -x2977 -x2979 -x2980 -x2982 -x2987 -x2989 -x2990 -x2994 -x2996 -x3146 -x3153 -x3168 -x3005 -x3007 -x3016 -x3018 -x3259 -x3583 x3611 -x3593 -x3614 -x3023 -x3029 -x3598 -x3621 -x3624 -x3033 -x3035 -x3044 -x3046 -x3050 -x3052 -x3058 -x3061 -x3063 -x3065 x3072 -x3074 -x3076 -x3079 -x3087 -x3090 -x3094 -x3101 -x3105 -x3108 -x3117 -x3120 -x3122 -x3124 -x3134 -x3139 -x3151 -x3154 -x3166 -x3169 -x3181 -x3184 -x3189 -x3201 -x3206 -x3216 -x3220 -x3223 -x3234 -x3237 -x3240 -x3250 -x3252 -x3254 -x3256 -x3258 -x3267 -x3269 -x3270 -x3272 -x3273 -x3275 -x3285 -x3289 -x3293 -x3304 -x3308 -x3319 -x3323 -x3327 -x3338 -x3342 -x3352 -x3354 -x3356 -x3358 -x3360 -x3367 -x3368 -x3370 -x3371 -x3372 -x3374 -x3375 -x3376 -x3382 -x3383 -x3384 -x3386 -x3387 -x3388 -x3390 x3396 -x3397 -x3399 -x3400 -x3401 -x3403 -x3404 -x3405 -x3412 -x3413 -x3414 -x3419 -x3428 -x3433 -x3444 -x3449 -x3459 -x3461 -x3464 -x3474 -x3477 x3479 -x3487 x3489 -x3492 -x3494 -x3503 -x3505 -x3508 -x3510 -x3519 -x3521 -x3524 -x3536 -x3540 -x3548 -x3551 -x3554 -x3557 -x3565 -x3568 -x3571 -x3578 -x3581 -x3584 -x3592 -x3594 -x3597 -x3599 -x3601 -x3607 -x3609 -x3610 x3612 -x3613 -x3615 -x3616 -x3622 -x3623 -x3625 -x3627 -x3630 -x3639 -x3641 -x3643 -x3646 -x3652 -x3653 -x3655 -x3656 -x3658 -x3659 -x3687 -x3667 -x3668 -x3670 x3671 -x3673 -x3674 -x3676 -x3681 -x3682 -x3684 -x3685 -x3686 -x3690
OK -9410
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3703472-1338086756/watcher-3703472-1338086756 -o /tmp/evaluation-result-3703472-1338086756/solver-3703472-1338086756 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703472-1338086756.opb running on 4 cores: 0,2,4,6 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: 3.84 3.82 2.94 4/178 31250 /proc/meminfo: memFree=31469044/32873844 swapFree=7112/7112 [pid=31250] ppid=31248 vsize=6604 CPUtime=0 cores=0,2,4,6 /proc/31250/stat : 31250 (pwbo2.0) R 31248 31250 31075 0 -1 4202496 612 0 0 0 0 0 0 0 20 0 1 0 274800479 6762496 564 33554432000 4194304 5965102 140735986260672 140735463418472 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0 /proc/31250/statm: 1651 564 171 433 0 846 0 [startup+0.0194039 s] /proc/loadavg: 3.84 3.82 2.94 4/178 31250 /proc/meminfo: memFree=31469044/32873844 swapFree=7112/7112 [pid=31250] ppid=31248 vsize=10172 CPUtime=0.01 cores=0,2,4,6 /proc/31250/stat : 31250 (pwbo2.0) R 31248 31250 31075 0 -1 4202496 1524 0 0 0 1 0 0 0 20 0 1 0 274800479 10416128 1476 33554432000 4194304 5965102 140735986260672 140735986258648 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0 /proc/31250/statm: 2543 1478 197 433 0 1738 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10172 [startup+0.100294 s] /proc/loadavg: 3.84 3.82 2.94 4/178 31250 /proc/meminfo: memFree=31469044/32873844 swapFree=7112/7112 [pid=31250] ppid=31248 vsize=24164 CPUtime=0.08 cores=0,2,4,6 /proc/31250/stat : 31250 (pwbo2.0) R 31248 31250 31075 0 -1 4202496 5090 0 0 0 8 0 0 0 20 0 1 0 274800479 24743936 5042 33554432000 4194304 5965102 140735986260672 140735986258648 5137076 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0 /proc/31250/statm: 6041 5043 384 433 0 5236 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 24164 [startup+0.300171 s] /proc/loadavg: 3.84 3.82 2.94 4/178 31250 /proc/meminfo: memFree=31469044/32873844 swapFree=7112/7112 [pid=31250] ppid=31248 vsize=188148 CPUtime=0.42 cores=0,2,4,6 /proc/31250/stat : 31250 (pwbo2.0) S 31248 31250 31075 0 -1 4202496 14211 0 0 0 36 6 0 0 20 0 3 0 274800479 192663552 13133 33554432000 4194304 5965102 140735986260672 140735986260192 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31250/statm: 47037 13133 200 433 0 46601 0 Current children cumulated CPU time (s) 0.42 Current children cumulated vsize (KiB) 188148 [startup+0.700175 s] /proc/loadavg: 3.84 3.82 2.94 4/178 31250 /proc/meminfo: memFree=31469044/32873844 swapFree=7112/7112 [pid=31250] ppid=31248 vsize=188148 CPUtime=1.22 cores=0,2,4,6 /proc/31250/stat : 31250 (pwbo2.0) S 31248 31250 31075 0 -1 4202496 17561 0 0 0 112 10 0 0 20 0 3 0 274800479 192663552 16132 33554432000 4194304 5965102 140735986260672 140735986260192 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31250/statm: 47037 16132 200 433 0 46601 0 Current children cumulated CPU time (s) 1.22 Current children cumulated vsize (KiB) 188148 [startup+1.5003 s] /proc/loadavg: 3.84 3.82 2.94 5/181 31253 /proc/meminfo: memFree=31392148/32873844 swapFree=7112/7112 [pid=31250] ppid=31248 vsize=188148 CPUtime=2.82 cores=0,2,4,6 /proc/31250/stat : 31250 (pwbo2.0) S 31248 31250 31075 0 -1 4202496 21235 0 0 0 270 12 0 0 20 0 3 0 274800479 192663552 19055 33554432000 4194304 5965102 140735986260672 140735986260192 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31250/statm: 47037 19055 200 433 0 46601 0 [pid=31250/tid=31252] ppid=31248 vsize=188148 CPUtime=1.32 cores=0,2,4,6 /proc/31250/task/31252/stat : 31252 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 11126 0 0 0 121 11 0 0 20 0 3 0 274800495 192663552 19055 33554432000 4194304 5965102 140735986260672 140559680432664 5123123 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 [pid=31250/tid=31253] ppid=31248 vsize=188148 CPUtime=1.32 cores=0,2,4,6 /proc/31250/task/31253/stat : 31253 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 2708 0 0 0 132 0 0 0 20 0 3 0 274800495 192663552 19055 33554432000 4194304 5965102 140735986260672 140559669942936 4401015 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.82 Current children cumulated vsize (KiB) 188148 [startup+3.10031 s] /proc/loadavg: 3.84 3.82 2.94 5/181 31253 /proc/meminfo: memFree=31369936/32873844 swapFree=7112/7112 [pid=31250] ppid=31248 vsize=188148 CPUtime=6.01 cores=0,2,4,6 /proc/31250/stat : 31250 (pwbo2.0) S 31248 31250 31075 0 -1 4202496 26360 0 0 0 588 13 0 0 20 0 3 0 274800479 192663552 23120 33554432000 4194304 5965102 140735986260672 140735986260192 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31250/statm: 47037 23120 200 433 0 46601 0 [pid=31250/tid=31252] ppid=31248 vsize=188148 CPUtime=2.91 cores=0,2,4,6 /proc/31250/task/31252/stat : 31252 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 15378 0 0 0 280 11 0 0 20 0 3 0 274800495 192663552 23120 33554432000 4194304 5965102 140735986260672 140559680432112 5131498 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 [pid=31250/tid=31253] ppid=31248 vsize=188148 CPUtime=2.91 cores=0,2,4,6 /proc/31250/task/31253/stat : 31253 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 3581 0 0 0 290 1 0 0 20 0 3 0 274800495 192663552 23120 33554432000 4194304 5965102 140735986260672 140559669942936 4383069 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.01 Current children cumulated vsize (KiB) 188148 [startup+6.3003 s] /proc/loadavg: 3.85 3.82 2.95 5/181 31253 /proc/meminfo: memFree=31326908/32873844 swapFree=7112/7112 [pid=31250] ppid=31248 vsize=253684 CPUtime=12.41 cores=0,2,4,6 /proc/31250/stat : 31250 (pwbo2.0) S 31248 31250 31075 0 -1 4202496 30676 0 0 0 1227 14 0 0 20 0 3 0 274800479 259772416 26186 33554432000 4194304 5965102 140735986260672 140735986260192 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31250/statm: 63421 26186 200 433 0 62985 0 [pid=31250/tid=31252] ppid=31248 vsize=253684 CPUtime=6.1 cores=0,2,4,6 /proc/31250/task/31252/stat : 31252 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 18164 0 0 0 598 12 0 0 20 0 3 0 274800495 259772416 26186 33554432000 4194304 5965102 140735986260672 140559680431960 4394002 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 [pid=31250/tid=31253] ppid=31248 vsize=253684 CPUtime=6.11 cores=0,2,4,6 /proc/31250/task/31253/stat : 31253 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 5111 0 0 0 610 1 0 0 20 0 3 0 274800495 259772416 26186 33554432000 4194304 5965102 140735986260672 140559669942576 4374478 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.41 Current children cumulated vsize (KiB) 253684 [startup+12.7003 s] /proc/loadavg: 3.86 3.82 2.95 5/181 31253 /proc/meminfo: memFree=31291112/32873844 swapFree=7112/7112 [pid=31250] ppid=31248 vsize=253816 CPUtime=25.21 cores=0,2,4,6 /proc/31250/stat : 31250 (pwbo2.0) S 31248 31250 31075 0 -1 4202496 36203 0 0 0 2505 16 0 0 20 0 3 0 274800479 259907584 29425 33554432000 4194304 5965102 140735986260672 140735986260192 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31250/statm: 63454 29425 200 433 0 63018 0 [pid=31250/tid=31252] ppid=31248 vsize=253816 CPUtime=12.48 cores=0,2,4,6 /proc/31250/task/31252/stat : 31252 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 20768 0 0 0 1236 12 0 0 20 0 3 0 274800495 259907584 29425 33554432000 4194304 5965102 140735986260672 140559680432472 4390187 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 [pid=31250/tid=31253] ppid=31248 vsize=253816 CPUtime=12.49 cores=0,2,4,6 /proc/31250/task/31253/stat : 31253 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 8034 0 0 0 1247 2 0 0 20 0 3 0 274800495 259907584 29425 33554432000 4194304 5965102 140735986260672 140559669942936 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.21 Current children cumulated vsize (KiB) 253816 [startup+25.5003 s] /proc/loadavg: 3.89 3.83 2.97 5/181 31253 /proc/meminfo: memFree=31267288/32873844 swapFree=7112/7112 [pid=31250] ppid=31248 vsize=254740 CPUtime=50.79 cores=0,2,4,6 /proc/31250/stat : 31250 (pwbo2.0) S 31248 31250 31075 0 -1 4202496 41285 0 0 0 5062 17 0 0 20 0 3 0 274800479 260853760 31542 33554432000 4194304 5965102 140735986260672 140735986260192 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31250/statm: 63685 31542 200 433 0 63249 0 [pid=31250/tid=31252] ppid=31248 vsize=254740 CPUtime=25.24 cores=0,2,4,6 /proc/31250/task/31252/stat : 31252 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 21892 0 0 0 2511 13 0 0 20 0 3 0 274800495 260853760 31542 33554432000 4194304 5965102 140735986260672 140559680432224 4390172 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 [pid=31250/tid=31253] ppid=31248 vsize=254740 CPUtime=25.25 cores=0,2,4,6 /proc/31250/task/31253/stat : 31253 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 11992 0 0 0 2522 3 0 0 20 0 3 0 274800495 260853760 31543 33554432000 4194304 5965102 140735986260672 140559669942936 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 50.79 Current children cumulated vsize (KiB) 254740 [startup+51.1003 s] /proc/loadavg: 3.93 3.84 3.00 5/181 31253 /proc/meminfo: memFree=31206232/32873844 swapFree=7112/7112 [pid=31250] ppid=31248 vsize=257724 CPUtime=101.99 cores=0,2,4,6 /proc/31250/stat : 31250 (pwbo2.0) S 31248 31250 31075 0 -1 4202496 52406 0 0 0 10175 24 0 0 20 0 3 0 274800479 263909376 39149 33554432000 4194304 5965102 140735986260672 140735986260192 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31250/statm: 64431 39149 200 433 0 63995 0 [pid=31250/tid=31252] ppid=31248 vsize=257724 CPUtime=50.77 cores=0,2,4,6 /proc/31250/task/31252/stat : 31252 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 28448 0 0 0 5059 18 0 0 20 0 3 0 274800495 263909376 39149 33554432000 4194304 5965102 140735986260672 140559680432472 4404604 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 [pid=31250/tid=31253] ppid=31248 vsize=257724 CPUtime=50.79 cores=0,2,4,6 /proc/31250/task/31253/stat : 31253 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 16557 0 0 0 5075 4 0 0 20 0 3 0 274800495 263909376 39149 33554432000 4194304 5965102 140735986260672 140559669942936 4404767 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 101.99 Current children cumulated vsize (KiB) 257724 [startup+102.306 s] /proc/loadavg: 3.97 3.86 3.05 5/181 31253 /proc/meminfo: memFree=31101000/32873844 swapFree=7112/7112 [pid=31250] ppid=31248 vsize=325320 CPUtime=204.37 cores=0,2,4,6 /proc/31250/stat : 31250 (pwbo2.0) S 31248 31250 31075 0 -1 4202496 64443 0 0 0 20407 30 0 0 20 0 3 0 274800479 333127680 46964 33554432000 4194304 5965102 140735986260672 140735986260192 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31250/statm: 81330 46964 200 433 0 80894 0 [pid=31250/tid=31252] ppid=31248 vsize=325320 CPUtime=101.84 cores=0,2,4,6 /proc/31250/task/31252/stat : 31252 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 34922 0 0 0 10160 24 0 0 20 0 3 0 274800495 333127680 46964 33554432000 4194304 5965102 140735986260672 140559680432120 4400894 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 [pid=31250/tid=31253] ppid=31248 vsize=325320 CPUtime=101.86 cores=0,2,4,6 /proc/31250/task/31253/stat : 31253 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 22120 0 0 0 10180 6 0 0 20 0 3 0 274800495 333127680 46964 33554432000 4194304 5965102 140735986260672 140559669942936 4404738 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 204.37 Current children cumulated vsize (KiB) 325320 [startup+162.3 s] /proc/loadavg: 3.99 3.89 3.10 5/181 31253 /proc/meminfo: memFree=31060636/32873844 swapFree=7112/7112 [pid=31250] ppid=31248 vsize=325320 CPUtime=324.34 cores=0,2,4,6 /proc/31250/stat : 31250 (pwbo2.0) S 31248 31250 31075 0 -1 4202496 75285 0 0 0 32397 37 0 0 20 0 3 0 274800479 333127680 55084 33554432000 4194304 5965102 140735986260672 140735986260192 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31250/statm: 81330 55084 200 433 0 80894 0 [pid=31250/tid=31252] ppid=31248 vsize=325320 CPUtime=161.66 cores=0,2,4,6 /proc/31250/task/31252/stat : 31252 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 42330 0 0 0 16136 30 0 0 20 0 3 0 274800495 333127680 55084 33554432000 4194304 5965102 140735986260672 140559680431928 4401129 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 [pid=31250/tid=31253] ppid=31248 vsize=325320 CPUtime=161.69 cores=0,2,4,6 /proc/31250/task/31253/stat : 31253 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 25554 0 0 0 16161 8 0 0 20 0 3 0 274800495 333127680 55084 33554432000 4194304 5965102 140735986260672 140559669942936 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 324.34 Current children cumulated vsize (KiB) 325320 [startup+222.3 s] /proc/loadavg: 3.99 3.90 3.16 5/181 31253 /proc/meminfo: memFree=31020240/32873844 swapFree=7112/7112 [pid=31250] ppid=31248 vsize=391216 CPUtime=444.27 cores=0,2,4,6 /proc/31250/stat : 31250 (pwbo2.0) S 31248 31250 31075 0 -1 4202496 87127 0 0 0 44376 51 0 0 20 0 3 0 274800479 400605184 64794 33554432000 4194304 5965102 140735986260672 140735986260192 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31250/statm: 97804 64794 200 433 0 97368 0 [pid=31250/tid=31252] ppid=31248 vsize=391216 CPUtime=221.46 cores=0,2,4,6 /proc/31250/task/31252/stat : 31252 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 51041 0 0 0 22101 45 0 0 20 0 3 0 274800495 400605184 64794 33554432000 4194304 5965102 140735986260672 140559680432120 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 [pid=31250/tid=31253] ppid=31248 vsize=391216 CPUtime=221.53 cores=0,2,4,6 /proc/31250/task/31253/stat : 31253 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 28685 0 0 0 22143 10 0 0 20 0 3 0 274800495 400605184 64794 33554432000 4194304 5965102 140735986260672 140559669942936 4404761 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 444.27 Current children cumulated vsize (KiB) 391216 [startup+282.3 s] /proc/loadavg: 3.99 3.92 3.21 5/182 31257 /proc/meminfo: memFree=30909776/32873844 swapFree=7112/7112 [pid=31250] ppid=31248 vsize=459296 CPUtime=564.22 cores=0,2,4,6 /proc/31250/stat : 31250 (pwbo2.0) S 31248 31250 31075 0 -1 4202496 110016 0 0 0 56357 65 0 0 20 0 3 0 274800479 470319104 86758 33554432000 4194304 5965102 140735986260672 140735986260192 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31250/statm: 114824 86758 200 433 0 114388 0 [pid=31250/tid=31252] ppid=31248 vsize=459296 CPUtime=281.28 cores=0,2,4,6 /proc/31250/task/31252/stat : 31252 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 72051 0 0 0 28068 60 0 0 20 0 3 0 274800495 470319104 86758 33554432000 4194304 5965102 140735986260672 140559680431928 4389245 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 [pid=31250/tid=31253] ppid=31248 vsize=459296 CPUtime=281.37 cores=0,2,4,6 /proc/31250/task/31253/stat : 31253 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 30564 0 0 0 28125 12 0 0 20 0 3 0 274800495 470319104 86758 33554432000 4194304 5965102 140735986260672 140559669942936 4404410 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 564.22 Current children cumulated vsize (KiB) 459296 [startup+342.3 s] /proc/loadavg: 3.99 3.93 3.25 5/181 31257 /proc/meminfo: memFree=30779664/32873844 swapFree=7112/7112 [pid=31250] ppid=31248 vsize=525556 CPUtime=684.19 cores=0,2,4,6 /proc/31250/stat : 31250 (pwbo2.0) S 31248 31250 31075 0 -1 4202496 127861 0 0 0 68321 98 0 0 20 0 3 0 274800479 538169344 104511 33554432000 4194304 5965102 140735986260672 140735986260192 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31250/statm: 131389 104511 200 433 0 130953 0 [pid=31250/tid=31252] ppid=31248 vsize=525556 CPUtime=341.1 cores=0,2,4,6 /proc/31250/task/31252/stat : 31252 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 88627 0 0 0 34017 93 0 0 20 0 3 0 274800495 538169344 104511 33554432000 4194304 5965102 140735986260672 140559680432120 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 [pid=31250/tid=31253] ppid=31248 vsize=525556 CPUtime=341.21 cores=0,2,4,6 /proc/31250/task/31253/stat : 31253 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 31833 0 0 0 34108 13 0 0 20 0 3 0 274800495 538169344 104511 33554432000 4194304 5965102 140735986260672 140559669942936 4404761 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 684.19 Current children cumulated vsize (KiB) 525556 [startup+402.3 s] /proc/loadavg: 3.99 3.94 3.30 5/181 31257 /proc/meminfo: memFree=30677456/32873844 swapFree=7112/7112 [pid=31250] ppid=31248 vsize=589468 CPUtime=804.16 cores=0,2,4,6 /proc/31250/stat : 31250 (pwbo2.0) S 31248 31250 31075 0 -1 4202496 143689 0 0 0 80273 143 0 0 20 0 3 0 274800479 603615232 118739 33554432000 4194304 5965102 140735986260672 140735986260192 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31250/statm: 147367 118739 200 433 0 146931 0 [pid=31250/tid=31252] ppid=31248 vsize=589468 CPUtime=400.94 cores=0,2,4,6 /proc/31250/task/31252/stat : 31252 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 103391 0 0 0 39955 139 0 0 20 0 3 0 274800495 603615232 118739 33554432000 4194304 5965102 140735986260672 140559680432032 4400930 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 [pid=31250/tid=31253] ppid=31248 vsize=589468 CPUtime=401.05 cores=0,2,4,6 /proc/31250/task/31253/stat : 31253 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 32897 0 0 0 40090 15 0 0 20 0 3 0 274800495 603615232 118739 33554432000 4194304 5965102 140735986260672 140559669942792 4222474 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 804.16 Current children cumulated vsize (KiB) 589468 [startup+462.3 s] /proc/loadavg: 3.99 3.95 3.34 5/181 31257 /proc/meminfo: memFree=30672636/32873844 swapFree=7112/7112 [pid=31250] ppid=31248 vsize=589468 CPUtime=924.14 cores=0,2,4,6 /proc/31250/stat : 31250 (pwbo2.0) S 31248 31250 31075 0 -1 4202496 144636 0 0 0 92270 144 0 0 20 0 3 0 274800479 603615232 119050 33554432000 4194304 5965102 140735986260672 140735986260192 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31250/statm: 147367 119050 200 433 0 146931 0 [pid=31250/tid=31252] ppid=31248 vsize=589468 CPUtime=460.78 cores=0,2,4,6 /proc/31250/task/31252/stat : 31252 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 103401 0 0 0 45939 139 0 0 20 0 3 0 274800495 603615232 119050 33554432000 4194304 5965102 140735986260672 140559680432032 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 [pid=31250/tid=31253] ppid=31248 vsize=589468 CPUtime=460.9 cores=0,2,4,6 /proc/31250/task/31253/stat : 31253 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 33834 0 0 0 46074 16 0 0 20 0 3 0 274800495 603615232 119050 33554432000 4194304 5965102 140735986260672 140559669942936 4404738 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 924.14 Current children cumulated vsize (KiB) 589468 [startup+522.3 s] /proc/loadavg: 3.99 3.95 3.38 5/181 31257 /proc/meminfo: memFree=30671628/32873844 swapFree=7112/7112 [pid=31250] ppid=31248 vsize=589468 CPUtime=1044.11 cores=0,2,4,6 /proc/31250/stat : 31250 (pwbo2.0) S 31248 31250 31075 0 -1 4202496 145459 0 0 0 104267 144 0 0 20 0 3 0 274800479 603615232 119162 33554432000 4194304 5965102 140735986260672 140735986260192 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31250/statm: 147367 119162 200 433 0 146931 0 [pid=31250/tid=31252] ppid=31248 vsize=589468 CPUtime=520.62 cores=0,2,4,6 /proc/31250/task/31252/stat : 31252 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 103482 0 0 0 51922 140 0 0 20 0 3 0 274800495 603615232 119162 33554432000 4194304 5965102 140735986260672 140559680432032 4390200 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=31250/tid=31253] ppid=31248 vsize=589468 CPUtime=520.74 cores=0,2,4,6 /proc/31250/task/31253/stat : 31253 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 34576 0 0 0 52057 17 0 0 20 0 3 0 274800495 603615232 119162 33554432000 4194304 5965102 140735986260672 140559669942936 4404767 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1044.11 Current children cumulated vsize (KiB) 589468 [startup+582.3 s] /proc/loadavg: 3.99 3.96 3.41 5/181 31258 /proc/meminfo: memFree=30642984/32873844 swapFree=7112/7112 [pid=31250] ppid=31248 vsize=589468 CPUtime=1164.1 cores=0,2,4,6 /proc/31250/stat : 31250 (pwbo2.0) S 31248 31250 31075 0 -1 4202496 146437 0 0 0 116265 145 0 0 20 0 3 0 274800479 603615232 119453 33554432000 4194304 5965102 140735986260672 140735986260192 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31250/statm: 147367 119453 200 433 0 146931 0 [pid=31250/tid=31252] ppid=31248 vsize=589468 CPUtime=580.47 cores=0,2,4,6 /proc/31250/task/31252/stat : 31252 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 103569 0 0 0 57906 141 0 0 20 0 3 0 274800495 603615232 119453 33554432000 4194304 5965102 140735986260672 140559680432032 4404757 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=31250/tid=31253] ppid=31248 vsize=589468 CPUtime=580.58 cores=0,2,4,6 /proc/31250/task/31253/stat : 31253 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 35467 0 0 0 58040 18 0 0 20 0 3 0 274800495 603615232 119453 33554432000 4194304 5965102 140735986260672 140559669942792 4404757 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1164.1 Current children cumulated vsize (KiB) 589468 [startup+642.3 s] /proc/loadavg: 3.99 3.97 3.45 5/181 31258 /proc/meminfo: memFree=30606272/32873844 swapFree=7112/7112 [pid=31250] ppid=31248 vsize=589468 CPUtime=1284.08 cores=0,2,4,6 /proc/31250/stat : 31250 (pwbo2.0) S 31248 31250 31075 0 -1 4202496 147243 0 0 0 128263 145 0 0 20 0 3 0 274800479 603615232 119681 33554432000 4194304 5965102 140735986260672 140735986260192 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31250/statm: 147367 119681 200 433 0 146931 0 [pid=31250/tid=31252] ppid=31248 vsize=589468 CPUtime=640.3 cores=0,2,4,6 /proc/31250/task/31252/stat : 31252 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 103597 0 0 0 63888 142 0 0 20 0 3 0 274800495 603615232 119681 33554432000 4194304 5965102 140735986260672 140559680432032 4390204 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=31250/tid=31253] ppid=31248 vsize=589468 CPUtime=640.43 cores=0,2,4,6 /proc/31250/task/31253/stat : 31253 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 36245 0 0 0 64023 20 0 0 20 0 3 0 274800495 603615232 119681 33554432000 4194304 5965102 140735986260672 140559669942936 4222320 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1284.08 Current children cumulated vsize (KiB) 589468 [startup+702.3 s] /proc/loadavg: 3.99 3.97 3.48 5/181 31258 /proc/meminfo: memFree=30545728/32873844 swapFree=7112/7112 [pid=31250] ppid=31248 vsize=589468 CPUtime=1404.04 cores=0,2,4,6 /proc/31250/stat : 31250 (pwbo2.0) S 31248 31250 31075 0 -1 4202496 147839 0 0 0 140258 146 0 0 20 0 3 0 274800479 603615232 119877 33554432000 4194304 5965102 140735986260672 140735986260192 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31250/statm: 147367 119877 200 433 0 146931 0 [pid=31250/tid=31252] ppid=31248 vsize=589468 CPUtime=700.12 cores=0,2,4,6 /proc/31250/task/31252/stat : 31252 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 103627 0 0 0 69869 143 0 0 20 0 3 0 274800495 603615232 119877 33554432000 4194304 5965102 140735986260672 140559680432032 4393747 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=31250/tid=31253] ppid=31248 vsize=589468 CPUtime=700.27 cores=0,2,4,6 /proc/31250/task/31253/stat : 31253 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 36811 0 0 0 70006 21 0 0 20 0 3 0 274800495 603615232 119877 33554432000 4194304 5965102 140735986260672 140559669942936 4404767 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1404.04 Current children cumulated vsize (KiB) 589468 [startup+762.307 s] /proc/loadavg: 3.99 3.97 3.51 5/181 31258 /proc/meminfo: memFree=30543396/32873844 swapFree=7112/7112 [pid=31250] ppid=31248 vsize=589468 CPUtime=1524.03 cores=0,2,4,6 /proc/31250/stat : 31250 (pwbo2.0) S 31248 31250 31075 0 -1 4202496 148517 0 0 0 152257 146 0 0 20 0 3 0 274800479 603615232 120117 33554432000 4194304 5965102 140735986260672 140735986260192 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31250/statm: 147367 120117 200 433 0 146931 0 [pid=31250/tid=31252] ppid=31248 vsize=589468 CPUtime=759.97 cores=0,2,4,6 /proc/31250/task/31252/stat : 31252 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 103630 0 0 0 75853 144 0 0 20 0 3 0 274800495 603615232 120117 33554432000 4194304 5965102 140735986260672 140559680432032 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=31250/tid=31253] ppid=31248 vsize=589468 CPUtime=760.12 cores=0,2,4,6 /proc/31250/task/31253/stat : 31253 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 37486 0 0 0 75990 22 0 0 20 0 3 0 274800495 603615232 120117 33554432000 4194304 5965102 140735986260672 140559669942792 4404757 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1524.03 Current children cumulated vsize (KiB) 589468 [startup+822.3 s] /proc/loadavg: 4.04 3.99 3.54 5/181 31258 /proc/meminfo: memFree=30534344/32873844 swapFree=7112/7112 [pid=31250] ppid=31248 vsize=589468 CPUtime=1644 cores=0,2,4,6 /proc/31250/stat : 31250 (pwbo2.0) S 31248 31250 31075 0 -1 4202496 150598 0 0 0 164247 153 0 0 20 0 3 0 274800479 603615232 121966 33554432000 4194304 5965102 140735986260672 140735986260192 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31250/statm: 147367 121966 200 433 0 146931 0 [pid=31250/tid=31252] ppid=31248 vsize=589468 CPUtime=819.81 cores=0,2,4,6 /proc/31250/task/31252/stat : 31252 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 105241 0 0 0 81830 151 0 0 20 0 3 0 274800495 603615232 121966 33554432000 4194304 5965102 140735986260672 140559680432120 4390200 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=31250/tid=31253] ppid=31248 vsize=589468 CPUtime=819.95 cores=0,2,4,6 /proc/31250/task/31253/stat : 31253 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 37956 0 0 0 81972 23 0 0 20 0 3 0 274800495 603615232 121966 33554432000 4194304 5965102 140735986260672 140559669942936 4404757 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1644 Current children cumulated vsize (KiB) 589468 [startup+882.3 s] /proc/loadavg: 4.01 3.99 3.57 5/182 31262 /proc/meminfo: memFree=30465756/32873844 swapFree=7112/7112 [pid=31250] ppid=31248 vsize=589468 CPUtime=1763.98 cores=0,2,4,6 /proc/31250/stat : 31250 (pwbo2.0) S 31248 31250 31075 0 -1 4202496 151196 0 0 0 176245 153 0 0 20 0 3 0 274800479 603615232 122132 33554432000 4194304 5965102 140735986260672 140735986260192 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31250/statm: 147367 122132 200 433 0 146931 0 [pid=31250/tid=31252] ppid=31248 vsize=589468 CPUtime=879.66 cores=0,2,4,6 /proc/31250/task/31252/stat : 31252 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 105403 0 0 0 87813 153 0 0 20 0 3 0 274800495 603615232 122132 33554432000 4194304 5965102 140735986260672 140559680431928 4401137 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=31250/tid=31253] ppid=31248 vsize=589468 CPUtime=879.79 cores=0,2,4,6 /proc/31250/task/31253/stat : 31253 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 38392 0 0 0 87954 25 0 0 20 0 3 0 274800495 603615232 122132 33554432000 4194304 5965102 140735986260672 140559669942936 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1763.98 Current children cumulated vsize (KiB) 589468 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+900.4 s] /proc/loadavg: 3.86 3.95 3.56 5/182 31303 /proc/meminfo: memFree=31055352/32873844 swapFree=7112/7112 [pid=31250] ppid=31248 vsize=589468 CPUtime=1800.18 cores=0,2,4,6 /proc/31250/stat : 31250 (pwbo2.0) S 31248 31250 31075 0 -1 4202496 151361 0 0 0 179864 154 0 0 20 0 3 0 274800479 603615232 122225 33554432000 4194304 5965102 140735986260672 140735986260192 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31250/statm: 147367 122225 200 433 0 146931 0 [pid=31250/tid=31252] ppid=31248 vsize=589468 CPUtime=897.72 cores=0,2,4,6 /proc/31250/task/31252/stat : 31252 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 105496 0 0 0 89619 153 0 0 20 0 3 0 274800495 603615232 122225 33554432000 4194304 5965102 140735986260672 140559680431928 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=31250/tid=31253] ppid=31248 vsize=589468 CPUtime=897.85 cores=0,2,4,6 /proc/31250/task/31253/stat : 31253 (pwbo2.0) R 31248 31250 31075 0 -1 4202560 38464 0 0 0 89760 25 0 0 20 0 3 0 274800495 603615232 122225 33554432000 4194304 5965102 140735986260672 140559669942936 4404767 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 589468 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 31250 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=966275 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=810724 # CPU time returned by wait4() is 1795.78 # while last known CPU time is 1800.18 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 900.418 CPU time (s): 1800.18 CPU user time (s): 1798.64 CPU system time (s): 1.54 CPU usage (%): 199.927 Max. virtual memory (cumulated for all children) (KiB): 593744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.97 system time used= 1.81072 maximum resident set size= 488908 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 151363 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= 611 involuntary context switches= 2320 runsolver used 1.90171 second user time and 4.78427 second system time The end
Begin job on node142 at 2012-05-27 04:45:56 IDJOB=3703472 IDBENCH=1878 IDSOLVER=2279 FILE ID=node142/3703472-1338086756 RUNJOBID= node142-1338085847-31091 PBS_JOBID= 14624428 Free space on /tmp= 71688 MiB SOLVER NAME= pwbo 2.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3703472-1338086756/watcher-3703472-1338086756 -o /tmp/evaluation-result-3703472-1338086756/solver-3703472-1338086756 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703472-1338086756.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8886b8ab7bdc8ec03150a7b794b8a992 RANDOM SEED=1367498851 node142.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 : 2666.776 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 : 5333.55 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 : 2666.776 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 : 5331.91 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 : 2666.776 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 : 5391.91 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 : 2666.776 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 : 5331.92 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 : 2666.776 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 : 5331.90 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 : 2666.776 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 : 5331.91 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 : 2666.776 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 : 5331.91 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 : 2666.776 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31469424 kB Buffers: 258672 kB Cached: 222112 kB SwapCached: 0 kB Active: 534920 kB Inactive: 66100 kB Active(anon): 110984 kB Inactive(anon): 11212 kB Active(file): 423936 kB Inactive(file): 54888 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 14120 kB Writeback: 0 kB AnonPages: 126784 kB Mapped: 12436 kB Shmem: 200 kB Slab: 663720 kB SReclaimable: 105040 kB SUnreclaim: 558680 kB KernelStack: 1456 kB PageTables: 3832 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 178812 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71684 MiB End job on node142 at 2012-05-27 05:00:58