Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (MO) | 5279582 | 805.605 | 805.899 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran17x17.opb |
MD5SUM | 041d40ba01d992f8c3bb358df2c9aea9 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 2191362 |
Best CPU time to get the best result obtained on this benchmark | 1800.63 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2191362 |
Optimality of the best value was proved | NO |
Number of variables | 8959 |
Total number of constraints | 323 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 323 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 510 |
Number of terms in the objective function | 8959 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1612776422946 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1612776422946 |
Number of bits of the biggest sum of numbers | 41 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/353965-1176689624/instance-353965-1176689624.opb 0.00/0.00 c File size is 458095 bytes. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.06 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.07 c Coefficients are big enough for not using lower bounding. 0.05/0.08 c Coefficients are big enough for not using lower bounding. 0.05/0.08 c Coefficients are big enough for not using lower bounding. 0.05/0.08 c Coefficients are big enough for not using lower bounding. 0.05/0.08 c Coefficients are big enough for not using lower bounding. 0.05/0.08 c Coefficients are big enough for not using lower bounding. 0.05/0.08 c Coefficients are big enough for not using lower bounding. 0.05/0.08 c Coefficients are big enough for not using lower bounding. 0.05/0.08 c Coefficients are big enough for not using lower bounding. 0.05/0.08 c Coefficients are big enough for not using lower bounding. 0.05/0.08 c Coefficients are big enough for not using lower bounding. 0.05/0.08 c Coefficients are big enough for not using lower bounding. 0.05/0.08 c Coefficients are big enough for not using lower bounding. 0.05/0.08 c Coefficients are big enough for not using lower bounding. 0.05/0.08 c Coefficients are big enough for not using lower bounding. 0.05/0.08 c Coefficients are big enough for not using lower bounding. 0.05/0.08 c Coefficients are big enough for not using lower bounding. 0.05/0.08 c Coefficients are big enough for not using lower bounding. 0.05/0.08 c Coefficients are big enough for not using lower bounding. 0.05/0.08 c Coefficients are big enough for not using lower bounding. 0.05/0.08 c Highest Coefficient sum: 1.61278e+12 0.05/0.08 c Parsing was ok!! 0.05/0.08 c Total parsing time: 0.077 s 0.05/0.08 c Var: 8959 Constr: 357 0/0/357 Lit: 43639 Watch. Lit: 26367 0.05/0.08 c Obj. Vars: 8959 (100 % of total variables) 0.18/0.22 c Pre-processing Time: 0.225 s 1.39/1.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.42 c 0 4278 357 43639 122 26409 87278 0 0 0.23 1.39/1.42 c 101 4278 458 73824 161 26742 96006 101 364 0.28 1.39/1.42 c 252 4278 609 112961 185 27229 105607 252 724 0.35 1.39/1.42 c 477 4278 834 162601 194 27950 116168 477 1012 0.47 1.39/1.42 c 816 4278 1173 256753 218 29777 127785 816 1314 0.62 1.39/1.42 c 1324 4278 1681 365119 217 30460 140564 1324 1453 0.91 1.39/1.42 o 8063971 1.418 21.58/21.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.58/21.66 c 2037 4278 2395 670246 279 36743 95834 2038 1432 1.42 21.58/21.66 c 2137 4278 2495 693077 277 36322 105418 2138 1475 1.45 21.58/21.66 c 2387 4278 2745 740366 269 36066 115960 2388 1540 1.55 21.58/21.66 c 2863 4278 3221 914319 283 37964 127557 2864 1595 1.79 21.58/21.66 c 3677 4278 4035 1082820 268 38928 140313 3678 1874 1.96 21.58/21.66 c 4997 4278 5355 2043724 381 42619 154345 4998 1243 4.02 21.58/21.66 c 7078 4278 7436 2456457 330 45934 169780 7079 1481 4.78 21.58/21.66 c 10301 4278 10659 4418600 414 53424 186759 10302 1179 8.73 21.58/21.66 c 15237 4278 15595 6498443 416 61971 205435 15238 1158 13.15 21.58/21.66 c 22743 4278 23101 8743776 378 77451 225979 22744 1055 21.54 21.58/21.66 o 7026956 21.657 22.28/22.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.28/22.32 c 22902 4278 23261 8780845 377 81097 95834 22904 1057 21.66 22.28/22.32 c 23002 4278 23361 8861774 379 81276 105418 23004 1052 21.85 22.28/22.32 c 23253 4278 23612 8913679 377 80420 115960 23255 1059 21.95 22.28/22.32 o 5279582 22.316 805.31/805.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 805.31/805.60 c 23715 4278 24075 9043139 375 85539 95834 23718 1062 22.32 805.31/805.60 c 23816 4278 24176 9065007 374 85713 105418 23819 1064 22.38 805.31/805.60 c 24067 4278 24427 9116322 373 86433 115960 24070 1068 22.52 805.31/805.60 c 24542 4278 24902 9336260 374 86836 127557 24545 1063 23.09 805.31/805.60 c 25355 4278 25715 9745955 378 87899 140313 25358 1051 24.10 805.31/805.60 c 26675 4278 27035 9995279 369 89436 154345 26678 1092 24.41 805.31/805.60 c 28757 4278 29117 10896610 374 94276 169780 28760 1061 27.10 805.31/805.60 c 31980 4278 32340 13973739 432 100935 186759 31983 862 37.10 805.31/805.60 c 36916 4278 37276 15162186 406 110373 205435 36919 938 39.34 805.31/805.60 c 44441 4278 44801 23515499 524 125146 225979 44444 620 71.60 805.31/805.60 c 55802 4278 56162 29852433 531 147752 248577 55805 593 94.06 805.31/805.60 c 72950 4278 73310 41689441 568 182016 273435 72953 401 181.76 805.31/805.60 c 98770 4278 99130 60759940 612 232816 300779 98773 341 289.47 805.31/805.60 c 137603 4278 137963 97972215 710 309990 330857 137606 265 518.38 805.31/805.60 c Caught signal: 15 805.31/805.60 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 805.31/805.60 v -x29 -x30 -x31 -x32 -x33 x34 x35 x36 x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 805.31/805.60 v -x56 -x57 -x58 -x59 -x60 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 805.31/805.60 v -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x6361 805.31/805.60 v -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 805.31/805.60 v -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6691 -x6692 -x6693 -x6694 -x6695 805.31/805.60 v -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 805.31/805.60 v -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x7021 x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 805.31/805.60 v -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 805.31/805.60 v -x7047 -x7048 -x7049 -x7050 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 805.31/805.60 v -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 805.31/805.60 v -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 805.31/805.60 v -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x8011 -x8012 -x8013 -x8014 805.31/805.60 v -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 805.31/805.60 v -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8341 -x8342 x8343 x8344 x8345 x8346 x8347 -x8348 x8349 805.31/805.60 v x8350 x8351 x8352 x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 805.31/805.60 v -x8368 -x8369 -x8370 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 805.31/805.60 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 805.31/805.60 v -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x721 -x722 -x723 -x724 805.31/805.60 v -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 805.31/805.60 v -x746 -x747 -x748 -x749 -x750 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 805.31/805.60 v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 805.31/805.60 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 805.31/805.60 v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1711 -x1712 -x1713 -x1714 805.31/805.60 v -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 805.31/805.60 v -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 805.31/805.60 v -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 805.31/805.60 v -x2066 -x2067 -x2068 -x2069 -x2070 -x2371 x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 805.31/805.60 v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 805.31/805.60 v -x2400 -x2701 -x2702 -x2703 x2704 x2705 x2706 -x2707 x2708 x2709 -x2710 x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 805.31/805.60 v -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 x3031 x3032 x3033 x3034 x3035 805.31/805.60 v x3036 x3037 x3038 x3039 x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 805.31/805.60 v -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 805.31/805.60 v -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 805.31/805.60 v -x3418 -x3419 -x3420 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 805.31/805.60 v -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x4051 805.31/805.60 v -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 805.31/805.60 v -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4381 -x4382 -x4383 -x4384 -x4385 805.31/805.60 v -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 805.31/805.60 v -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 805.31/805.60 v -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 805.31/805.60 v -x4737 -x4738 -x4739 -x4740 x5041 x5042 x5043 x5044 x5045 x5046 -x5047 x5048 -x5049 x5050 -x5051 x5052 -x5053 -x5054 -x5055 805.31/805.60 v -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5371 -x5372 805.31/805.60 v -x5373 -x5374 -x5375 -x5376 -x5377 x5378 x5379 x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 805.31/805.60 v -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5701 -x5702 -x5703 x5704 -x5705 -x5706 -x5707 805.31/805.60 v -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 805.31/805.60 v -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 805.31/805.60 v -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 805.31/805.60 v -x6059 -x6060 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 805.31/805.60 v -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6391 -x6392 805.31/805.60 v -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 805.31/805.60 v -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 805.31/805.60 v -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 805.31/805.60 v -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 805.31/805.60 v -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 805.31/805.60 v -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 805.31/805.60 v -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 805.31/805.60 v -x6512 x6513 -x6514 -x6515 x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 805.31/805.60 v -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 805.31/805.60 v -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 805.31/805.60 v -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 805.31/805.60 v -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 805.31/805.60 v -x6598 -x6599 -x6600 -x6601 -x6602 x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 805.31/805.60 v -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 805.31/805.60 v -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 805.31/805.60 v -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 805.31/805.60 v -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 805.31/805.60 v -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 805.31/805.60 v -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 805.31/805.60 v -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 x6760 x6761 -x6762 x6763 -x6764 805.31/805.60 v x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 805.31/805.60 v -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 805.31/805.60 v -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 805.31/805.60 v -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 805.31/805.60 v -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 805.31/805.60 v -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 805.31/805.60 v -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 805.31/805.60 v -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 805.31/805.60 v x6901 x6902 x6903 x6904 -x6905 -x6906 x6907 x6908 x6909 -x6910 x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 805.31/805.60 v -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 805.31/805.60 v -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 805.31/805.60 v -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 x6961 -x6962 x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 805.31/805.60 v -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 805.31/805.60 v -x6989 -x6990 -x6991 -x6992 x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 805.31/805.60 v -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7051 -x7052 805.31/805.60 v -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 805.31/805.60 v -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 805.31/805.60 v -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 805.31/805.60 v -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 805.31/805.60 v -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 805.31/805.60 v -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 805.31/805.60 v -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 805.31/805.60 v -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 805.31/805.60 v -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 805.31/805.60 v -x7206 -x7207 -x7208 -x7209 -x7210 x7211 -x7212 x7213 x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 805.31/805.60 v -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 805.31/805.60 v -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 805.31/805.60 v -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 805.31/805.60 v -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 805.31/805.60 v -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 805.31/805.60 v -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 805.31/805.60 v -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 805.31/805.60 v -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 805.31/805.60 v -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 805.31/805.60 v -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 805.31/805.60 v -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 805.31/805.60 v -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 805.31/805.60 v -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 805.31/805.60 v -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 x7483 x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 805.31/805.60 v -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 805.31/805.60 v -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 805.31/805.60 v -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 805.31/805.60 v -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 805.31/805.60 v -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 805.31/805.60 v -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 805.31/805.60 v -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 805.31/805.60 v -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 805.31/805.60 v -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 805.31/805.60 v -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 805.31/805.60 v -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 805.31/805.60 v -x7680 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 805.31/805.60 v -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 x7741 -x7742 -x7743 805.31/805.60 v -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 805.31/805.60 v -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 805.31/805.60 v -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 805.31/805.60 v -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 805.31/805.60 v -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 805.31/805.60 v -x7829 -x7830 -x7831 -x7832 x7833 x7834 x7835 x7836 x7837 x7838 x7839 x7840 -x7841 x7842 x7843 x7844 -x7845 -x7846 -x7847 805.31/805.60 v -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 805.31/805.60 v -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 805.31/805.60 v -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 805.31/805.60 v -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 805.31/805.60 v -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 805.31/805.60 v -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 805.31/805.60 v -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 805.31/805.60 v -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 805.31/805.60 v -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 805.31/805.60 v -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 805.31/805.60 v -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 805.31/805.60 v -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 805.31/805.60 v -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 805.31/805.60 v -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 805.31/805.60 v -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 805.31/805.60 v -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 805.31/805.60 v -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 805.31/805.60 v -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 805.31/805.60 v -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 805.31/805.60 v -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 805.31/805.60 v -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 805.31/805.60 v -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 x8251 805.31/805.60 v x8252 x8253 x8254 x8255 x8256 x8257 x8258 x8259 x8260 x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 805.31/805.60 v -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 805.31/805.60 v -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 805.31/805.60 v -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 805.31/805.60 v -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 805.31/805.60 v -x8339 -x8340 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 805.31/805.60 v -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 805.31/805.60 v -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 805.31/805.60 v -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 805.31/805.60 v -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 805.31/805.60 v -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 805.31/805.60 v -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 805.31/805.60 v -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 805.31/805.60 v -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 805.31/805.60 v -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 x8528 -x8529 x8530 -x8531 -x8532 x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 805.31/805.60 v -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 805.31/805.60 v -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 805.31/805.60 v -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 805.31/805.60 v -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 805.31/805.60 v -x8608 -x8609 -x8610 x8611 x8612 x8613 x8614 x8615 x8616 x8617 x8618 x8619 x8620 x8621 x8622 x8623 x8624 -x8625 -x8626 -x8627 805.31/805.60 v -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 805.31/805.60 v -x8645 -x8646 -x8647 x8648 x8649 -x8650 x8651 -x8652 x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 805.31/805.60 v -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 805.31/805.60 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 805.31/805.60 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 805.31/805.60 v -x146 -x147 -x148 -x149 -x150 x151 x152 x153 x154 x155 x156 -x157 x158 x159 x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 805.31/805.60 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 805.31/805.60 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 805.31/805.60 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 805.31/805.60 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 x248 -x249 -x250 -x251 -x252 805.31/805.60 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 x273 805.31/805.60 v x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 805.31/805.60 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 805.31/805.60 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 x333 x334 x335 x336 -x337 805.31/805.60 v x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 805.31/805.60 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 805.31/805.60 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 805.31/805.60 v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 805.31/805.60 v -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 805.31/805.60 v -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 805.31/805.60 v -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 805.31/805.60 v -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 805.31/805.60 v -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 x545 x546 -x547 -x548 -x549 x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 805.31/805.60 v -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 805.31/805.60 v -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 805.31/805.60 v -x600 x601 -x602 x603 -x604 -x605 x606 x607 x608 x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 805.31/805.60 v -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 x632 x633 x634 x635 x636 -x637 x638 x639 x640 x641 x642 x643 -x644 805.31/805.60 v -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 805.31/805.60 v -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 805.31/805.60 v -x687 -x688 -x689 -x690 -x691 x692 -x693 x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 805.31/805.60 v -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 805.31/805.60 v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 805.31/805.60 v -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 805.31/805.60 v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820 -x821 805.31/805.60 v -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 805.31/805.60 v -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 805.31/805.60 v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 805.31/805.60 v -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 x903 -x904 -x905 805.31/805.60 v -x906 x907 -x908 x909 x910 -x911 x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 805.31/805.60 v -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 805.31/805.60 v -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 805.31/805.60 v -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 805.31/805.60 v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 805.31/805.60 v -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 805.31/805.60 v -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 805.31/805.60 v -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 805.31/805.60 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 805.31/805.60 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 805.31/805.60 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 805.31/805.60 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 805.31/805.60 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 805.31/805.60 v -x1176 -x1177 x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 805.31/805.60 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 805.31/805.60 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 805.31/805.60 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 805.31/805.60 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 805.31/805.60 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 805.31/805.60 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 805.31/805.60 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 805.31/805.60 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 805.31/805.60 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 805.31/805.60 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 x1352 -x1353 -x1354 x1355 x1356 x1357 x1358 x1359 x1360 -x1361 -x1362 x1363 -x1364 805.31/805.60 v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1411 805.31/805.60 v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 805.31/805.60 v -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 805.31/805.60 v -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 805.31/805.60 v -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 805.31/805.60 v -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 805.31/805.60 v -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 805.31/805.60 v -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 805.31/805.60 v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 805.31/805.60 v -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 805.31/805.60 v -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 805.31/805.60 v -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 805.31/805.60 v -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 805.31/805.60 v -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 805.31/805.60 v -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 805.31/805.60 v -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 805.31/805.60 v -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 805.31/805.60 v -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 805.31/805.60 v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1741 x1742 x1743 x1744 -x1745 -x1746 -x1747 -x1748 805.31/805.60 v -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 805.31/805.60 v -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 805.31/805.60 v -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 805.31/805.60 v -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 805.31/805.60 v -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 805.31/805.60 v -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 805.31/805.60 v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 805.31/805.60 v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 805.31/805.60 v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 805.31/805.60 v -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 805.31/805.60 v -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1935 805.31/805.60 v -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 805.31/805.60 v -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 805.31/805.60 v -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 805.31/805.60 v -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 805.31/805.60 v -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 805.31/805.60 v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 805.31/805.60 v -x2038 -x2039 -x2040 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 805.31/805.60 v -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 805.31/805.60 v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 805.31/805.60 v -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 805.31/805.60 v -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 805.31/805.60 v -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 805.31/805.60 v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 805.31/805.60 v -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 805.31/805.60 v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 805.31/805.60 v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 805.31/805.60 v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 805.31/805.60 v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 805.31/805.60 v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 805.31/805.60 v -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 805.31/805.60 v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 805.31/805.60 v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 805.31/805.60 v -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 805.31/805.60 v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 x2401 x2402 -x2403 x2404 805.31/805.60 v -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 x2412 -x2413 x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 805.31/805.60 v -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 x2431 x2432 x2433 x2434 -x2435 -x2436 x2437 x2438 x2439 -x2440 805.31/805.60 v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 805.31/805.60 v -x2458 -x2459 -x2460 -x2461 x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 805.31/805.60 v -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 805.31/805.60 v -x2492 -x2493 x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 805.31/805.60 v -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 805.31/805.60 v -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 805.31/805.60 v -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 805.31/805.60 v -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 805.31/805.60 v -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 805.31/805.60 v -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 805.31/805.60 v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 805.31/805.60 v -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 x2641 -x2642 -x2643 -x2644 805.31/805.60 v -x2645 -x2646 x2647 x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 805.31/805.60 v -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 805.31/805.60 v -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 805.31/805.60 v -x2697 -x2698 -x2699 -x2700 -x2731 x2732 x2733 x2734 -x2735 -x2736 x2737 -x2738 x2739 -x2740 x2741 x2742 -x2743 -x2744 805.31/805.60 v -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 805.31/805.60 v -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 805.31/805.60 v -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 805.31/805.60 v -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 805.31/805.60 v -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 805.31/805.60 v -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 805.31/805.60 v -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 805.31/805.60 v -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 805.31/805.60 v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 805.31/805.60 v -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 805.31/805.60 v -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 805.31/805.60 v -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 805.31/805.60 v -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 805.31/805.60 v -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 805.31/805.60 v -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 805.31/805.60 v -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 805.31/805.60 v -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3061 -x3062 x3063 805.31/805.60 v -x3064 -x3065 x3066 -x3067 -x3068 x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 805.31/805.60 v -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 805.31/805.60 v -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 805.31/805.60 v -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 805.31/805.60 v -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 805.31/805.60 v -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 805.31/805.60 v -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 805.31/805.60 v -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 805.31/805.60 v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 805.31/805.60 v -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 805.31/805.60 v -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 805.31/805.60 v -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 805.31/805.60 v -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 805.31/805.60 v -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 805.31/805.60 v -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 805.31/805.60 v -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 805.31/805.60 v -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 805.31/805.60 v -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 805.31/805.60 v -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 805.31/805.60 v -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 805.31/805.60 v -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 805.31/805.60 v x3482 x3483 x3484 -x3485 x3486 -x3487 -x3488 x3489 x3490 x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 805.31/805.60 v -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 x3512 x3513 x3514 -x3515 x3516 -x3517 805.31/805.60 v x3518 x3519 x3520 x3521 x3522 x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 805.31/805.60 v -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 805.31/805.60 v -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 805.31/805.60 v -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 805.31/805.60 v -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 805.31/805.60 v -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 805.31/805.60 v -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 805.31/805.60 v -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 805.31/805.60 v -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 x3665 x3666 x3667 x3668 -x3669 x3670 -x3671 -x3672 805.31/805.60 v x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 805.31/805.60 v -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 805.31/805.60 v -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3751 -x3752 -x3753 805.31/805.60 v -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 805.31/805.60 v -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 805.31/805.60 v -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 805.31/805.60 v -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 805.31/805.60 v -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 805.31/805.60 v -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 805.31/805.60 v -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 805.31/805.60 v -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 805.31/805.60 v -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 805.31/805.60 v -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 805.31/805.60 v -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 805.31/805.60 v -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 805.31/805.60 v -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 805.31/805.60 v -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 805.31/805.60 v -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 805.31/805.60 v -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 x4025 805.31/805.60 v -x4026 -x4027 -x4028 x4029 -x4030 x4031 x4032 x4033 -x4034 x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 805.31/805.60 v -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 805.31/805.60 v -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 805.31/805.60 v -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 805.31/805.60 v -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 805.31/805.60 v -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 805.31/805.60 v -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 805.31/805.60 v -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 805.31/805.60 v -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 805.31/805.60 v -x4210 x4211 -x4212 -x4213 x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 805.31/805.60 v -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 805.31/805.60 v -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 805.31/805.60 v -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 805.31/805.60 v -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 805.31/805.60 v -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 805.31/805.60 v -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 805.31/805.60 v -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 805.31/805.60 v -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 805.31/805.60 v -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 805.31/805.60 v -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 805.31/805.60 v -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 805.31/805.60 v -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 805.31/805.60 v -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 805.31/805.60 v -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 805.31/805.60 v -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 805.31/805.60 v -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 805.31/805.60 v -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 805.31/805.60 v -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 805.31/805.60 v -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 805.31/805.60 v -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 805.31/805.60 v -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 805.31/805.60 v -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 805.31/805.60 v -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 805.31/805.60 v -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 805.31/805.60 v -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 805.31/805.60 v -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 805.31/805.60 v -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 805.31/805.60 v -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 805.31/805.60 v -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 805.31/805.60 v -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 805.31/805.60 v -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 805.31/805.60 v -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 805.31/805.60 v -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 805.31/805.60 v -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 805.31/805.60 v -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 805.31/805.60 v -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 805.31/805.60 v -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 805.31/805.60 v -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 805.31/805.60 v -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 805.31/805.60 v -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 805.31/805.60 v -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 805.31/805.60 v -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 805.31/805.60 v -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 805.31/805.60 v -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 805.31/805.60 v -x5036 -x5037 -x5038 -x5039 -x5040 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 805.31/805.60 v -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 805.31/805.60 v -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 805.31/805.60 v -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 805.31/805.60 v -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 805.31/805.60 v -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 805.31/805.60 v -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 805.31/805.60 v -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 805.31/805.60 v x5202 x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 805.31/805.60 v -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 x5226 x5227 x5228 x5229 x5230 -x5231 -x5232 x5233 -x5234 -x5235 -x5236 -x5237 805.31/805.60 v -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 805.31/805.60 v -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 805.31/805.60 v -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 805.31/805.60 v -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 805.31/805.60 v -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 805.31/805.60 v -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 805.31/805.60 v -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 805.31/805.60 v -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5401 x5402 x5403 x5404 805.31/805.60 v x5405 x5406 x5407 x5408 x5409 x5410 -x5411 x5412 x5413 -x5414 x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 805.31/805.60 v -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 805.31/805.60 v -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 805.31/805.60 v -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 805.31/805.60 v -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 805.31/805.60 v -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 805.31/805.60 v -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 805.31/805.60 v -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 805.31/805.60 v -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 x5552 -x5553 -x5554 -x5555 x5556 -x5557 -x5558 -x5559 -x5560 805.31/805.60 v -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 805.31/805.60 v -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 805.31/805.60 v -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 805.31/805.60 v -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 805.31/805.60 v -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 805.31/805.60 v -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 805.31/805.60 v -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 805.31/805.60 v -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 805.31/805.60 v -x5697 -x5698 -x5699 -x5700 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 805.31/805.60 v -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 805.31/805.60 v -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 805.31/805.60 v -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 805.31/805.60 v -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 805.31/805.60 v -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 805.31/805.60 v -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 805.31/805.60 v -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 805.31/805.60 v -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 805.31/805.60 v -x5880 x5881 -x5882 x5883 x5884 -x5885 x5886 -x5887 -x5888 -x5889 x5890 x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 805.31/805.60 v -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 x5911 -x5912 -x5913 -x5914 805.31/805.60 v -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 805.31/805.60 v -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 805.31/805.60 v -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 805.31/805.60 v -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 805.31/805.60 v -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 805.31/805.60 v -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 805.31/805.60 v -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6061 -x6062 -x6063 805.31/805.60 v -x6064 -x6065 -x6066 -x6067 x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 805.31/805.60 v -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 805.31/805.60 v -x6098 x6099 -x6100 -x6101 -x6102 x6103 -x6104 x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 805.31/805.60 v -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 805.31/805.60 v -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 805.31/805.60 v -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 805.31/805.60 v -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 805.31/805.60 v -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 805.31/805.60 v -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 805.31/805.60 v -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 805.31/805.60 v -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 805.31/805.60 v -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 805.31/805.60 v -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 805.31/805.60 v -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 x6302 805.31/805.60 v -x6303 -x6304 x6305 -x6306 x6307 -x6308 -x6309 -x6310 x6311 -x6312 x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 805.31/805.60 v -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 x8671 x8672 -x8783 -x8883 -x8894 x8905 -x8916 -x8927 805.31/805.60 v -x8938 x8949 x8673 -x8684 -x8695 -x8706 -x8717 -x8728 -x8739 x8750 x8761 x8772 -x8784 -x8795 -x8806 -x8817 -x8828 x8839 805.31/805.60 v x8850 x8861 -x8872 -x8882 -x8884 -x8885 -x8886 -x8887 x8888 -x8889 -x8890 x8891 -x8892 -x8893 -x8895 x8896 -x8897 -x8898 805.31/805.60 v -x8899 -x8900 x8901 -x8902 x8903 x8904 -x8906 -x8907 -x8908 -x8909 -x8910 x8911 -x8912 -x8913 -x8914 -x8915 -x8917 -x8918 805.31/805.60 v -x8919 x8920 -x8921 -x8922 -x8923 -x8924 x8925 -x8926 -x8928 x8929 x8930 -x8931 x8932 -x8933 -x8934 -x8935 -x8936 -x8937 805.31/805.60 v -x8939 -x8940 -x8941 -x8942 -x8943 x8944 -x8945 x8946 -x8947 -x8948 -x8950 -x8951 -x8952 -x8953 -x8954 x8955 x8956 -x8957 805.31/805.60 v x8958 x8959 -x8674 -x8675 x8676 x8677 -x8678 x8679 x8680 -x8681 x8682 x8683 -x8685 -x8686 -x8687 -x8688 x8689 -x8690 x8691 805.31/805.60 v x8692 -x8693 x8694 -x8696 -x8697 x8698 -x8699 -x8700 x8701 -x8702 -x8703 -x8704 -x8705 -x8707 -x8708 -x8709 x8710 -x8711 805.31/805.60 v -x8712 -x8713 -x8714 -x8715 x8716 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 x8729 -x8730 -x8731 805.31/805.60 v -x8732 -x8733 -x8734 x8735 -x8736 -x8737 -x8738 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 805.31/805.60 v x8751 x8752 x8753 x8754 -x8755 -x8756 -x8757 -x8758 x8759 x8760 x8762 -x8763 -x8764 x8765 x8766 -x8767 -x8768 -x8769 -x8770 805.31/805.60 v -x8771 x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8785 -x8786 x8787 x8788 -x8789 -x8790 -x8791 805.31/805.60 v -x8792 x8793 -x8794 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 x8805 -x8807 -x8808 -x8809 -x8810 x8811 805.31/805.60 v -x8812 -x8813 -x8814 -x8815 -x8816 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8829 -x8830 805.31/805.60 v -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8840 -x8841 x8842 -x8843 x8844 x8845 -x8846 -x8847 -x8848 -x8849 805.31/805.60 v x8851 -x8852 -x8853 -x8854 -x8855 x8856 -x8857 -x8858 -x8859 -x8860 -x8862 -x8863 -x8864 -x8865 -x8866 x8867 x8868 -x8869 805.31/805.60 v -x8870 -x8871 x8873 x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 x8881 805.31/805.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 805.31/805.61 c 32 182520 22181 368628 182880 143020676 182523 226 805.32 805.31/805.61 c Objective: 5279582 805.31/805.61 s SATISFIABLE 805.31/805.61 c Total time: 805.317 s
OK 5279582
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node69/watcher-353965-1176689624 -o ROOT/results/node69/solver-353965-1176689624 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353965-1176689624/instance-353965-1176689624.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 4892 /proc/meminfo: memFree=1857316/2055920 swapFree=4184008/4192956 [pid=4892] ppid=4890 vsize=12184 CPUtime=0 /proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 144951852 12476416 335 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 3046 336 281 324 0 2003 0 [startup+0.0617519 s] /proc/loadavg: 0.92 0.98 0.99 3/64 4892 /proc/meminfo: memFree=1857316/2055920 swapFree=4184008/4192956 [pid=4892] ppid=4890 vsize=13376 CPUtime=0.05 /proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 732 0 0 0 5 0 0 0 18 0 1 0 144951852 13697024 700 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 3344 700 367 324 0 2301 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 13376 [startup+0.101758 s] /proc/loadavg: 0.92 0.98 0.99 3/64 4892 /proc/meminfo: memFree=1857316/2055920 swapFree=4184008/4192956 [pid=4892] ppid=4890 vsize=6560 CPUtime=0.09 /proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 1140 0 0 0 9 0 0 0 18 0 1 0 144951852 6717440 996 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 1640 996 305 324 0 709 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6560 [startup+0.30179 s] /proc/loadavg: 0.92 0.98 0.99 3/64 4892 /proc/meminfo: memFree=1857316/2055920 swapFree=4184008/4192956 [pid=4892] ppid=4890 vsize=7032 CPUtime=0.29 /proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 1370 0 0 0 27 2 0 0 19 0 1 0 144951852 7200768 1117 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 1758 1117 312 324 0 827 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7032 [startup+0.701854 s] /proc/loadavg: 0.92 0.98 0.99 3/64 4892 /proc/meminfo: memFree=1857316/2055920 swapFree=4184008/4192956 [pid=4892] ppid=4890 vsize=9616 CPUtime=0.69 /proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 2029 0 0 0 66 3 0 0 23 0 1 0 144951852 9846784 1776 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 2404 1778 312 324 0 1473 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9616 [startup+1.50198 s] /proc/loadavg: 0.92 0.98 0.99 2/65 4893 /proc/meminfo: memFree=1849884/2055920 swapFree=4184008/4192956 [pid=4892] ppid=4890 vsize=15432 CPUtime=1.49 /proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 3475 0 0 0 145 4 0 0 25 0 1 0 144951852 15802368 3222 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 3858 3222 313 324 0 2927 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15432 [startup+3.10124 s] /proc/loadavg: 0.93 0.98 0.99 2/65 4893 /proc/meminfo: memFree=1838940/2055920 swapFree=4184008/4192956 [pid=4892] ppid=4890 vsize=27632 CPUtime=3.08 /proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 6539 0 0 0 303 5 0 0 25 0 1 0 144951852 28295168 6286 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160521828 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 6908 6286 313 324 0 5977 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 27632 [startup+6.30176 s] /proc/loadavg: 0.93 0.98 0.99 2/65 4893 /proc/meminfo: memFree=1819356/2055920 swapFree=4184008/4192956 [pid=4892] ppid=4890 vsize=46880 CPUtime=6.29 /proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 11331 0 0 0 619 10 0 0 25 0 1 0 144951852 48005120 11078 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 11720 11078 313 324 0 10789 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 46880 [startup+12.7018 s] /proc/loadavg: 0.94 0.98 0.99 2/65 4893 /proc/meminfo: memFree=1777052/2055920 swapFree=4184008/4192956 [pid=4892] ppid=4890 vsize=87656 CPUtime=12.68 /proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 21545 0 0 0 1254 14 0 0 25 0 1 0 144951852 89759744 21292 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 12383541 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 21914 21292 313 324 0 20983 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 87656 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.99 2/65 4893 /proc/meminfo: memFree=1720092/2055920 swapFree=4184008/4192956 [pid=4892] ppid=4890 vsize=141592 CPUtime=25.48 /proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 35005 0 0 0 2526 22 0 0 25 0 1 0 144951852 144990208 34752 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 35398 34752 313 324 0 34467 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 141592 [startup+51.102 s] /proc/loadavg: 0.96 0.98 0.99 2/65 4893 /proc/meminfo: memFree=1614300/2055920 swapFree=4184008/4192956 [pid=4892] ppid=4890 vsize=248076 CPUtime=51.07 /proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 61638 0 0 0 5069 38 0 0 25 0 1 0 144951852 254029824 61385 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 62019 61385 313 324 0 61088 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 248076 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 4893 /proc/meminfo: memFree=1440476/2055920 swapFree=4184008/4192956 [pid=4892] ppid=4890 vsize=419972 CPUtime=102.25 /proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 104615 0 0 0 10164 61 0 0 25 0 1 0 144951852 430051328 104362 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 104993 104362 313 324 0 104062 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 419972 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4893 /proc/meminfo: memFree=1341276/2055920 swapFree=4184008/4192956 [pid=4892] ppid=4890 vsize=519328 CPUtime=162.23 /proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 129459 0 0 0 16145 78 0 0 25 0 1 0 144951852 531791872 129206 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 129832 129206 313 324 0 128901 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 519328 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4893 /proc/meminfo: memFree=1185244/2055920 swapFree=4184008/4192956 [pid=4892] ppid=4890 vsize=674884 CPUtime=222.21 /proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 168343 0 0 0 22121 100 0 0 25 0 1 0 144951852 691081216 168090 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 168721 168090 313 324 0 167790 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 674884 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4893 /proc/meminfo: memFree=1079260/2055920 swapFree=4184008/4192956 [pid=4892] ppid=4890 vsize=781592 CPUtime=282.18 /proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 195007 0 0 0 28101 117 0 0 25 0 1 0 144951852 800350208 194754 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 195398 194754 313 324 0 194467 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 781592 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4893 /proc/meminfo: memFree=906460/2055920 swapFree=4184008/4192956 [pid=4892] ppid=4890 vsize=953420 CPUtime=342.17 /proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 237977 0 0 0 34077 140 0 0 25 0 1 0 144951852 976302080 237724 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 238355 237724 313 324 0 237424 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 953420 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4893 /proc/meminfo: memFree=757660/2055920 swapFree=4184008/4192956 [pid=4892] ppid=4890 vsize=1102960 CPUtime=402.15 /proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 275364 0 0 0 40054 161 0 0 25 0 1 0 144951852 1129431040 275111 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 275740 275111 313 324 0 274809 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 1102960 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4893 /proc/meminfo: memFree=658588/2055920 swapFree=4184008/4192956 [pid=4892] ppid=4890 vsize=1200448 CPUtime=462.13 /proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 299718 0 0 0 46039 174 0 0 25 0 1 0 144951852 1229258752 299465 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 300112 299465 313 324 0 299181 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 1200448 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4893 /proc/meminfo: memFree=582556/2055920 swapFree=4184008/4192956 [pid=4892] ppid=4890 vsize=1280208 CPUtime=522.11 /proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 319676 0 0 0 52026 185 0 0 25 0 1 0 144951852 1310932992 319423 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 320052 319423 313 324 0 319121 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 1280208 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4893 /proc/meminfo: memFree=408604/2055920 swapFree=4184008/4192956 [pid=4892] ppid=4890 vsize=1450164 CPUtime=582.09 /proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 362153 0 0 0 58002 207 0 0 25 0 1 0 144951852 1484967936 361900 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 362541 361900 313 324 0 361610 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 1450164 [startup+642.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4893 /proc/meminfo: memFree=273052/2055920 swapFree=4184008/4192956 [pid=4892] ppid=4890 vsize=1584692 CPUtime=642.07 /proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 395790 0 0 0 63982 225 0 0 25 0 1 0 144951852 1622724608 395537 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 396173 395537 313 324 0 395242 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 1584692 [startup+702.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4893 /proc/meminfo: memFree=159772/2055920 swapFree=4184008/4192956 [pid=4892] ppid=4890 vsize=1698440 CPUtime=702.05 /proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 424240 0 0 0 69963 242 0 0 25 0 1 0 144951852 1739202560 423987 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 424610 423987 313 324 0 423679 0 Current children cumulated CPU time (s) 702.05 Current children cumulated vsize (KiB) 1698440 [startup+762.305 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4893 /proc/meminfo: memFree=69916/2055920 swapFree=4184008/4192956 [pid=4892] ppid=4890 vsize=1787564 CPUtime=762.03 /proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 446507 0 0 0 75947 256 0 0 25 0 1 0 144951852 1830465536 446254 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 446891 446254 313 324 0 445960 0 Current children cumulated CPU time (s) 762.03 Current children cumulated vsize (KiB) 1787564 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+805.601 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4893 /proc/meminfo: memFree=16284/2055920 swapFree=4184008/4192956 [pid=4892] ppid=4890 vsize=1843212 CPUtime=805.31 /proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194304 460414 0 0 0 80268 263 0 0 25 0 1 0 144951852 1887449088 460161 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 460803 460161 313 324 0 459872 0 Current children cumulated CPU time (s) 805.31 Current children cumulated vsize (KiB) 1843212 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+805.801 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4893 /proc/meminfo: memFree=16284/2055920 swapFree=4184008/4192956 [pid=4892] ppid=4890 vsize=0 CPUtime=805.5 /proc/4892/stat : 4892 (bsolo3.0.16) R 4890 4892 3346 0 -1 4194308 460415 0 0 0 80268 282 0 0 25 0 1 0 144951852 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/4892/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 805.5 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 805.899 CPU time (s): 805.605 CPU user time (s): 802.687 CPU system time (s): 2.91756 CPU usage (%): 99.9635 Max. virtual memory (cumulated for all children) (KiB): 1843212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 802.687 system time used= 2.91756 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460415 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= 13 involuntary context switches= 1568 runsolver used 0.546916 second user time and 1.67474 second system time The end
Begin job on node69 on Mon Apr 16 02:13:44 UTC 2007 IDJOB= 353965 IDBENCH= 2302 IDSOLVER= 163 FILE ID= node69/353965-1176689624 PBS_JOBID= 4559990 Free space on /tmp= 66530 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran17x17.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353965-1176689624/instance-353965-1176689624.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-353965-1176689624 -o ROOT/results/node69/solver-353965-1176689624 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353965-1176689624/instance-353965-1176689624.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 041d40ba01d992f8c3bb358df2c9aea9 RANDOM SEED= 365338961 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node69.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1857724 kB Buffers: 9424 kB Cached: 117292 kB SwapCached: 3368 kB Active: 71936 kB Inactive: 66628 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1857724 kB SwapTotal: 4192956 kB SwapFree: 4184008 kB Dirty: 4832 kB Writeback: 0 kB Mapped: 17228 kB Slab: 45532 kB Committed_AS: 1382852 kB PageTables: 1476 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66530 MiB End job on node69 on Mon Apr 16 02:27:12 UTC 2007