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