Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| pwbo 2.0 | SAT (TO) | -7944 | 1800.01 | 900.34 |
| 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.0 beta - March, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3703471-1338086749.opb. 0.00/0.00 c Instance file HOME/instance-3703471-1338086749.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.15 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.16 c | Problem Type: Optimization | 0.09/0.16 c | Objective Function: PB Constraint | 0.09/0.16 c | | 0.09/0.16 c =============================================================================== 1800.01/900.31 o -270 1800.01/900.31 o -325 1800.01/900.31 o -405 1800.01/900.31 o -645 1800.01/900.31 o -715 1800.01/900.31 o -740 1800.01/900.31 o -2256 1800.01/900.31 o -2649 1800.01/900.31 o -2654 1800.01/900.31 o -3475 1800.01/900.31 o -3541 1800.01/900.31 o -4113 1800.01/900.31 o -4172 1800.01/900.31 o -4244 1800.01/900.31 o -4959 1800.01/900.31 o -5027 1800.01/900.31 o -5032 1800.01/900.31 o -5034 1800.01/900.31 o -5171 1800.01/900.31 o -5218 1800.01/900.31 o -5400 1800.01/900.31 o -5414 1800.01/900.31 o -5484 1800.01/900.31 o -5488 1800.01/900.31 o -5490 1800.01/900.31 o -5530 1800.01/900.31 o -5531 1800.01/900.31 o -5534 1800.01/900.31 o -5541 1800.01/900.31 o -5545 1800.01/900.31 o -5800 1800.01/900.31 o -5830 1800.01/900.31 o -5845 1800.01/900.31 o -5849 1800.01/900.31 o -5853 1800.01/900.31 o -5855 1800.01/900.31 o -5889 1800.01/900.31 o -5912 1800.01/900.31 o -5915 1800.01/900.31 o -5920 1800.01/900.31 o -5922 1800.01/900.31 o -5924 1800.01/900.31 o -6079 1800.01/900.31 o -6085 1800.01/900.31 o -6086 1800.01/900.31 o -6090 1800.01/900.31 o -6721 1800.01/900.31 o -6726 1800.01/900.31 o -6727 1800.01/900.31 o -6728 1800.01/900.31 o -6729 1800.01/900.31 o -6730 1800.01/900.31 o -6735 1800.01/900.31 o -6739 1800.01/900.31 o -6741 1800.01/900.31 o -6743 1800.01/900.31 o -6744 1800.01/900.31 o -6745 1800.01/900.31 o -6747 1800.01/900.31 o -6749 1800.01/900.31 o -6754 1800.01/900.31 o -6757 1800.01/900.31 o -6761 1800.01/900.31 o -6764 1800.01/900.31 o -6766 1800.01/900.31 o -6768 1800.01/900.31 o -6769 1800.01/900.31 o -6771 1800.01/900.31 o -6775 1800.01/900.31 o -6776 1800.01/900.31 o -6781 1800.01/900.31 o -6785 1800.01/900.31 o -6787 1800.01/900.31 o -6790 1800.01/900.31 o -6794 1800.01/900.31 o -6799 1800.01/900.31 o -6818 1800.01/900.31 o -6819 1800.01/900.31 o -6824 1800.01/900.31 o -6828 1800.01/900.31 o -6831 1800.01/900.31 o -6833 1800.01/900.31 o -6836 1800.01/900.31 o -6839 1800.01/900.31 o -6840 1800.01/900.31 o -6844 1800.01/900.31 o -6845 1800.01/900.31 o -6846 1800.01/900.31 o -6857 1800.01/900.31 o -6859 1800.01/900.31 o -6860 1800.01/900.31 o -6862 1800.01/900.31 o -6866 1800.01/900.31 o -6869 1800.01/900.31 o -6870 1800.01/900.31 o -6872 1800.01/900.31 o -6874 1800.01/900.31 o -6876 1800.01/900.31 o -6885 1800.01/900.31 o -6889 1800.01/900.31 o -6894 1800.01/900.31 o -6895 1800.01/900.31 o -6896 1800.01/900.31 o -6900 1800.01/900.31 o -6904 1800.01/900.31 o -6905 1800.01/900.31 o -6906 1800.01/900.31 o -6907 1800.01/900.31 o -6910 1800.01/900.31 o -6915 1800.01/900.31 o -6919 1800.01/900.31 o -6923 1800.01/900.31 o -6924 1800.01/900.31 o -6925 1800.01/900.31 o -6928 1800.01/900.31 o -6931 1800.01/900.31 o -6935 1800.01/900.31 o -6940 1800.01/900.31 o -6941 1800.01/900.31 o -6943 1800.01/900.31 o -6947 1800.01/900.31 o -6949 1800.01/900.31 o -6954 1800.01/900.31 o -6957 1800.01/900.31 o -6958 1800.01/900.31 o -6963 1800.01/900.31 o -6965 1800.01/900.31 o -6970 1800.01/900.31 o -6973 1800.01/900.31 o -6978 1800.01/900.31 o -6983 1800.01/900.31 o -6984 1800.01/900.31 o -6988 1800.01/900.31 o -6989 1800.01/900.31 o -6990 1800.01/900.31 o -6992 1800.01/900.31 o -6994 1800.01/900.31 o -6995 1800.01/900.31 o -6999 1800.01/900.31 o -7000 1800.01/900.31 o -7005 1800.01/900.31 o -7007 1800.01/900.31 o -7009 1800.01/900.31 o -7012 1800.01/900.31 o -7014 1800.01/900.31 o -7019 1800.01/900.31 o -7022 1800.01/900.31 o -7024 1800.01/900.31 o -7026 1800.01/900.31 o -7029 1800.01/900.31 o -7034 1800.01/900.31 o -7035 1800.01/900.31 o -7037 1800.01/900.31 o -7040 1800.01/900.31 o -7044 1800.01/900.31 o -7045 1800.01/900.31 o -7050 1800.01/900.31 o -7051 1800.01/900.31 o -7055 1800.01/900.31 o -7059 1800.01/900.31 o -7060 1800.01/900.31 o -7064 1800.01/900.31 o -7065 1800.01/900.31 o -7070 1800.01/900.31 o -7072 1800.01/900.31 o -7074 1800.01/900.31 o -7079 1800.01/900.31 o -7084 1800.01/900.31 o -7085 1800.01/900.31 o -7088 1800.01/900.31 o -7089 1800.01/900.31 o -7093 1800.01/900.31 o -7095 1800.01/900.31 o -7100 1800.01/900.31 o -7105 1800.01/900.31 o -7109 1800.01/900.31 o -7110 1800.01/900.31 o -7115 1800.01/900.31 o -7116 1800.01/900.31 o -7119 1800.01/900.31 o -7124 1800.01/900.31 o -7125 1800.01/900.31 o -7129 1800.01/900.31 o -7134 1800.01/900.31 o -7135 1800.01/900.31 o -7136 1800.01/900.31 o -7139 1800.01/900.31 o -7141 1800.01/900.31 o -7145 1800.01/900.31 o -7149 1800.01/900.31 o -7153 1800.01/900.31 o -7156 1800.01/900.31 o -7161 1800.01/900.31 o -7163 1800.01/900.31 o -7164 1800.01/900.31 o -7169 1800.01/900.31 o -7174 1800.01/900.31 o -7177 1800.01/900.31 o -7180 1800.01/900.31 o -7185 1800.01/900.31 o -7190 1800.01/900.31 o -7194 1800.01/900.31 o -7196 1800.01/900.31 o -7200 1800.01/900.31 o -7204 1800.01/900.31 o -7205 1800.01/900.31 o -7209 1800.01/900.31 o -7214 1800.01/900.31 o -7216 1800.01/900.31 o -7220 1800.01/900.31 o -7221 1800.01/900.31 o -7224 1800.01/900.31 o -7225 1800.01/900.31 o -7229 1800.01/900.31 o -7230 1800.01/900.31 o -7233 1800.01/900.31 o -7235 1800.01/900.31 o -7236 1800.01/900.31 o -7239 1800.01/900.31 o -7241 1800.01/900.31 o -7244 1800.01/900.31 o -7249 1800.01/900.31 o -7251 1800.01/900.31 o -7253 1800.01/900.31 o -7257 1800.01/900.31 o -7259 1800.01/900.31 o -7261 1800.01/900.31 o -7263 1800.01/900.31 o -7268 1800.01/900.31 o -7270 1800.01/900.31 o -7273 1800.01/900.31 o -7275 1800.01/900.31 o -7278 1800.01/900.31 o -7282 1800.01/900.31 o -7284 1800.01/900.31 o -7285 1800.01/900.31 o -7289 1800.01/900.31 o -7291 1800.01/900.31 o -7294 1800.01/900.31 o -7299 1800.01/900.31 o -7300 1800.01/900.31 o -7305 1800.01/900.31 o -7310 1800.01/900.31 o -7315 1800.01/900.31 o -7316 1800.01/900.31 o -7319 1800.01/900.31 o -7320 1800.01/900.31 o -7324 1800.01/900.31 o -7344 1800.01/900.31 o -7346 1800.01/900.31 o -7350 1800.01/900.31 o -7351 1800.01/900.31 o -7355 1800.01/900.31 o -7359 1800.01/900.31 o -7363 1800.01/900.31 o -7364 1800.01/900.31 o -7365 1800.01/900.31 o -7369 1800.01/900.31 o -7374 1800.01/900.31 o -7379 1800.01/900.31 o -7380 1800.01/900.31 o -7384 1800.01/900.31 o -7385 1800.01/900.31 o -7389 1800.01/900.31 o -7390 1800.01/900.31 o -7394 1800.01/900.31 o -7399 1800.01/900.31 o -7404 1800.01/900.31 o -7405 1800.01/900.31 o -7409 1800.01/900.31 o -7411 1800.01/900.31 o -7416 1800.01/900.31 o -7420 1800.01/900.31 o -7424 1800.01/900.31 o -7429 1800.01/900.31 o -7430 1800.01/900.31 o -7434 1800.01/900.31 o -7436 1800.01/900.31 o -7439 1800.01/900.31 o -7444 1800.01/900.31 o -7447 1800.01/900.31 o -7449 1800.01/900.31 o -7450 1800.01/900.31 o -7454 1800.01/900.31 o -7455 1800.01/900.31 o -7460 1800.01/900.31 o -7464 1800.01/900.31 o -7466 1800.01/900.31 o -7470 1800.01/900.31 o -7472 1800.01/900.31 o -7474 1800.01/900.31 o -7476 1800.01/900.31 o -7480 1800.01/900.31 o -7484 1800.01/900.31 o -7489 1800.01/900.31 o -7490 1800.01/900.31 o -7492 1800.01/900.31 o -7494 1800.01/900.31 o -7495 1800.01/900.31 o -7499 1800.01/900.31 o -7504 1800.01/900.31 o -7506 1800.01/900.31 o -7510 1800.01/900.31 o -7511 1800.01/900.31 o -7514 1800.01/900.31 o -7519 1800.01/900.31 o -7524 1800.01/900.31 o -7529 1800.01/900.31 o -7534 1800.01/900.31 o -7535 1800.01/900.31 o -7539 1800.01/900.31 o -7540 1800.01/900.31 o -7544 1800.01/900.31 o -7558 1800.01/900.31 o -7560 1800.01/900.31 o -7561 1800.01/900.31 o -7564 1800.01/900.31 o -7569 1800.01/900.31 o -7570 1800.01/900.31 o -7574 1800.01/900.31 o -7579 1800.01/900.31 o -7582 1800.01/900.31 o -7585 1800.01/900.31 o -7589 1800.01/900.31 o -7590 1800.01/900.31 o -7594 1800.01/900.31 o -7595 1800.01/900.31 o -7599 1800.01/900.31 o -7601 1800.01/900.31 o -7604 1800.01/900.31 o -7607 1800.01/900.31 o -7610 1800.01/900.31 o -7614 1800.01/900.31 o -7619 1800.01/900.31 o -7624 1800.01/900.31 o -7628 1800.01/900.31 o -7629 1800.01/900.31 o -7632 1800.01/900.31 o -7634 1800.01/900.31 o -7639 1800.01/900.31 o -7644 1800.01/900.31 o -7649 1800.01/900.31 o -7652 1800.01/900.31 o -7657 1800.01/900.31 o -7660 1800.01/900.31 o -7665 1800.01/900.31 o -7669 1800.01/900.31 o -7670 1800.01/900.31 o -7671 1800.01/900.31 o -7676 1800.01/900.31 o -7679 1800.01/900.31 o -7680 1800.01/900.31 o -7684 1800.01/900.31 o -7689 1800.01/900.31 o -7692 1800.01/900.31 o -7694 1800.01/900.31 o -7695 1800.01/900.31 o -7697 1800.01/900.31 o -7698 1800.01/900.31 o -7703 1800.01/900.31 o -7708 1800.01/900.31 o -7709 1800.01/900.31 o -7710 1800.01/900.31 o -7714 1800.01/900.31 o -7717 1800.01/900.31 o -7719 1800.01/900.31 o -7720 1800.01/900.31 o -7725 1800.01/900.31 o -7726 1800.01/900.31 o -7730 1800.01/900.31 o -7735 1800.01/900.31 o -7739 1800.01/900.31 o -7740 1800.01/900.31 o -7744 1800.01/900.31 o -7745 1800.01/900.31 o -7746 1800.01/900.31 o -7749 1800.01/900.31 o -7754 1800.01/900.31 o -7759 1800.01/900.31 o -7760 1800.01/900.31 o -7764 1800.01/900.31 o -7767 1800.01/900.31 o -7769 1800.01/900.31 o -7770 1800.01/900.31 o -7775 1800.01/900.31 o -7779 1800.01/900.31 o -7780 1800.01/900.31 o -7784 1800.01/900.31 o -7789 1800.01/900.31 o -7790 1800.01/900.31 o -7794 1800.01/900.31 o -7799 1800.01/900.31 o -7800 1800.01/900.31 o -7804 1800.01/900.31 o -7805 1800.01/900.31 o -7809 1800.01/900.31 o -7810 1800.01/900.31 o -7814 1800.01/900.31 o -7819 1800.01/900.31 o -7824 1800.01/900.31 o -7827 1800.01/900.31 o -7829 1800.01/900.31 o -7833 1800.01/900.31 o -7834 1800.01/900.31 o -7835 1800.01/900.31 o -7836 1800.01/900.31 o -7840 1800.01/900.31 o -7842 1800.01/900.31 o -7844 1800.01/900.31 o -7845 1800.01/900.31 o -7849 1800.01/900.31 o -7850 1800.01/900.31 o -7855 1800.01/900.31 o -7859 1800.01/900.31 o -7860 1800.01/900.31 o -7865 1800.01/900.31 o -7869 1800.01/900.31 o -7874 1800.01/900.31 o -7875 1800.01/900.31 o -7880 1800.01/900.31 o -7884 1800.01/900.31 o -7885 1800.01/900.31 o -7886 1800.01/900.31 o -7889 1800.01/900.31 o -7890 1800.01/900.31 o -7894 1800.01/900.31 o -7895 1800.01/900.31 o -7900 1800.01/900.31 o -7904 1800.01/900.31 o -7907 1800.01/900.31 o -7909 1800.01/900.31 o -7911 1800.01/900.31 o -7912 1800.01/900.31 o -7914 1800.01/900.31 o -7915 1800.01/900.31 o -7919 1800.01/900.31 o -7920 1800.01/900.31 o -7924 1800.01/900.31 o -7925 1800.01/900.31 o -7926 1800.01/900.31 o -7929 1800.01/900.31 o -7930 1800.01/900.31 o -7935 1800.01/900.31 o -7940 1800.01/900.31 o -7944 1800.01/900.31 c =============================================================================== 1800.01/900.31 c Wall Clock Time: 900.31 s 1800.01/900.31 c Best Solution: -7944 1800.01/900.31 s SATISFIABLE 1800.01/900.31 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 -7944
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-3703471-1338086749/watcher-3703471-1338086749 -o /tmp/evaluation-result-3703471-1338086749/solver-3703471-1338086749 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703471-1338086749.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: 4.00 3.84 2.94 2/174 31170 /proc/meminfo: memFree=31580228/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=6104 CPUtime=0 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) R 31168 31170 31075 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 274799835 6250496 470 33554432000 4194304 5965102 140735057378768 140733633276728 5135710 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 1526 470 165 433 0 763 0 [startup+0.0771081 s] /proc/loadavg: 4.00 3.84 2.94 2/174 31170 /proc/meminfo: memFree=31580228/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=19628 CPUtime=0.06 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) R 31168 31170 31075 0 -1 4202496 3906 0 0 0 6 0 0 0 20 0 1 0 274799835 20099072 3859 33554432000 4194304 5965102 140735057378768 140735057376664 5137146 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 4907 3862 321 433 0 4144 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 19628 [startup+0.100326 s] /proc/loadavg: 4.00 3.84 2.94 2/174 31170 /proc/meminfo: memFree=31580228/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=22532 CPUtime=0.09 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) R 31168 31170 31075 0 -1 4202496 4695 0 0 0 9 0 0 0 20 0 1 0 274799835 23072768 4647 33554432000 4194304 5965102 140735057378768 140735057376664 5137146 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 5633 4650 381 433 0 4870 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22532 [startup+0.300198 s] /proc/loadavg: 4.00 3.84 2.94 2/174 31170 /proc/meminfo: memFree=31580228/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=185504 CPUtime=0.43 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) S 31168 31170 31075 0 -1 4202496 13896 0 0 0 36 7 0 0 20 0 3 0 274799835 189956096 12961 33554432000 4194304 5965102 140735057378768 140735057378288 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 46376 12961 200 433 0 45940 0 Current children cumulated CPU time (s) 0.43 Current children cumulated vsize (KiB) 185504 [startup+0.700205 s] /proc/loadavg: 4.00 3.84 2.94 2/174 31170 /proc/meminfo: memFree=31580228/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=185504 CPUtime=1.22 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) S 31168 31170 31075 0 -1 4202496 15444 0 0 0 115 7 0 0 20 0 3 0 274799835 189956096 14285 33554432000 4194304 5965102 140735057378768 140735057378288 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 46376 14285 200 433 0 45940 0 Current children cumulated CPU time (s) 1.22 Current children cumulated vsize (KiB) 185504 [startup+1.50034 s] /proc/loadavg: 4.00 3.84 2.94 4/179 31211 /proc/meminfo: memFree=31408284/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=185504 CPUtime=2.82 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) S 31168 31170 31075 0 -1 4202496 17954 0 0 0 274 8 0 0 20 0 3 0 274799835 189956096 16470 33554432000 4194304 5965102 140735057378768 140735057378288 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 46376 16470 200 433 0 45940 0 [pid=31170/tid=31195] ppid=31168 vsize=185504 CPUtime=1.33 cores=1,3,5,7 /proc/31170/task/31195/stat : 31195 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 9408 0 0 0 127 6 0 0 20 0 3 0 274799850 189956096 16470 33554432000 4194304 5965102 140735057378768 139645672036712 4222474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=31170/tid=31196] ppid=31168 vsize=185504 CPUtime=1.32 cores=1,3,5,7 /proc/31170/task/31196/stat : 31196 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 1933 0 0 0 132 0 0 0 20 0 3 0 274799850 189956096 16470 33554432000 4194304 5965102 140735057378768 139645661547016 4972594 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.82 Current children cumulated vsize (KiB) 185504 [startup+3.10035 s] /proc/loadavg: 4.00 3.85 2.95 5/181 31213 /proc/meminfo: memFree=31217684/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=185504 CPUtime=6.01 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) S 31168 31170 31075 0 -1 4202496 22118 0 0 0 593 8 0 0 20 0 3 0 274799835 189956096 20054 33554432000 4194304 5965102 140735057378768 140735057378288 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 46376 20055 200 433 0 45940 0 [pid=31170/tid=31195] ppid=31168 vsize=185504 CPUtime=2.93 cores=1,3,5,7 /proc/31170/task/31195/stat : 31195 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 12908 0 0 0 286 7 0 0 20 0 3 0 274799850 189956096 20056 33554432000 4194304 5965102 140735057378768 139645672036632 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=31170/tid=31196] ppid=31168 vsize=185504 CPUtime=2.92 cores=1,3,5,7 /proc/31170/task/31196/stat : 31196 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 2599 0 0 0 292 0 0 0 20 0 3 0 274799850 189956096 20058 33554432000 4194304 5965102 140735057378768 139645661547160 4404767 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.01 Current children cumulated vsize (KiB) 185504 [startup+6.30038 s] /proc/loadavg: 4.00 3.85 2.95 4/176 31220 /proc/meminfo: memFree=31470764/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=251040 CPUtime=12.41 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) S 31168 31170 31075 0 -1 4202496 29663 0 0 0 1230 11 0 0 20 0 3 0 274799835 257064960 26983 33554432000 4194304 5965102 140735057378768 140735057378288 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 62760 26983 200 433 0 62324 0 [pid=31170/tid=31195] ppid=31168 vsize=251040 CPUtime=6.12 cores=1,3,5,7 /proc/31170/task/31195/stat : 31195 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 19659 0 0 0 604 8 0 0 20 0 3 0 274799850 257064960 26983 33554432000 4194304 5965102 140735057378768 139645672036760 5143143 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=31170/tid=31196] ppid=31168 vsize=251040 CPUtime=6.11 cores=1,3,5,7 /proc/31170/task/31196/stat : 31196 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 3391 0 0 0 609 2 0 0 20 0 3 0 274799850 257064960 26983 33554432000 4194304 5965102 140735057378768 139645661547160 4400955 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.41 Current children cumulated vsize (KiB) 251040 [startup+12.7004 s] /proc/loadavg: 3.85 3.82 2.95 5/181 31253 /proc/meminfo: memFree=31324676/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=251040 CPUtime=25.2 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) S 31168 31170 31075 0 -1 4202496 42576 0 0 0 2506 14 0 0 20 0 3 0 274799835 257064960 38483 33554432000 4194304 5965102 140735057378768 140735057378288 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 62760 38483 200 433 0 62324 0 [pid=31170/tid=31195] ppid=31168 vsize=251040 CPUtime=12.5 cores=1,3,5,7 /proc/31170/task/31195/stat : 31195 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 31488 0 0 0 1239 11 0 0 20 0 3 0 274799850 257064960 38483 33554432000 4194304 5965102 140735057378768 139645672036664 4401780 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=31170/tid=31196] ppid=31168 vsize=251040 CPUtime=12.49 cores=1,3,5,7 /proc/31170/task/31196/stat : 31196 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 4475 0 0 0 1247 2 0 0 20 0 3 0 274799850 257064960 38483 33554432000 4194304 5965102 140735057378768 139645661546912 4404767 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.2 Current children cumulated vsize (KiB) 251040 [startup+25.5003 s] /proc/loadavg: 3.87 3.82 2.96 5/181 31253 /proc/meminfo: memFree=31269396/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=316576 CPUtime=50.77 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) S 31168 31170 31075 0 -1 4202496 51086 0 0 0 5061 16 0 0 20 0 3 0 274799835 324173824 46241 33554432000 4194304 5965102 140735057378768 140735057378288 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 79144 46241 200 433 0 78708 0 [pid=31170/tid=31195] ppid=31168 vsize=316576 CPUtime=25.26 cores=1,3,5,7 /proc/31170/task/31195/stat : 31195 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 38584 0 0 0 2513 13 0 0 20 0 3 0 274799850 324173824 46241 33554432000 4194304 5965102 140735057378768 139645672036256 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=31170/tid=31196] ppid=31168 vsize=316576 CPUtime=25.23 cores=1,3,5,7 /proc/31170/task/31196/stat : 31196 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 5889 0 0 0 2521 2 0 0 20 0 3 0 274799850 324173824 46241 33554432000 4194304 5965102 140735057378768 139645661546912 4404400 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 50.77 Current children cumulated vsize (KiB) 316576 [startup+51.1003 s] /proc/loadavg: 3.92 3.84 2.99 5/181 31253 /proc/meminfo: memFree=31208604/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=316576 CPUtime=101.95 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) S 31168 31170 31075 0 -1 4202496 60158 0 0 0 10176 19 0 0 20 0 3 0 274799835 324173824 53684 33554432000 4194304 5965102 140735057378768 140735057378288 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 79144 53684 200 433 0 78708 0 [pid=31170/tid=31195] ppid=31168 vsize=316576 CPUtime=50.78 cores=1,3,5,7 /proc/31170/task/31195/stat : 31195 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 45840 0 0 0 5062 16 0 0 20 0 3 0 274799850 324173824 53684 33554432000 4194304 5965102 140735057378768 139645672036256 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=31170/tid=31196] ppid=31168 vsize=316576 CPUtime=50.76 cores=1,3,5,7 /proc/31170/task/31196/stat : 31196 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 7705 0 0 0 5074 2 0 0 20 0 3 0 274799850 324173824 53684 33554432000 4194304 5965102 140735057378768 139645661547160 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 101.95 Current children cumulated vsize (KiB) 316576 [startup+102.307 s] /proc/loadavg: 3.96 3.86 3.04 5/181 31253 /proc/meminfo: memFree=31153592/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=382376 CPUtime=204.31 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) S 31168 31170 31075 0 -1 4202496 69943 0 0 0 20408 23 0 0 20 0 3 0 274799835 391553024 61368 33554432000 4194304 5965102 140735057378768 140735057378288 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 95594 61368 200 433 0 95158 0 [pid=31170/tid=31195] ppid=31168 vsize=382376 CPUtime=101.83 cores=1,3,5,7 /proc/31170/task/31195/stat : 31195 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 52964 0 0 0 10162 21 0 0 20 0 3 0 274799850 391553024 61368 33554432000 4194304 5965102 140735057378768 139645672036344 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=31170/tid=31196] ppid=31168 vsize=382376 CPUtime=101.83 cores=1,3,5,7 /proc/31170/task/31196/stat : 31196 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 10366 0 0 0 10180 3 0 0 20 0 3 0 274799850 391553024 61368 33554432000 4194304 5965102 140735057378768 139645661547016 4404410 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 204.31 Current children cumulated vsize (KiB) 382376 [startup+162.3 s] /proc/loadavg: 3.98 3.88 3.10 5/181 31253 /proc/meminfo: memFree=31062440/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=383168 CPUtime=324.26 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) S 31168 31170 31075 0 -1 4202496 83423 0 0 0 32398 28 0 0 20 0 3 0 274799835 392364032 73828 33554432000 4194304 5965102 140735057378768 140735057378288 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 95792 73828 200 433 0 95356 0 [pid=31170/tid=31195] ppid=31168 vsize=383168 CPUtime=161.65 cores=1,3,5,7 /proc/31170/task/31195/stat : 31195 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 63837 0 0 0 16139 26 0 0 20 0 3 0 274799850 392364032 73828 33554432000 4194304 5965102 140735057378768 139645672036256 4401127 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=31170/tid=31196] ppid=31168 vsize=383168 CPUtime=161.67 cores=1,3,5,7 /proc/31170/task/31196/stat : 31196 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 12973 0 0 0 16162 5 0 0 20 0 3 0 274799850 392364032 73828 33554432000 4194304 5965102 140735057378768 139645661547160 4393984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 324.26 Current children cumulated vsize (KiB) 383168 [startup+222.3 s] /proc/loadavg: 3.99 3.90 3.15 5/181 31253 /proc/meminfo: memFree=31020504/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=383168 CPUtime=444.24 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) S 31168 31170 31075 0 -1 4202496 85360 0 0 0 44395 29 0 0 20 0 3 0 274799835 392364032 74254 33554432000 4194304 5965102 140735057378768 140735057378288 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 95792 74254 200 433 0 95356 0 [pid=31170/tid=31195] ppid=31168 vsize=383168 CPUtime=221.5 cores=1,3,5,7 /proc/31170/task/31195/stat : 31195 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 63878 0 0 0 22123 27 0 0 20 0 3 0 274799850 392364032 74254 33554432000 4194304 5965102 140735057378768 139645672036256 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=31170/tid=31196] ppid=31168 vsize=383168 CPUtime=221.51 cores=1,3,5,7 /proc/31170/task/31196/stat : 31196 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 14869 0 0 0 22144 7 0 0 20 0 3 0 274799850 392364032 74254 33554432000 4194304 5965102 140735057378768 139645661547160 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 444.24 Current children cumulated vsize (KiB) 383168 [startup+282.3 s] /proc/loadavg: 3.99 3.92 3.20 5/182 31257 /proc/meminfo: memFree=30926284/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=448704 CPUtime=564.23 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) S 31168 31170 31075 0 -1 4202496 91331 0 0 0 56388 35 0 0 20 0 3 0 274799835 459472896 78933 33554432000 4194304 5965102 140735057378768 140735057378288 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 112176 78933 200 433 0 111740 0 [pid=31170/tid=31195] ppid=31168 vsize=448704 CPUtime=281.34 cores=1,3,5,7 /proc/31170/task/31195/stat : 31195 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 68279 0 0 0 28101 33 0 0 20 0 3 0 274799850 459472896 78933 33554432000 4194304 5965102 140735057378768 139645672036344 4400978 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=31170/tid=31196] ppid=31168 vsize=448704 CPUtime=281.36 cores=1,3,5,7 /proc/31170/task/31196/stat : 31196 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 16439 0 0 0 28128 8 0 0 20 0 3 0 274799850 459472896 78933 33554432000 4194304 5965102 140735057378768 139645661547160 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 564.23 Current children cumulated vsize (KiB) 448704 [startup+342.3 s] /proc/loadavg: 3.99 3.93 3.25 5/181 31257 /proc/meminfo: memFree=30798636/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=515296 CPUtime=684.21 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) S 31168 31170 31075 0 -1 4202496 107218 0 0 0 68368 53 0 0 20 0 3 0 274799835 527663104 93840 33554432000 4194304 5965102 140735057378768 140735057378288 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 128824 93840 200 433 0 128388 0 ################ # More data... # ################ [pid=31170/tid=31196] ppid=31168 vsize=515296 CPUtime=341.2 cores=1,3,5,7 /proc/31170/task/31196/stat : 31196 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 17867 0 0 0 34110 10 0 0 20 0 3 0 274799850 527663104 93840 33554432000 4194304 5965102 140735057378768 139645661547160 4404383 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 684.21 Current children cumulated vsize (KiB) 515296 [startup+402.3 s] /proc/loadavg: 3.99 3.94 3.29 5/181 31257 /proc/meminfo: memFree=30679952/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=516920 CPUtime=804.17 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) S 31168 31170 31075 0 -1 4202496 119580 0 0 0 80350 67 0 0 20 0 3 0 274799835 529326080 105361 33554432000 4194304 5965102 140735057378768 140735057378288 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 129230 105361 200 433 0 128794 0 [pid=31170/tid=31195] ppid=31168 vsize=516920 CPUtime=401 cores=1,3,5,7 /proc/31170/task/31195/stat : 31195 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 94120 0 0 0 40033 67 0 0 20 0 3 0 274799850 529326080 105361 33554432000 4194304 5965102 140735057378768 139645672036344 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=31170/tid=31196] ppid=31168 vsize=516920 CPUtime=401.05 cores=1,3,5,7 /proc/31170/task/31196/stat : 31196 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 18847 0 0 0 40094 11 0 0 20 0 3 0 274799850 529326080 105361 33554432000 4194304 5965102 140735057378768 139645661547160 4404748 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 804.17 Current children cumulated vsize (KiB) 516920 [startup+462.3 s] /proc/loadavg: 3.99 3.95 3.33 5/181 31257 /proc/meminfo: memFree=30673008/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=518004 CPUtime=924.14 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) S 31168 31170 31075 0 -1 4202496 121393 0 0 0 92346 68 0 0 20 0 3 0 274799835 530436096 106642 33554432000 4194304 5965102 140735057378768 140735057378288 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 129501 106642 200 433 0 129065 0 [pid=31170/tid=31195] ppid=31168 vsize=518004 CPUtime=460.83 cores=1,3,5,7 /proc/31170/task/31195/stat : 31195 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 94679 0 0 0 46016 67 0 0 20 0 3 0 274799850 530436096 106642 33554432000 4194304 5965102 140735057378768 139645672036256 4401107 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=31170/tid=31196] ppid=31168 vsize=518004 CPUtime=460.9 cores=1,3,5,7 /proc/31170/task/31196/stat : 31196 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 20101 0 0 0 46078 12 0 0 20 0 3 0 274799850 530436096 106642 33554432000 4194304 5965102 140735057378768 139645661547160 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 924.14 Current children cumulated vsize (KiB) 518004 [startup+522.3 s] /proc/loadavg: 3.99 3.95 3.37 5/181 31257 /proc/meminfo: memFree=30672008/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=518004 CPUtime=1044.12 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) S 31168 31170 31075 0 -1 4202496 122365 0 0 0 104344 68 0 0 20 0 3 0 274799835 530436096 106785 33554432000 4194304 5965102 140735057378768 140735057378288 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 129501 106785 200 433 0 129065 0 [pid=31170/tid=31195] ppid=31168 vsize=518004 CPUtime=520.67 cores=1,3,5,7 /proc/31170/task/31195/stat : 31195 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 94782 0 0 0 51999 68 0 0 20 0 3 0 274799850 530436096 106785 33554432000 4194304 5965102 140735057378768 139645672036256 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=31170/tid=31196] ppid=31168 vsize=518004 CPUtime=520.74 cores=1,3,5,7 /proc/31170/task/31196/stat : 31196 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 20970 0 0 0 52061 13 0 0 20 0 3 0 274799850 530436096 106785 33554432000 4194304 5965102 140735057378768 139645661546800 4404465 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1044.12 Current children cumulated vsize (KiB) 518004 [startup+582.3 s] /proc/loadavg: 3.99 3.96 3.41 5/181 31258 /proc/meminfo: memFree=30648688/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=584348 CPUtime=1164.1 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) S 31168 31170 31075 0 -1 4202496 128923 0 0 0 116331 79 0 0 20 0 3 0 274799835 598372352 112529 33554432000 4194304 5965102 140735057378768 140735057378288 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 146087 112529 200 433 0 145651 0 [pid=31170/tid=31195] ppid=31168 vsize=584348 CPUtime=580.52 cores=1,3,5,7 /proc/31170/task/31195/stat : 31195 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 100472 0 0 0 57972 80 0 0 20 0 3 0 274799850 598372352 112529 33554432000 4194304 5965102 140735057378768 139645672036344 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=31170/tid=31196] ppid=31168 vsize=584348 CPUtime=580.58 cores=1,3,5,7 /proc/31170/task/31196/stat : 31196 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 21838 0 0 0 58044 14 0 0 20 0 3 0 274799850 598372352 112529 33554432000 4194304 5965102 140735057378768 139645661547160 4404767 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1164.1 Current children cumulated vsize (KiB) 584348 [startup+642.3 s] /proc/loadavg: 3.99 3.96 3.44 5/181 31258 /proc/meminfo: memFree=30611248/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=584348 CPUtime=1284.09 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) S 31168 31170 31075 0 -1 4202496 138737 0 0 0 128314 95 0 0 20 0 3 0 274799835 598372352 121622 33554432000 4194304 5965102 140735057378768 140735057378288 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 146087 121622 200 433 0 145651 0 [pid=31170/tid=31195] ppid=31168 vsize=584348 CPUtime=640.37 cores=1,3,5,7 /proc/31170/task/31195/stat : 31195 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 109417 0 0 0 63941 96 0 0 20 0 3 0 274799850 598372352 121622 33554432000 4194304 5965102 140735057378768 139645672036344 4401127 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=31170/tid=31196] ppid=31168 vsize=584348 CPUtime=640.44 cores=1,3,5,7 /proc/31170/task/31196/stat : 31196 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 22707 0 0 0 64029 15 0 0 20 0 3 0 274799850 598372352 121622 33554432000 4194304 5965102 140735057378768 139645661547160 4404748 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1284.09 Current children cumulated vsize (KiB) 584348 [startup+702.3 s] /proc/loadavg: 3.99 3.97 3.48 5/181 31258 /proc/meminfo: memFree=30545992/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=646368 CPUtime=1404.06 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) S 31168 31170 31075 0 -1 4202496 156379 0 0 0 140294 112 0 0 20 0 3 0 274799835 661880832 137492 33554432000 4194304 5965102 140735057378768 140735057378288 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 161592 137492 200 433 0 161156 0 [pid=31170/tid=31195] ppid=31168 vsize=646368 CPUtime=700.22 cores=1,3,5,7 /proc/31170/task/31195/stat : 31195 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 126484 0 0 0 69908 114 0 0 20 0 3 0 274799850 661880832 137492 33554432000 4194304 5965102 140735057378768 139645672036256 4401127 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=31170/tid=31196] ppid=31168 vsize=646368 CPUtime=700.28 cores=1,3,5,7 /proc/31170/task/31196/stat : 31196 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 23282 0 0 0 70012 16 0 0 20 0 3 0 274799850 661880832 137492 33554432000 4194304 5965102 140735057378768 139645661546912 4404738 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1404.06 Current children cumulated vsize (KiB) 646368 [startup+762.307 s] /proc/loadavg: 3.99 3.97 3.50 5/181 31258 /proc/meminfo: memFree=30543396/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=646368 CPUtime=1524.05 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) S 31168 31170 31075 0 -1 4202496 157059 0 0 0 152293 112 0 0 20 0 3 0 274799835 661880832 138082 33554432000 4194304 5965102 140735057378768 140735057378288 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 161592 138082 200 433 0 161156 0 [pid=31170/tid=31195] ppid=31168 vsize=646368 CPUtime=760.07 cores=1,3,5,7 /proc/31170/task/31195/stat : 31195 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 126756 0 0 0 75892 115 0 0 20 0 3 0 274799850 661880832 138082 33554432000 4194304 5965102 140735057378768 139645672036256 4390129 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=31170/tid=31196] ppid=31168 vsize=646368 CPUtime=760.13 cores=1,3,5,7 /proc/31170/task/31196/stat : 31196 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 23690 0 0 0 75995 18 0 0 20 0 3 0 274799850 661880832 138082 33554432000 4194304 5965102 140735057378768 139645661547160 4404759 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1524.05 Current children cumulated vsize (KiB) 646368 [startup+822.3 s] /proc/loadavg: 4.05 3.99 3.54 5/181 31258 /proc/meminfo: memFree=30537568/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=646368 CPUtime=1644.03 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) S 31168 31170 31075 0 -1 4202496 157759 0 0 0 164290 113 0 0 20 0 3 0 274799835 661880832 138372 33554432000 4194304 5965102 140735057378768 140735057378288 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 161592 138372 200 433 0 161156 0 [pid=31170/tid=31195] ppid=31168 vsize=646368 CPUtime=819.91 cores=1,3,5,7 /proc/31170/task/31195/stat : 31195 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 127060 0 0 0 81875 116 0 0 20 0 3 0 274799850 661880832 138372 33554432000 4194304 5965102 140735057378768 139645672036256 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=31170/tid=31196] ppid=31168 vsize=646368 CPUtime=819.97 cores=1,3,5,7 /proc/31170/task/31196/stat : 31196 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 24086 0 0 0 81978 19 0 0 20 0 3 0 274799850 661880832 138372 33554432000 4194304 5965102 140735057378768 139645661546912 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1644.03 Current children cumulated vsize (KiB) 646368 [startup+882.3 s] /proc/loadavg: 4.02 3.99 3.56 5/182 31262 /proc/meminfo: memFree=30475056/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=711904 CPUtime=1764 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) S 31168 31170 31075 0 -1 4202496 172900 0 0 0 176271 129 0 0 20 0 3 0 274799835 728989696 153116 33554432000 4194304 5965102 140735057378768 140735057378288 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 177976 153116 200 433 0 177540 0 [pid=31170/tid=31195] ppid=31168 vsize=711904 CPUtime=879.76 cores=1,3,5,7 /proc/31170/task/31195/stat : 31195 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 141805 0 0 0 87842 134 0 0 20 0 3 0 274799850 728989696 153116 33554432000 4194304 5965102 140735057378768 139645672036344 4401129 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=31170/tid=31196] ppid=31168 vsize=711904 CPUtime=879.82 cores=1,3,5,7 /proc/31170/task/31196/stat : 31196 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 24482 0 0 0 87962 20 0 0 20 0 3 0 274799850 728989696 153116 33554432000 4194304 5965102 140735057378768 139645661547160 4222474 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1764 Current children cumulated vsize (KiB) 711904 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+900.3 s] /proc/loadavg: 4.01 3.99 3.57 5/182 31262 /proc/meminfo: memFree=30445916/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=711904 CPUtime=1800.01 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) S 31168 31170 31075 0 -1 4202496 180069 0 0 0 179862 139 0 0 20 0 3 0 274799835 728989696 160241 33554432000 4194304 5965102 140735057378768 140735057378288 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 177976 160241 200 433 0 177540 0 [pid=31170/tid=31195] ppid=31168 vsize=711904 CPUtime=897.72 cores=1,3,5,7 /proc/31170/task/31195/stat : 31195 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 148916 0 0 0 89628 144 0 0 20 0 3 0 274799850 728989696 160241 33554432000 4194304 5965102 140735057378768 139645672036344 4401096 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=31170/tid=31196] ppid=31168 vsize=711904 CPUtime=897.78 cores=1,3,5,7 /proc/31170/task/31196/stat : 31196 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 24540 0 0 0 89758 20 0 0 20 0 3 0 274799850 728989696 160241 33554432000 4194304 5965102 140735057378768 139645661547160 4404757 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 711904 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+900.3 s] /proc/loadavg: 4.01 3.99 3.57 5/182 31262 /proc/meminfo: memFree=30445916/32873844 swapFree=7112/7112 [pid=31170] ppid=31168 vsize=711904 CPUtime=1800.01 cores=1,3,5,7 /proc/31170/stat : 31170 (pwbo2.0) S 31168 31170 31075 0 -1 4202496 180069 0 0 0 179862 139 0 0 20 0 3 0 274799835 728989696 160241 33554432000 4194304 5965102 140735057378768 140735057378288 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/31170/statm: 177976 160241 200 433 0 177540 0 [pid=31170/tid=31195] ppid=31168 vsize=711904 CPUtime=897.72 cores=1,3,5,7 /proc/31170/task/31195/stat : 31195 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 148916 0 0 0 89628 144 0 0 20 0 3 0 274799850 728989696 160241 33554432000 4194304 5965102 140735057378768 139645672036344 4401096 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [pid=31170/tid=31196] ppid=31168 vsize=711904 CPUtime=897.78 cores=1,3,5,7 /proc/31170/task/31196/stat : 31196 (pwbo2.0) R 31168 31170 31075 0 -1 4202560 24540 0 0 0 89758 20 0 0 20 0 3 0 274799850 728989696 160241 33554432000 4194304 5965102 140735057378768 139645661547160 4404757 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 711904 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 31170 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=9269 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=691742 # CPU time returned by wait4() is 1795.7 # while last known CPU time is 1800.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 900.34 CPU time (s): 1800.01 CPU user time (s): 1798.62 CPU system time (s): 1.39 CPU usage (%): 199.926 Max. virtual memory (cumulated for all children) (KiB): 711904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.01 system time used= 1.69174 maximum resident set size= 640972 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 180071 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= 766 involuntary context switches= 1985 runsolver used 1.9817 second user time and 5.38318 second system time The end
Begin job on node142 at 2012-05-27 04:45:50 IDJOB=3703471 IDBENCH=1875 IDSOLVER=2279 FILE ID=node142/3703471-1338086749 RUNJOBID= node142-1338085847-31092 PBS_JOBID= 14624428 Free space on /tmp= 71688 MiB SOLVER NAME= pwbo 2.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3703471-1338086749/watcher-3703471-1338086749 -o /tmp/evaluation-result-3703471-1338086749/solver-3703471-1338086749 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703471-1338086749.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9 RANDOM SEED=341766637 node142.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.776 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.776 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.776 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5391.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.776 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.776 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.776 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.776 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.776 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31580608 kB Buffers: 258600 kB Cached: 219608 kB SwapCached: 0 kB Active: 426044 kB Inactive: 64472 kB Active(anon): 3668 kB Inactive(anon): 11212 kB Active(file): 422376 kB Inactive(file): 53260 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 6648 kB Writeback: 0 kB AnonPages: 107284 kB Mapped: 11624 kB Shmem: 200 kB Slab: 662604 kB SReclaimable: 104844 kB SUnreclaim: 557760 kB KernelStack: 1456 kB PageTables: 4056 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 136744 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 88064 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= 71680 MiB End job on node142 at 2012-05-27 05:00:52