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