Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | UNSAT | 1227.89 | 1228.3 |
Name | normalized-PB07/PURE-SAT/SAT07/ industrial/palacios/uts/uts-l06-ipc5-h32-unknown.opb |
MD5SUM | 1d8b4bc6cd59d6ee3856cf9cca980ee0 |
Bench Category | PURE-SAT (instances containing only clauses) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 1227.89 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 161116 |
Total number of constraints | 800163 |
Number of constraints which are clauses | 800163 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 591 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 589 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 1180 |
Number of bits of the biggest sum of numbers | 11 |
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 Parsing PB file... 25.39/25.48 c Converting 799863 PB-constraints to clauses... 25.58/25.61 c -- Unit propagations: (none) 25.58/25.62 c -- Detecting intervals from adjacent constraints: ########################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################## 25.58/25.69 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 27.54/27.70 c ---[799816]---> BDD-cost: 1 27.54/27.70 c ---[799805]---> BDD-cost: 1 27.54/27.70 c ---[799803]---> BDD-cost: 1 27.54/27.70 c ---[799801]---> BDD-cost: 1 27.64/27.70 c ---[799799]---> BDD-cost: 1 27.64/27.70 c ---[799797]---> BDD-cost: 1 27.64/27.70 c ---[799795]---> BDD-cost: 1 27.64/27.70 c ---[799793]---> BDD-cost: 1 27.64/27.70 c ---[799791]---> BDD-cost: 1 27.64/27.70 c ---[799789]---> BDD-cost: 1 27.64/27.70 c ---[799787]---> BDD-cost: 1 27.64/27.70 c ---[799785]---> BDD-cost: 1 27.64/27.70 c ---[799783]---> BDD-cost: 1 27.64/27.70 c ---[799781]---> BDD-cost: 1 27.64/27.70 c ---[799779]---> BDD-cost: 1 27.64/27.70 c ---[799777]---> BDD-cost: 1 27.64/27.70 c ---[799775]---> BDD-cost: 1 27.64/27.70 c ---[799773]---> BDD-cost: 1 27.64/27.70 c ---[799771]---> BDD-cost: 1 27.64/27.70 c ---[799769]---> BDD-cost: 1 27.64/27.70 c ---[799767]---> BDD-cost: 1 27.64/27.70 c ---[799765]---> BDD-cost: 1 27.64/27.70 c ---[799763]---> BDD-cost: 1 27.64/27.70 c ---[799761]---> BDD-cost: 1 27.64/27.70 c ---[799759]---> BDD-cost: 1 27.64/27.70 c ---[799757]---> BDD-cost: 1 27.64/27.70 c ---[799755]---> BDD-cost: 1 27.64/27.70 c ---[799753]---> BDD-cost: 1 27.64/27.70 c ---[799751]---> BDD-cost: 1 27.64/27.70 c ---[799749]---> BDD-cost: 1 27.64/27.70 c ---[799747]---> BDD-cost: 1 27.64/27.70 c ---[799745]---> BDD-cost: 1 27.64/27.70 c ---[799743]---> BDD-cost: 1 27.64/27.70 c ---[799741]---> BDD-cost: 1 27.64/27.70 c ---[799695]---> BDD-cost: 1 27.64/27.70 c ---[799647]---> BDD-cost: 1 27.64/27.70 c ---[799645]---> BDD-cost: 1 27.64/27.70 c ---[799643]---> BDD-cost: 1 27.64/27.70 c ---[799641]---> BDD-cost: 1 27.64/27.70 c ---[799639]---> BDD-cost: 1 27.64/27.70 c ---[799637]---> BDD-cost: 1 27.64/27.70 c ---[799635]---> BDD-cost: 1 27.64/27.70 c ---[799633]---> BDD-cost: 1 27.64/27.70 c ---[799631]---> BDD-cost: 1 27.64/27.70 c ---[799629]---> BDD-cost: 1 27.64/27.70 c ---[799627]---> BDD-cost: 1 27.64/27.70 c ---[799625]---> BDD-cost: 1 27.64/27.70 c ---[799623]---> BDD-cost: 1 27.64/27.70 c ---[799621]---> BDD-cost: 1 27.64/27.70 c ---[799619]---> BDD-cost: 1 27.64/27.70 c ---[799617]---> BDD-cost: 1 27.64/27.70 c ---[799615]---> BDD-cost: 1 27.64/27.70 c ---[799613]---> BDD-cost: 1 27.64/27.70 c ---[799611]---> BDD-cost: 1 27.64/27.70 c ---[799609]---> BDD-cost: 1 27.64/27.70 c ---[799607]---> BDD-cost: 1 27.64/27.70 c ---[799605]---> BDD-cost: 1 27.64/27.70 c ---[799603]---> BDD-cost: 1 27.64/27.70 c ---[799601]---> BDD-cost: 1 27.64/27.70 c ---[799599]---> BDD-cost: 1 27.64/27.70 c ---[799597]---> BDD-cost: 1 27.64/27.70 c ---[799595]---> BDD-cost: 1 27.64/27.70 c ---[799593]---> BDD-cost: 1 27.64/27.70 c ---[799591]---> BDD-cost: 1 27.64/27.70 c ---[799589]---> BDD-cost: 1 27.64/27.70 c ---[799587]---> BDD-cost: 1 27.64/27.70 c ---[799585]---> BDD-cost: 1 27.64/27.70 c ---[799583]---> BDD-cost: 1 27.64/27.70 c ---[799531]---> BDD-cost: 1 27.64/27.70 c ---[799447]---> BDD-cost: 1 27.64/27.70 c ---[799445]---> BDD-cost: 1 27.64/27.70 c ---[799443]---> BDD-cost: 1 27.64/27.70 c ---[799441]---> BDD-cost: 1 27.64/27.70 c ---[799439]---> BDD-cost: 1 27.64/27.70 c ---[799437]---> BDD-cost: 1 27.64/27.70 c ---[799435]---> BDD-cost: 1 27.64/27.70 c ---[799433]---> BDD-cost: 1 27.64/27.70 c ---[799431]---> BDD-cost: 1 27.64/27.70 c ---[799429]---> BDD-cost: 1 27.64/27.70 c ---[799427]---> BDD-cost: 1 27.64/27.70 c ---[799425]---> BDD-cost: 1 27.64/27.70 c ---[799423]---> BDD-cost: 1 27.64/27.70 c ---[799421]---> BDD-cost: 1 27.64/27.70 c ---[799419]---> BDD-cost: 1 27.64/27.70 c ---[799417]---> BDD-cost: 1 27.64/27.70 c ---[799415]---> BDD-cost: 1 27.64/27.70 c ---[799413]---> BDD-cost: 1 27.64/27.70 c ---[799411]---> BDD-cost: 1 27.64/27.70 c ---[799409]---> BDD-cost: 1 27.64/27.70 c ---[799407]---> BDD-cost: 1 27.64/27.70 c ---[799405]---> BDD-cost: 1 27.64/27.70 c ---[799403]---> BDD-cost: 1 27.64/27.70 c ---[799401]---> BDD-cost: 1 27.64/27.70 c ---[799399]---> BDD-cost: 1 27.64/27.70 c ---[799397]---> BDD-cost: 1 27.64/27.70 c ---[799395]---> BDD-cost: 1 27.64/27.70 c ---[799393]---> BDD-cost: 1 27.64/27.70 c ---[799391]---> BDD-cost: 1 27.64/27.70 c ---[799389]---> BDD-cost: 1 27.64/27.70 c ---[799387]---> BDD-cost: 1 27.64/27.70 c ---[799385]---> BDD-cost: 1 27.64/27.70 c ---[799383]---> BDD-cost: 1 27.64/27.70 c ---[799325]---> BDD-cost: 1 27.64/27.70 c ---[799206]---> BDD-cost: 1 27.64/27.70 c ---[799204]---> BDD-cost: 1 27.64/27.70 c ---[799202]---> BDD-cost: 1 27.64/27.70 c ---[799200]---> BDD-cost: 1 27.64/27.70 c ---[799198]---> BDD-cost: 1 27.64/27.70 c ---[799196]---> BDD-cost: 1 27.64/27.70 c ---[799194]---> BDD-cost: 1 27.64/27.70 c ---[799192]---> BDD-cost: 1 27.64/27.70 c ---[799190]---> BDD-cost: 1 27.64/27.70 c ---[799188]---> BDD-cost: 1 27.64/27.70 c ---[799186]---> BDD-cost: 1 27.64/27.70 c ---[799184]---> BDD-cost: 1 27.64/27.70 c ---[799182]---> BDD-cost: 1 27.64/27.70 c ---[799180]---> BDD-cost: 1 27.64/27.70 c ---[799178]---> BDD-cost: 1 27.64/27.70 c ---[799176]---> BDD-cost: 1 27.64/27.70 c ---[799174]---> BDD-cost: 1 27.64/27.70 c ---[799172]---> BDD-cost: 1 27.64/27.70 c ---[799170]---> BDD-cost: 1 27.64/27.70 c ---[799168]---> BDD-cost: 1 27.64/27.70 c ---[799166]---> BDD-cost: 1 27.64/27.70 c ---[799164]---> BDD-cost: 1 27.64/27.70 c ---[799162]---> BDD-cost: 1 27.64/27.70 c ---[799160]---> BDD-cost: 1 27.64/27.70 c ---[799158]---> BDD-cost: 1 27.64/27.70 c ---[799156]---> BDD-cost: 1 27.64/27.70 c ---[799154]---> BDD-cost: 1 27.64/27.70 c ---[799152]---> BDD-cost: 1 27.64/27.70 c ---[799150]---> BDD-cost: 1 27.64/27.70 c ---[799148]---> BDD-cost: 1 27.64/27.70 c ---[799146]---> BDD-cost: 1 27.64/27.70 c ---[799144]---> BDD-cost: 1 27.64/27.70 c ---[799142]---> BDD-cost: 1 27.64/27.70 c ---[799078]---> BDD-cost: 1 27.64/27.70 c ---[798925]---> BDD-cost: 1 27.64/27.70 c ---[798923]---> BDD-cost: 1 27.64/27.70 c ---[798921]---> BDD-cost: 1 27.64/27.70 c ---[798919]---> BDD-cost: 1 27.64/27.70 c ---[798917]---> BDD-cost: 1 27.64/27.70 c ---[798915]---> BDD-cost: 1 27.64/27.70 c ---[798913]---> BDD-cost: 1 27.64/27.70 c ---[798911]---> BDD-cost: 1 27.64/27.70 c ---[798909]---> BDD-cost: 1 27.64/27.70 c ---[798907]---> BDD-cost: 1 27.64/27.70 c ---[798905]---> BDD-cost: 1 27.64/27.70 c ---[798903]---> BDD-cost: 1 27.64/27.70 c ---[798901]---> BDD-cost: 1 27.64/27.70 c ---[798899]---> BDD-cost: 1 27.64/27.70 c ---[798897]---> BDD-cost: 1 27.64/27.70 c ---[798895]---> BDD-cost: 1 27.64/27.70 c ---[798893]---> BDD-cost: 1 27.64/27.70 c ---[798891]---> BDD-cost: 1 27.64/27.70 c ---[798889]---> BDD-cost: 1 27.64/27.70 c ---[798887]---> BDD-cost: 1 27.64/27.70 c ---[798885]---> BDD-cost: 1 27.64/27.70 c ---[798883]---> BDD-cost: 1 27.64/27.70 c ---[798881]---> BDD-cost: 1 27.64/27.70 c ---[798879]---> BDD-cost: 1 27.64/27.70 c ---[798877]---> BDD-cost: 1 27.64/27.70 c ---[798875]---> BDD-cost: 1 27.64/27.70 c ---[798873]---> BDD-cost: 1 27.64/27.70 c ---[798871]---> BDD-cost: 1 27.64/27.70 c ---[798869]---> BDD-cost: 1 27.64/27.70 c ---[798867]---> BDD-cost: 1 27.64/27.70 c ---[798865]---> BDD-cost: 1 27.64/27.70 c ---[798863]---> BDD-cost: 1 27.64/27.70 c ---[798861]---> BDD-cost: 1 27.64/27.70 c ---[798791]---> BDD-cost: 1 27.64/27.70 c ---[798605]---> BDD-cost: 1 27.64/27.70 c ---[798603]---> BDD-cost: 1 27.64/27.70 c ---[798601]---> BDD-cost: 1 27.64/27.70 c ---[798599]---> BDD-cost: 1 27.64/27.70 c ---[798597]---> BDD-cost: 1 27.64/27.70 c ---[798595]---> BDD-cost: 1 27.64/27.70 c ---[798593]---> BDD-cost: 1 27.64/27.70 c ---[798591]---> BDD-cost: 1 27.64/27.70 c ---[798589]---> BDD-cost: 1 27.64/27.70 c ---[798587]---> BDD-cost: 1 27.64/27.70 c ---[798585]---> BDD-cost: 1 27.64/27.70 c ---[798583]---> BDD-cost: 1 27.64/27.70 c ---[798581]---> BDD-cost: 1 27.64/27.70 c ---[798579]---> BDD-cost: 1 27.64/27.70 c ---[798577]---> BDD-cost: 1 27.64/27.70 c ---[798575]---> BDD-cost: 1 27.64/27.70 c ---[798573]---> BDD-cost: 1 27.64/27.70 c ---[798571]---> BDD-cost: 1 27.64/27.70 c ---[798569]---> BDD-cost: 1 27.64/27.70 c ---[798567]---> BDD-cost: 1 27.64/27.70 c ---[798565]---> BDD-cost: 1 27.64/27.70 c ---[798563]---> BDD-cost: 1 27.64/27.70 c ---[798561]---> BDD-cost: 1 27.64/27.70 c ---[798559]---> BDD-cost: 1 27.64/27.70 c ---[798557]---> BDD-cost: 1 27.64/27.70 c ---[798555]---> BDD-cost: 1 27.64/27.70 c ---[798553]---> BDD-cost: 1 27.64/27.70 c ---[798551]---> BDD-cost: 1 27.64/27.70 c ---[798549]---> BDD-cost: 1 27.64/27.70 c ---[798547]---> BDD-cost: 1 27.64/27.70 c ---[798545]---> BDD-cost: 1 27.64/27.70 c ---[798543]---> BDD-cost: 1 27.64/27.70 c ---[798541]---> BDD-cost: 1 27.64/27.70 c ---[798465]---> BDD-cost: 1 27.64/27.70 c ---[798247]---> BDD-cost: 1 27.64/27.70 c ---[798245]---> BDD-cost: 1 27.64/27.70 c ---[798243]---> BDD-cost: 1 27.64/27.70 c ---[798241]---> BDD-cost: 1 27.64/27.70 c ---[798239]---> BDD-cost: 1 27.64/27.70 c ---[798237]---> BDD-cost: 1 27.64/27.70 c ---[798235]---> BDD-cost: 1 27.64/27.70 c ---[798233]---> BDD-cost: 1 27.64/27.70 c ---[798231]---> BDD-cost: 1 27.64/27.70 c ---[798229]---> BDD-cost: 1 27.64/27.70 c ---[798227]---> BDD-cost: 1 27.64/27.70 c ---[798225]---> BDD-cost: 1 27.64/27.70 c ---[798223]---> BDD-cost: 1 27.64/27.70 c ---[798221]---> BDD-cost: 1 27.64/27.70 c ---[798219]---> BDD-cost: 1 27.64/27.70 c ---[798217]---> BDD-cost: 1 27.64/27.70 c ---[798215]---> BDD-cost: 1 27.64/27.70 c ---[798213]---> BDD-cost: 1 27.64/27.70 c ---[798211]---> BDD-cost: 1 27.64/27.70 c ---[798209]---> BDD-cost: 1 27.64/27.70 c ---[798207]---> BDD-cost: 1 27.64/27.70 c ---[798205]---> BDD-cost: 1 27.64/27.70 c ---[798203]---> BDD-cost: 1 27.64/27.70 c ---[798201]---> BDD-cost: 1 27.64/27.70 c ---[798199]---> BDD-cost: 1 27.64/27.70 c ---[798197]---> BDD-cost: 1 27.64/27.70 c ---[798195]---> BDD-cost: 1 27.64/27.70 c ---[798193]---> BDD-cost: 1 27.64/27.70 c ---[798191]---> BDD-cost: 1 27.64/27.70 c ---[798189]---> BDD-cost: 1 27.64/27.70 c ---[798187]---> BDD-cost: 1 27.64/27.70 c ---[798185]---> BDD-cost: 1 27.64/27.70 c ---[798183]---> BDD-cost: 1 27.64/27.70 c ---[798101]---> BDD-cost: 1 27.64/27.70 c ---[797852]---> BDD-cost: 1 27.64/27.70 c ---[797850]---> BDD-cost: 1 27.64/27.70 c ---[797848]---> BDD-cost: 1 27.64/27.70 c ---[797846]---> BDD-cost: 1 27.64/27.70 c ---[797844]---> BDD-cost: 1 27.64/27.70 c ---[797842]---> BDD-cost: 1 27.64/27.71 c ---[797840]---> BDD-cost: 1 27.64/27.71 c ---[797838]---> BDD-cost: 1 27.64/27.71 c ---[797836]---> BDD-cost: 1 27.64/27.71 c ---[797834]---> BDD-cost: 1 27.64/27.71 c ---[797832]---> BDD-cost: 1 27.64/27.71 c ---[797830]---> BDD-cost: 1 27.64/27.71 c ---[797828]---> BDD-cost: 1 27.64/27.71 c ---[797826]---> BDD-cost: 1 27.64/27.71 c ---[797824]---> BDD-cost: 1 27.64/27.71 c ---[797822]---> BDD-cost: 1 27.64/27.71 c ---[797820]---> BDD-cost: 1 27.64/27.71 c ---[797818]---> BDD-cost: 1 27.64/27.71 c ---[797816]---> BDD-cost: 1 27.64/27.71 c ---[797814]---> BDD-cost: 1 27.64/27.71 c ---[797812]---> BDD-cost: 1 27.64/27.71 c ---[797810]---> BDD-cost: 1 27.64/27.71 c ---[797808]---> BDD-cost: 1 27.64/27.71 c ---[797806]---> BDD-cost: 1 27.64/27.71 c ---[797804]---> BDD-cost: 1 27.64/27.71 c ---[797802]---> BDD-cost: 1 27.64/27.71 c ---[797800]---> BDD-cost: 1 27.64/27.71 c ---[797798]---> BDD-cost: 1 27.64/27.71 c ---[797796]---> BDD-cost: 1 27.64/27.71 c ---[797794]---> BDD-cost: 1 27.64/27.71 c ---[797792]---> BDD-cost: 1 27.64/27.71 c ---[797790]---> BDD-cost: 1 27.64/27.71 c ---[797788]---> BDD-cost: 1 27.64/27.71 c ---[797700]---> BDD-cost: 1 27.64/27.71 c ---[797421]---> BDD-cost: 1 27.64/27.71 c ---[797419]---> BDD-cost: 1 27.64/27.71 c ---[797417]---> BDD-cost: 1 27.64/27.71 c ---[797415]---> BDD-cost: 1 27.64/27.71 c ---[797413]---> BDD-cost: 1 27.64/27.71 c ---[797411]---> BDD-cost: 1 27.64/27.71 c ---[797409]---> BDD-cost: 1 27.64/27.71 c ---[797407]---> BDD-cost: 1 27.64/27.71 c ---[797405]---> BDD-cost: 1 27.64/27.71 c ---[797403]---> BDD-cost: 1 27.64/27.71 c ---[797401]---> BDD-cost: 1 27.64/27.71 c ---[797399]---> BDD-cost: 1 27.64/27.71 c ---[797397]---> BDD-cost: 1 27.64/27.71 c ---[797395]---> BDD-cost: 1 27.64/27.71 c ---[797393]---> BDD-cost: 1 27.64/27.71 c ---[797391]---> BDD-cost: 1 27.64/27.71 c ---[797389]---> BDD-cost: 1 27.64/27.71 c ---[797387]---> BDD-cost: 1 27.64/27.71 c ---[797385]---> BDD-cost: 1 27.64/27.71 c ---[797383]---> BDD-cost: 1 27.64/27.71 c ---[797381]---> BDD-cost: 1 27.64/27.71 c ---[797379]---> BDD-cost: 1 27.64/27.71 c ---[797377]---> BDD-cost: 1 27.64/27.71 c ---[797375]---> BDD-cost: 1 27.64/27.71 c ---[797373]---> BDD-cost: 1 27.64/27.71 c ---[797371]---> BDD-cost: 1 27.64/27.71 c ---[797369]---> BDD-cost: 1 27.64/27.71 c ---[797367]---> BDD-cost: 1 27.64/27.71 c ---[797365]---> BDD-cost: 1 27.64/27.71 c ---[797363]---> BDD-cost: 1 27.64/27.71 c ---[797361]---> BDD-cost: 1 27.64/27.71 c ---[797359]---> BDD-cost: 1 27.64/27.71 c ---[797357]---> BDD-cost: 1 27.64/27.71 c ---[797239]---> BDD-cost: 1 27.64/27.71 c ---[796957]---> BDD-cost: 1 27.64/27.71 c ---[796955]---> BDD-cost: 1 27.64/27.71 c ---[796953]---> BDD-cost: 1 27.64/27.71 c ---[796951]---> BDD-cost: 1 27.64/27.71 c ---[796949]---> BDD-cost: 1 27.64/27.71 c ---[796947]---> BDD-cost: 1 27.64/27.71 c ---[796945]---> BDD-cost: 1 27.64/27.71 c ---[796943]---> BDD-cost: 1 27.64/27.71 c ---[796941]---> BDD-cost: 1 27.64/27.71 c ---[796939]---> BDD-cost: 1 27.64/27.71 c ---[796937]---> BDD-cost: 1 27.64/27.71 c ---[796935]---> BDD-cost: 1 27.64/27.71 c ---[796933]---> BDD-cost: 1 27.64/27.71 c ---[796931]---> BDD-cost: 1 27.64/27.71 c ---[796929]---> BDD-cost: 1 27.64/27.71 c ---[796927]---> BDD-cost: 1 27.64/27.71 c ---[796925]---> BDD-cost: 1 27.64/27.71 c ---[796923]---> BDD-cost: 1 27.64/27.71 c ---[796921]---> BDD-cost: 1 27.64/27.71 c ---[796919]---> BDD-cost: 1 27.64/27.71 c ---[796917]---> BDD-cost: 1 27.64/27.71 c ---[796915]---> BDD-cost: 1 27.64/27.71 c ---[796913]---> BDD-cost: 1 27.64/27.71 c ---[796911]---> BDD-cost: 1 27.64/27.71 c ---[796909]---> BDD-cost: 1 27.64/27.71 c ---[796907]---> BDD-cost: 1 27.64/27.71 c ---[796905]---> BDD-cost: 1 27.64/27.71 c ---[796903]---> BDD-cost: 1 27.64/27.71 c ---[796901]---> BDD-cost: 1 27.64/27.71 c ---[796899]---> BDD-cost: 1 27.64/27.71 c ---[796897]---> BDD-cost: 1 27.64/27.71 c ---[796895]---> BDD-cost: 1 27.64/27.71 c ---[796893]---> BDD-cost: 1 27.64/27.71 c ---[796746]---> BDD-cost: 1 27.64/27.71 c ---[796458]---> BDD-cost: 1 27.64/27.71 c ---[796456]---> BDD-cost: 1 27.64/27.71 c ---[796454]---> BDD-cost: 1 27.64/27.71 c ---[796452]---> BDD-cost: 1 27.64/27.71 c ---[796450]---> BDD-cost: 1 27.64/27.71 c ---[796448]---> BDD-cost: 1 27.64/27.71 c ---[796446]---> BDD-cost: 1 27.64/27.71 c ---[796444]---> BDD-cost: 1 27.64/27.71 c ---[796442]---> BDD-cost: 1 27.64/27.71 c ---[796440]---> BDD-cost: 1 27.64/27.71 c ---[796438]---> BDD-cost: 1 27.64/27.71 c ---[796436]---> BDD-cost: 1 27.64/27.71 c ---[796434]---> BDD-cost: 1 27.64/27.71 c ---[796432]---> BDD-cost: 1 27.64/27.71 c ---[796430]---> BDD-cost: 1 27.64/27.71 c ---[796428]---> BDD-cost: 1 27.64/27.71 c ---[796426]---> BDD-cost: 1 27.64/27.71 c ---[796424]---> BDD-cost: 1 27.64/27.71 c ---[796422]---> BDD-cost: 1 27.64/27.71 c ---[796420]---> BDD-cost: 1 27.64/27.71 c ---[796418]---> BDD-cost: 1 27.64/27.71 c ---[796416]---> BDD-cost: 1 27.64/27.71 c ---[796414]---> BDD-cost: 1 27.64/27.71 c ---[796412]---> BDD-cost: 1 27.64/27.71 c ---[796410]---> BDD-cost: 1 27.64/27.71 c ---[796408]---> BDD-cost: 1 27.64/27.71 c ---[796406]---> BDD-cost: 1 27.64/27.71 c ---[796404]---> BDD-cost: 1 27.64/27.71 c ---[796402]---> BDD-cost: 1 27.64/27.71 c ---[796400]---> BDD-cost: 1 27.64/27.71 c ---[796398]---> BDD-cost: 1 27.64/27.71 c ---[796396]---> BDD-cost: 1 27.64/27.71 c ---[796394]---> BDD-cost: 1 27.64/27.71 c ---[796241]---> BDD-cost: 1 27.64/27.71 c ---[795915]---> BDD-cost: 1 27.64/27.71 c ---[795913]---> BDD-cost: 1 27.64/27.71 c ---[795911]---> BDD-cost: 1 27.64/27.71 c ---[795909]---> BDD-cost: 1 27.64/27.71 c ---[795907]---> BDD-cost: 1 27.64/27.71 c ---[795905]---> BDD-cost: 1 27.64/27.71 c ---[795903]---> BDD-cost: 1 27.64/27.71 c ---[795901]---> BDD-cost: 1 27.64/27.71 c ---[795899]---> BDD-cost: 1 27.64/27.71 c ---[795897]---> BDD-cost: 1 27.64/27.71 c ---[795895]---> BDD-cost: 1 27.64/27.71 c ---[795893]---> BDD-cost: 1 27.64/27.71 c ---[795891]---> BDD-cost: 1 27.64/27.71 c ---[795889]---> BDD-cost: 1 27.64/27.71 c ---[795887]---> BDD-cost: 1 27.64/27.71 c ---[795885]---> BDD-cost: 1 27.64/27.71 c ---[795883]---> BDD-cost: 1 27.64/27.71 c ---[795881]---> BDD-cost: 1 27.64/27.71 c ---[795879]---> BDD-cost: 1 27.64/27.71 c ---[795877]---> BDD-cost: 1 27.64/27.71 c ---[795875]---> BDD-cost: 1 27.64/27.71 c ---[795873]---> BDD-cost: 1 27.64/27.71 c ---[795871]---> BDD-cost: 1 27.64/27.71 c ---[795869]---> BDD-cost: 1 27.64/27.71 c ---[795867]---> BDD-cost: 1 27.64/27.71 c ---[795865]---> BDD-cost: 1 27.64/27.71 c ---[795863]---> BDD-cost: 1 27.64/27.71 c ---[795861]---> BDD-cost: 1 27.64/27.71 c ---[795859]---> BDD-cost: 1 27.64/27.71 c ---[795857]---> BDD-cost: 1 27.64/27.71 c ---[795855]---> BDD-cost: 1 27.64/27.71 c ---[795853]---> BDD-cost: 1 27.64/27.71 c ---[795851]---> BDD-cost: 1 27.64/27.71 c ---[795692]---> BDD-cost: 1 27.64/27.71 c ---[795329]---> BDD-cost: 1 27.64/27.71 c ---[795327]---> BDD-cost: 1 27.64/27.71 c ---[795325]---> BDD-cost: 1 27.64/27.71 c ---[795323]---> BDD-cost: 1 27.64/27.71 c ---[795321]---> BDD-cost: 1 27.64/27.71 c ---[795319]---> BDD-cost: 1 27.64/27.71 c ---[795317]---> BDD-cost: 1 27.64/27.71 c ---[795315]---> BDD-cost: 1 27.64/27.71 c ---[795313]---> BDD-cost: 1 27.64/27.71 c ---[795311]---> BDD-cost: 1 27.64/27.71 c ---[795309]---> BDD-cost: 1 27.64/27.71 c ---[795307]---> BDD-cost: 1 27.64/27.71 c ---[795305]---> BDD-cost: 1 27.64/27.71 c ---[795303]---> BDD-cost: 1 27.64/27.71 c ---[795301]---> BDD-cost: 1 27.64/27.71 c ---[795299]---> BDD-cost: 1 27.64/27.71 c ---[795297]---> BDD-cost: 1 27.64/27.71 c ---[795295]---> BDD-cost: 1 27.64/27.71 c ---[795293]---> BDD-cost: 1 27.64/27.71 c ---[795291]---> BDD-cost: 1 27.64/27.71 c ---[795289]---> BDD-cost: 1 27.64/27.71 c ---[795287]---> BDD-cost: 1 27.64/27.71 c ---[795285]---> BDD-cost: 1 27.64/27.71 c ---[795283]---> BDD-cost: 1 27.64/27.71 c ---[795281]---> BDD-cost: 1 27.64/27.71 c ---[795279]---> BDD-cost: 1 27.64/27.71 c ---[795277]---> BDD-cost: 1 27.64/27.71 c ---[795275]---> BDD-cost: 1 27.64/27.71 c ---[795273]---> BDD-cost: 1 27.64/27.71 c ---[795271]---> BDD-cost: 1 27.64/27.71 c ---[795269]---> BDD-cost: 1 27.64/27.71 c ---[795267]---> BDD-cost: 1 27.64/27.71 c ---[795265]---> BDD-cost: 1 27.64/27.71 c ---[795100]---> BDD-cost: 1 27.64/27.71 c ---[794701]---> BDD-cost: 1 27.64/27.71 c ---[794699]---> BDD-cost: 1 27.64/27.71 c ---[794697]---> BDD-cost: 1 27.64/27.71 c ---[794695]---> BDD-cost: 1 27.64/27.71 c ---[794693]---> BDD-cost: 1 27.64/27.71 c ---[794691]---> BDD-cost: 1 27.64/27.71 c ---[794689]---> BDD-cost: 1 27.64/27.71 c ---[794687]---> BDD-cost: 1 27.64/27.71 c ---[794685]---> BDD-cost: 1 27.64/27.71 c ---[794683]---> BDD-cost: 1 27.64/27.71 c ---[794681]---> BDD-cost: 1 27.64/27.71 c ---[794679]---> BDD-cost: 1 27.64/27.71 c ---[794677]---> BDD-cost: 1 27.64/27.71 c ---[794675]---> BDD-cost: 1 27.64/27.71 c ---[794673]---> BDD-cost: 1 27.64/27.71 c ---[794671]---> BDD-cost: 1 27.64/27.71 c ---[794669]---> BDD-cost: 1 27.64/27.71 c ---[794667]---> BDD-cost: 1 27.64/27.71 c ---[794665]---> BDD-cost: 1 27.64/27.71 c ---[794663]---> BDD-cost: 1 27.64/27.71 c ---[794661]---> BDD-cost: 1 27.64/27.71 c ---[794659]---> BDD-cost: 1 27.64/27.71 c ---[794657]---> BDD-cost: 1 27.64/27.71 c ---[794655]---> BDD-cost: 1 27.64/27.71 c ---[794653]---> BDD-cost: 1 27.64/27.71 c ---[794651]---> BDD-cost: 1 27.64/27.71 c ---[794649]---> BDD-cost: 1 27.64/27.71 c ---[794647]---> BDD-cost: 1 27.64/27.71 c ---[794645]---> BDD-cost: 1 27.64/27.71 c ---[794643]---> BDD-cost: 1 27.64/27.71 c ---[794641]---> BDD-cost: 1 27.64/27.71 c ---[794639]---> BDD-cost: 1 27.64/27.71 c ---[794637]---> BDD-cost: 1 27.64/27.71 c ---[794466]---> BDD-cost: 1 27.64/27.71 c ---[794032]---> BDD-cost: 1 27.64/27.71 c ---[794030]---> BDD-cost: 1 27.64/27.71 c ---[794028]---> BDD-cost: 1 27.64/27.71 c ---[794026]---> BDD-cost: 1 27.64/27.71 c ---[794024]---> BDD-cost: 1 27.64/27.71 c ---[794022]---> BDD-cost: 1 27.64/27.71 c ---[794020]---> BDD-cost: 1 27.64/27.71 c ---[794018]---> BDD-cost: 1 27.64/27.71 c ---[794016]---> BDD-cost: 1 27.64/27.71 c ---[794014]---> BDD-cost: 1 27.64/27.71 c ---[794012]---> BDD-cost: 1 27.64/27.71 c ---[794010]---> BDD-cost: 1 27.64/27.71 c ---[794008]---> BDD-cost: 1 27.64/27.71 c ---[794006]---> BDD-cost: 1 27.64/27.71 c ---[794004]---> BDD-cost: 1 27.64/27.71 c ---[794002]---> BDD-cost: 1 27.64/27.71 c ---[794000]---> BDD-cost: 1 27.64/27.71 c ---[793998]---> BDD-cost: 1 27.64/27.71 c ---[793996]---> BDD-cost: 1 27.64/27.71 c ---[793994]---> BDD-cost: 1 27.64/27.71 c ---[793992]---> BDD-cost: 1 27.64/27.71 c ---[793990]---> BDD-cost: 1 27.64/27.71 c ---[793988]---> BDD-cost: 1 27.64/27.71 c ---[793986]---> BDD-cost: 1 27.64/27.71 c ---[793984]---> BDD-cost: 1 27.64/27.71 c ---[793982]---> BDD-cost: 1 27.64/27.71 c ---[793980]---> BDD-cost: 1 27.64/27.71 c ---[793978]---> BDD-cost: 1 27.64/27.71 c ---[793976]---> BDD-cost: 1 27.64/27.71 c ---[793974]---> BDD-cost: 1 27.64/27.71 c ---[793972]---> BDD-cost: 1 27.64/27.71 c ---[793970]---> BDD-cost: 1 27.64/27.71 c ---[793968]---> BDD-cost: 1 27.64/27.71 c ---[793791]---> BDD-cost: 1 27.64/27.71 c ---[792836]---> BDD-cost: 1 27.64/27.71 c ---[792834]---> BDD-cost: 1 27.64/27.71 c ---[792832]---> BDD-cost: 1 27.64/27.71 c ---[792830]---> BDD-cost: 1 27.64/27.71 c ---[792828]---> BDD-cost: 1 27.64/27.71 c ---[792826]---> BDD-cost: 1 27.64/27.71 c ---[792824]---> BDD-cost: 1 27.64/27.71 c ---[792822]---> BDD-cost: 1 27.64/27.71 c ---[792820]---> BDD-cost: 1 27.64/27.71 c ---[792818]---> BDD-cost: 1 27.64/27.71 c ---[792816]---> BDD-cost: 1 27.64/27.71 c ---[792814]---> BDD-cost: 1 27.64/27.71 c ---[792812]---> BDD-cost: 1 27.64/27.71 c ---[792810]---> BDD-cost: 1 27.64/27.71 c ---[792808]---> BDD-cost: 1 27.64/27.71 c ---[792806]---> BDD-cost: 1 27.64/27.71 c ---[792804]---> BDD-cost: 1 27.64/27.71 c ---[792802]---> BDD-cost: 1 27.64/27.71 c ---[792800]---> BDD-cost: 1 27.64/27.71 c ---[792798]---> BDD-cost: 1 27.64/27.71 c ---[792796]---> BDD-cost: 1 27.64/27.71 c ---[792794]---> BDD-cost: 1 27.64/27.71 c ---[792792]---> BDD-cost: 1 27.64/27.71 c ---[792790]---> BDD-cost: 1 27.64/27.71 c ---[792788]---> BDD-cost: 1 27.64/27.71 c ---[792786]---> BDD-cost: 1 27.64/27.71 c ---[792784]---> BDD-cost: 1 27.64/27.71 c ---[792782]---> BDD-cost: 1 27.64/27.71 c ---[792780]---> BDD-cost: 1 27.64/27.71 c ---[792778]---> BDD-cost: 1 27.64/27.71 c ---[792776]---> BDD-cost: 1 27.64/27.71 c ---[792774]---> BDD-cost: 1 27.64/27.71 c ---[792772]---> BDD-cost: 1 27.64/27.71 c ---[792627]---> BDD-cost: 1 27.64/27.72 c ---[792625]---> BDD-cost: 1 27.64/27.72 c ---[792623]---> BDD-cost: 1 27.64/27.72 c ---[792621]---> BDD-cost: 1 27.64/27.72 c ---[792619]---> BDD-cost: 1 27.64/27.72 c ---[792617]---> BDD-cost: 1 27.64/27.72 c ---[792615]---> BDD-cost: 1 27.64/27.72 c ---[792613]---> BDD-cost: 1 27.64/27.72 c ---[792611]---> BDD-cost: 1 27.64/27.72 c ---[792609]---> BDD-cost: 1 27.64/27.72 c ---[792607]---> BDD-cost: 1 27.64/27.72 c ---[792605]---> BDD-cost: 1 27.64/27.72 c ---[792603]---> BDD-cost: 1 27.64/27.72 c ---[792601]---> BDD-cost: 1 27.64/27.72 c ---[792599]---> BDD-cost: 1 27.64/27.72 c ---[792597]---> BDD-cost: 1 27.64/27.72 c ---[792595]---> BDD-cost: 1 27.64/27.72 c ---[792593]---> BDD-cost: 1 27.64/27.72 c ---[792591]---> BDD-cost: 1 27.64/27.72 c ---[792589]---> BDD-cost: 1 27.64/27.72 c ---[792587]---> BDD-cost: 1 27.64/27.72 c ---[792585]---> BDD-cost: 1 27.64/27.72 c ---[792583]---> BDD-cost: 1 27.64/27.72 c ---[792581]---> BDD-cost: 1 27.64/27.72 c ---[792579]---> BDD-cost: 1 27.64/27.72 c ---[792577]---> BDD-cost: 1 27.64/27.72 c ---[792575]---> BDD-cost: 1 27.64/27.72 c ---[792573]---> BDD-cost: 1 27.64/27.72 c ---[792571]---> BDD-cost: 1 27.64/27.72 c ---[792569]---> BDD-cost: 1 27.64/27.72 c ---[792567]---> BDD-cost: 1 27.64/27.72 c ---[792565]---> BDD-cost: 1 27.64/27.72 c ---[792563]---> BDD-cost: 1 27.64/27.72 c ---[792561]---> BDD-cost: 1 27.64/27.72 c ---[792559]---> BDD-cost: 1 27.64/27.72 c ---[792557]---> BDD-cost: 1 27.64/27.72 c ---[792555]---> BDD-cost: 1 27.64/27.72 c ---[792553]---> BDD-cost: 1 27.64/27.72 c ---[792551]---> BDD-cost: 1 27.64/27.72 c ---[792549]---> BDD-cost: 1 27.64/27.72 c ---[792547]---> BDD-cost: 1 27.64/27.72 c ---[792545]---> BDD-cost: 1 27.64/27.72 c ---[792543]---> BDD-cost: 1 27.64/27.72 c ---[792541]---> BDD-cost: 1 27.64/27.72 c ---[792539]---> BDD-cost: 1 27.64/27.72 c ---[792537]---> BDD-cost: 1 27.64/27.72 c ---[792535]---> BDD-cost: 1 27.64/27.72 c ---[792533]---> BDD-cost: 1 27.64/27.72 c ---[792531]---> BDD-cost: 1 27.64/27.72 c ---[792529]---> BDD-cost: 1 27.64/27.72 c ---[792527]---> BDD-cost: 1 27.64/27.72 c ---[792525]---> BDD-cost: 1 27.64/27.72 c ---[792523]---> BDD-cost: 1 27.64/27.72 c ---[792521]---> BDD-cost: 1 27.64/27.72 c ---[792519]---> BDD-cost: 1 27.64/27.72 c ---[792517]---> BDD-cost: 1 27.64/27.72 c ---[792515]---> BDD-cost: 1 27.64/27.72 c ---[792513]---> BDD-cost: 1 27.64/27.72 c ---[792511]---> BDD-cost: 1 27.64/27.72 c ---[792509]---> BDD-cost: 1 27.64/27.72 c ---[792507]---> BDD-cost: 1 27.64/27.72 c ---[792505]---> BDD-cost: 1 27.64/27.72 c ---[792503]---> BDD-cost: 1 27.64/27.72 c ---[792501]---> BDD-cost: 1 27.64/27.72 c ---[792499]---> BDD-cost: 1 27.64/27.72 c ---[792497]---> BDD-cost: 1 27.64/27.72 c ---[792495]---> BDD-cost: 1 27.64/27.72 c ---[792493]---> BDD-cost: 1 27.64/27.72 c ---[792491]---> BDD-cost: 1 27.64/27.72 c ---[792489]---> BDD-cost: 1 27.64/27.72 c ---[792487]---> BDD-cost: 1 27.64/27.72 c ---[792485]---> BDD-cost: 1 27.64/27.72 c ---[792483]---> BDD-cost: 1 27.64/27.72 c ---[792481]---> BDD-cost: 1 27.64/27.72 c ---[792479]---> BDD-cost: 1 27.64/27.72 c ---[792477]---> BDD-cost: 1 27.64/27.72 c ---[792475]---> BDD-cost: 1 27.64/27.72 c ---[792473]---> BDD-cost: 1 27.64/27.72 c ---[792471]---> BDD-cost: 1 27.64/27.72 c ---[792469]---> BDD-cost: 1 27.64/27.72 c ---[792467]---> BDD-cost: 1 27.64/27.72 c ---[792465]---> BDD-cost: 1 27.64/27.72 c ---[792463]---> BDD-cost: 1 27.64/27.72 c ---[792461]---> BDD-cost: 1 27.64/27.72 c ---[792459]---> BDD-cost: 1 27.64/27.72 c ---[792457]---> BDD-cost: 1 27.64/27.72 c ---[792455]---> BDD-cost: 1 27.64/27.72 c ---[792453]---> BDD-cost: 1 27.64/27.72 c ---[792451]---> BDD-cost: 1 27.64/27.72 c ---[792449]---> BDD-cost: 1 27.64/27.72 c ---[792447]---> BDD-cost: 1 27.64/27.72 c ---[792445]---> BDD-cost: 1 27.64/27.72 c ---[792443]---> BDD-cost: 1 27.64/27.72 c ---[792441]---> BDD-cost: 1 27.64/27.72 c ---[792439]---> BDD-cost: 1 27.64/27.72 c ---[792437]---> BDD-cost: 1 27.64/27.72 c ---[792435]---> BDD-cost: 1 27.64/27.72 c ---[792433]---> BDD-cost: 1 27.64/27.72 c ---[792431]---> BDD-cost: 1 27.64/27.72 c ---[792429]---> BDD-cost: 1 27.64/27.72 c ---[792427]---> BDD-cost: 1 27.64/27.72 c ---[792425]---> BDD-cost: 1 27.64/27.72 c ---[792423]---> BDD-cost: 1 27.64/27.72 c ---[792421]---> BDD-cost: 1 27.64/27.72 c ---[792419]---> BDD-cost: 1 27.64/27.72 c ---[792417]---> BDD-cost: 1 27.64/27.72 c ---[792415]---> BDD-cost: 1 27.64/27.72 c ---[792413]---> BDD-cost: 1 27.64/27.72 c ---[792411]---> BDD-cost: 1 27.64/27.72 c ---[792409]---> BDD-cost: 1 27.64/27.72 c ---[792407]---> BDD-cost: 1 27.64/27.72 c ---[792405]---> BDD-cost: 1 27.64/27.72 c ---[792403]---> BDD-cost: 1 27.64/27.72 c ---[792401]---> BDD-cost: 1 27.64/27.72 c ---[792399]---> BDD-cost: 1 27.64/27.72 c ---[792397]---> BDD-cost: 1 27.64/27.72 c ---[792395]---> BDD-cost: 1 27.64/27.72 c ---[792393]---> BDD-cost: 1 27.64/27.72 c ---[792391]---> BDD-cost: 1 27.64/27.72 c ---[792389]---> BDD-cost: 1 27.64/27.72 c ---[792387]---> BDD-cost: 1 27.64/27.72 c ---[792385]---> BDD-cost: 1 27.64/27.72 c ---[792383]---> BDD-cost: 1 27.64/27.72 c ---[792381]---> BDD-cost: 1 27.64/27.72 c ---[792379]---> BDD-cost: 1 27.64/27.72 c ---[792377]---> BDD-cost: 1 27.64/27.72 c ---[792375]---> BDD-cost: 1 27.64/27.72 c ---[792373]---> BDD-cost: 1 27.64/27.72 c ---[792371]---> BDD-cost: 1 27.64/27.72 c ---[792369]---> BDD-cost: 1 27.64/27.72 c ---[792367]---> BDD-cost: 1 27.64/27.72 c ---[792365]---> BDD-cost: 1 27.64/27.72 c ---[792363]---> BDD-cost: 1 27.64/27.72 c ---[792361]---> BDD-cost: 1 27.64/27.72 c ---[792359]---> BDD-cost: 1 27.64/27.72 c ---[792357]---> BDD-cost: 1 27.64/27.72 c ---[792355]---> BDD-cost: 1 27.64/27.72 c ---[792353]---> BDD-cost: 1 27.64/27.72 c ---[792351]---> BDD-cost: 1 27.64/27.72 c ---[792349]---> BDD-cost: 1 27.64/27.72 c ---[792347]---> BDD-cost: 1 27.64/27.72 c ---[792345]---> BDD-cost: 1 27.64/27.72 c ---[792343]---> BDD-cost: 1 27.64/27.72 c ---[792341]---> BDD-cost: 1 27.64/27.72 c ---[792339]---> BDD-cost: 1 27.64/27.72 c ---[792337]---> BDD-cost: 1 27.64/27.72 c ---[792335]---> BDD-cost: 1 27.64/27.72 c ---[792333]---> BDD-cost: 1 27.64/27.72 c ---[792331]---> BDD-cost: 1 27.64/27.72 c ---[792329]---> BDD-cost: 1 27.64/27.72 c ---[792327]---> BDD-cost: 1 27.64/27.72 c ---[792325]---> BDD-cost: 1 27.64/27.72 c ---[792323]---> BDD-cost: 1 27.64/27.72 c ---[792321]---> BDD-cost: 1 27.64/27.72 c ---[792319]---> BDD-cost: 1 27.64/27.72 c ---[792317]---> BDD-cost: 1 27.64/27.72 c ---[792315]---> BDD-cost: 1 27.64/27.72 c ---[792313]---> BDD-cost: 1 27.64/27.72 c ---[792311]---> BDD-cost: 1 27.64/27.72 c ---[792309]---> BDD-cost: 1 27.64/27.72 c ---[792307]---> BDD-cost: 1 27.64/27.72 c ---[792305]---> BDD-cost: 1 27.64/27.72 c ---[792303]---> BDD-cost: 1 27.64/27.72 c ---[792301]---> BDD-cost: 1 27.64/27.72 c ---[792299]---> BDD-cost: 1 27.64/27.72 c ---[792297]---> BDD-cost: 1 27.64/27.72 c ---[792295]---> BDD-cost: 1 27.64/27.72 c ---[792293]---> BDD-cost: 1 27.64/27.72 c ---[792291]---> BDD-cost: 1 27.64/27.72 c ---[792289]---> BDD-cost: 1 27.64/27.72 c ---[792287]---> BDD-cost: 1 27.64/27.72 c ---[792285]---> BDD-cost: 1 27.64/27.72 c ---[792283]---> BDD-cost: 1 27.64/27.72 c ---[792281]---> BDD-cost: 1 27.64/27.72 c ---[792279]---> BDD-cost: 1 27.64/27.72 c ---[792277]---> BDD-cost: 1 27.64/27.72 c ---[792275]---> BDD-cost: 1 27.64/27.72 c ---[792273]---> BDD-cost: 1 27.64/27.72 c ---[792271]---> BDD-cost: 1 27.64/27.72 c ---[792269]---> BDD-cost: 1 27.64/27.72 c ---[792267]---> BDD-cost: 1 27.64/27.72 c ---[792265]---> BDD-cost: 1 27.64/27.72 c ---[792263]---> BDD-cost: 1 27.64/27.72 c ---[792261]---> BDD-cost: 1 27.64/27.72 c ---[792259]---> BDD-cost: 1 27.64/27.72 c ---[792257]---> BDD-cost: 1 27.64/27.72 c ---[792255]---> BDD-cost: 1 27.64/27.72 c ---[792253]---> BDD-cost: 1 27.64/27.72 c ---[792251]---> BDD-cost: 1 27.64/27.72 c ---[792249]---> BDD-cost: 1 27.64/27.72 c ---[792247]---> BDD-cost: 1 27.64/27.72 c ---[792245]---> BDD-cost: 1 27.64/27.72 c ---[792243]---> BDD-cost: 1 27.64/27.72 c ---[792241]---> BDD-cost: 1 27.64/27.72 c ---[792239]---> BDD-cost: 1 27.64/27.72 c ---[792237]---> BDD-cost: 1 27.64/27.72 c ---[792235]---> BDD-cost: 1 27.64/27.72 c ---[792233]---> BDD-cost: 1 27.64/27.72 c ---[792231]---> BDD-cost: 1 27.64/27.72 c ---[792229]---> BDD-cost: 1 27.64/27.72 c ---[792227]---> BDD-cost: 1 27.64/27.72 c ---[792225]---> BDD-cost: 1 27.64/27.72 c ---[792223]---> BDD-cost: 1 27.64/27.72 c ---[792221]---> BDD-cost: 1 27.64/27.72 c ---[792219]---> BDD-cost: 1 27.64/27.72 c ---[792217]---> BDD-cost: 1 27.64/27.72 c ---[792215]---> BDD-cost: 1 27.64/27.72 c ---[792213]---> BDD-cost: 1 27.64/27.72 c ---[792211]---> BDD-cost: 1 27.64/27.72 c ---[792209]---> BDD-cost: 1 27.64/27.72 c ---[792207]---> BDD-cost: 1 27.64/27.72 c ---[792205]---> BDD-cost: 1 27.64/27.72 c ---[792203]---> BDD-cost: 1 27.64/27.72 c ---[792201]---> BDD-cost: 1 27.64/27.72 c ---[792199]---> BDD-cost: 1 27.64/27.72 c ---[792197]---> BDD-cost: 1 27.64/27.72 c ---[792195]---> BDD-cost: 1 27.64/27.72 c ---[792193]---> BDD-cost: 1 27.64/27.72 c ---[792191]---> BDD-cost: 1 27.64/27.72 c ---[792189]---> BDD-cost: 1 27.64/27.72 c ---[792187]---> BDD-cost: 1 27.64/27.72 c ---[792185]---> BDD-cost: 1 27.64/27.72 c ---[792183]---> BDD-cost: 1 27.64/27.72 c ---[792181]---> BDD-cost: 1 27.64/27.72 c ---[792179]---> BDD-cost: 1 27.64/27.72 c ---[792177]---> BDD-cost: 1 27.64/27.72 c ---[792175]---> BDD-cost: 1 27.64/27.72 c ---[792173]---> BDD-cost: 1 27.64/27.72 c ---[792171]---> BDD-cost: 1 27.64/27.72 c ---[792169]---> BDD-cost: 1 27.64/27.72 c ---[792167]---> BDD-cost: 1 27.64/27.72 c ---[792165]---> BDD-cost: 1 27.64/27.72 c ---[792163]---> BDD-cost: 1 27.64/27.72 c ---[792161]---> BDD-cost: 1 27.64/27.72 c ---[792159]---> BDD-cost: 1 27.64/27.72 c ---[792157]---> BDD-cost: 1 27.64/27.72 c ---[792155]---> BDD-cost: 1 27.64/27.72 c ---[792153]---> BDD-cost: 1 27.64/27.72 c ---[792151]---> BDD-cost: 1 27.64/27.72 c ---[792149]---> BDD-cost: 1 27.64/27.72 c ---[792147]---> BDD-cost: 1 27.64/27.72 c ---[792145]---> BDD-cost: 1 27.64/27.72 c ---[792143]---> BDD-cost: 1 27.64/27.72 c ---[792141]---> BDD-cost: 1 27.64/27.72 c ---[792139]---> BDD-cost: 1 27.64/27.72 c ---[792137]---> BDD-cost: 1 27.64/27.72 c ---[792135]---> BDD-cost: 1 27.64/27.72 c ---[792133]---> BDD-cost: 1 27.64/27.72 c ---[792131]---> BDD-cost: 1 27.64/27.72 c ---[792129]---> BDD-cost: 1 27.64/27.72 c ---[792127]---> BDD-cost: 1 27.64/27.72 c ---[792125]---> BDD-cost: 1 27.64/27.72 c ---[792123]---> BDD-cost: 1 27.64/27.72 c ---[792121]---> BDD-cost: 1 27.64/27.72 c ---[792119]---> BDD-cost: 1 27.64/27.72 c ---[792117]---> BDD-cost: 1 27.64/27.72 c ---[792115]---> BDD-cost: 1 27.64/27.72 c ---[792113]---> BDD-cost: 1 27.64/27.72 c ---[792111]---> BDD-cost: 1 27.64/27.72 c ---[792109]---> BDD-cost: 1 27.64/27.72 c ---[792107]---> BDD-cost: 1 27.64/27.72 c ---[792105]---> BDD-cost: 1 27.64/27.72 c ---[792103]---> BDD-cost: 1 27.64/27.72 c ---[792101]---> BDD-cost: 1 27.64/27.72 c ---[792099]---> BDD-cost: 1 27.64/27.72 c ---[792097]---> BDD-cost: 1 27.64/27.72 c ---[792095]---> BDD-cost: 1 27.64/27.72 c ---[792093]---> BDD-cost: 1 27.64/27.72 c ---[792091]---> BDD-cost: 1 27.64/27.72 c ---[792089]---> BDD-cost: 1 27.64/27.72 c ---[792087]---> BDD-cost: 1 27.64/27.72 c ---[792085]---> BDD-cost: 1 27.64/27.72 c ---[792083]---> BDD-cost: 1 27.64/27.72 c ---[792081]---> BDD-cost: 1 27.64/27.72 c ---[792079]---> BDD-cost: 1 27.64/27.72 c ---[792077]---> BDD-cost: 1 27.64/27.72 c ---[792075]---> BDD-cost: 1 27.64/27.72 c ---[792073]---> BDD-cost: 1 27.64/27.72 c ---[792071]---> BDD-cost: 1 27.64/27.72 c ---[792069]---> BDD-cost: 1 27.64/27.72 c ---[792067]---> BDD-cost: 1 27.64/27.72 c ---[792065]---> BDD-cost: 1 27.64/27.72 c ---[792063]---> BDD-cost: 1 27.64/27.72 c ---[792061]---> BDD-cost: 1 27.64/27.72 c ---[792059]---> BDD-cost: 1 27.64/27.72 c ---[792057]---> BDD-cost: 1 27.64/27.72 c ---[792055]---> BDD-cost: 1 27.64/27.72 c ---[792053]---> BDD-cost: 1 27.64/27.72 c ---[792051]---> BDD-cost: 1 27.64/27.72 c ---[792049]---> BDD-cost: 1 27.64/27.73 c ---[792047]---> BDD-cost: 1 27.64/27.73 c ---[792045]---> BDD-cost: 1 27.64/27.73 c ---[792043]---> BDD-cost: 1 27.64/27.73 c ---[792041]---> BDD-cost: 1 27.64/27.73 c ---[792039]---> BDD-cost: 1 27.64/27.73 c ---[792037]---> BDD-cost: 1 27.64/27.73 c ---[792035]---> BDD-cost: 1 27.64/27.73 c ---[792033]---> BDD-cost: 1 27.64/27.73 c ---[792031]---> BDD-cost: 1 27.64/27.73 c ---[792029]---> BDD-cost: 1 27.64/27.73 c ---[792027]---> BDD-cost: 1 27.64/27.73 c ---[792025]---> BDD-cost: 1 27.64/27.73 c ---[792023]---> BDD-cost: 1 27.64/27.73 c ---[792021]---> BDD-cost: 1 27.64/27.73 c ---[792019]---> BDD-cost: 1 27.64/27.73 c ---[792017]---> BDD-cost: 1 27.64/27.73 c ---[792015]---> BDD-cost: 1 27.64/27.73 c ---[792013]---> BDD-cost: 1 27.64/27.73 c ---[792011]---> BDD-cost: 1 27.64/27.73 c ---[792009]---> BDD-cost: 1 27.64/27.73 c ---[792007]---> BDD-cost: 1 27.64/27.73 c ---[792005]---> BDD-cost: 1 27.64/27.73 c ---[792003]---> BDD-cost: 1 27.64/27.73 c ---[792001]---> BDD-cost: 1 27.64/27.73 c ---[791999]---> BDD-cost: 1 27.64/27.73 c ---[791997]---> BDD-cost: 1 27.64/27.73 c ---[791995]---> BDD-cost: 1 27.64/27.73 c ---[791993]---> BDD-cost: 1 27.64/27.73 c ---[791991]---> BDD-cost: 1 27.64/27.73 c ---[791989]---> BDD-cost: 1 27.64/27.73 c ---[791987]---> BDD-cost: 1 27.64/27.73 c ---[791985]---> BDD-cost: 1 27.64/27.73 c ---[791983]---> BDD-cost: 1 27.64/27.73 c ---[791981]---> BDD-cost: 1 27.64/27.73 c ---[791979]---> BDD-cost: 1 27.64/27.73 c ---[791977]---> BDD-cost: 1 27.64/27.73 c ---[791975]---> BDD-cost: 1 27.64/27.73 c ---[791973]---> BDD-cost: 1 27.64/27.73 c ---[791971]---> BDD-cost: 1 27.64/27.73 c ---[791969]---> BDD-cost: 1 27.64/27.73 c ---[791967]---> BDD-cost: 1 27.64/27.73 c ---[791965]---> BDD-cost: 1 27.64/27.73 c ---[791963]---> BDD-cost: 1 27.64/27.73 c ---[791961]---> BDD-cost: 1 27.64/27.73 c ---[791959]---> BDD-cost: 1 27.64/27.73 c ---[791957]---> BDD-cost: 1 27.64/27.73 c ---[791955]---> BDD-cost: 1 27.64/27.73 c ---[791953]---> BDD-cost: 1 27.64/27.73 c ---[791951]---> BDD-cost: 1 27.64/27.73 c ---[791949]---> BDD-cost: 1 27.64/27.73 c ---[791947]---> BDD-cost: 1 27.64/27.73 c ---[791945]---> BDD-cost: 1 27.64/27.73 c ---[791943]---> BDD-cost: 1 27.64/27.73 c ---[791941]---> BDD-cost: 1 27.64/27.73 c ---[791939]---> BDD-cost: 1 27.64/27.73 c ---[791937]---> BDD-cost: 1 27.64/27.73 c ---[791935]---> BDD-cost: 1 27.64/27.73 c ---[791933]---> BDD-cost: 1 27.64/27.73 c ---[791931]---> BDD-cost: 1 27.64/27.73 c ---[791929]---> BDD-cost: 1 27.64/27.73 c ---[791927]---> BDD-cost: 1 27.64/27.73 c ---[791925]---> BDD-cost: 1 27.64/27.73 c ---[791923]---> BDD-cost: 1 27.64/27.73 c ---[791921]---> BDD-cost: 1 27.64/27.73 c ---[791919]---> BDD-cost: 1 27.64/27.73 c ---[791917]---> BDD-cost: 1 27.64/27.73 c ---[791915]---> BDD-cost: 1 27.64/27.73 c ---[791913]---> BDD-cost: 1 27.64/27.73 c ---[791911]---> BDD-cost: 1 27.64/27.73 c ---[791909]---> BDD-cost: 1 27.64/27.73 c ---[791907]---> BDD-cost: 1 27.64/27.73 c ---[791905]---> BDD-cost: 1 27.64/27.73 c ---[791903]---> BDD-cost: 1 27.64/27.73 c ---[791901]---> BDD-cost: 1 27.64/27.73 c ---[791899]---> BDD-cost: 1 27.64/27.73 c ---[791897]---> BDD-cost: 1 27.64/27.73 c ---[791895]---> BDD-cost: 1 27.64/27.73 c ---[791893]---> BDD-cost: 1 27.64/27.73 c ---[791891]---> BDD-cost: 1 27.64/27.73 c ---[791889]---> BDD-cost: 1 27.64/27.73 c ---[791887]---> BDD-cost: 1 27.64/27.73 c ---[791885]---> BDD-cost: 1 27.64/27.73 c ---[791883]---> BDD-cost: 1 27.64/27.73 c ---[791881]---> BDD-cost: 1 27.64/27.73 c ---[791879]---> BDD-cost: 1 27.64/27.73 c ---[791877]---> BDD-cost: 1 27.64/27.73 c ---[791875]---> BDD-cost: 1 27.64/27.73 c ---[791873]---> BDD-cost: 1 27.64/27.73 c ---[791871]---> BDD-cost: 1 27.64/27.73 c ---[791869]---> BDD-cost: 1 27.64/27.73 c ---[791867]---> BDD-cost: 1 27.64/27.73 c ---[791865]---> BDD-cost: 1 27.64/27.73 c ---[791863]---> BDD-cost: 1 27.64/27.73 c ---[791861]---> BDD-cost: 1 27.64/27.73 c ---[791859]---> BDD-cost: 1 27.64/27.73 c ---[791857]---> BDD-cost: 1 27.64/27.73 c ---[791855]---> BDD-cost: 1 27.64/27.73 c ---[791853]---> BDD-cost: 1 27.64/27.73 c ---[791851]---> BDD-cost: 1 27.64/27.73 c ---[791849]---> BDD-cost: 1 27.64/27.73 c ---[791847]---> BDD-cost: 1 27.64/27.73 c ---[791845]---> BDD-cost: 1 27.64/27.73 c ---[791843]---> BDD-cost: 1 27.64/27.73 c ---[791841]---> BDD-cost: 1 27.64/27.73 c ---[791839]---> BDD-cost: 1 27.64/27.73 c ---[791837]---> BDD-cost: 1 27.64/27.73 c ---[791835]---> BDD-cost: 1 27.64/27.73 c ---[791833]---> BDD-cost: 1 27.64/27.73 c ---[791831]---> BDD-cost: 1 27.64/27.73 c ---[791829]---> BDD-cost: 1 27.64/27.73 c ---[791827]---> BDD-cost: 1 27.64/27.73 c ---[791825]---> BDD-cost: 1 27.64/27.73 c ---[791823]---> BDD-cost: 1 27.64/27.73 c ---[791821]---> BDD-cost: 1 27.64/27.73 c ---[791819]---> BDD-cost: 1 27.64/27.73 c ---[791817]---> BDD-cost: 1 27.64/27.73 c ---[791815]---> BDD-cost: 1 27.64/27.73 c ---[791813]---> BDD-cost: 1 27.64/27.73 c ---[791811]---> BDD-cost: 1 27.64/27.73 c ---[791809]---> BDD-cost: 1 27.64/27.73 c ---[791807]---> BDD-cost: 1 27.64/27.73 c ---[791805]---> BDD-cost: 1 27.64/27.73 c ---[791803]---> BDD-cost: 1 27.64/27.73 c ---[791801]---> BDD-cost: 1 27.64/27.73 c ---[791799]---> BDD-cost: 1 27.64/27.73 c ---[791797]---> BDD-cost: 1 27.64/27.73 c ---[791795]---> BDD-cost: 1 27.64/27.73 c ---[791793]---> BDD-cost: 1 27.64/27.73 c ---[791791]---> BDD-cost: 1 27.64/27.73 c ---[791789]---> BDD-cost: 1 27.64/27.73 c ---[791787]---> BDD-cost: 1 27.64/27.73 c ---[791785]---> BDD-cost: 1 27.64/27.73 c ---[791783]---> BDD-cost: 1 27.64/27.73 c ---[791781]---> BDD-cost: 1 27.64/27.73 c ---[791779]---> BDD-cost: 1 27.64/27.73 c ---[791777]---> BDD-cost: 1 27.64/27.73 c ---[791775]---> BDD-cost: 1 27.64/27.73 c ---[791773]---> BDD-cost: 1 27.64/27.73 c ---[791771]---> BDD-cost: 1 27.64/27.73 c ---[791769]---> BDD-cost: 1 27.64/27.73 c ---[791767]---> BDD-cost: 1 27.64/27.73 c ---[791765]---> BDD-cost: 1 27.64/27.73 c ---[791763]---> BDD-cost: 1 27.64/27.73 c ---[791761]---> BDD-cost: 1 27.64/27.73 c ---[791759]---> BDD-cost: 1 27.64/27.73 c ---[791757]---> BDD-cost: 1 27.64/27.73 c ---[791755]---> BDD-cost: 1 27.64/27.73 c ---[791753]---> BDD-cost: 1 27.64/27.73 c ---[791751]---> BDD-cost: 1 27.64/27.73 c ---[791749]---> BDD-cost: 1 27.64/27.73 c ---[791747]---> BDD-cost: 1 27.64/27.73 c ---[791745]---> BDD-cost: 1 27.64/27.73 c ---[791743]---> BDD-cost: 1 27.64/27.73 c ---[791741]---> BDD-cost: 1 27.64/27.73 c ---[791739]---> BDD-cost: 1 27.64/27.73 c ---[791737]---> BDD-cost: 1 27.64/27.73 c ---[791735]---> BDD-cost: 1 27.64/27.73 c ---[791733]---> BDD-cost: 1 27.64/27.73 c ---[791731]---> BDD-cost: 1 27.64/27.73 c ---[791729]---> BDD-cost: 1 27.64/27.73 c ---[791727]---> BDD-cost: 1 27.64/27.73 c ---[791725]---> BDD-cost: 1 27.64/27.73 c ---[791723]---> BDD-cost: 1 27.64/27.73 c ---[791721]---> BDD-cost: 1 27.64/27.73 c ---[791719]---> BDD-cost: 1 27.64/27.73 c ---[791717]---> BDD-cost: 1 27.64/27.73 c ---[791715]---> BDD-cost: 1 27.64/27.73 c ---[791713]---> BDD-cost: 1 27.64/27.73 c ---[791711]---> BDD-cost: 1 27.64/27.73 c ---[791709]---> BDD-cost: 1 27.64/27.73 c ---[791707]---> BDD-cost: 1 27.64/27.73 c ---[791705]---> BDD-cost: 1 27.64/27.73 c ---[791703]---> BDD-cost: 1 27.64/27.73 c ---[791701]---> BDD-cost: 1 27.64/27.73 c ---[791699]---> BDD-cost: 1 27.64/27.73 c ---[791697]---> BDD-cost: 1 27.64/27.73 c ---[791695]---> BDD-cost: 1 27.64/27.73 c ---[791693]---> BDD-cost: 1 27.64/27.73 c ---[791691]---> BDD-cost: 1 27.64/27.73 c ---[791689]---> BDD-cost: 1 27.64/27.73 c ---[791687]---> BDD-cost: 1 27.64/27.73 c ---[791685]---> BDD-cost: 1 27.64/27.73 c ---[791683]---> BDD-cost: 1 27.64/27.73 c ---[791646]---> BDD-cost: 1 27.64/27.73 c ---[791151]---> BDD-cost: 1 27.64/27.73 c ---[791149]---> BDD-cost: 1 27.64/27.73 c ---[791147]---> BDD-cost: 1 27.64/27.73 c ---[791145]---> BDD-cost: 1 27.64/27.73 c ---[791143]---> BDD-cost: 1 27.64/27.73 c ---[791141]---> BDD-cost: 1 27.64/27.73 c ---[791139]---> BDD-cost: 1 27.64/27.73 c ---[791137]---> BDD-cost: 1 27.64/27.73 c ---[791135]---> BDD-cost: 1 27.64/27.73 c ---[791133]---> BDD-cost: 1 27.64/27.73 c ---[791131]---> BDD-cost: 1 27.64/27.73 c ---[791129]---> BDD-cost: 1 27.64/27.73 c ---[791127]---> BDD-cost: 1 27.64/27.73 c ---[791125]---> BDD-cost: 1 27.64/27.73 c ---[791123]---> BDD-cost: 1 27.64/27.73 c ---[791121]---> BDD-cost: 1 27.64/27.73 c ---[791119]---> BDD-cost: 1 27.64/27.73 c ---[791117]---> BDD-cost: 1 27.64/27.73 c ---[791115]---> BDD-cost: 1 27.64/27.73 c ---[791113]---> BDD-cost: 1 27.64/27.73 c ---[791111]---> BDD-cost: 1 27.64/27.73 c ---[791109]---> BDD-cost: 1 27.64/27.73 c ---[791107]---> BDD-cost: 1 27.64/27.73 c ---[791105]---> BDD-cost: 1 27.64/27.73 c ---[791103]---> BDD-cost: 1 27.64/27.73 c ---[791101]---> BDD-cost: 1 27.64/27.73 c ---[791099]---> BDD-cost: 1 27.64/27.73 c ---[791097]---> BDD-cost: 1 27.64/27.73 c ---[791095]---> BDD-cost: 1 27.64/27.73 c ---[791093]---> BDD-cost: 1 27.64/27.73 c ---[791091]---> BDD-cost: 1 27.64/27.73 c ---[791089]---> BDD-cost: 1 27.64/27.73 c ---[791087]---> BDD-cost: 1 27.64/27.73 c ---[779193]---> BDD-cost: 1 27.64/27.73 c ---[748468]---> BDD-cost: 1 27.64/27.73 c ---[725617]---> BDD-cost: 1 27.64/27.73 c ---[694831]---> BDD-cost: 1 27.64/27.73 c ---[661305]---> BDD-cost: 1 27.64/27.73 c ---[643722]---> BDD-cost: 1 27.64/27.73 c ---[643720]---> BDD-cost: 1 27.64/27.73 c ---[643718]---> BDD-cost: 1 27.64/27.73 c ---[643716]---> BDD-cost: 1 27.64/27.73 c ---[643714]---> BDD-cost: 1 27.64/27.73 c ---[643712]---> BDD-cost: 1 27.64/27.73 c ---[643710]---> BDD-cost: 1 27.64/27.73 c ---[643708]---> BDD-cost: 1 27.64/27.73 c ---[643706]---> BDD-cost: 1 27.64/27.73 c ---[643704]---> BDD-cost: 1 27.64/27.78 c ==================================[MINISAT+]================================== 27.64/27.78 c | Conflicts | Original | Learnt | Progress | 27.64/27.78 c | | Clauses Literals | Max Clauses Literals LPC | | 27.64/27.78 c ============================================================================== 27.64/27.78 c | 0 | 799863 2081677 | 266621 0 0 nan | 0.000 % | 28.04/28.19 c | 100 | 799863 2081677 | 293283 100 2466 24.7 | 0.678 % | 28.64/28.76 c | 250 | 799863 2081677 | 322611 250 18522 74.1 | 0.678 % | 29.03/29.17 c | 475 | 799863 2081677 | 354872 475 28087 59.1 | 0.678 % | 29.53/29.66 c | 812 | 799708 2081319 | 390359 811 41049 50.6 | 0.687 % | 30.92/31.05 c | 1318 | 799708 2081319 | 429395 1317 55271 42.0 | 0.687 % | 31.83/31.95 c | 2077 | 799708 2081319 | 472335 2076 86069 41.5 | 0.687 % | 38.43/38.51 c | 3216 | 799708 2081319 | 519568 3215 125950 39.2 | 0.687 % | 40.82/40.97 c | 4924 | 799708 2081319 | 571525 4923 199748 40.6 | 0.687 % | 47.22/47.35 c | 7486 | 799708 2081319 | 628678 7485 381615 51.0 | 0.687 % | 61.22/61.37 c | 11331 | 799708 2081319 | 691546 11330 582068 51.4 | 0.687 % | 69.71/69.82 c | 17097 | 799708 2081319 | 760700 17096 814005 47.6 | 0.687 % | 112.60/112.71 c | 25747 | 799708 2081319 | 836770 25746 1240453 48.2 | 0.687 % | 152.79/152.91 c | 38721 | 799313 2080444 | 920448 38714 1928601 49.8 | 0.716 % | 193.38/193.54 c | 58184 | 798929 2079614 | 1012492 58172 3079819 52.9 | 0.745 % | 329.34/329.59 c | 87376 | 796666 2074470 | 1113742 84664 4670393 55.2 | 0.903 % | 412.32/412.51 c | 131165 | 795612 2072132 | 1225116 128439 6339306 49.4 | 0.979 % | 563.08/563.35 c | 196850 | 793162 2066624 | 1347627 193728 8058581 41.6 | 1.174 % | 965.37/965.72 c | 295377 | 792562 2065275 | 1482390 292236 11775872 40.3 | 1.223 % | 1227.79/1228.24 c ============================================================================== 1227.79/1228.24 c [1mUNSATISFIABLE[0m 1227.79/1228.24 s UNSATISFIABLE 1227.79/1228.24 c _______________________________________________________________________________ 1227.79/1228.24 c 1227.79/1228.24 c restarts : 19 1227.79/1228.24 c conflicts : 374073 (305 /sec) 1227.79/1228.24 c decisions : 669387 (546 /sec) 1227.79/1228.24 c propagations : 0 (0 /sec) 1227.79/1228.24 c inspects : 0 (0 /sec) 1227.79/1228.24 c CPU time : 1226.57 s 1227.79/1228.24 c _______________________________________________________________________________
ERROR: no interpretation found !
/tmp/evaluation/420069-1177418147/instance-420069-1177418147.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node50/watcher-420069-1177418147 -o ROOT/results/node50/solver-420069-1177418147 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/420069-1177418147/minisat+ /tmp/evaluation/420069-1177418147/instance-420069-1177418147.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: 1.00 1.00 1.00 3/64 9978 /proc/meminfo: memFree=1867840/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=1048 CPUtime=0 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 110 0 0 0 0 0 0 0 18 0 1 0 96660079 1073152 96 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005847 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9978/statm: 262 96 75 215 0 44 0 [startup+0.103968 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9978 /proc/meminfo: memFree=1867840/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=2016 CPUtime=0.1 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 352 0 0 0 10 0 0 0 18 0 1 0 96660079 2064384 338 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9978/statm: 504 338 75 215 0 286 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2016 [startup+0.201976 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9978 /proc/meminfo: memFree=1867840/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=2912 CPUtime=0.19 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 588 0 0 0 19 0 0 0 18 0 1 0 96660079 2981888 574 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9978/statm: 728 574 75 215 0 510 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 2912 [startup+0.301985 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9978 /proc/meminfo: memFree=1867840/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=4032 CPUtime=0.29 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 839 0 0 0 29 0 0 0 19 0 1 0 96660079 4128768 825 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134596997 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9978/statm: 1008 825 75 215 0 790 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4032 [startup+0.70202 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9978 /proc/meminfo: memFree=1867840/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=7196 CPUtime=0.69 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 1650 0 0 0 68 1 0 0 23 0 1 0 96660079 7368704 1636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9978/statm: 1799 1636 75 215 0 1581 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7196 [startup+1.50109 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9979 /proc/meminfo: memFree=1858168/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=14100 CPUtime=1.49 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 3328 0 0 0 148 1 0 0 25 0 1 0 96660079 14438400 3314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9978/statm: 3525 3314 75 215 0 3307 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14100 [startup+3.10123 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9979 /proc/meminfo: memFree=1848312/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=27856 CPUtime=3.09 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 6652 0 0 0 306 3 0 0 25 0 1 0 96660079 28524544 6637 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9978/statm: 6964 6637 75 215 0 6746 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27856 [startup+6.30151 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9979 /proc/meminfo: memFree=1820984/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=55488 CPUtime=6.28 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 13522 0 0 0 621 7 0 0 25 0 1 0 96660079 56819712 13465 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9978/statm: 13872 13465 75 215 0 13654 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 55488 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9979 /proc/meminfo: memFree=1763640/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=112608 CPUtime=12.69 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 27568 0 0 0 1253 16 0 0 25 0 1 0 96660079 115310592 27420 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9978/statm: 28152 27420 75 215 0 27934 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 112608 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9979 /proc/meminfo: memFree=1646008/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=240776 CPUtime=25.49 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 58507 0 0 0 2516 33 0 0 25 0 1 0 96660079 246554624 58194 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9978/statm: 60194 58196 82 215 0 59976 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 240776 [startup+51.1016 s] /proc/loadavg: 1.06 1.01 1.00 2/65 9979 /proc/meminfo: memFree=1602552/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=273044 CPUtime=51.02 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 67371 0 0 0 4977 125 0 0 25 0 1 0 96660079 279597056 66113 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 68261 66113 106 215 0 68043 0 Current children cumulated CPU time (s) 51.02 Current children cumulated vsize (KiB) 273044 [startup+102.301 s] /proc/loadavg: 1.02 1.01 1.00 2/65 9979 /proc/meminfo: memFree=1602552/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=273044 CPUtime=102.21 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 67395 0 0 0 10096 125 0 0 25 0 1 0 96660079 279597056 66137 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577059 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 68261 66137 106 215 0 68043 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 273044 [startup+162.301 s] /proc/loadavg: 1.01 1.00 1.00 2/65 9979 /proc/meminfo: memFree=1602296/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=273288 CPUtime=162.19 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 67487 0 0 0 16094 125 0 0 25 0 1 0 96660079 279846912 66229 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580297 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 68322 66229 106 215 0 68104 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 273288 [startup+222.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9979 /proc/meminfo: memFree=1601976/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=273408 CPUtime=222.17 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 67566 0 0 0 22092 125 0 0 25 0 1 0 96660079 279969792 66308 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576132 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 68352 66308 106 215 0 68134 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 273408 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9979 /proc/meminfo: memFree=1601784/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=273408 CPUtime=282.15 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 67612 0 0 0 28090 125 0 0 25 0 1 0 96660079 279969792 66354 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 68352 66354 106 215 0 68134 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 273408 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9979 /proc/meminfo: memFree=1601592/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=273408 CPUtime=342.14 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 67675 0 0 0 34089 125 0 0 25 0 1 0 96660079 279969792 66417 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 68352 66417 106 215 0 68134 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 273408 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9979 /proc/meminfo: memFree=1601144/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=273588 CPUtime=402.12 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 67782 0 0 0 40087 125 0 0 25 0 1 0 96660079 280154112 66524 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581082 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 68397 66524 106 215 0 68179 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 273588 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9979 /proc/meminfo: memFree=1600888/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=273856 CPUtime=462.1 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 67840 0 0 0 46085 125 0 0 25 0 1 0 96660079 280428544 66582 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 68464 66582 106 215 0 68246 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 273856 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9979 /proc/meminfo: memFree=1600056/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=274672 CPUtime=522.08 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68050 0 0 0 52083 125 0 0 25 0 1 0 96660079 281264128 66792 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569815 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 68668 66792 106 215 0 68450 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 274672 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9979 /proc/meminfo: memFree=1599928/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=274672 CPUtime=582.07 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68081 0 0 0 58082 125 0 0 25 0 1 0 96660079 281264128 66823 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 68668 66823 106 215 0 68450 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 274672 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9979 /proc/meminfo: memFree=1599480/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=275404 CPUtime=642.06 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68174 0 0 0 64080 126 0 0 25 0 1 0 96660079 282013696 66916 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 68851 66916 106 215 0 68633 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 275404 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9979 /proc/meminfo: memFree=1599352/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=275404 CPUtime=702.04 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68191 0 0 0 70078 126 0 0 25 0 1 0 96660079 282013696 66933 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 68851 66933 106 215 0 68633 0 Current children cumulated CPU time (s) 702.04 Current children cumulated vsize (KiB) 275404 [startup+762.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9979 /proc/meminfo: memFree=1599288/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=275404 CPUtime=762.02 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68205 0 0 0 76076 126 0 0 25 0 1 0 96660079 282013696 66947 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 68851 66947 106 215 0 68633 0 Current children cumulated CPU time (s) 762.02 Current children cumulated vsize (KiB) 275404 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9979 /proc/meminfo: memFree=1599224/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=275404 CPUtime=822 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68234 0 0 0 82074 126 0 0 25 0 1 0 96660079 282013696 66976 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 68851 66976 106 215 0 68633 0 Current children cumulated CPU time (s) 822 Current children cumulated vsize (KiB) 275404 [startup+882.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9979 /proc/meminfo: memFree=1599096/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=275404 CPUtime=881.99 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68262 0 0 0 88073 126 0 0 25 0 1 0 96660079 282013696 67004 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581319 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 68851 67004 106 215 0 68633 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 275404 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9979 /proc/meminfo: memFree=1598968/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=275484 CPUtime=941.97 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68285 0 0 0 94070 127 0 0 25 0 1 0 96660079 282095616 67027 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 68871 67027 106 215 0 68653 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 275484 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9979 /proc/meminfo: memFree=1598968/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=275484 CPUtime=1001.95 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68306 0 0 0 100068 127 0 0 25 0 1 0 96660079 282095616 67048 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 68871 67048 106 215 0 68653 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 275484 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9979 /proc/meminfo: memFree=1598712/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=276256 CPUtime=1061.94 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68351 0 0 0 106067 127 0 0 25 0 1 0 96660079 282886144 67093 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 69064 67093 106 215 0 68846 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 276256 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9979 /proc/meminfo: memFree=1598392/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=276580 CPUtime=1121.92 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68433 0 0 0 112065 127 0 0 25 0 1 0 96660079 283217920 67175 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 69145 67175 106 215 0 68927 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 276580 [startup+1182.3 s] /proc/loadavg: 1.04 1.01 1.00 2/65 9979 /proc/meminfo: memFree=1598264/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=276700 CPUtime=1181.9 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68454 0 0 0 118063 127 0 0 25 0 1 0 96660079 283340800 67196 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568479 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 69175 67196 106 215 0 68957 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 276700 Solver just ended. Dumping a history of the last processes samples [startup+1203.2 s] /proc/loadavg: 1.11 1.03 1.01 2/65 9979 /proc/meminfo: memFree=1598264/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=276700 CPUtime=1202.8 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68454 0 0 0 120153 127 0 0 25 0 1 0 96660079 283340800 67196 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 69175 67196 106 215 0 68957 0 Current children cumulated CPU time (s) 1202.8 Current children cumulated vsize (KiB) 276700 [startup+1216 s] /proc/loadavg: 1.09 1.03 1.00 2/65 9979 /proc/meminfo: memFree=1598136/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=276700 CPUtime=1215.59 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68454 0 0 0 121432 127 0 0 25 0 1 0 96660079 283340800 67196 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 69175 67196 106 215 0 68957 0 Current children cumulated CPU time (s) 1215.59 Current children cumulated vsize (KiB) 276700 [startup+1222.4 s] /proc/loadavg: 1.08 1.03 1.00 2/65 9979 /proc/meminfo: memFree=1598136/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=276700 CPUtime=1221.99 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68454 0 0 0 122072 127 0 0 25 0 1 0 96660079 283340800 67196 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 69175 67196 106 215 0 68957 0 Current children cumulated CPU time (s) 1221.99 Current children cumulated vsize (KiB) 276700 [startup+1225.6 s] /proc/loadavg: 1.08 1.03 1.00 2/65 9979 /proc/meminfo: memFree=1598136/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=276700 CPUtime=1225.19 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68454 0 0 0 122392 127 0 0 25 0 1 0 96660079 283340800 67196 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581426 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 69175 67196 106 215 0 68957 0 Current children cumulated CPU time (s) 1225.19 Current children cumulated vsize (KiB) 276700 [startup+1227.2 s] /proc/loadavg: 1.07 1.03 1.00 2/65 9979 /proc/meminfo: memFree=1598072/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=276700 CPUtime=1226.79 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68454 0 0 0 122552 127 0 0 25 0 1 0 96660079 283340800 67196 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580327 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 69175 67196 106 215 0 68957 0 Current children cumulated CPU time (s) 1226.79 Current children cumulated vsize (KiB) 276700 [startup+1228 s] /proc/loadavg: 1.07 1.03 1.00 2/65 9979 /proc/meminfo: memFree=1598072/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=276700 CPUtime=1227.59 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68454 0 0 0 122632 127 0 0 25 0 1 0 96660079 283340800 67196 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 69175 67196 106 215 0 68957 0 Current children cumulated CPU time (s) 1227.59 Current children cumulated vsize (KiB) 276700 [startup+1228.2 s] /proc/loadavg: 1.07 1.03 1.00 2/65 9979 /proc/meminfo: memFree=1598072/2055920 swapFree=4183592/4192956 [pid=9978] ppid=9976 vsize=276700 CPUtime=1227.79 /proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68454 0 0 0 122652 127 0 0 25 0 1 0 96660079 283340800 67196 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568543 0 0 4096 16386 0 0 0 17 0 0 0 /proc/9978/statm: 69175 67196 106 215 0 68957 0 Current children cumulated CPU time (s) 1227.79 Current children cumulated vsize (KiB) 276700 Child status: 20 Real time (s): 1228.3 CPU time (s): 1227.89 CPU user time (s): 1226.58 CPU system time (s): 1.3158 CPU usage (%): 99.9672 Max. virtual memory (cumulated for all children) (KiB): 276700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1226.58 system time used= 1.3158 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68457 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= 9778 involuntary context switches= 1816 runsolver used 1.9707 second user time and 4.31734 second system time The end
Begin job on node50 on Tue Apr 24 12:35:49 UTC 2007 IDJOB= 420069 IDBENCH= 47819 IDSOLVER= 156 FILE ID= node50/420069-1177418147 PBS_JOBID= 4675700 Free space on /tmp= 66481 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/palacios/uts/uts-l06-ipc5-h32-unknown.opb COMMAND LINE= /tmp/evaluation/420069-1177418147/minisat+ /tmp/evaluation/420069-1177418147/instance-420069-1177418147.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node50/convwatcher-420069-1177418147 -o ROOT/results/node50/conversion-420069-1177418147 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/420069-1177418147/instance-420069-1177418147.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-420069-1177418147 -o ROOT/results/node50/solver-420069-1177418147 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/420069-1177418147/minisat+ /tmp/evaluation/420069-1177418147/instance-420069-1177418147.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 1d8b4bc6cd59d6ee3856cf9cca980ee0 RANDOM SEED= 219467600 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node50.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.232 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 : 5914.62 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.232 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: 1868184 kB Buffers: 5600 kB Cached: 138760 kB SwapCached: 4152 kB Active: 85324 kB Inactive: 70484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1868184 kB SwapTotal: 4192956 kB SwapFree: 4183592 kB Dirty: 27872 kB Writeback: 0 kB Mapped: 16076 kB Slab: 17908 kB Committed_AS: 2916896 kB PageTables: 1464 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= 66481 MiB End job on node50 on Tue Apr 24 12:56:18 UTC 2007