Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | UNSAT | 746.978 | 747.295 |
Name | normalized-PB07/PURE-SAT/SAT07/ industrial/palacios/uts/uts-l06-ipc5-h31-unknown.opb |
MD5SUM | 0d091f79d4246db0b540f5fe1b3977af |
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 | 746.978 |
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 | 149210 |
Total number of constraints | 761906 |
Number of constraints which are clauses | 761906 |
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... 24.29/24.35 c Converting 761606 PB-constraints to clauses... 24.38/24.47 c -- Unit propagations: (none) 24.38/24.48 c -- Detecting intervals from adjacent constraints: ######################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################## 24.48/24.55 c -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 26.27/26.36 c ---[761559]---> BDD-cost: 1 26.27/26.36 c ---[761548]---> BDD-cost: 1 26.27/26.36 c ---[761546]---> BDD-cost: 1 26.27/26.36 c ---[761544]---> BDD-cost: 1 26.27/26.36 c ---[761542]---> BDD-cost: 1 26.27/26.36 c ---[761540]---> BDD-cost: 1 26.27/26.36 c ---[761538]---> BDD-cost: 1 26.27/26.36 c ---[761536]---> BDD-cost: 1 26.27/26.36 c ---[761534]---> BDD-cost: 1 26.27/26.36 c ---[761532]---> BDD-cost: 1 26.27/26.36 c ---[761530]---> BDD-cost: 1 26.27/26.36 c ---[761528]---> BDD-cost: 1 26.27/26.36 c ---[761526]---> BDD-cost: 1 26.27/26.36 c ---[761524]---> BDD-cost: 1 26.27/26.36 c ---[761522]---> BDD-cost: 1 26.27/26.36 c ---[761520]---> BDD-cost: 1 26.27/26.36 c ---[761518]---> BDD-cost: 1 26.27/26.36 c ---[761516]---> BDD-cost: 1 26.27/26.36 c ---[761514]---> BDD-cost: 1 26.27/26.36 c ---[761512]---> BDD-cost: 1 26.27/26.36 c ---[761510]---> BDD-cost: 1 26.27/26.36 c ---[761508]---> BDD-cost: 1 26.27/26.36 c ---[761506]---> BDD-cost: 1 26.27/26.36 c ---[761504]---> BDD-cost: 1 26.27/26.36 c ---[761502]---> BDD-cost: 1 26.27/26.36 c ---[761500]---> BDD-cost: 1 26.27/26.36 c ---[761498]---> BDD-cost: 1 26.27/26.36 c ---[761496]---> BDD-cost: 1 26.27/26.36 c ---[761494]---> BDD-cost: 1 26.27/26.36 c ---[761492]---> BDD-cost: 1 26.27/26.36 c ---[761490]---> BDD-cost: 1 26.27/26.36 c ---[761488]---> BDD-cost: 1 26.27/26.36 c ---[761486]---> BDD-cost: 1 26.27/26.36 c ---[761484]---> BDD-cost: 1 26.27/26.36 c ---[761438]---> BDD-cost: 1 26.27/26.36 c ---[761390]---> BDD-cost: 1 26.27/26.36 c ---[761388]---> BDD-cost: 1 26.27/26.36 c ---[761386]---> BDD-cost: 1 26.27/26.36 c ---[761384]---> BDD-cost: 1 26.27/26.36 c ---[761382]---> BDD-cost: 1 26.27/26.36 c ---[761380]---> BDD-cost: 1 26.27/26.36 c ---[761378]---> BDD-cost: 1 26.27/26.36 c ---[761376]---> BDD-cost: 1 26.27/26.36 c ---[761374]---> BDD-cost: 1 26.27/26.36 c ---[761372]---> BDD-cost: 1 26.27/26.36 c ---[761370]---> BDD-cost: 1 26.27/26.36 c ---[761368]---> BDD-cost: 1 26.27/26.36 c ---[761366]---> BDD-cost: 1 26.27/26.36 c ---[761364]---> BDD-cost: 1 26.27/26.36 c ---[761362]---> BDD-cost: 1 26.27/26.36 c ---[761360]---> BDD-cost: 1 26.27/26.36 c ---[761358]---> BDD-cost: 1 26.27/26.36 c ---[761356]---> BDD-cost: 1 26.27/26.36 c ---[761354]---> BDD-cost: 1 26.27/26.36 c ---[761352]---> BDD-cost: 1 26.27/26.36 c ---[761350]---> BDD-cost: 1 26.27/26.36 c ---[761348]---> BDD-cost: 1 26.27/26.36 c ---[761346]---> BDD-cost: 1 26.27/26.36 c ---[761344]---> BDD-cost: 1 26.27/26.36 c ---[761342]---> BDD-cost: 1 26.27/26.36 c ---[761340]---> BDD-cost: 1 26.27/26.36 c ---[761338]---> BDD-cost: 1 26.27/26.36 c ---[761336]---> BDD-cost: 1 26.27/26.36 c ---[761334]---> BDD-cost: 1 26.27/26.36 c ---[761332]---> BDD-cost: 1 26.27/26.36 c ---[761330]---> BDD-cost: 1 26.27/26.36 c ---[761328]---> BDD-cost: 1 26.27/26.36 c ---[761326]---> BDD-cost: 1 26.27/26.36 c ---[761274]---> BDD-cost: 1 26.27/26.36 c ---[761190]---> BDD-cost: 1 26.27/26.36 c ---[761188]---> BDD-cost: 1 26.27/26.36 c ---[761186]---> BDD-cost: 1 26.27/26.36 c ---[761184]---> BDD-cost: 1 26.27/26.36 c ---[761182]---> BDD-cost: 1 26.27/26.36 c ---[761180]---> BDD-cost: 1 26.27/26.37 c ---[761178]---> BDD-cost: 1 26.27/26.37 c ---[761176]---> BDD-cost: 1 26.27/26.37 c ---[761174]---> BDD-cost: 1 26.27/26.37 c ---[761172]---> BDD-cost: 1 26.27/26.37 c ---[761170]---> BDD-cost: 1 26.27/26.37 c ---[761168]---> BDD-cost: 1 26.27/26.37 c ---[761166]---> BDD-cost: 1 26.27/26.37 c ---[761164]---> BDD-cost: 1 26.27/26.37 c ---[761162]---> BDD-cost: 1 26.27/26.37 c ---[761160]---> BDD-cost: 1 26.27/26.37 c ---[761158]---> BDD-cost: 1 26.27/26.37 c ---[761156]---> BDD-cost: 1 26.27/26.37 c ---[761154]---> BDD-cost: 1 26.27/26.37 c ---[761152]---> BDD-cost: 1 26.27/26.37 c ---[761150]---> BDD-cost: 1 26.27/26.37 c ---[761148]---> BDD-cost: 1 26.27/26.37 c ---[761146]---> BDD-cost: 1 26.27/26.37 c ---[761144]---> BDD-cost: 1 26.27/26.37 c ---[761142]---> BDD-cost: 1 26.27/26.37 c ---[761140]---> BDD-cost: 1 26.27/26.37 c ---[761138]---> BDD-cost: 1 26.27/26.37 c ---[761136]---> BDD-cost: 1 26.27/26.37 c ---[761134]---> BDD-cost: 1 26.27/26.37 c ---[761132]---> BDD-cost: 1 26.27/26.37 c ---[761130]---> BDD-cost: 1 26.27/26.37 c ---[761128]---> BDD-cost: 1 26.27/26.37 c ---[761126]---> BDD-cost: 1 26.27/26.37 c ---[761068]---> BDD-cost: 1 26.27/26.37 c ---[760949]---> BDD-cost: 1 26.27/26.37 c ---[760947]---> BDD-cost: 1 26.27/26.37 c ---[760945]---> BDD-cost: 1 26.27/26.37 c ---[760943]---> BDD-cost: 1 26.27/26.37 c ---[760941]---> BDD-cost: 1 26.27/26.37 c ---[760939]---> BDD-cost: 1 26.27/26.37 c ---[760937]---> BDD-cost: 1 26.27/26.37 c ---[760935]---> BDD-cost: 1 26.27/26.37 c ---[760933]---> BDD-cost: 1 26.27/26.37 c ---[760931]---> BDD-cost: 1 26.27/26.37 c ---[760929]---> BDD-cost: 1 26.27/26.37 c ---[760927]---> BDD-cost: 1 26.27/26.37 c ---[760925]---> BDD-cost: 1 26.27/26.37 c ---[760923]---> BDD-cost: 1 26.27/26.37 c ---[760921]---> BDD-cost: 1 26.27/26.37 c ---[760919]---> BDD-cost: 1 26.27/26.37 c ---[760917]---> BDD-cost: 1 26.27/26.37 c ---[760915]---> BDD-cost: 1 26.27/26.37 c ---[760913]---> BDD-cost: 1 26.27/26.37 c ---[760911]---> BDD-cost: 1 26.27/26.37 c ---[760909]---> BDD-cost: 1 26.27/26.37 c ---[760907]---> BDD-cost: 1 26.27/26.37 c ---[760905]---> BDD-cost: 1 26.27/26.37 c ---[760903]---> BDD-cost: 1 26.27/26.37 c ---[760901]---> BDD-cost: 1 26.27/26.37 c ---[760899]---> BDD-cost: 1 26.27/26.37 c ---[760897]---> BDD-cost: 1 26.27/26.37 c ---[760895]---> BDD-cost: 1 26.27/26.37 c ---[760893]---> BDD-cost: 1 26.27/26.37 c ---[760891]---> BDD-cost: 1 26.27/26.37 c ---[760889]---> BDD-cost: 1 26.27/26.37 c ---[760887]---> BDD-cost: 1 26.27/26.37 c ---[760885]---> BDD-cost: 1 26.27/26.37 c ---[760821]---> BDD-cost: 1 26.27/26.37 c ---[760668]---> BDD-cost: 1 26.27/26.37 c ---[760666]---> BDD-cost: 1 26.27/26.37 c ---[760664]---> BDD-cost: 1 26.27/26.37 c ---[760662]---> BDD-cost: 1 26.27/26.37 c ---[760660]---> BDD-cost: 1 26.27/26.37 c ---[760658]---> BDD-cost: 1 26.27/26.37 c ---[760656]---> BDD-cost: 1 26.27/26.37 c ---[760654]---> BDD-cost: 1 26.27/26.37 c ---[760652]---> BDD-cost: 1 26.27/26.37 c ---[760650]---> BDD-cost: 1 26.27/26.37 c ---[760648]---> BDD-cost: 1 26.27/26.37 c ---[760646]---> BDD-cost: 1 26.27/26.37 c ---[760644]---> BDD-cost: 1 26.27/26.37 c ---[760642]---> BDD-cost: 1 26.27/26.37 c ---[760640]---> BDD-cost: 1 26.27/26.37 c ---[760638]---> BDD-cost: 1 26.27/26.37 c ---[760636]---> BDD-cost: 1 26.27/26.37 c ---[760634]---> BDD-cost: 1 26.27/26.37 c ---[760632]---> BDD-cost: 1 26.27/26.37 c ---[760630]---> BDD-cost: 1 26.27/26.37 c ---[760628]---> BDD-cost: 1 26.27/26.37 c ---[760626]---> BDD-cost: 1 26.27/26.37 c ---[760624]---> BDD-cost: 1 26.27/26.37 c ---[760622]---> BDD-cost: 1 26.27/26.37 c ---[760620]---> BDD-cost: 1 26.27/26.37 c ---[760618]---> BDD-cost: 1 26.27/26.37 c ---[760616]---> BDD-cost: 1 26.27/26.37 c ---[760614]---> BDD-cost: 1 26.27/26.37 c ---[760612]---> BDD-cost: 1 26.27/26.37 c ---[760610]---> BDD-cost: 1 26.27/26.37 c ---[760608]---> BDD-cost: 1 26.27/26.37 c ---[760606]---> BDD-cost: 1 26.27/26.37 c ---[760604]---> BDD-cost: 1 26.27/26.37 c ---[760534]---> BDD-cost: 1 26.27/26.37 c ---[760348]---> BDD-cost: 1 26.27/26.37 c ---[760346]---> BDD-cost: 1 26.27/26.37 c ---[760344]---> BDD-cost: 1 26.27/26.37 c ---[760342]---> BDD-cost: 1 26.27/26.37 c ---[760340]---> BDD-cost: 1 26.27/26.37 c ---[760338]---> BDD-cost: 1 26.27/26.37 c ---[760336]---> BDD-cost: 1 26.27/26.37 c ---[760334]---> BDD-cost: 1 26.27/26.37 c ---[760332]---> BDD-cost: 1 26.27/26.37 c ---[760330]---> BDD-cost: 1 26.27/26.37 c ---[760328]---> BDD-cost: 1 26.27/26.37 c ---[760326]---> BDD-cost: 1 26.27/26.37 c ---[760324]---> BDD-cost: 1 26.27/26.37 c ---[760322]---> BDD-cost: 1 26.27/26.37 c ---[760320]---> BDD-cost: 1 26.27/26.37 c ---[760318]---> BDD-cost: 1 26.27/26.37 c ---[760316]---> BDD-cost: 1 26.27/26.37 c ---[760314]---> BDD-cost: 1 26.27/26.37 c ---[760312]---> BDD-cost: 1 26.27/26.37 c ---[760310]---> BDD-cost: 1 26.27/26.37 c ---[760308]---> BDD-cost: 1 26.27/26.37 c ---[760306]---> BDD-cost: 1 26.27/26.37 c ---[760304]---> BDD-cost: 1 26.27/26.37 c ---[760302]---> BDD-cost: 1 26.27/26.37 c ---[760300]---> BDD-cost: 1 26.27/26.37 c ---[760298]---> BDD-cost: 1 26.27/26.37 c ---[760296]---> BDD-cost: 1 26.27/26.37 c ---[760294]---> BDD-cost: 1 26.27/26.37 c ---[760292]---> BDD-cost: 1 26.27/26.37 c ---[760290]---> BDD-cost: 1 26.27/26.37 c ---[760288]---> BDD-cost: 1 26.27/26.37 c ---[760286]---> BDD-cost: 1 26.27/26.37 c ---[760284]---> BDD-cost: 1 26.27/26.37 c ---[760208]---> BDD-cost: 1 26.27/26.37 c ---[759990]---> BDD-cost: 1 26.27/26.37 c ---[759988]---> BDD-cost: 1 26.27/26.37 c ---[759986]---> BDD-cost: 1 26.27/26.37 c ---[759984]---> BDD-cost: 1 26.27/26.37 c ---[759982]---> BDD-cost: 1 26.27/26.37 c ---[759980]---> BDD-cost: 1 26.27/26.37 c ---[759978]---> BDD-cost: 1 26.27/26.37 c ---[759976]---> BDD-cost: 1 26.27/26.37 c ---[759974]---> BDD-cost: 1 26.27/26.37 c ---[759972]---> BDD-cost: 1 26.27/26.37 c ---[759970]---> BDD-cost: 1 26.27/26.37 c ---[759968]---> BDD-cost: 1 26.27/26.37 c ---[759966]---> BDD-cost: 1 26.27/26.37 c ---[759964]---> BDD-cost: 1 26.27/26.37 c ---[759962]---> BDD-cost: 1 26.27/26.37 c ---[759960]---> BDD-cost: 1 26.27/26.37 c ---[759958]---> BDD-cost: 1 26.27/26.37 c ---[759956]---> BDD-cost: 1 26.27/26.37 c ---[759954]---> BDD-cost: 1 26.27/26.37 c ---[759952]---> BDD-cost: 1 26.27/26.37 c ---[759950]---> BDD-cost: 1 26.27/26.37 c ---[759948]---> BDD-cost: 1 26.27/26.37 c ---[759946]---> BDD-cost: 1 26.27/26.37 c ---[759944]---> BDD-cost: 1 26.27/26.37 c ---[759942]---> BDD-cost: 1 26.27/26.37 c ---[759940]---> BDD-cost: 1 26.27/26.37 c ---[759938]---> BDD-cost: 1 26.27/26.37 c ---[759936]---> BDD-cost: 1 26.27/26.37 c ---[759934]---> BDD-cost: 1 26.27/26.37 c ---[759932]---> BDD-cost: 1 26.27/26.37 c ---[759930]---> BDD-cost: 1 26.27/26.37 c ---[759928]---> BDD-cost: 1 26.27/26.37 c ---[759926]---> BDD-cost: 1 26.27/26.37 c ---[759844]---> BDD-cost: 1 26.27/26.37 c ---[759595]---> BDD-cost: 1 26.27/26.37 c ---[759593]---> BDD-cost: 1 26.27/26.37 c ---[759591]---> BDD-cost: 1 26.27/26.37 c ---[759589]---> BDD-cost: 1 26.27/26.37 c ---[759587]---> BDD-cost: 1 26.27/26.37 c ---[759585]---> BDD-cost: 1 26.27/26.37 c ---[759583]---> BDD-cost: 1 26.27/26.37 c ---[759581]---> BDD-cost: 1 26.27/26.37 c ---[759579]---> BDD-cost: 1 26.27/26.37 c ---[759577]---> BDD-cost: 1 26.27/26.37 c ---[759575]---> BDD-cost: 1 26.27/26.37 c ---[759573]---> BDD-cost: 1 26.27/26.37 c ---[759571]---> BDD-cost: 1 26.27/26.37 c ---[759569]---> BDD-cost: 1 26.27/26.37 c ---[759567]---> BDD-cost: 1 26.27/26.37 c ---[759565]---> BDD-cost: 1 26.27/26.37 c ---[759563]---> BDD-cost: 1 26.27/26.37 c ---[759561]---> BDD-cost: 1 26.27/26.37 c ---[759559]---> BDD-cost: 1 26.27/26.37 c ---[759557]---> BDD-cost: 1 26.27/26.37 c ---[759555]---> BDD-cost: 1 26.27/26.37 c ---[759553]---> BDD-cost: 1 26.27/26.37 c ---[759551]---> BDD-cost: 1 26.27/26.37 c ---[759549]---> BDD-cost: 1 26.27/26.37 c ---[759547]---> BDD-cost: 1 26.27/26.37 c ---[759545]---> BDD-cost: 1 26.27/26.37 c ---[759543]---> BDD-cost: 1 26.27/26.37 c ---[759541]---> BDD-cost: 1 26.27/26.37 c ---[759539]---> BDD-cost: 1 26.27/26.37 c ---[759537]---> BDD-cost: 1 26.27/26.37 c ---[759535]---> BDD-cost: 1 26.27/26.37 c ---[759533]---> BDD-cost: 1 26.27/26.37 c ---[759531]---> BDD-cost: 1 26.27/26.37 c ---[759443]---> BDD-cost: 1 26.27/26.37 c ---[759164]---> BDD-cost: 1 26.27/26.37 c ---[759162]---> BDD-cost: 1 26.27/26.37 c ---[759160]---> BDD-cost: 1 26.27/26.37 c ---[759158]---> BDD-cost: 1 26.27/26.37 c ---[759156]---> BDD-cost: 1 26.27/26.37 c ---[759154]---> BDD-cost: 1 26.27/26.37 c ---[759152]---> BDD-cost: 1 26.27/26.37 c ---[759150]---> BDD-cost: 1 26.27/26.37 c ---[759148]---> BDD-cost: 1 26.27/26.37 c ---[759146]---> BDD-cost: 1 26.27/26.37 c ---[759144]---> BDD-cost: 1 26.27/26.37 c ---[759142]---> BDD-cost: 1 26.27/26.37 c ---[759140]---> BDD-cost: 1 26.27/26.37 c ---[759138]---> BDD-cost: 1 26.27/26.37 c ---[759136]---> BDD-cost: 1 26.27/26.37 c ---[759134]---> BDD-cost: 1 26.27/26.37 c ---[759132]---> BDD-cost: 1 26.27/26.37 c ---[759130]---> BDD-cost: 1 26.27/26.37 c ---[759128]---> BDD-cost: 1 26.27/26.37 c ---[759126]---> BDD-cost: 1 26.27/26.37 c ---[759124]---> BDD-cost: 1 26.27/26.37 c ---[759122]---> BDD-cost: 1 26.27/26.37 c ---[759120]---> BDD-cost: 1 26.27/26.37 c ---[759118]---> BDD-cost: 1 26.27/26.37 c ---[759116]---> BDD-cost: 1 26.27/26.37 c ---[759114]---> BDD-cost: 1 26.27/26.37 c ---[759112]---> BDD-cost: 1 26.27/26.37 c ---[759110]---> BDD-cost: 1 26.27/26.37 c ---[759108]---> BDD-cost: 1 26.27/26.37 c ---[759106]---> BDD-cost: 1 26.27/26.37 c ---[759104]---> BDD-cost: 1 26.27/26.37 c ---[759102]---> BDD-cost: 1 26.27/26.37 c ---[759100]---> BDD-cost: 1 26.27/26.37 c ---[758982]---> BDD-cost: 1 26.27/26.37 c ---[758700]---> BDD-cost: 1 26.27/26.37 c ---[758698]---> BDD-cost: 1 26.27/26.37 c ---[758696]---> BDD-cost: 1 26.27/26.37 c ---[758694]---> BDD-cost: 1 26.27/26.37 c ---[758692]---> BDD-cost: 1 26.27/26.37 c ---[758690]---> BDD-cost: 1 26.27/26.37 c ---[758688]---> BDD-cost: 1 26.27/26.37 c ---[758686]---> BDD-cost: 1 26.27/26.37 c ---[758684]---> BDD-cost: 1 26.27/26.37 c ---[758682]---> BDD-cost: 1 26.27/26.37 c ---[758680]---> BDD-cost: 1 26.27/26.37 c ---[758678]---> BDD-cost: 1 26.27/26.37 c ---[758676]---> BDD-cost: 1 26.27/26.37 c ---[758674]---> BDD-cost: 1 26.27/26.37 c ---[758672]---> BDD-cost: 1 26.27/26.37 c ---[758670]---> BDD-cost: 1 26.27/26.37 c ---[758668]---> BDD-cost: 1 26.27/26.37 c ---[758666]---> BDD-cost: 1 26.27/26.37 c ---[758664]---> BDD-cost: 1 26.27/26.37 c ---[758662]---> BDD-cost: 1 26.27/26.37 c ---[758660]---> BDD-cost: 1 26.27/26.37 c ---[758658]---> BDD-cost: 1 26.27/26.37 c ---[758656]---> BDD-cost: 1 26.27/26.37 c ---[758654]---> BDD-cost: 1 26.27/26.37 c ---[758652]---> BDD-cost: 1 26.27/26.37 c ---[758650]---> BDD-cost: 1 26.27/26.37 c ---[758648]---> BDD-cost: 1 26.27/26.37 c ---[758646]---> BDD-cost: 1 26.27/26.37 c ---[758644]---> BDD-cost: 1 26.27/26.37 c ---[758642]---> BDD-cost: 1 26.27/26.37 c ---[758640]---> BDD-cost: 1 26.27/26.37 c ---[758638]---> BDD-cost: 1 26.27/26.37 c ---[758636]---> BDD-cost: 1 26.27/26.37 c ---[758489]---> BDD-cost: 1 26.27/26.37 c ---[758201]---> BDD-cost: 1 26.27/26.37 c ---[758199]---> BDD-cost: 1 26.27/26.37 c ---[758197]---> BDD-cost: 1 26.27/26.37 c ---[758195]---> BDD-cost: 1 26.27/26.37 c ---[758193]---> BDD-cost: 1 26.27/26.37 c ---[758191]---> BDD-cost: 1 26.27/26.37 c ---[758189]---> BDD-cost: 1 26.27/26.37 c ---[758187]---> BDD-cost: 1 26.27/26.37 c ---[758185]---> BDD-cost: 1 26.27/26.37 c ---[758183]---> BDD-cost: 1 26.27/26.37 c ---[758181]---> BDD-cost: 1 26.27/26.37 c ---[758179]---> BDD-cost: 1 26.27/26.37 c ---[758177]---> BDD-cost: 1 26.27/26.37 c ---[758175]---> BDD-cost: 1 26.27/26.37 c ---[758173]---> BDD-cost: 1 26.27/26.37 c ---[758171]---> BDD-cost: 1 26.27/26.37 c ---[758169]---> BDD-cost: 1 26.27/26.37 c ---[758167]---> BDD-cost: 1 26.27/26.37 c ---[758165]---> BDD-cost: 1 26.27/26.37 c ---[758163]---> BDD-cost: 1 26.27/26.37 c ---[758161]---> BDD-cost: 1 26.27/26.38 c ---[758159]---> BDD-cost: 1 26.27/26.38 c ---[758157]---> BDD-cost: 1 26.27/26.38 c ---[758155]---> BDD-cost: 1 26.27/26.38 c ---[758153]---> BDD-cost: 1 26.27/26.38 c ---[758151]---> BDD-cost: 1 26.27/26.38 c ---[758149]---> BDD-cost: 1 26.27/26.38 c ---[758147]---> BDD-cost: 1 26.27/26.38 c ---[758145]---> BDD-cost: 1 26.27/26.38 c ---[758143]---> BDD-cost: 1 26.27/26.38 c ---[758141]---> BDD-cost: 1 26.27/26.38 c ---[758139]---> BDD-cost: 1 26.27/26.38 c ---[758137]---> BDD-cost: 1 26.27/26.38 c ---[757984]---> BDD-cost: 1 26.27/26.38 c ---[757658]---> BDD-cost: 1 26.27/26.38 c ---[757656]---> BDD-cost: 1 26.27/26.38 c ---[757654]---> BDD-cost: 1 26.27/26.38 c ---[757652]---> BDD-cost: 1 26.27/26.38 c ---[757650]---> BDD-cost: 1 26.27/26.38 c ---[757648]---> BDD-cost: 1 26.27/26.38 c ---[757646]---> BDD-cost: 1 26.27/26.38 c ---[757644]---> BDD-cost: 1 26.27/26.38 c ---[757642]---> BDD-cost: 1 26.27/26.38 c ---[757640]---> BDD-cost: 1 26.27/26.38 c ---[757638]---> BDD-cost: 1 26.27/26.38 c ---[757636]---> BDD-cost: 1 26.27/26.38 c ---[757634]---> BDD-cost: 1 26.27/26.38 c ---[757632]---> BDD-cost: 1 26.27/26.38 c ---[757630]---> BDD-cost: 1 26.27/26.38 c ---[757628]---> BDD-cost: 1 26.27/26.38 c ---[757626]---> BDD-cost: 1 26.27/26.38 c ---[757624]---> BDD-cost: 1 26.27/26.38 c ---[757622]---> BDD-cost: 1 26.27/26.38 c ---[757620]---> BDD-cost: 1 26.27/26.38 c ---[757618]---> BDD-cost: 1 26.27/26.38 c ---[757616]---> BDD-cost: 1 26.27/26.38 c ---[757614]---> BDD-cost: 1 26.27/26.38 c ---[757612]---> BDD-cost: 1 26.27/26.38 c ---[757610]---> BDD-cost: 1 26.27/26.38 c ---[757608]---> BDD-cost: 1 26.27/26.38 c ---[757606]---> BDD-cost: 1 26.27/26.38 c ---[757604]---> BDD-cost: 1 26.27/26.38 c ---[757602]---> BDD-cost: 1 26.27/26.38 c ---[757600]---> BDD-cost: 1 26.27/26.38 c ---[757598]---> BDD-cost: 1 26.27/26.38 c ---[757596]---> BDD-cost: 1 26.27/26.38 c ---[757594]---> BDD-cost: 1 26.27/26.38 c ---[757435]---> BDD-cost: 1 26.27/26.38 c ---[757072]---> BDD-cost: 1 26.27/26.38 c ---[757070]---> BDD-cost: 1 26.27/26.38 c ---[757068]---> BDD-cost: 1 26.27/26.38 c ---[757066]---> BDD-cost: 1 26.27/26.38 c ---[757064]---> BDD-cost: 1 26.27/26.38 c ---[757062]---> BDD-cost: 1 26.27/26.38 c ---[757060]---> BDD-cost: 1 26.27/26.38 c ---[757058]---> BDD-cost: 1 26.27/26.38 c ---[757056]---> BDD-cost: 1 26.27/26.38 c ---[757054]---> BDD-cost: 1 26.27/26.38 c ---[757052]---> BDD-cost: 1 26.27/26.38 c ---[757050]---> BDD-cost: 1 26.27/26.38 c ---[757048]---> BDD-cost: 1 26.27/26.38 c ---[757046]---> BDD-cost: 1 26.27/26.38 c ---[757044]---> BDD-cost: 1 26.27/26.38 c ---[757042]---> BDD-cost: 1 26.27/26.38 c ---[757040]---> BDD-cost: 1 26.27/26.38 c ---[757038]---> BDD-cost: 1 26.27/26.38 c ---[757036]---> BDD-cost: 1 26.27/26.38 c ---[757034]---> BDD-cost: 1 26.27/26.38 c ---[757032]---> BDD-cost: 1 26.27/26.38 c ---[757030]---> BDD-cost: 1 26.27/26.38 c ---[757028]---> BDD-cost: 1 26.27/26.38 c ---[757026]---> BDD-cost: 1 26.27/26.38 c ---[757024]---> BDD-cost: 1 26.27/26.38 c ---[757022]---> BDD-cost: 1 26.27/26.38 c ---[757020]---> BDD-cost: 1 26.27/26.38 c ---[757018]---> BDD-cost: 1 26.27/26.38 c ---[757016]---> BDD-cost: 1 26.27/26.38 c ---[757014]---> BDD-cost: 1 26.27/26.38 c ---[757012]---> BDD-cost: 1 26.27/26.38 c ---[757010]---> BDD-cost: 1 26.27/26.38 c ---[757008]---> BDD-cost: 1 26.27/26.38 c ---[756843]---> BDD-cost: 1 26.27/26.38 c ---[756444]---> BDD-cost: 1 26.27/26.38 c ---[756442]---> BDD-cost: 1 26.27/26.38 c ---[756440]---> BDD-cost: 1 26.27/26.38 c ---[756438]---> BDD-cost: 1 26.27/26.38 c ---[756436]---> BDD-cost: 1 26.27/26.38 c ---[756434]---> BDD-cost: 1 26.27/26.38 c ---[756432]---> BDD-cost: 1 26.27/26.38 c ---[756430]---> BDD-cost: 1 26.27/26.38 c ---[756428]---> BDD-cost: 1 26.27/26.38 c ---[756426]---> BDD-cost: 1 26.27/26.38 c ---[756424]---> BDD-cost: 1 26.27/26.38 c ---[756422]---> BDD-cost: 1 26.27/26.38 c ---[756420]---> BDD-cost: 1 26.27/26.38 c ---[756418]---> BDD-cost: 1 26.27/26.38 c ---[756416]---> BDD-cost: 1 26.27/26.38 c ---[756414]---> BDD-cost: 1 26.27/26.38 c ---[756412]---> BDD-cost: 1 26.27/26.38 c ---[756410]---> BDD-cost: 1 26.27/26.38 c ---[756408]---> BDD-cost: 1 26.27/26.38 c ---[756406]---> BDD-cost: 1 26.27/26.38 c ---[756404]---> BDD-cost: 1 26.27/26.38 c ---[756402]---> BDD-cost: 1 26.27/26.38 c ---[756400]---> BDD-cost: 1 26.27/26.38 c ---[756398]---> BDD-cost: 1 26.27/26.38 c ---[756396]---> BDD-cost: 1 26.27/26.38 c ---[756394]---> BDD-cost: 1 26.27/26.38 c ---[756392]---> BDD-cost: 1 26.27/26.38 c ---[756390]---> BDD-cost: 1 26.27/26.38 c ---[756388]---> BDD-cost: 1 26.27/26.38 c ---[756386]---> BDD-cost: 1 26.27/26.38 c ---[756384]---> BDD-cost: 1 26.27/26.38 c ---[756382]---> BDD-cost: 1 26.27/26.38 c ---[756380]---> BDD-cost: 1 26.27/26.38 c ---[756209]---> BDD-cost: 1 26.27/26.38 c ---[755288]---> BDD-cost: 1 26.27/26.38 c ---[755286]---> BDD-cost: 1 26.27/26.38 c ---[755284]---> BDD-cost: 1 26.27/26.38 c ---[755282]---> BDD-cost: 1 26.27/26.38 c ---[755280]---> BDD-cost: 1 26.27/26.38 c ---[755278]---> BDD-cost: 1 26.27/26.38 c ---[755276]---> BDD-cost: 1 26.27/26.38 c ---[755274]---> BDD-cost: 1 26.27/26.38 c ---[755272]---> BDD-cost: 1 26.27/26.38 c ---[755270]---> BDD-cost: 1 26.27/26.38 c ---[755268]---> BDD-cost: 1 26.27/26.38 c ---[755266]---> BDD-cost: 1 26.27/26.38 c ---[755264]---> BDD-cost: 1 26.27/26.38 c ---[755262]---> BDD-cost: 1 26.27/26.38 c ---[755260]---> BDD-cost: 1 26.27/26.38 c ---[755258]---> BDD-cost: 1 26.27/26.38 c ---[755256]---> BDD-cost: 1 26.27/26.38 c ---[755254]---> BDD-cost: 1 26.27/26.38 c ---[755252]---> BDD-cost: 1 26.27/26.38 c ---[755250]---> BDD-cost: 1 26.27/26.38 c ---[755248]---> BDD-cost: 1 26.27/26.38 c ---[755246]---> BDD-cost: 1 26.27/26.38 c ---[755244]---> BDD-cost: 1 26.27/26.38 c ---[755242]---> BDD-cost: 1 26.27/26.38 c ---[755240]---> BDD-cost: 1 26.27/26.38 c ---[755238]---> BDD-cost: 1 26.27/26.38 c ---[755236]---> BDD-cost: 1 26.27/26.38 c ---[755234]---> BDD-cost: 1 26.27/26.38 c ---[755232]---> BDD-cost: 1 26.27/26.38 c ---[755230]---> BDD-cost: 1 26.27/26.38 c ---[755228]---> BDD-cost: 1 26.27/26.38 c ---[755226]---> BDD-cost: 1 26.27/26.38 c ---[755224]---> BDD-cost: 1 26.27/26.38 c ---[755085]---> BDD-cost: 1 26.27/26.38 c ---[755083]---> BDD-cost: 1 26.27/26.38 c ---[755081]---> BDD-cost: 1 26.27/26.38 c ---[755079]---> BDD-cost: 1 26.27/26.38 c ---[755077]---> BDD-cost: 1 26.27/26.38 c ---[755075]---> BDD-cost: 1 26.27/26.38 c ---[755073]---> BDD-cost: 1 26.27/26.38 c ---[755071]---> BDD-cost: 1 26.27/26.38 c ---[755069]---> BDD-cost: 1 26.27/26.38 c ---[755067]---> BDD-cost: 1 26.27/26.38 c ---[755065]---> BDD-cost: 1 26.27/26.38 c ---[755063]---> BDD-cost: 1 26.27/26.38 c ---[755061]---> BDD-cost: 1 26.27/26.38 c ---[755059]---> BDD-cost: 1 26.27/26.38 c ---[755057]---> BDD-cost: 1 26.27/26.38 c ---[755055]---> BDD-cost: 1 26.27/26.38 c ---[755053]---> BDD-cost: 1 26.27/26.38 c ---[755051]---> BDD-cost: 1 26.27/26.38 c ---[755049]---> BDD-cost: 1 26.27/26.38 c ---[755047]---> BDD-cost: 1 26.27/26.38 c ---[755045]---> BDD-cost: 1 26.27/26.38 c ---[755043]---> BDD-cost: 1 26.27/26.38 c ---[755041]---> BDD-cost: 1 26.27/26.38 c ---[755039]---> BDD-cost: 1 26.27/26.38 c ---[755037]---> BDD-cost: 1 26.27/26.38 c ---[755035]---> BDD-cost: 1 26.27/26.38 c ---[755033]---> BDD-cost: 1 26.27/26.38 c ---[755031]---> BDD-cost: 1 26.27/26.38 c ---[755029]---> BDD-cost: 1 26.27/26.38 c ---[755027]---> BDD-cost: 1 26.27/26.38 c ---[755025]---> BDD-cost: 1 26.27/26.38 c ---[755023]---> BDD-cost: 1 26.27/26.38 c ---[755021]---> BDD-cost: 1 26.27/26.38 c ---[755019]---> BDD-cost: 1 26.27/26.38 c ---[755017]---> BDD-cost: 1 26.27/26.38 c ---[755015]---> BDD-cost: 1 26.27/26.38 c ---[755013]---> BDD-cost: 1 26.27/26.38 c ---[755011]---> BDD-cost: 1 26.27/26.38 c ---[755009]---> BDD-cost: 1 26.27/26.38 c ---[755007]---> BDD-cost: 1 26.27/26.38 c ---[755005]---> BDD-cost: 1 26.27/26.38 c ---[755003]---> BDD-cost: 1 26.27/26.38 c ---[755001]---> BDD-cost: 1 26.27/26.38 c ---[754999]---> BDD-cost: 1 26.27/26.38 c ---[754997]---> BDD-cost: 1 26.27/26.38 c ---[754995]---> BDD-cost: 1 26.27/26.38 c ---[754993]---> BDD-cost: 1 26.27/26.38 c ---[754991]---> BDD-cost: 1 26.27/26.38 c ---[754989]---> BDD-cost: 1 26.27/26.38 c ---[754987]---> BDD-cost: 1 26.27/26.38 c ---[754985]---> BDD-cost: 1 26.27/26.38 c ---[754983]---> BDD-cost: 1 26.27/26.38 c ---[754981]---> BDD-cost: 1 26.27/26.38 c ---[754979]---> BDD-cost: 1 26.27/26.38 c ---[754977]---> BDD-cost: 1 26.27/26.38 c ---[754975]---> BDD-cost: 1 26.27/26.38 c ---[754973]---> BDD-cost: 1 26.27/26.38 c ---[754971]---> BDD-cost: 1 26.27/26.38 c ---[754969]---> BDD-cost: 1 26.27/26.38 c ---[754967]---> BDD-cost: 1 26.27/26.38 c ---[754965]---> BDD-cost: 1 26.27/26.38 c ---[754963]---> BDD-cost: 1 26.27/26.38 c ---[754961]---> BDD-cost: 1 26.27/26.38 c ---[754959]---> BDD-cost: 1 26.27/26.38 c ---[754957]---> BDD-cost: 1 26.27/26.38 c ---[754955]---> BDD-cost: 1 26.27/26.38 c ---[754953]---> BDD-cost: 1 26.27/26.38 c ---[754951]---> BDD-cost: 1 26.27/26.38 c ---[754949]---> BDD-cost: 1 26.27/26.38 c ---[754947]---> BDD-cost: 1 26.27/26.38 c ---[754945]---> BDD-cost: 1 26.27/26.38 c ---[754943]---> BDD-cost: 1 26.27/26.38 c ---[754941]---> BDD-cost: 1 26.27/26.38 c ---[754939]---> BDD-cost: 1 26.27/26.38 c ---[754937]---> BDD-cost: 1 26.27/26.38 c ---[754935]---> BDD-cost: 1 26.27/26.38 c ---[754933]---> BDD-cost: 1 26.27/26.38 c ---[754931]---> BDD-cost: 1 26.27/26.38 c ---[754929]---> BDD-cost: 1 26.27/26.38 c ---[754927]---> BDD-cost: 1 26.27/26.38 c ---[754925]---> BDD-cost: 1 26.27/26.38 c ---[754923]---> BDD-cost: 1 26.27/26.38 c ---[754921]---> BDD-cost: 1 26.27/26.38 c ---[754919]---> BDD-cost: 1 26.27/26.38 c ---[754917]---> BDD-cost: 1 26.27/26.38 c ---[754915]---> BDD-cost: 1 26.27/26.38 c ---[754913]---> BDD-cost: 1 26.27/26.38 c ---[754911]---> BDD-cost: 1 26.27/26.38 c ---[754909]---> BDD-cost: 1 26.27/26.38 c ---[754907]---> BDD-cost: 1 26.27/26.38 c ---[754905]---> BDD-cost: 1 26.27/26.38 c ---[754903]---> BDD-cost: 1 26.27/26.38 c ---[754901]---> BDD-cost: 1 26.27/26.38 c ---[754899]---> BDD-cost: 1 26.27/26.38 c ---[754897]---> BDD-cost: 1 26.27/26.38 c ---[754895]---> BDD-cost: 1 26.27/26.38 c ---[754893]---> BDD-cost: 1 26.27/26.38 c ---[754891]---> BDD-cost: 1 26.27/26.38 c ---[754889]---> BDD-cost: 1 26.27/26.38 c ---[754887]---> BDD-cost: 1 26.27/26.38 c ---[754885]---> BDD-cost: 1 26.27/26.38 c ---[754883]---> BDD-cost: 1 26.27/26.38 c ---[754881]---> BDD-cost: 1 26.27/26.38 c ---[754879]---> BDD-cost: 1 26.27/26.38 c ---[754877]---> BDD-cost: 1 26.27/26.38 c ---[754875]---> BDD-cost: 1 26.27/26.38 c ---[754873]---> BDD-cost: 1 26.27/26.38 c ---[754871]---> BDD-cost: 1 26.27/26.38 c ---[754869]---> BDD-cost: 1 26.27/26.38 c ---[754867]---> BDD-cost: 1 26.27/26.38 c ---[754865]---> BDD-cost: 1 26.27/26.38 c ---[754863]---> BDD-cost: 1 26.27/26.38 c ---[754861]---> BDD-cost: 1 26.27/26.38 c ---[754859]---> BDD-cost: 1 26.27/26.38 c ---[754857]---> BDD-cost: 1 26.27/26.38 c ---[754855]---> BDD-cost: 1 26.27/26.38 c ---[754853]---> BDD-cost: 1 26.27/26.38 c ---[754851]---> BDD-cost: 1 26.27/26.38 c ---[754849]---> BDD-cost: 1 26.27/26.38 c ---[754847]---> BDD-cost: 1 26.27/26.38 c ---[754845]---> BDD-cost: 1 26.27/26.38 c ---[754843]---> BDD-cost: 1 26.27/26.38 c ---[754841]---> BDD-cost: 1 26.27/26.38 c ---[754839]---> BDD-cost: 1 26.27/26.38 c ---[754837]---> BDD-cost: 1 26.27/26.38 c ---[754835]---> BDD-cost: 1 26.27/26.38 c ---[754833]---> BDD-cost: 1 26.27/26.38 c ---[754831]---> BDD-cost: 1 26.27/26.38 c ---[754829]---> BDD-cost: 1 26.27/26.38 c ---[754827]---> BDD-cost: 1 26.27/26.38 c ---[754825]---> BDD-cost: 1 26.27/26.38 c ---[754823]---> BDD-cost: 1 26.27/26.38 c ---[754821]---> BDD-cost: 1 26.27/26.38 c ---[754819]---> BDD-cost: 1 26.27/26.38 c ---[754817]---> BDD-cost: 1 26.27/26.38 c ---[754815]---> BDD-cost: 1 26.27/26.38 c ---[754813]---> BDD-cost: 1 26.27/26.38 c ---[754811]---> BDD-cost: 1 26.27/26.38 c ---[754809]---> BDD-cost: 1 26.27/26.38 c ---[754807]---> BDD-cost: 1 26.27/26.38 c ---[754805]---> BDD-cost: 1 26.27/26.38 c ---[754803]---> BDD-cost: 1 26.27/26.38 c ---[754801]---> BDD-cost: 1 26.27/26.38 c ---[754799]---> BDD-cost: 1 26.27/26.38 c ---[754797]---> BDD-cost: 1 26.27/26.38 c ---[754795]---> BDD-cost: 1 26.27/26.38 c ---[754793]---> BDD-cost: 1 26.27/26.38 c ---[754791]---> BDD-cost: 1 26.27/26.39 c ---[754789]---> BDD-cost: 1 26.27/26.39 c ---[754787]---> BDD-cost: 1 26.27/26.39 c ---[754785]---> BDD-cost: 1 26.27/26.39 c ---[754783]---> BDD-cost: 1 26.27/26.39 c ---[754781]---> BDD-cost: 1 26.27/26.39 c ---[754779]---> BDD-cost: 1 26.27/26.39 c ---[754777]---> BDD-cost: 1 26.27/26.39 c ---[754775]---> BDD-cost: 1 26.27/26.39 c ---[754773]---> BDD-cost: 1 26.27/26.39 c ---[754771]---> BDD-cost: 1 26.27/26.39 c ---[754769]---> BDD-cost: 1 26.27/26.39 c ---[754767]---> BDD-cost: 1 26.27/26.39 c ---[754765]---> BDD-cost: 1 26.27/26.39 c ---[754763]---> BDD-cost: 1 26.27/26.39 c ---[754761]---> BDD-cost: 1 26.27/26.39 c ---[754759]---> BDD-cost: 1 26.27/26.39 c ---[754757]---> BDD-cost: 1 26.27/26.39 c ---[754755]---> BDD-cost: 1 26.27/26.39 c ---[754753]---> BDD-cost: 1 26.27/26.39 c ---[754751]---> BDD-cost: 1 26.27/26.39 c ---[754749]---> BDD-cost: 1 26.27/26.39 c ---[754747]---> BDD-cost: 1 26.27/26.39 c ---[754745]---> BDD-cost: 1 26.27/26.39 c ---[754743]---> BDD-cost: 1 26.27/26.39 c ---[754741]---> BDD-cost: 1 26.27/26.39 c ---[754739]---> BDD-cost: 1 26.27/26.39 c ---[754737]---> BDD-cost: 1 26.27/26.39 c ---[754735]---> BDD-cost: 1 26.27/26.39 c ---[754733]---> BDD-cost: 1 26.27/26.39 c ---[754731]---> BDD-cost: 1 26.27/26.39 c ---[754729]---> BDD-cost: 1 26.27/26.39 c ---[754727]---> BDD-cost: 1 26.27/26.39 c ---[754725]---> BDD-cost: 1 26.27/26.39 c ---[754723]---> BDD-cost: 1 26.27/26.39 c ---[754721]---> BDD-cost: 1 26.27/26.39 c ---[754719]---> BDD-cost: 1 26.27/26.39 c ---[754717]---> BDD-cost: 1 26.27/26.39 c ---[754715]---> BDD-cost: 1 26.27/26.39 c ---[754713]---> BDD-cost: 1 26.27/26.39 c ---[754711]---> BDD-cost: 1 26.27/26.39 c ---[754709]---> BDD-cost: 1 26.27/26.39 c ---[754707]---> BDD-cost: 1 26.27/26.39 c ---[754705]---> BDD-cost: 1 26.27/26.39 c ---[754703]---> BDD-cost: 1 26.27/26.39 c ---[754701]---> BDD-cost: 1 26.27/26.39 c ---[754699]---> BDD-cost: 1 26.27/26.39 c ---[754697]---> BDD-cost: 1 26.27/26.39 c ---[754695]---> BDD-cost: 1 26.27/26.39 c ---[754693]---> BDD-cost: 1 26.27/26.39 c ---[754691]---> BDD-cost: 1 26.27/26.39 c ---[754689]---> BDD-cost: 1 26.27/26.39 c ---[754687]---> BDD-cost: 1 26.27/26.39 c ---[754685]---> BDD-cost: 1 26.27/26.39 c ---[754683]---> BDD-cost: 1 26.27/26.39 c ---[754681]---> BDD-cost: 1 26.27/26.39 c ---[754679]---> BDD-cost: 1 26.27/26.39 c ---[754677]---> BDD-cost: 1 26.27/26.39 c ---[754675]---> BDD-cost: 1 26.27/26.39 c ---[754673]---> BDD-cost: 1 26.27/26.39 c ---[754671]---> BDD-cost: 1 26.27/26.39 c ---[754669]---> BDD-cost: 1 26.27/26.39 c ---[754667]---> BDD-cost: 1 26.27/26.39 c ---[754665]---> BDD-cost: 1 26.27/26.39 c ---[754663]---> BDD-cost: 1 26.27/26.39 c ---[754661]---> BDD-cost: 1 26.27/26.39 c ---[754659]---> BDD-cost: 1 26.27/26.39 c ---[754657]---> BDD-cost: 1 26.27/26.39 c ---[754655]---> BDD-cost: 1 26.27/26.39 c ---[754653]---> BDD-cost: 1 26.27/26.39 c ---[754651]---> BDD-cost: 1 26.27/26.39 c ---[754649]---> BDD-cost: 1 26.27/26.39 c ---[754647]---> BDD-cost: 1 26.27/26.39 c ---[754645]---> BDD-cost: 1 26.27/26.39 c ---[754643]---> BDD-cost: 1 26.27/26.39 c ---[754641]---> BDD-cost: 1 26.27/26.39 c ---[754639]---> BDD-cost: 1 26.27/26.39 c ---[754637]---> BDD-cost: 1 26.27/26.39 c ---[754635]---> BDD-cost: 1 26.27/26.39 c ---[754633]---> BDD-cost: 1 26.27/26.39 c ---[754631]---> BDD-cost: 1 26.27/26.39 c ---[754629]---> BDD-cost: 1 26.27/26.39 c ---[754627]---> BDD-cost: 1 26.27/26.39 c ---[754625]---> BDD-cost: 1 26.27/26.39 c ---[754623]---> BDD-cost: 1 26.27/26.39 c ---[754621]---> BDD-cost: 1 26.27/26.39 c ---[754619]---> BDD-cost: 1 26.27/26.39 c ---[754617]---> BDD-cost: 1 26.27/26.39 c ---[754615]---> BDD-cost: 1 26.27/26.39 c ---[754613]---> BDD-cost: 1 26.27/26.39 c ---[754611]---> BDD-cost: 1 26.27/26.39 c ---[754609]---> BDD-cost: 1 26.27/26.39 c ---[754607]---> BDD-cost: 1 26.27/26.39 c ---[754605]---> BDD-cost: 1 26.27/26.39 c ---[754603]---> BDD-cost: 1 26.27/26.39 c ---[754601]---> BDD-cost: 1 26.27/26.39 c ---[754599]---> BDD-cost: 1 26.27/26.39 c ---[754597]---> BDD-cost: 1 26.27/26.39 c ---[754595]---> BDD-cost: 1 26.27/26.39 c ---[754593]---> BDD-cost: 1 26.27/26.39 c ---[754591]---> BDD-cost: 1 26.27/26.39 c ---[754589]---> BDD-cost: 1 26.27/26.39 c ---[754587]---> BDD-cost: 1 26.27/26.39 c ---[754585]---> BDD-cost: 1 26.27/26.39 c ---[754583]---> BDD-cost: 1 26.27/26.39 c ---[754581]---> BDD-cost: 1 26.27/26.39 c ---[754579]---> BDD-cost: 1 26.27/26.39 c ---[754577]---> BDD-cost: 1 26.27/26.39 c ---[754575]---> BDD-cost: 1 26.27/26.39 c ---[754573]---> BDD-cost: 1 26.27/26.39 c ---[754571]---> BDD-cost: 1 26.27/26.39 c ---[754569]---> BDD-cost: 1 26.27/26.39 c ---[754567]---> BDD-cost: 1 26.27/26.39 c ---[754565]---> BDD-cost: 1 26.27/26.39 c ---[754563]---> BDD-cost: 1 26.27/26.39 c ---[754561]---> BDD-cost: 1 26.27/26.39 c ---[754559]---> BDD-cost: 1 26.27/26.39 c ---[754557]---> BDD-cost: 1 26.27/26.39 c ---[754555]---> BDD-cost: 1 26.27/26.39 c ---[754553]---> BDD-cost: 1 26.27/26.39 c ---[754551]---> BDD-cost: 1 26.27/26.39 c ---[754549]---> BDD-cost: 1 26.27/26.39 c ---[754547]---> BDD-cost: 1 26.27/26.39 c ---[754545]---> BDD-cost: 1 26.27/26.39 c ---[754543]---> BDD-cost: 1 26.27/26.39 c ---[754541]---> BDD-cost: 1 26.27/26.39 c ---[754539]---> BDD-cost: 1 26.27/26.39 c ---[754537]---> BDD-cost: 1 26.27/26.39 c ---[754535]---> BDD-cost: 1 26.27/26.39 c ---[754533]---> BDD-cost: 1 26.27/26.39 c ---[754531]---> BDD-cost: 1 26.27/26.39 c ---[754529]---> BDD-cost: 1 26.27/26.39 c ---[754527]---> BDD-cost: 1 26.27/26.39 c ---[754525]---> BDD-cost: 1 26.27/26.39 c ---[754523]---> BDD-cost: 1 26.27/26.39 c ---[754521]---> BDD-cost: 1 26.27/26.39 c ---[754519]---> BDD-cost: 1 26.27/26.39 c ---[754517]---> BDD-cost: 1 26.27/26.39 c ---[754515]---> BDD-cost: 1 26.27/26.39 c ---[754513]---> BDD-cost: 1 26.27/26.39 c ---[754511]---> BDD-cost: 1 26.27/26.39 c ---[754509]---> BDD-cost: 1 26.27/26.39 c ---[754507]---> BDD-cost: 1 26.27/26.39 c ---[754505]---> BDD-cost: 1 26.27/26.39 c ---[754503]---> BDD-cost: 1 26.27/26.39 c ---[754501]---> BDD-cost: 1 26.27/26.39 c ---[754499]---> BDD-cost: 1 26.27/26.39 c ---[754497]---> BDD-cost: 1 26.27/26.39 c ---[754495]---> BDD-cost: 1 26.27/26.39 c ---[754493]---> BDD-cost: 1 26.27/26.39 c ---[754491]---> BDD-cost: 1 26.27/26.39 c ---[754489]---> BDD-cost: 1 26.27/26.39 c ---[754487]---> BDD-cost: 1 26.27/26.39 c ---[754485]---> BDD-cost: 1 26.27/26.39 c ---[754483]---> BDD-cost: 1 26.27/26.39 c ---[754481]---> BDD-cost: 1 26.27/26.39 c ---[754479]---> BDD-cost: 1 26.27/26.39 c ---[754477]---> BDD-cost: 1 26.27/26.39 c ---[754475]---> BDD-cost: 1 26.27/26.39 c ---[754473]---> BDD-cost: 1 26.27/26.39 c ---[754471]---> BDD-cost: 1 26.27/26.39 c ---[754469]---> BDD-cost: 1 26.27/26.39 c ---[754467]---> BDD-cost: 1 26.27/26.39 c ---[754465]---> BDD-cost: 1 26.27/26.39 c ---[754463]---> BDD-cost: 1 26.27/26.39 c ---[754461]---> BDD-cost: 1 26.27/26.39 c ---[754459]---> BDD-cost: 1 26.27/26.39 c ---[754457]---> BDD-cost: 1 26.27/26.39 c ---[754455]---> BDD-cost: 1 26.27/26.39 c ---[754453]---> BDD-cost: 1 26.27/26.39 c ---[754451]---> BDD-cost: 1 26.27/26.39 c ---[754449]---> BDD-cost: 1 26.27/26.39 c ---[754447]---> BDD-cost: 1 26.27/26.39 c ---[754445]---> BDD-cost: 1 26.27/26.39 c ---[754443]---> BDD-cost: 1 26.27/26.39 c ---[754441]---> BDD-cost: 1 26.27/26.39 c ---[754439]---> BDD-cost: 1 26.27/26.39 c ---[754437]---> BDD-cost: 1 26.27/26.39 c ---[754435]---> BDD-cost: 1 26.27/26.39 c ---[754433]---> BDD-cost: 1 26.27/26.39 c ---[754431]---> BDD-cost: 1 26.27/26.39 c ---[754429]---> BDD-cost: 1 26.27/26.39 c ---[754427]---> BDD-cost: 1 26.27/26.39 c ---[754425]---> BDD-cost: 1 26.27/26.39 c ---[754423]---> BDD-cost: 1 26.27/26.39 c ---[754421]---> BDD-cost: 1 26.27/26.39 c ---[754419]---> BDD-cost: 1 26.27/26.39 c ---[754417]---> BDD-cost: 1 26.27/26.39 c ---[754415]---> BDD-cost: 1 26.27/26.39 c ---[754413]---> BDD-cost: 1 26.27/26.39 c ---[754411]---> BDD-cost: 1 26.27/26.39 c ---[754409]---> BDD-cost: 1 26.27/26.39 c ---[754407]---> BDD-cost: 1 26.27/26.39 c ---[754405]---> BDD-cost: 1 26.27/26.39 c ---[754403]---> BDD-cost: 1 26.27/26.39 c ---[754401]---> BDD-cost: 1 26.27/26.39 c ---[754399]---> BDD-cost: 1 26.27/26.39 c ---[754397]---> BDD-cost: 1 26.27/26.39 c ---[754395]---> BDD-cost: 1 26.27/26.39 c ---[754393]---> BDD-cost: 1 26.27/26.39 c ---[754391]---> BDD-cost: 1 26.27/26.39 c ---[754389]---> BDD-cost: 1 26.27/26.39 c ---[754387]---> BDD-cost: 1 26.27/26.39 c ---[754385]---> BDD-cost: 1 26.27/26.39 c ---[754383]---> BDD-cost: 1 26.27/26.39 c ---[754381]---> BDD-cost: 1 26.27/26.39 c ---[754379]---> BDD-cost: 1 26.27/26.39 c ---[754377]---> BDD-cost: 1 26.27/26.39 c ---[754375]---> BDD-cost: 1 26.27/26.39 c ---[754373]---> BDD-cost: 1 26.27/26.39 c ---[754371]---> BDD-cost: 1 26.27/26.39 c ---[754369]---> BDD-cost: 1 26.27/26.39 c ---[754367]---> BDD-cost: 1 26.27/26.39 c ---[754365]---> BDD-cost: 1 26.27/26.39 c ---[754363]---> BDD-cost: 1 26.27/26.39 c ---[754361]---> BDD-cost: 1 26.27/26.39 c ---[754359]---> BDD-cost: 1 26.27/26.39 c ---[754357]---> BDD-cost: 1 26.27/26.39 c ---[754355]---> BDD-cost: 1 26.27/26.39 c ---[754353]---> BDD-cost: 1 26.27/26.39 c ---[754351]---> BDD-cost: 1 26.27/26.39 c ---[754349]---> BDD-cost: 1 26.27/26.39 c ---[754347]---> BDD-cost: 1 26.27/26.39 c ---[754345]---> BDD-cost: 1 26.27/26.39 c ---[754343]---> BDD-cost: 1 26.27/26.39 c ---[754341]---> BDD-cost: 1 26.27/26.39 c ---[754339]---> BDD-cost: 1 26.27/26.39 c ---[754337]---> BDD-cost: 1 26.27/26.39 c ---[754335]---> BDD-cost: 1 26.27/26.39 c ---[754333]---> BDD-cost: 1 26.27/26.39 c ---[754331]---> BDD-cost: 1 26.27/26.39 c ---[754329]---> BDD-cost: 1 26.27/26.39 c ---[754327]---> BDD-cost: 1 26.27/26.39 c ---[754325]---> BDD-cost: 1 26.27/26.39 c ---[754323]---> BDD-cost: 1 26.27/26.39 c ---[754321]---> BDD-cost: 1 26.27/26.39 c ---[754319]---> BDD-cost: 1 26.27/26.39 c ---[754317]---> BDD-cost: 1 26.27/26.39 c ---[754315]---> BDD-cost: 1 26.27/26.39 c ---[754313]---> BDD-cost: 1 26.27/26.39 c ---[754311]---> BDD-cost: 1 26.27/26.39 c ---[754309]---> BDD-cost: 1 26.27/26.39 c ---[754307]---> BDD-cost: 1 26.27/26.39 c ---[754305]---> BDD-cost: 1 26.27/26.39 c ---[754303]---> BDD-cost: 1 26.27/26.39 c ---[754301]---> BDD-cost: 1 26.27/26.39 c ---[754299]---> BDD-cost: 1 26.27/26.39 c ---[754297]---> BDD-cost: 1 26.27/26.39 c ---[754295]---> BDD-cost: 1 26.27/26.39 c ---[754293]---> BDD-cost: 1 26.27/26.39 c ---[754291]---> BDD-cost: 1 26.27/26.39 c ---[754289]---> BDD-cost: 1 26.27/26.39 c ---[754287]---> BDD-cost: 1 26.27/26.39 c ---[754285]---> BDD-cost: 1 26.27/26.39 c ---[754283]---> BDD-cost: 1 26.27/26.39 c ---[754281]---> BDD-cost: 1 26.27/26.39 c ---[754279]---> BDD-cost: 1 26.27/26.39 c ---[754277]---> BDD-cost: 1 26.27/26.39 c ---[754275]---> BDD-cost: 1 26.27/26.39 c ---[754273]---> BDD-cost: 1 26.27/26.39 c ---[754271]---> BDD-cost: 1 26.27/26.39 c ---[754269]---> BDD-cost: 1 26.27/26.39 c ---[754267]---> BDD-cost: 1 26.27/26.39 c ---[754265]---> BDD-cost: 1 26.27/26.39 c ---[754263]---> BDD-cost: 1 26.27/26.39 c ---[754261]---> BDD-cost: 1 26.27/26.39 c ---[754259]---> BDD-cost: 1 26.27/26.39 c ---[754257]---> BDD-cost: 1 26.27/26.39 c ---[754255]---> BDD-cost: 1 26.27/26.39 c ---[754253]---> BDD-cost: 1 26.27/26.39 c ---[754251]---> BDD-cost: 1 26.27/26.39 c ---[754249]---> BDD-cost: 1 26.27/26.39 c ---[754247]---> BDD-cost: 1 26.27/26.39 c ---[754245]---> BDD-cost: 1 26.27/26.39 c ---[754243]---> BDD-cost: 1 26.27/26.39 c ---[754241]---> BDD-cost: 1 26.27/26.39 c ---[754239]---> BDD-cost: 1 26.27/26.39 c ---[754237]---> BDD-cost: 1 26.27/26.39 c ---[754235]---> BDD-cost: 1 26.27/26.39 c ---[754233]---> BDD-cost: 1 26.27/26.39 c ---[754231]---> BDD-cost: 1 26.27/26.39 c ---[754229]---> BDD-cost: 1 26.27/26.39 c ---[754227]---> BDD-cost: 1 26.27/26.39 c ---[754225]---> BDD-cost: 1 26.27/26.39 c ---[754223]---> BDD-cost: 1 26.27/26.39 c ---[754221]---> BDD-cost: 1 26.27/26.39 c ---[754219]---> BDD-cost: 1 26.27/26.39 c ---[754217]---> BDD-cost: 1 26.27/26.39 c ---[754215]---> BDD-cost: 1 26.27/26.39 c ---[754213]---> BDD-cost: 1 26.27/26.39 c ---[754211]---> BDD-cost: 1 26.27/26.39 c ---[754209]---> BDD-cost: 1 26.27/26.39 c ---[754207]---> BDD-cost: 1 26.27/26.39 c ---[754205]---> BDD-cost: 1 26.27/26.39 c ---[754203]---> BDD-cost: 1 26.27/26.39 c ---[754201]---> BDD-cost: 1 26.27/26.39 c ---[754199]---> BDD-cost: 1 26.27/26.39 c ---[754197]---> BDD-cost: 1 26.27/26.39 c ---[754195]---> BDD-cost: 1 26.27/26.39 c ---[754193]---> BDD-cost: 1 26.27/26.39 c ---[754191]---> BDD-cost: 1 26.27/26.39 c ---[754189]---> BDD-cost: 1 26.27/26.39 c ---[754187]---> BDD-cost: 1 26.27/26.39 c ---[754185]---> BDD-cost: 1 26.27/26.39 c ---[754183]---> BDD-cost: 1 26.27/26.39 c ---[754181]---> BDD-cost: 1 26.27/26.40 c ---[754179]---> BDD-cost: 1 26.27/26.40 c ---[754177]---> BDD-cost: 1 26.27/26.40 c ---[754175]---> BDD-cost: 1 26.27/26.40 c ---[754173]---> BDD-cost: 1 26.27/26.40 c ---[754171]---> BDD-cost: 1 26.27/26.40 c ---[754169]---> BDD-cost: 1 26.27/26.40 c ---[754167]---> BDD-cost: 1 26.27/26.40 c ---[754165]---> BDD-cost: 1 26.27/26.40 c ---[754163]---> BDD-cost: 1 26.27/26.40 c ---[754161]---> BDD-cost: 1 26.27/26.40 c ---[754159]---> BDD-cost: 1 26.27/26.40 c ---[754157]---> BDD-cost: 1 26.27/26.40 c ---[754155]---> BDD-cost: 1 26.27/26.40 c ---[754153]---> BDD-cost: 1 26.27/26.40 c ---[754151]---> BDD-cost: 1 26.27/26.40 c ---[754149]---> BDD-cost: 1 26.27/26.40 c ---[754147]---> BDD-cost: 1 26.27/26.40 c ---[754145]---> BDD-cost: 1 26.27/26.40 c ---[754143]---> BDD-cost: 1 26.27/26.40 c ---[754141]---> BDD-cost: 1 26.27/26.40 c ---[754104]---> BDD-cost: 1 26.27/26.40 c ---[753642]---> BDD-cost: 1 26.27/26.40 c ---[753640]---> BDD-cost: 1 26.27/26.40 c ---[753638]---> BDD-cost: 1 26.27/26.40 c ---[753636]---> BDD-cost: 1 26.27/26.40 c ---[753634]---> BDD-cost: 1 26.27/26.40 c ---[753632]---> BDD-cost: 1 26.27/26.40 c ---[753630]---> BDD-cost: 1 26.27/26.40 c ---[753628]---> BDD-cost: 1 26.27/26.40 c ---[753626]---> BDD-cost: 1 26.27/26.40 c ---[753624]---> BDD-cost: 1 26.27/26.40 c ---[753622]---> BDD-cost: 1 26.27/26.40 c ---[753620]---> BDD-cost: 1 26.27/26.40 c ---[753618]---> BDD-cost: 1 26.27/26.40 c ---[753616]---> BDD-cost: 1 26.27/26.40 c ---[753614]---> BDD-cost: 1 26.27/26.40 c ---[753612]---> BDD-cost: 1 26.27/26.40 c ---[753610]---> BDD-cost: 1 26.27/26.40 c ---[753608]---> BDD-cost: 1 26.27/26.40 c ---[753606]---> BDD-cost: 1 26.27/26.40 c ---[753604]---> BDD-cost: 1 26.27/26.40 c ---[753602]---> BDD-cost: 1 26.27/26.40 c ---[753600]---> BDD-cost: 1 26.27/26.40 c ---[753598]---> BDD-cost: 1 26.27/26.40 c ---[753596]---> BDD-cost: 1 26.27/26.40 c ---[753594]---> BDD-cost: 1 26.27/26.40 c ---[753592]---> BDD-cost: 1 26.27/26.40 c ---[753590]---> BDD-cost: 1 26.27/26.40 c ---[753588]---> BDD-cost: 1 26.27/26.40 c ---[753586]---> BDD-cost: 1 26.27/26.40 c ---[753584]---> BDD-cost: 1 26.27/26.40 c ---[753582]---> BDD-cost: 1 26.27/26.40 c ---[753580]---> BDD-cost: 1 26.27/26.40 c ---[753578]---> BDD-cost: 1 26.27/26.40 c ---[742017]---> BDD-cost: 1 26.27/26.40 c ---[712490]---> BDD-cost: 1 26.27/26.40 c ---[690419]---> BDD-cost: 1 26.27/26.40 c ---[660985]---> BDD-cost: 1 26.27/26.40 c ---[628943]---> BDD-cost: 1 26.27/26.40 c ---[611955]---> BDD-cost: 1 26.27/26.40 c ---[611953]---> BDD-cost: 1 26.27/26.40 c ---[611951]---> BDD-cost: 1 26.27/26.40 c ---[611949]---> BDD-cost: 1 26.27/26.40 c ---[611947]---> BDD-cost: 1 26.27/26.40 c ---[611945]---> BDD-cost: 1 26.27/26.40 c ---[611943]---> BDD-cost: 1 26.27/26.40 c ---[611941]---> BDD-cost: 1 26.27/26.40 c ---[611939]---> BDD-cost: 1 26.27/26.40 c ---[611937]---> BDD-cost: 1 26.36/26.44 c ==================================[MINISAT+]================================== 26.36/26.44 c | Conflicts | Original | Learnt | Progress | 26.36/26.44 c | | Clauses Literals | Max Clauses Literals LPC | | 26.36/26.44 c ============================================================================== 26.36/26.44 c | 0 | 761606 1990582 | 253868 0 0 nan | 0.000 % | 26.66/26.70 c | 100 | 761606 1990582 | 279254 100 1050 10.5 | 0.710 % | 26.76/26.88 c | 250 | 761606 1990582 | 307180 250 4636 18.5 | 0.710 % | 27.26/27.34 c | 475 | 761606 1990582 | 337898 475 12117 25.5 | 0.710 % | 27.65/27.74 c | 812 | 761606 1990582 | 371688 812 21776 26.8 | 0.710 % | 28.75/28.82 c | 1318 | 761606 1990582 | 408856 1318 33099 25.1 | 0.710 % | 29.75/29.87 c | 2082 | 761606 1990582 | 449742 2082 64605 31.0 | 0.710 % | 32.54/32.66 c | 3221 | 761606 1990582 | 494716 3221 115625 35.9 | 0.710 % | 34.54/34.68 c | 4929 | 761606 1990582 | 544188 4929 184378 37.4 | 0.710 % | 48.74/48.88 c | 7491 | 761606 1990582 | 598607 7491 349641 46.7 | 0.710 % | 55.13/55.27 c | 11335 | 761254 1989769 | 658468 11332 507458 44.8 | 0.735 % | 72.91/73.03 c | 17101 | 760791 1988694 | 724315 17094 731468 42.8 | 0.772 % | 96.41/96.57 c | 25750 | 760599 1988253 | 796746 25739 1206319 46.9 | 0.787 % | 129.78/129.94 c | 38725 | 760599 1988253 | 876421 38714 2022655 52.2 | 0.787 % | 172.56/172.72 c | 58187 | 760495 1988039 | 964063 58174 2782204 47.8 | 0.791 % | 236.93/237.11 c | 87379 | 760495 1988039 | 1060469 87366 4330658 49.6 | 0.791 % | 348.01/348.20 c | 131168 | 760495 1988039 | 1166516 131155 6079190 46.4 | 0.791 % | 519.64/519.97 c | 196852 | 759812 1986494 | 1283168 196828 8755088 44.5 | 0.843 % | 746.88/747.25 c ============================================================================== 746.88/747.25 c [1mUNSATISFIABLE[0m 746.88/747.25 s UNSATISFIABLE 746.88/747.25 c _______________________________________________________________________________ 746.88/747.25 c 746.88/747.25 c restarts : 18 746.88/747.25 c conflicts : 274946 (369 /sec) 746.88/747.25 c decisions : 461101 (618 /sec) 746.88/747.25 c propagations : 0 (0 /sec) 746.88/747.25 c inspects : 0 (0 /sec) 746.88/747.25 c CPU time : 745.713 s 746.88/747.25 c _______________________________________________________________________________
ERROR: no interpretation found !
/tmp/evaluation/420055-1177417778/instance-420055-1177417778.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node69/watcher-420055-1177417778 -o ROOT/results/node69/solver-420055-1177417778 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/420055-1177417778/minisat+ /tmp/evaluation/420055-1177417778/instance-420055-1177417778.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 1.00 0.99 3/64 6774 /proc/meminfo: memFree=1900204/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=1048 CPUtime=0 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 110 0 0 0 0 0 0 0 18 0 1 0 217767367 1073152 96 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 262 96 75 215 0 44 0 [startup+0.016229 s] /proc/loadavg: 0.99 1.00 0.99 3/64 6774 /proc/meminfo: memFree=1900204/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=1188 CPUtime=0.01 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 140 0 0 0 1 0 0 0 18 0 1 0 217767367 1216512 126 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 297 126 75 215 0 79 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1188 [startup+0.101243 s] /proc/loadavg: 0.99 1.00 0.99 3/64 6774 /proc/meminfo: memFree=1900204/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=2016 CPUtime=0.1 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 348 0 0 0 10 0 0 0 18 0 1 0 217767367 2064384 334 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 504 334 75 215 0 286 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2016 [startup+0.301274 s] /proc/loadavg: 0.99 1.00 0.99 3/64 6774 /proc/meminfo: memFree=1900204/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=4044 CPUtime=0.29 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 861 0 0 0 29 0 0 0 19 0 1 0 217767367 4141056 847 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808949 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 1011 847 75 215 0 793 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4044 [startup+0.701339 s] /proc/loadavg: 0.99 1.00 0.99 3/64 6774 /proc/meminfo: memFree=1900204/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=7476 CPUtime=0.7 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 1688 0 0 0 69 1 0 0 22 0 1 0 217767367 7655424 1674 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 1869 1675 75 215 0 1651 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 7476 [startup+1.50147 s] /proc/loadavg: 0.99 1.00 0.99 2/65 6775 /proc/meminfo: memFree=1891300/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=14156 CPUtime=1.49 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 3339 0 0 0 147 2 0 0 25 0 1 0 217767367 14495744 3325 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134651050 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 3539 3325 75 215 0 3321 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14156 [startup+3.10173 s] /proc/loadavg: 0.99 1.00 0.99 2/65 6775 /proc/meminfo: memFree=1881508/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=27868 CPUtime=3.09 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 6683 0 0 0 304 5 0 0 25 0 1 0 217767367 28536832 6669 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 6967 6669 75 215 0 6749 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27868 [startup+6.30125 s] /proc/loadavg: 0.99 1.00 0.99 2/65 6775 /proc/meminfo: memFree=1854116/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=55660 CPUtime=6.29 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 13532 0 0 0 620 9 0 0 25 0 1 0 217767367 56995840 13515 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 13915 13515 75 215 0 13697 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 55660 [startup+12.7013 s] /proc/loadavg: 0.99 1.00 0.99 2/65 6775 /proc/meminfo: memFree=1797604/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=111984 CPUtime=12.69 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 27336 0 0 0 1251 18 0 0 25 0 1 0 217767367 114671616 27236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006098 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 27996 27236 75 215 0 27778 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 111984 [startup+25.5016 s] /proc/loadavg: 0.99 1.00 0.99 2/65 6775 /proc/meminfo: memFree=1673060/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=239984 CPUtime=25.47 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 59472 0 0 0 2469 78 0 0 18 0 1 0 217767367 245743616 58332 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031374 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 59996 58332 87 215 0 59778 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 239984 [startup+51.1017 s] /proc/loadavg: 0.99 1.00 0.99 2/65 6775 /proc/meminfo: memFree=1647332/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=259156 CPUtime=51.04 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 64178 0 0 0 4984 120 0 0 25 0 1 0 217767367 265375744 63038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/6774/statm: 64789 63038 106 215 0 64571 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 259156 [startup+102.306 s] /proc/loadavg: 0.99 1.00 0.99 2/65 6775 /proc/meminfo: memFree=1647332/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=259320 CPUtime=102.21 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 64224 0 0 0 10101 120 0 0 25 0 1 0 217767367 265543680 63084 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 0 0 0 /proc/6774/statm: 64830 63084 106 215 0 64612 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 259320 [startup+162.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 6775 /proc/meminfo: memFree=1647076/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=259400 CPUtime=162.16 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 64287 0 0 0 16096 120 0 0 25 0 1 0 217767367 265625600 63147 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 64850 63147 106 215 0 64632 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 259400 [startup+222.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 6775 /proc/meminfo: memFree=1646692/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=259520 CPUtime=222.14 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 64375 0 0 0 22094 120 0 0 25 0 1 0 217767367 265748480 63235 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 64880 63235 106 215 0 64662 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 259520 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 6775 /proc/meminfo: memFree=1646372/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=259700 CPUtime=282.12 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 64459 0 0 0 28092 120 0 0 25 0 1 0 217767367 265932800 63319 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 64925 63319 106 215 0 64707 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 259700 [startup+342.303 s] /proc/loadavg: 0.99 1.00 0.99 2/65 6775 /proc/meminfo: memFree=1646052/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=259700 CPUtime=342.11 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 64528 0 0 0 34090 121 0 0 25 0 1 0 217767367 265932800 63388 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581318 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 64925 63388 106 215 0 64707 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 259700 [startup+402.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 6775 /proc/meminfo: memFree=1645732/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=259968 CPUtime=402.08 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 64588 0 0 0 40087 121 0 0 25 0 1 0 217767367 266207232 63448 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 64992 63448 106 215 0 64774 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 259968 [startup+462.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 6775 /proc/meminfo: memFree=1645284/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=260296 CPUtime=462.06 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 64695 0 0 0 46085 121 0 0 25 0 1 0 217767367 266543104 63555 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 65074 63555 106 215 0 64856 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 260296 [startup+522.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 6775 /proc/meminfo: memFree=1645092/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=260296 CPUtime=522.04 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 64748 0 0 0 52083 121 0 0 25 0 1 0 217767367 266543104 63608 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 65074 63608 106 215 0 64856 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 260296 [startup+582.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 6775 /proc/meminfo: memFree=1644900/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=260780 CPUtime=582.02 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 64792 0 0 0 58081 121 0 0 25 0 1 0 217767367 267038720 63652 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 65195 63652 106 215 0 64977 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 260780 [startup+642.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 6777 /proc/meminfo: memFree=1644452/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=261144 CPUtime=642.02 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 64901 0 0 0 64080 122 0 0 25 0 1 0 217767367 267411456 63761 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 65286 63761 106 215 0 65068 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 261144 [startup+702.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 6777 /proc/meminfo: memFree=1643684/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=262052 CPUtime=701.99 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 65084 0 0 0 70077 122 0 0 25 0 1 0 217767367 268341248 63944 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006666 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 65513 63944 106 215 0 65295 0 Current children cumulated CPU time (s) 701.99 Current children cumulated vsize (KiB) 262052 Solver just ended. Dumping a history of the last processes samples [startup+716.702 s] /proc/loadavg: 0.99 1.00 0.99 2/65 6777 /proc/meminfo: memFree=1643684/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=262052 CPUtime=716.39 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 65084 0 0 0 71517 122 0 0 25 0 1 0 217767367 268341248 63944 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 65513 63944 106 215 0 65295 0 Current children cumulated CPU time (s) 716.39 Current children cumulated vsize (KiB) 262052 [startup+729.502 s] /proc/loadavg: 0.99 1.00 0.99 2/65 6777 /proc/meminfo: memFree=1643684/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=262052 CPUtime=729.18 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 65084 0 0 0 72796 122 0 0 25 0 1 0 217767367 268341248 63944 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 65513 63944 106 215 0 65295 0 Current children cumulated CPU time (s) 729.18 Current children cumulated vsize (KiB) 262052 [startup+735.906 s] /proc/loadavg: 0.99 1.00 0.99 2/65 6777 /proc/meminfo: memFree=1643684/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=262052 CPUtime=735.58 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 65084 0 0 0 73436 122 0 0 25 0 1 0 217767367 268341248 63944 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134585530 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 65513 63944 106 215 0 65295 0 Current children cumulated CPU time (s) 735.58 Current children cumulated vsize (KiB) 262052 [startup+742.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 6777 /proc/meminfo: memFree=1643684/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=262052 CPUtime=741.98 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 65084 0 0 0 74076 122 0 0 25 0 1 0 217767367 268341248 63944 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 65513 63944 106 215 0 65295 0 Current children cumulated CPU time (s) 741.98 Current children cumulated vsize (KiB) 262052 [startup+745.501 s] /proc/loadavg: 0.99 1.00 0.99 2/65 6777 /proc/meminfo: memFree=1643684/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=262052 CPUtime=745.18 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 65084 0 0 0 74396 122 0 0 25 0 1 0 217767367 268341248 63944 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 65513 63944 106 215 0 65295 0 Current children cumulated CPU time (s) 745.18 Current children cumulated vsize (KiB) 262052 [startup+746.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 6777 /proc/meminfo: memFree=1643684/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=262052 CPUtime=745.98 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 65084 0 0 0 74476 122 0 0 25 0 1 0 217767367 268341248 63944 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580372 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 65513 63944 106 215 0 65295 0 Current children cumulated CPU time (s) 745.98 Current children cumulated vsize (KiB) 262052 [startup+746.702 s] /proc/loadavg: 0.99 1.00 0.99 2/65 6777 /proc/meminfo: memFree=1643684/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=262052 CPUtime=746.38 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 65084 0 0 0 74516 122 0 0 25 0 1 0 217767367 268341248 63944 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569770 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 65513 63944 106 215 0 65295 0 Current children cumulated CPU time (s) 746.38 Current children cumulated vsize (KiB) 262052 [startup+747.102 s] /proc/loadavg: 0.99 1.00 0.99 2/65 6777 /proc/meminfo: memFree=1643684/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=262052 CPUtime=746.78 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 65084 0 0 0 74556 122 0 0 25 0 1 0 217767367 268341248 63944 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569793 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 65513 63944 106 215 0 65295 0 Current children cumulated CPU time (s) 746.78 Current children cumulated vsize (KiB) 262052 [startup+747.202 s] /proc/loadavg: 0.99 1.00 0.99 2/65 6777 /proc/meminfo: memFree=1643684/2055920 swapFree=4182892/4192956 [pid=6774] ppid=6772 vsize=262052 CPUtime=746.88 /proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 65084 0 0 0 74566 122 0 0 25 0 1 0 217767367 268341248 63944 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569775 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6774/statm: 65513 63944 106 215 0 65295 0 Current children cumulated CPU time (s) 746.88 Current children cumulated vsize (KiB) 262052 Child status: 20 Real time (s): 747.295 CPU time (s): 746.978 CPU user time (s): 745.713 CPU system time (s): 1.26581 CPU usage (%): 99.9576 Max. virtual memory (cumulated for all children) (KiB): 262052 getrusage(RUSAGE_CHILDREN,...) data: user time used= 745.713 system time used= 1.26581 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65087 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= 3983 involuntary context switches= 2080 runsolver used 1.25581 second user time and 2.71959 second system time The end
Begin job on node69 on Tue Apr 24 12:29:39 UTC 2007 IDJOB= 420055 IDBENCH= 47818 IDSOLVER= 156 FILE ID= node69/420055-1177417778 PBS_JOBID= 4675654 Free space on /tmp= 66470 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/palacios/uts/uts-l06-ipc5-h31-unknown.opb COMMAND LINE= /tmp/evaluation/420055-1177417778/minisat+ /tmp/evaluation/420055-1177417778/instance-420055-1177417778.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node69/convwatcher-420055-1177417778 -o ROOT/results/node69/conversion-420055-1177417778 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/420055-1177417778/instance-420055-1177417778.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-420055-1177417778 -o ROOT/results/node69/solver-420055-1177417778 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/420055-1177417778/minisat+ /tmp/evaluation/420055-1177417778/instance-420055-1177417778.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 0d091f79d4246db0b540f5fe1b3977af RANDOM SEED= 517346979 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node69.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1900612 kB Buffers: 5364 kB Cached: 97200 kB SwapCached: 3788 kB Active: 67396 kB Inactive: 45548 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1900612 kB SwapTotal: 4192956 kB SwapFree: 4182892 kB Dirty: 26648 kB Writeback: 0 kB Mapped: 16372 kB Slab: 28296 kB Committed_AS: 2250156 kB PageTables: 1476 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66470 MiB End job on node69 on Tue Apr 24 12:42:07 UTC 2007