Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | UNSAT | 430.112 | 430.318 |
Name | normalized-PB07/PURE-SAT/SAT07/industrial/ palacios/medium/blocks-4-ipc5-h21-unknown.opb |
MD5SUM | 21a5d232eebe09c0c4b4635b21d4fb00 |
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 | 430.112 |
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 | 135534 |
Total number of constraints | 905980 |
Number of constraints which are clauses | 905980 |
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 | 417 |
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 | 415 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 832 |
Number of bits of the biggest sum of numbers | 10 |
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... 29.07/29.17 c Converting 905605 PB-constraints to clauses... 29.27/29.31 c -- Unit propagations: (none) 29.27/29.32 c -- Detecting intervals from adjacent constraints: ################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################ 29.36/29.40 c -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 31.44/31.55 c ---[905560]---> BDD-cost: 1 31.44/31.55 c ---[905549]---> BDD-cost: 1 31.44/31.55 c ---[905547]---> BDD-cost: 1 31.44/31.55 c ---[905545]---> BDD-cost: 1 31.44/31.55 c ---[905543]---> BDD-cost: 1 31.44/31.55 c ---[905541]---> BDD-cost: 1 31.44/31.55 c ---[905539]---> BDD-cost: 1 31.44/31.55 c ---[905537]---> BDD-cost: 1 31.44/31.55 c ---[905535]---> BDD-cost: 1 31.44/31.55 c ---[905533]---> BDD-cost: 1 31.44/31.55 c ---[905531]---> BDD-cost: 1 31.44/31.55 c ---[905529]---> BDD-cost: 1 31.44/31.55 c ---[905527]---> BDD-cost: 1 31.44/31.55 c ---[905525]---> BDD-cost: 1 31.44/31.55 c ---[905523]---> BDD-cost: 1 31.44/31.55 c ---[905521]---> BDD-cost: 1 31.44/31.55 c ---[905519]---> BDD-cost: 1 31.44/31.55 c ---[905517]---> BDD-cost: 1 31.44/31.55 c ---[905515]---> BDD-cost: 1 31.44/31.55 c ---[905513]---> BDD-cost: 1 31.44/31.55 c ---[905511]---> BDD-cost: 1 31.44/31.55 c ---[905509]---> BDD-cost: 1 31.44/31.55 c ---[905507]---> BDD-cost: 1 31.44/31.55 c ---[905505]---> BDD-cost: 1 31.44/31.55 c ---[905503]---> BDD-cost: 1 31.44/31.55 c ---[905501]---> BDD-cost: 1 31.44/31.55 c ---[905499]---> BDD-cost: 1 31.44/31.55 c ---[905497]---> BDD-cost: 1 31.44/31.55 c ---[905495]---> BDD-cost: 1 31.44/31.55 c ---[905493]---> BDD-cost: 1 31.44/31.55 c ---[905491]---> BDD-cost: 1 31.44/31.55 c ---[905489]---> BDD-cost: 1 31.44/31.55 c ---[905445]---> BDD-cost: 1 31.44/31.55 c ---[905396]---> BDD-cost: 1 31.44/31.55 c ---[905394]---> BDD-cost: 1 31.44/31.55 c ---[905392]---> BDD-cost: 1 31.44/31.55 c ---[905390]---> BDD-cost: 1 31.44/31.55 c ---[905388]---> BDD-cost: 1 31.44/31.55 c ---[905386]---> BDD-cost: 1 31.44/31.55 c ---[905384]---> BDD-cost: 1 31.44/31.55 c ---[905382]---> BDD-cost: 1 31.44/31.55 c ---[905380]---> BDD-cost: 1 31.44/31.55 c ---[905378]---> BDD-cost: 1 31.44/31.55 c ---[905376]---> BDD-cost: 1 31.44/31.55 c ---[905374]---> BDD-cost: 1 31.44/31.55 c ---[905372]---> BDD-cost: 1 31.44/31.55 c ---[905370]---> BDD-cost: 1 31.44/31.55 c ---[905368]---> BDD-cost: 1 31.44/31.55 c ---[905366]---> BDD-cost: 1 31.44/31.55 c ---[905364]---> BDD-cost: 1 31.44/31.55 c ---[905362]---> BDD-cost: 1 31.44/31.55 c ---[905360]---> BDD-cost: 1 31.44/31.55 c ---[905358]---> BDD-cost: 1 31.44/31.55 c ---[905356]---> BDD-cost: 1 31.44/31.55 c ---[905354]---> BDD-cost: 1 31.44/31.55 c ---[905352]---> BDD-cost: 1 31.44/31.55 c ---[905350]---> BDD-cost: 1 31.44/31.55 c ---[905348]---> BDD-cost: 1 31.44/31.55 c ---[905346]---> BDD-cost: 1 31.44/31.55 c ---[905344]---> BDD-cost: 1 31.44/31.55 c ---[905342]---> BDD-cost: 1 31.44/31.55 c ---[905340]---> BDD-cost: 1 31.44/31.55 c ---[905338]---> BDD-cost: 1 31.44/31.55 c ---[905336]---> BDD-cost: 1 31.44/31.55 c ---[905280]---> BDD-cost: 1 31.44/31.55 c ---[905191]---> BDD-cost: 1 31.44/31.55 c ---[905189]---> BDD-cost: 1 31.44/31.55 c ---[905187]---> BDD-cost: 1 31.44/31.55 c ---[905185]---> BDD-cost: 1 31.44/31.55 c ---[905183]---> BDD-cost: 1 31.44/31.55 c ---[905181]---> BDD-cost: 1 31.44/31.55 c ---[905179]---> BDD-cost: 1 31.44/31.55 c ---[905177]---> BDD-cost: 1 31.44/31.55 c ---[905175]---> BDD-cost: 1 31.44/31.55 c ---[905173]---> BDD-cost: 1 31.44/31.55 c ---[905171]---> BDD-cost: 1 31.44/31.55 c ---[905169]---> BDD-cost: 1 31.44/31.55 c ---[905167]---> BDD-cost: 1 31.44/31.55 c ---[905165]---> BDD-cost: 1 31.44/31.55 c ---[905163]---> BDD-cost: 1 31.44/31.55 c ---[905161]---> BDD-cost: 1 31.44/31.55 c ---[905159]---> BDD-cost: 1 31.44/31.55 c ---[905157]---> BDD-cost: 1 31.44/31.55 c ---[905155]---> BDD-cost: 1 31.44/31.55 c ---[905153]---> BDD-cost: 1 31.44/31.55 c ---[905151]---> BDD-cost: 1 31.44/31.55 c ---[905149]---> BDD-cost: 1 31.44/31.55 c ---[905147]---> BDD-cost: 1 31.44/31.55 c ---[905145]---> BDD-cost: 1 31.44/31.55 c ---[905143]---> BDD-cost: 1 31.44/31.55 c ---[905141]---> BDD-cost: 1 31.44/31.55 c ---[905139]---> BDD-cost: 1 31.44/31.55 c ---[905137]---> BDD-cost: 1 31.44/31.55 c ---[905135]---> BDD-cost: 1 31.44/31.55 c ---[905133]---> BDD-cost: 1 31.44/31.55 c ---[905131]---> BDD-cost: 1 31.44/31.55 c ---[905057]---> BDD-cost: 1 31.44/31.55 c ---[904926]---> BDD-cost: 1 31.44/31.55 c ---[904924]---> BDD-cost: 1 31.44/31.55 c ---[904922]---> BDD-cost: 1 31.44/31.55 c ---[904920]---> BDD-cost: 1 31.44/31.55 c ---[904918]---> BDD-cost: 1 31.44/31.55 c ---[904916]---> BDD-cost: 1 31.44/31.55 c ---[904914]---> BDD-cost: 1 31.44/31.55 c ---[904912]---> BDD-cost: 1 31.44/31.55 c ---[904910]---> BDD-cost: 1 31.44/31.55 c ---[904908]---> BDD-cost: 1 31.44/31.55 c ---[904906]---> BDD-cost: 1 31.44/31.55 c ---[904904]---> BDD-cost: 1 31.44/31.55 c ---[904902]---> BDD-cost: 1 31.44/31.55 c ---[904900]---> BDD-cost: 1 31.44/31.55 c ---[904898]---> BDD-cost: 1 31.44/31.55 c ---[904896]---> BDD-cost: 1 31.44/31.55 c ---[904894]---> BDD-cost: 1 31.44/31.55 c ---[904892]---> BDD-cost: 1 31.44/31.55 c ---[904890]---> BDD-cost: 1 31.44/31.55 c ---[904888]---> BDD-cost: 1 31.44/31.55 c ---[904886]---> BDD-cost: 1 31.44/31.55 c ---[904884]---> BDD-cost: 1 31.44/31.55 c ---[904882]---> BDD-cost: 1 31.44/31.55 c ---[904880]---> BDD-cost: 1 31.44/31.55 c ---[904878]---> BDD-cost: 1 31.44/31.55 c ---[904876]---> BDD-cost: 1 31.44/31.55 c ---[904874]---> BDD-cost: 1 31.44/31.55 c ---[904872]---> BDD-cost: 1 31.44/31.55 c ---[904870]---> BDD-cost: 1 31.44/31.55 c ---[904868]---> BDD-cost: 1 31.44/31.55 c ---[904866]---> BDD-cost: 1 31.44/31.55 c ---[904768]---> BDD-cost: 1 31.44/31.55 c ---[904593]---> BDD-cost: 1 31.44/31.55 c ---[904591]---> BDD-cost: 1 31.44/31.55 c ---[904589]---> BDD-cost: 1 31.44/31.55 c ---[904587]---> BDD-cost: 1 31.44/31.55 c ---[904585]---> BDD-cost: 1 31.44/31.55 c ---[904583]---> BDD-cost: 1 31.44/31.55 c ---[904581]---> BDD-cost: 1 31.44/31.55 c ---[904579]---> BDD-cost: 1 31.44/31.56 c ---[904577]---> BDD-cost: 1 31.44/31.56 c ---[904575]---> BDD-cost: 1 31.44/31.56 c ---[904573]---> BDD-cost: 1 31.44/31.56 c ---[904571]---> BDD-cost: 1 31.44/31.56 c ---[904569]---> BDD-cost: 1 31.44/31.56 c ---[904567]---> BDD-cost: 1 31.44/31.56 c ---[904565]---> BDD-cost: 1 31.44/31.56 c ---[904563]---> BDD-cost: 1 31.44/31.56 c ---[904561]---> BDD-cost: 1 31.44/31.56 c ---[904559]---> BDD-cost: 1 31.44/31.56 c ---[904557]---> BDD-cost: 1 31.44/31.56 c ---[904555]---> BDD-cost: 1 31.44/31.56 c ---[904553]---> BDD-cost: 1 31.44/31.56 c ---[904551]---> BDD-cost: 1 31.44/31.56 c ---[904549]---> BDD-cost: 1 31.44/31.56 c ---[904547]---> BDD-cost: 1 31.44/31.56 c ---[904545]---> BDD-cost: 1 31.44/31.56 c ---[904543]---> BDD-cost: 1 31.44/31.56 c ---[904541]---> BDD-cost: 1 31.44/31.56 c ---[904539]---> BDD-cost: 1 31.44/31.56 c ---[904537]---> BDD-cost: 1 31.44/31.56 c ---[904535]---> BDD-cost: 1 31.44/31.56 c ---[904533]---> BDD-cost: 1 31.44/31.56 c ---[904408]---> BDD-cost: 1 31.44/31.56 c ---[904190]---> BDD-cost: 1 31.44/31.56 c ---[904188]---> BDD-cost: 1 31.44/31.56 c ---[904186]---> BDD-cost: 1 31.44/31.56 c ---[904184]---> BDD-cost: 1 31.44/31.56 c ---[904182]---> BDD-cost: 1 31.44/31.56 c ---[904180]---> BDD-cost: 1 31.44/31.56 c ---[904178]---> BDD-cost: 1 31.44/31.56 c ---[904176]---> BDD-cost: 1 31.44/31.56 c ---[904174]---> BDD-cost: 1 31.44/31.56 c ---[904172]---> BDD-cost: 1 31.44/31.56 c ---[904170]---> BDD-cost: 1 31.44/31.56 c ---[904168]---> BDD-cost: 1 31.44/31.56 c ---[904166]---> BDD-cost: 1 31.44/31.56 c ---[904164]---> BDD-cost: 1 31.44/31.56 c ---[904162]---> BDD-cost: 1 31.44/31.56 c ---[904160]---> BDD-cost: 1 31.44/31.56 c ---[904158]---> BDD-cost: 1 31.44/31.56 c ---[904156]---> BDD-cost: 1 31.44/31.56 c ---[904154]---> BDD-cost: 1 31.44/31.56 c ---[904152]---> BDD-cost: 1 31.44/31.56 c ---[904150]---> BDD-cost: 1 31.44/31.56 c ---[904148]---> BDD-cost: 1 31.44/31.56 c ---[904146]---> BDD-cost: 1 31.44/31.56 c ---[904144]---> BDD-cost: 1 31.44/31.56 c ---[904142]---> BDD-cost: 1 31.44/31.56 c ---[904140]---> BDD-cost: 1 31.44/31.56 c ---[904138]---> BDD-cost: 1 31.44/31.56 c ---[904136]---> BDD-cost: 1 31.44/31.56 c ---[904134]---> BDD-cost: 1 31.44/31.56 c ---[904132]---> BDD-cost: 1 31.44/31.56 c ---[904130]---> BDD-cost: 1 31.44/31.56 c ---[903978]---> BDD-cost: 1 31.44/31.56 c ---[903659]---> BDD-cost: 1 31.44/31.56 c ---[903657]---> BDD-cost: 1 31.44/31.56 c ---[903655]---> BDD-cost: 1 31.44/31.56 c ---[903653]---> BDD-cost: 1 31.44/31.56 c ---[903651]---> BDD-cost: 1 31.44/31.56 c ---[903649]---> BDD-cost: 1 31.44/31.56 c ---[903647]---> BDD-cost: 1 31.44/31.56 c ---[903645]---> BDD-cost: 1 31.44/31.56 c ---[903643]---> BDD-cost: 1 31.44/31.56 c ---[903641]---> BDD-cost: 1 31.44/31.56 c ---[903639]---> BDD-cost: 1 31.44/31.56 c ---[903637]---> BDD-cost: 1 31.44/31.56 c ---[903635]---> BDD-cost: 1 31.44/31.56 c ---[903633]---> BDD-cost: 1 31.44/31.56 c ---[903631]---> BDD-cost: 1 31.44/31.56 c ---[903629]---> BDD-cost: 1 31.44/31.56 c ---[903627]---> BDD-cost: 1 31.44/31.56 c ---[903625]---> BDD-cost: 1 31.44/31.56 c ---[903623]---> BDD-cost: 1 31.44/31.56 c ---[903621]---> BDD-cost: 1 31.44/31.56 c ---[903619]---> BDD-cost: 1 31.44/31.56 c ---[903617]---> BDD-cost: 1 31.44/31.56 c ---[903615]---> BDD-cost: 1 31.44/31.56 c ---[903613]---> BDD-cost: 1 31.44/31.56 c ---[903611]---> BDD-cost: 1 31.44/31.56 c ---[903609]---> BDD-cost: 1 31.44/31.56 c ---[903607]---> BDD-cost: 1 31.44/31.56 c ---[903605]---> BDD-cost: 1 31.44/31.56 c ---[903603]---> BDD-cost: 1 31.44/31.56 c ---[903601]---> BDD-cost: 1 31.44/31.56 c ---[903599]---> BDD-cost: 1 31.44/31.56 c ---[903420]---> BDD-cost: 1 31.44/31.56 c ---[903032]---> BDD-cost: 1 31.44/31.56 c ---[903030]---> BDD-cost: 1 31.44/31.56 c ---[903028]---> BDD-cost: 1 31.44/31.56 c ---[903026]---> BDD-cost: 1 31.44/31.56 c ---[903024]---> BDD-cost: 1 31.44/31.56 c ---[903022]---> BDD-cost: 1 31.44/31.56 c ---[903020]---> BDD-cost: 1 31.44/31.56 c ---[903018]---> BDD-cost: 1 31.44/31.56 c ---[903016]---> BDD-cost: 1 31.44/31.56 c ---[903014]---> BDD-cost: 1 31.44/31.56 c ---[903012]---> BDD-cost: 1 31.44/31.56 c ---[903010]---> BDD-cost: 1 31.44/31.56 c ---[903008]---> BDD-cost: 1 31.44/31.56 c ---[903006]---> BDD-cost: 1 31.44/31.56 c ---[903004]---> BDD-cost: 1 31.44/31.56 c ---[903002]---> BDD-cost: 1 31.44/31.56 c ---[903000]---> BDD-cost: 1 31.44/31.56 c ---[902998]---> BDD-cost: 1 31.44/31.56 c ---[902996]---> BDD-cost: 1 31.44/31.56 c ---[902994]---> BDD-cost: 1 31.44/31.56 c ---[902992]---> BDD-cost: 1 31.44/31.56 c ---[902990]---> BDD-cost: 1 31.44/31.56 c ---[902988]---> BDD-cost: 1 31.44/31.56 c ---[902986]---> BDD-cost: 1 31.44/31.56 c ---[902984]---> BDD-cost: 1 31.44/31.56 c ---[902982]---> BDD-cost: 1 31.44/31.56 c ---[902980]---> BDD-cost: 1 31.44/31.56 c ---[902978]---> BDD-cost: 1 31.44/31.56 c ---[902976]---> BDD-cost: 1 31.44/31.56 c ---[902974]---> BDD-cost: 1 31.44/31.56 c ---[902972]---> BDD-cost: 1 31.44/31.56 c ---[902763]---> BDD-cost: 1 31.44/31.56 c ---[902279]---> BDD-cost: 1 31.44/31.56 c ---[902277]---> BDD-cost: 1 31.44/31.56 c ---[902275]---> BDD-cost: 1 31.44/31.56 c ---[902273]---> BDD-cost: 1 31.44/31.56 c ---[902271]---> BDD-cost: 1 31.44/31.56 c ---[902269]---> BDD-cost: 1 31.44/31.56 c ---[902267]---> BDD-cost: 1 31.44/31.56 c ---[902265]---> BDD-cost: 1 31.44/31.56 c ---[902263]---> BDD-cost: 1 31.44/31.56 c ---[902261]---> BDD-cost: 1 31.44/31.56 c ---[902259]---> BDD-cost: 1 31.44/31.56 c ---[902257]---> BDD-cost: 1 31.44/31.56 c ---[902255]---> BDD-cost: 1 31.44/31.56 c ---[902253]---> BDD-cost: 1 31.44/31.56 c ---[902251]---> BDD-cost: 1 31.44/31.56 c ---[902249]---> BDD-cost: 1 31.44/31.56 c ---[902247]---> BDD-cost: 1 31.44/31.56 c ---[902245]---> BDD-cost: 1 31.44/31.56 c ---[902243]---> BDD-cost: 1 31.44/31.56 c ---[902241]---> BDD-cost: 1 31.44/31.56 c ---[902239]---> BDD-cost: 1 31.44/31.56 c ---[902237]---> BDD-cost: 1 31.44/31.56 c ---[902235]---> BDD-cost: 1 31.44/31.56 c ---[902233]---> BDD-cost: 1 31.44/31.56 c ---[902231]---> BDD-cost: 1 31.44/31.56 c ---[902229]---> BDD-cost: 1 31.44/31.56 c ---[902227]---> BDD-cost: 1 31.44/31.56 c ---[902225]---> BDD-cost: 1 31.44/31.56 c ---[902223]---> BDD-cost: 1 31.44/31.56 c ---[902221]---> BDD-cost: 1 31.44/31.56 c ---[902219]---> BDD-cost: 1 31.44/31.56 c ---[901983]---> BDD-cost: 1 31.44/31.56 c ---[901432]---> BDD-cost: 1 31.44/31.56 c ---[901430]---> BDD-cost: 1 31.44/31.56 c ---[901428]---> BDD-cost: 1 31.44/31.56 c ---[901426]---> BDD-cost: 1 31.44/31.56 c ---[901424]---> BDD-cost: 1 31.44/31.56 c ---[901422]---> BDD-cost: 1 31.44/31.56 c ---[901420]---> BDD-cost: 1 31.44/31.56 c ---[901418]---> BDD-cost: 1 31.44/31.56 c ---[901416]---> BDD-cost: 1 31.44/31.56 c ---[901414]---> BDD-cost: 1 31.44/31.56 c ---[901412]---> BDD-cost: 1 31.44/31.56 c ---[901410]---> BDD-cost: 1 31.44/31.56 c ---[901408]---> BDD-cost: 1 31.44/31.56 c ---[901406]---> BDD-cost: 1 31.44/31.56 c ---[901404]---> BDD-cost: 1 31.44/31.56 c ---[901402]---> BDD-cost: 1 31.44/31.56 c ---[901400]---> BDD-cost: 1 31.44/31.56 c ---[901398]---> BDD-cost: 1 31.44/31.56 c ---[901396]---> BDD-cost: 1 31.44/31.56 c ---[901394]---> BDD-cost: 1 31.44/31.56 c ---[901392]---> BDD-cost: 1 31.44/31.56 c ---[901390]---> BDD-cost: 1 31.44/31.56 c ---[901388]---> BDD-cost: 1 31.44/31.56 c ---[901386]---> BDD-cost: 1 31.44/31.56 c ---[901384]---> BDD-cost: 1 31.44/31.56 c ---[901382]---> BDD-cost: 1 31.44/31.56 c ---[901380]---> BDD-cost: 1 31.44/31.56 c ---[901378]---> BDD-cost: 1 31.44/31.56 c ---[901376]---> BDD-cost: 1 31.44/31.56 c ---[901374]---> BDD-cost: 1 31.44/31.56 c ---[901372]---> BDD-cost: 1 31.44/31.56 c ---[901109]---> BDD-cost: 1 31.44/31.56 c ---[900550]---> BDD-cost: 1 31.44/31.56 c ---[900548]---> BDD-cost: 1 31.44/31.56 c ---[900546]---> BDD-cost: 1 31.44/31.56 c ---[900544]---> BDD-cost: 1 31.44/31.56 c ---[900542]---> BDD-cost: 1 31.44/31.56 c ---[900540]---> BDD-cost: 1 31.44/31.56 c ---[900538]---> BDD-cost: 1 31.44/31.56 c ---[900536]---> BDD-cost: 1 31.44/31.56 c ---[900534]---> BDD-cost: 1 31.44/31.56 c ---[900532]---> BDD-cost: 1 31.44/31.56 c ---[900530]---> BDD-cost: 1 31.44/31.56 c ---[900528]---> BDD-cost: 1 31.44/31.56 c ---[900526]---> BDD-cost: 1 31.44/31.56 c ---[900524]---> BDD-cost: 1 31.44/31.56 c ---[900522]---> BDD-cost: 1 31.44/31.56 c ---[900520]---> BDD-cost: 1 31.44/31.56 c ---[900518]---> BDD-cost: 1 31.44/31.56 c ---[900516]---> BDD-cost: 1 31.44/31.56 c ---[900514]---> BDD-cost: 1 31.44/31.56 c ---[900512]---> BDD-cost: 1 31.44/31.56 c ---[900510]---> BDD-cost: 1 31.44/31.56 c ---[900508]---> BDD-cost: 1 31.44/31.56 c ---[900506]---> BDD-cost: 1 31.44/31.56 c ---[900504]---> BDD-cost: 1 31.44/31.56 c ---[900502]---> BDD-cost: 1 31.44/31.56 c ---[900500]---> BDD-cost: 1 31.44/31.56 c ---[900498]---> BDD-cost: 1 31.44/31.56 c ---[900496]---> BDD-cost: 1 31.44/31.56 c ---[900494]---> BDD-cost: 1 31.44/31.56 c ---[900492]---> BDD-cost: 1 31.44/31.56 c ---[900490]---> BDD-cost: 1 31.44/31.56 c ---[900188]---> BDD-cost: 1 31.44/31.56 c ---[899559]---> BDD-cost: 1 31.44/31.56 c ---[899557]---> BDD-cost: 1 31.44/31.56 c ---[899555]---> BDD-cost: 1 31.44/31.56 c ---[899553]---> BDD-cost: 1 31.44/31.56 c ---[899551]---> BDD-cost: 1 31.44/31.56 c ---[899549]---> BDD-cost: 1 31.44/31.56 c ---[899547]---> BDD-cost: 1 31.44/31.56 c ---[899545]---> BDD-cost: 1 31.44/31.56 c ---[899543]---> BDD-cost: 1 31.44/31.56 c ---[899541]---> BDD-cost: 1 31.44/31.56 c ---[899539]---> BDD-cost: 1 31.44/31.56 c ---[899537]---> BDD-cost: 1 31.44/31.56 c ---[899535]---> BDD-cost: 1 31.44/31.56 c ---[899533]---> BDD-cost: 1 31.44/31.56 c ---[899531]---> BDD-cost: 1 31.44/31.56 c ---[899529]---> BDD-cost: 1 31.44/31.56 c ---[899527]---> BDD-cost: 1 31.44/31.56 c ---[899525]---> BDD-cost: 1 31.44/31.56 c ---[899523]---> BDD-cost: 1 31.44/31.56 c ---[899521]---> BDD-cost: 1 31.44/31.56 c ---[899519]---> BDD-cost: 1 31.44/31.56 c ---[899517]---> BDD-cost: 1 31.44/31.56 c ---[899515]---> BDD-cost: 1 31.44/31.56 c ---[899513]---> BDD-cost: 1 31.44/31.56 c ---[899511]---> BDD-cost: 1 31.44/31.56 c ---[899509]---> BDD-cost: 1 31.44/31.56 c ---[899507]---> BDD-cost: 1 31.44/31.56 c ---[899505]---> BDD-cost: 1 31.44/31.56 c ---[899503]---> BDD-cost: 1 31.44/31.56 c ---[899501]---> BDD-cost: 1 31.44/31.56 c ---[899499]---> BDD-cost: 1 31.44/31.56 c ---[899121]---> BDD-cost: 1 31.44/31.56 c ---[898378]---> BDD-cost: 1 31.44/31.56 c ---[898376]---> BDD-cost: 1 31.44/31.56 c ---[898374]---> BDD-cost: 1 31.44/31.56 c ---[898372]---> BDD-cost: 1 31.44/31.56 c ---[898370]---> BDD-cost: 1 31.44/31.56 c ---[898368]---> BDD-cost: 1 31.44/31.56 c ---[898366]---> BDD-cost: 1 31.44/31.56 c ---[898364]---> BDD-cost: 1 31.44/31.56 c ---[898362]---> BDD-cost: 1 31.44/31.56 c ---[898360]---> BDD-cost: 1 31.44/31.56 c ---[898358]---> BDD-cost: 1 31.44/31.56 c ---[898356]---> BDD-cost: 1 31.44/31.56 c ---[898354]---> BDD-cost: 1 31.44/31.56 c ---[898352]---> BDD-cost: 1 31.44/31.56 c ---[898350]---> BDD-cost: 1 31.44/31.56 c ---[898348]---> BDD-cost: 1 31.44/31.56 c ---[898346]---> BDD-cost: 1 31.44/31.56 c ---[898344]---> BDD-cost: 1 31.44/31.56 c ---[898342]---> BDD-cost: 1 31.44/31.56 c ---[898340]---> BDD-cost: 1 31.44/31.56 c ---[898338]---> BDD-cost: 1 31.44/31.56 c ---[898336]---> BDD-cost: 1 31.44/31.56 c ---[898334]---> BDD-cost: 1 31.44/31.56 c ---[898332]---> BDD-cost: 1 31.44/31.56 c ---[898330]---> BDD-cost: 1 31.44/31.56 c ---[898328]---> BDD-cost: 1 31.44/31.56 c ---[898326]---> BDD-cost: 1 31.44/31.56 c ---[898324]---> BDD-cost: 1 31.44/31.56 c ---[898322]---> BDD-cost: 1 31.44/31.56 c ---[898320]---> BDD-cost: 1 31.44/31.56 c ---[898318]---> BDD-cost: 1 31.44/31.56 c ---[897841]---> BDD-cost: 1 31.44/31.56 c ---[896997]---> BDD-cost: 1 31.44/31.56 c ---[896995]---> BDD-cost: 1 31.44/31.56 c ---[896993]---> BDD-cost: 1 31.44/31.56 c ---[896991]---> BDD-cost: 1 31.44/31.56 c ---[896989]---> BDD-cost: 1 31.44/31.56 c ---[896987]---> BDD-cost: 1 31.44/31.56 c ---[896985]---> BDD-cost: 1 31.44/31.56 c ---[896983]---> BDD-cost: 1 31.44/31.56 c ---[896981]---> BDD-cost: 1 31.44/31.56 c ---[896979]---> BDD-cost: 1 31.44/31.56 c ---[896977]---> BDD-cost: 1 31.44/31.56 c ---[896975]---> BDD-cost: 1 31.44/31.56 c ---[896973]---> BDD-cost: 1 31.44/31.56 c ---[896971]---> BDD-cost: 1 31.44/31.57 c ---[896969]---> BDD-cost: 1 31.44/31.57 c ---[896967]---> BDD-cost: 1 31.44/31.57 c ---[896965]---> BDD-cost: 1 31.44/31.57 c ---[896963]---> BDD-cost: 1 31.44/31.57 c ---[896961]---> BDD-cost: 1 31.44/31.57 c ---[896959]---> BDD-cost: 1 31.44/31.57 c ---[896957]---> BDD-cost: 1 31.44/31.57 c ---[896955]---> BDD-cost: 1 31.44/31.57 c ---[896953]---> BDD-cost: 1 31.44/31.57 c ---[896951]---> BDD-cost: 1 31.44/31.57 c ---[896949]---> BDD-cost: 1 31.44/31.57 c ---[896947]---> BDD-cost: 1 31.44/31.57 c ---[896945]---> BDD-cost: 1 31.44/31.57 c ---[896943]---> BDD-cost: 1 31.44/31.57 c ---[896941]---> BDD-cost: 1 31.44/31.57 c ---[896939]---> BDD-cost: 1 31.44/31.57 c ---[896937]---> BDD-cost: 1 31.44/31.57 c ---[896335]---> BDD-cost: 1 31.44/31.57 c ---[896297]---> BDD-cost: 1 31.44/31.57 c ---[895775]---> BDD-cost: 1 31.44/31.57 c ---[895773]---> BDD-cost: 1 31.44/31.57 c ---[895771]---> BDD-cost: 1 31.44/31.57 c ---[895769]---> BDD-cost: 1 31.44/31.57 c ---[895002]---> BDD-cost: 1 31.44/31.57 c ---[895000]---> BDD-cost: 1 31.44/31.57 c ---[894998]---> BDD-cost: 1 31.44/31.57 c ---[894996]---> BDD-cost: 1 31.44/31.57 c ---[894994]---> BDD-cost: 1 31.44/31.57 c ---[894992]---> BDD-cost: 1 31.44/31.57 c ---[894990]---> BDD-cost: 1 31.44/31.57 c ---[894988]---> BDD-cost: 1 31.44/31.57 c ---[894986]---> BDD-cost: 1 31.44/31.57 c ---[894984]---> BDD-cost: 1 31.44/31.57 c ---[894982]---> BDD-cost: 1 31.44/31.57 c ---[894980]---> BDD-cost: 1 31.44/31.57 c ---[894978]---> BDD-cost: 1 31.44/31.57 c ---[894976]---> BDD-cost: 1 31.44/31.57 c ---[894974]---> BDD-cost: 1 31.44/31.57 c ---[894972]---> BDD-cost: 1 31.44/31.57 c ---[894970]---> BDD-cost: 1 31.44/31.57 c ---[894968]---> BDD-cost: 1 31.44/31.57 c ---[894966]---> BDD-cost: 1 31.44/31.57 c ---[894964]---> BDD-cost: 1 31.44/31.57 c ---[894962]---> BDD-cost: 1 31.44/31.57 c ---[894960]---> BDD-cost: 1 31.44/31.57 c ---[894958]---> BDD-cost: 1 31.44/31.57 c ---[894956]---> BDD-cost: 1 31.44/31.57 c ---[894954]---> BDD-cost: 1 31.44/31.57 c ---[894952]---> BDD-cost: 1 31.44/31.57 c ---[894950]---> BDD-cost: 1 31.44/31.57 c ---[893535]---> BDD-cost: 1 31.44/31.57 c ---[893533]---> BDD-cost: 1 31.44/31.57 c ---[893531]---> BDD-cost: 1 31.44/31.57 c ---[893529]---> BDD-cost: 1 31.44/31.57 c ---[893527]---> BDD-cost: 1 31.44/31.57 c ---[893525]---> BDD-cost: 1 31.44/31.57 c ---[893523]---> BDD-cost: 1 31.44/31.57 c ---[893521]---> BDD-cost: 1 31.44/31.57 c ---[893519]---> BDD-cost: 1 31.44/31.57 c ---[893517]---> BDD-cost: 1 31.44/31.57 c ---[893515]---> BDD-cost: 1 31.44/31.57 c ---[893513]---> BDD-cost: 1 31.44/31.57 c ---[893511]---> BDD-cost: 1 31.44/31.57 c ---[893509]---> BDD-cost: 1 31.44/31.57 c ---[893507]---> BDD-cost: 1 31.44/31.57 c ---[893505]---> BDD-cost: 1 31.44/31.57 c ---[893503]---> BDD-cost: 1 31.44/31.57 c ---[893501]---> BDD-cost: 1 31.44/31.57 c ---[893499]---> BDD-cost: 1 31.44/31.57 c ---[893497]---> BDD-cost: 1 31.44/31.57 c ---[893495]---> BDD-cost: 1 31.44/31.57 c ---[893493]---> BDD-cost: 1 31.44/31.57 c ---[893491]---> BDD-cost: 1 31.44/31.57 c ---[893489]---> BDD-cost: 1 31.44/31.57 c ---[893487]---> BDD-cost: 1 31.44/31.57 c ---[893485]---> BDD-cost: 1 31.44/31.57 c ---[893483]---> BDD-cost: 1 31.44/31.57 c ---[893481]---> BDD-cost: 1 31.44/31.57 c ---[893479]---> BDD-cost: 1 31.44/31.57 c ---[893477]---> BDD-cost: 1 31.44/31.57 c ---[893475]---> BDD-cost: 1 31.44/31.57 c ---[893473]---> BDD-cost: 1 31.44/31.57 c ---[893471]---> BDD-cost: 1 31.44/31.57 c ---[893469]---> BDD-cost: 1 31.44/31.57 c ---[893467]---> BDD-cost: 1 31.44/31.57 c ---[893465]---> BDD-cost: 1 31.44/31.57 c ---[893463]---> BDD-cost: 1 31.44/31.57 c ---[893461]---> BDD-cost: 1 31.44/31.57 c ---[893459]---> BDD-cost: 1 31.44/31.57 c ---[893457]---> BDD-cost: 1 31.44/31.57 c ---[893455]---> BDD-cost: 1 31.44/31.57 c ---[893453]---> BDD-cost: 1 31.44/31.57 c ---[893451]---> BDD-cost: 1 31.44/31.57 c ---[893449]---> BDD-cost: 1 31.44/31.57 c ---[893447]---> BDD-cost: 1 31.44/31.57 c ---[893445]---> BDD-cost: 1 31.44/31.57 c ---[893443]---> BDD-cost: 1 31.44/31.57 c ---[893441]---> BDD-cost: 1 31.44/31.57 c ---[893439]---> BDD-cost: 1 31.44/31.57 c ---[893437]---> BDD-cost: 1 31.44/31.57 c ---[893435]---> BDD-cost: 1 31.44/31.57 c ---[893433]---> BDD-cost: 1 31.44/31.57 c ---[893431]---> BDD-cost: 1 31.44/31.57 c ---[893429]---> BDD-cost: 1 31.44/31.57 c ---[893427]---> BDD-cost: 1 31.44/31.57 c ---[893425]---> BDD-cost: 1 31.44/31.57 c ---[893423]---> BDD-cost: 1 31.44/31.57 c ---[893421]---> BDD-cost: 1 31.44/31.57 c ---[893419]---> BDD-cost: 1 31.44/31.57 c ---[893417]---> BDD-cost: 1 31.44/31.57 c ---[893415]---> BDD-cost: 1 31.44/31.57 c ---[893413]---> BDD-cost: 1 31.44/31.57 c ---[893411]---> BDD-cost: 1 31.44/31.57 c ---[893409]---> BDD-cost: 1 31.44/31.57 c ---[893407]---> BDD-cost: 1 31.44/31.57 c ---[893405]---> BDD-cost: 1 31.44/31.57 c ---[893403]---> BDD-cost: 1 31.44/31.57 c ---[893401]---> BDD-cost: 1 31.44/31.57 c ---[893399]---> BDD-cost: 1 31.44/31.57 c ---[893397]---> BDD-cost: 1 31.44/31.57 c ---[893395]---> BDD-cost: 1 31.44/31.57 c ---[893393]---> BDD-cost: 1 31.44/31.57 c ---[893391]---> BDD-cost: 1 31.44/31.57 c ---[893389]---> BDD-cost: 1 31.44/31.57 c ---[893387]---> BDD-cost: 1 31.44/31.57 c ---[893385]---> BDD-cost: 1 31.44/31.57 c ---[893383]---> BDD-cost: 1 31.44/31.57 c ---[893381]---> BDD-cost: 1 31.44/31.57 c ---[893379]---> BDD-cost: 1 31.44/31.57 c ---[893377]---> BDD-cost: 1 31.44/31.57 c ---[893375]---> BDD-cost: 1 31.44/31.57 c ---[893373]---> BDD-cost: 1 31.44/31.57 c ---[893371]---> BDD-cost: 1 31.44/31.57 c ---[893369]---> BDD-cost: 1 31.44/31.57 c ---[893367]---> BDD-cost: 1 31.44/31.57 c ---[893365]---> BDD-cost: 1 31.44/31.57 c ---[893363]---> BDD-cost: 1 31.44/31.57 c ---[893361]---> BDD-cost: 1 31.44/31.57 c ---[893359]---> BDD-cost: 1 31.44/31.57 c ---[893357]---> BDD-cost: 1 31.44/31.57 c ---[893355]---> BDD-cost: 1 31.44/31.57 c ---[893353]---> BDD-cost: 1 31.44/31.57 c ---[893351]---> BDD-cost: 1 31.44/31.57 c ---[893349]---> BDD-cost: 1 31.44/31.57 c ---[893347]---> BDD-cost: 1 31.44/31.57 c ---[893345]---> BDD-cost: 1 31.44/31.57 c ---[893343]---> BDD-cost: 1 31.44/31.57 c ---[893341]---> BDD-cost: 1 31.44/31.57 c ---[893339]---> BDD-cost: 1 31.44/31.57 c ---[893337]---> BDD-cost: 1 31.44/31.57 c ---[893335]---> BDD-cost: 1 31.44/31.57 c ---[893333]---> BDD-cost: 1 31.44/31.57 c ---[893331]---> BDD-cost: 1 31.44/31.57 c ---[893329]---> BDD-cost: 1 31.44/31.57 c ---[893327]---> BDD-cost: 1 31.44/31.57 c ---[893325]---> BDD-cost: 1 31.44/31.57 c ---[893323]---> BDD-cost: 1 31.44/31.57 c ---[893321]---> BDD-cost: 1 31.44/31.57 c ---[893319]---> BDD-cost: 1 31.44/31.57 c ---[893317]---> BDD-cost: 1 31.44/31.57 c ---[893315]---> BDD-cost: 1 31.44/31.57 c ---[893313]---> BDD-cost: 1 31.44/31.57 c ---[893311]---> BDD-cost: 1 31.44/31.57 c ---[893309]---> BDD-cost: 1 31.44/31.57 c ---[893307]---> BDD-cost: 1 31.44/31.57 c ---[893305]---> BDD-cost: 1 31.44/31.57 c ---[893303]---> BDD-cost: 1 31.44/31.57 c ---[893301]---> BDD-cost: 1 31.44/31.57 c ---[893299]---> BDD-cost: 1 31.44/31.57 c ---[893297]---> BDD-cost: 1 31.44/31.57 c ---[893295]---> BDD-cost: 1 31.44/31.57 c ---[893293]---> BDD-cost: 1 31.44/31.57 c ---[893291]---> BDD-cost: 1 31.44/31.57 c ---[893289]---> BDD-cost: 1 31.44/31.57 c ---[893287]---> BDD-cost: 1 31.44/31.57 c ---[893285]---> BDD-cost: 1 31.44/31.57 c ---[893283]---> BDD-cost: 1 31.44/31.57 c ---[893281]---> BDD-cost: 1 31.44/31.57 c ---[893279]---> BDD-cost: 1 31.44/31.57 c ---[893277]---> BDD-cost: 1 31.44/31.57 c ---[893275]---> BDD-cost: 1 31.44/31.57 c ---[893273]---> BDD-cost: 1 31.44/31.57 c ---[893271]---> BDD-cost: 1 31.44/31.57 c ---[893269]---> BDD-cost: 1 31.44/31.57 c ---[893267]---> BDD-cost: 1 31.44/31.57 c ---[893265]---> BDD-cost: 1 31.44/31.57 c ---[893263]---> BDD-cost: 1 31.44/31.57 c ---[893261]---> BDD-cost: 1 31.44/31.57 c ---[893259]---> BDD-cost: 1 31.44/31.57 c ---[893257]---> BDD-cost: 1 31.44/31.57 c ---[893255]---> BDD-cost: 1 31.44/31.57 c ---[893253]---> BDD-cost: 1 31.44/31.57 c ---[893251]---> BDD-cost: 1 31.44/31.57 c ---[893249]---> BDD-cost: 1 31.44/31.57 c ---[893247]---> BDD-cost: 1 31.44/31.57 c ---[893245]---> BDD-cost: 1 31.44/31.57 c ---[893243]---> BDD-cost: 1 31.44/31.57 c ---[893241]---> BDD-cost: 1 31.44/31.57 c ---[893239]---> BDD-cost: 1 31.44/31.57 c ---[893237]---> BDD-cost: 1 31.44/31.57 c ---[893235]---> BDD-cost: 1 31.44/31.57 c ---[893233]---> BDD-cost: 1 31.44/31.57 c ---[893231]---> BDD-cost: 1 31.44/31.57 c ---[893229]---> BDD-cost: 1 31.44/31.57 c ---[893227]---> BDD-cost: 1 31.44/31.57 c ---[893225]---> BDD-cost: 1 31.44/31.57 c ---[893223]---> BDD-cost: 1 31.44/31.57 c ---[893221]---> BDD-cost: 1 31.44/31.57 c ---[893219]---> BDD-cost: 1 31.44/31.57 c ---[893217]---> BDD-cost: 1 31.44/31.57 c ---[893215]---> BDD-cost: 1 31.44/31.57 c ---[893213]---> BDD-cost: 1 31.44/31.57 c ---[893211]---> BDD-cost: 1 31.44/31.57 c ---[893209]---> BDD-cost: 1 31.44/31.57 c ---[893207]---> BDD-cost: 1 31.44/31.57 c ---[893205]---> BDD-cost: 1 31.44/31.57 c ---[893203]---> BDD-cost: 1 31.44/31.57 c ---[893201]---> BDD-cost: 1 31.44/31.57 c ---[893199]---> BDD-cost: 1 31.44/31.57 c ---[893197]---> BDD-cost: 1 31.44/31.57 c ---[893195]---> BDD-cost: 1 31.44/31.57 c ---[893193]---> BDD-cost: 1 31.44/31.57 c ---[893191]---> BDD-cost: 1 31.44/31.57 c ---[893189]---> BDD-cost: 1 31.44/31.57 c ---[893187]---> BDD-cost: 1 31.44/31.57 c ---[893185]---> BDD-cost: 1 31.44/31.57 c ---[893183]---> BDD-cost: 1 31.44/31.57 c ---[893181]---> BDD-cost: 1 31.44/31.57 c ---[893179]---> BDD-cost: 1 31.44/31.57 c ---[893177]---> BDD-cost: 1 31.44/31.57 c ---[893175]---> BDD-cost: 1 31.44/31.57 c ---[893173]---> BDD-cost: 1 31.44/31.57 c ---[893171]---> BDD-cost: 1 31.44/31.57 c ---[893169]---> BDD-cost: 1 31.44/31.57 c ---[893167]---> BDD-cost: 1 31.44/31.57 c ---[893165]---> BDD-cost: 1 31.44/31.57 c ---[892624]---> BDD-cost: 1 31.44/31.57 c ---[844490]---> BDD-cost: 1 31.44/31.57 c ---[628195]---> BDD-cost: 1 31.44/31.57 c ---[571098]---> BDD-cost: 1 31.44/31.57 c ---[253154]---> BDD-cost: 1 31.54/31.62 c ==================================[MINISAT+]================================== 31.54/31.62 c | Conflicts | Original | Learnt | Progress | 31.54/31.62 c | | Clauses Literals | Max Clauses Literals LPC | | 31.54/31.62 c ============================================================================== 31.54/31.62 c | 0 | 905605 2448560 | 301868 0 0 nan | 0.000 % | 31.84/31.93 c | 103 | 905605 2448560 | 332054 103 793 7.7 | 0.585 % | 32.74/32.82 c | 255 | 905605 2448560 | 365260 255 10067 39.5 | 0.585 % | 33.63/33.76 c | 480 | 905605 2448560 | 401786 480 20764 43.3 | 0.585 % | 35.13/35.28 c | 817 | 905605 2448560 | 441964 817 51123 62.6 | 0.585 % | 38.52/38.66 c | 1324 | 905605 2448560 | 486161 1324 101620 76.8 | 0.585 % | 41.42/41.59 c | 2084 | 905605 2448560 | 534777 2084 179215 86.0 | 0.585 % | 45.92/46.10 c | 3225 | 905605 2448560 | 588255 3225 239860 74.4 | 0.585 % | 54.11/54.25 c | 4934 | 905605 2448560 | 647080 4934 348312 70.6 | 0.585 % | 64.91/65.07 c | 7497 | 905605 2448560 | 711788 7497 725972 96.8 | 0.585 % | 84.70/84.89 c | 11341 | 905605 2448560 | 782967 11341 1145831 101.0 | 0.585 % | 112.29/112.47 c | 17107 | 905605 2448560 | 861264 17107 1542078 90.1 | 0.585 % | 152.98/153.11 c | 25757 | 905605 2448560 | 947391 25757 1888368 73.3 | 0.585 % | 231.05/231.21 c | 38731 | 905605 2448560 | 1042130 38731 3306852 85.4 | 0.585 % | 335.62/335.87 c | 58201 | 905605 2448560 | 1146343 58201 4149365 71.3 | 0.585 % | 429.98/430.25 c ============================================================================== 429.98/430.25 c [1mUNSATISFIABLE[0m 429.98/430.25 s UNSATISFIABLE 429.98/430.25 c _______________________________________________________________________________ 429.98/430.25 c 429.98/430.25 c restarts : 15 429.98/430.25 c conflicts : 78284 (183 /sec) 429.98/430.25 c decisions : 182993 (427 /sec) 429.98/430.25 c propagations : 0 (0 /sec) 429.98/430.25 c inspects : 0 (0 /sec) 429.98/430.25 c CPU time : 428.696 s 429.98/430.25 c _______________________________________________________________________________
ERROR: no interpretation found !
/tmp/evaluation/420097-1177418843/instance-420097-1177418843.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node22/watcher-420097-1177418843 -o ROOT/results/node22/solver-420097-1177418843 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/420097-1177418843/minisat+ /tmp/evaluation/420097-1177418843/instance-420097-1177418843.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.02 1.01 1.00 3/77 28358 /proc/meminfo: memFree=1834568/2055920 swapFree=4163588/4192956 [pid=28358] ppid=28356 vsize=1048 CPUtime=0 /proc/28358/stat : 28358 (minisat+) R 28356 28358 27211 0 -1 4194304 114 0 0 0 0 0 0 0 18 0 1 0 189802128 1073152 100 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28358/statm: 262 100 75 215 0 44 0 [startup+0.00936899 s] /proc/loadavg: 1.02 1.01 1.00 3/77 28358 /proc/meminfo: memFree=1834568/2055920 swapFree=4163588/4192956 [pid=28358] ppid=28356 vsize=1048 CPUtime=0 /proc/28358/stat : 28358 (minisat+) R 28356 28358 27211 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 189802128 1073152 113 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28358/statm: 262 113 75 215 0 44 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1048 [startup+0.101383 s] /proc/loadavg: 1.02 1.01 1.00 3/77 28358 /proc/meminfo: memFree=1834568/2055920 swapFree=4163588/4192956 [pid=28358] ppid=28356 vsize=2052 CPUtime=0.1 /proc/28358/stat : 28358 (minisat+) R 28356 28358 27211 0 -1 4194304 355 0 0 0 10 0 0 0 18 0 1 0 189802128 2101248 341 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28358/statm: 513 341 75 215 0 295 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2052 [startup+0.301416 s] /proc/loadavg: 1.02 1.01 1.00 3/77 28358 /proc/meminfo: memFree=1834568/2055920 swapFree=4163588/4192956 [pid=28358] ppid=28356 vsize=4068 CPUtime=0.29 /proc/28358/stat : 28358 (minisat+) R 28356 28358 27211 0 -1 4194304 849 0 0 0 29 0 0 0 19 0 1 0 189802128 4165632 835 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838470 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28358/statm: 1017 835 75 215 0 799 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4068 [startup+0.701478 s] /proc/loadavg: 1.02 1.01 1.00 3/77 28358 /proc/meminfo: memFree=1834568/2055920 swapFree=4163588/4192956 [pid=28358] ppid=28356 vsize=7808 CPUtime=0.69 /proc/28358/stat : 28358 (minisat+) R 28356 28358 27211 0 -1 4194304 1808 0 0 0 68 1 0 0 23 0 1 0 189802128 7995392 1794 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003916 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28358/statm: 1952 1794 75 215 0 1734 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7808 [startup+1.50159 s] /proc/loadavg: 1.10 1.03 1.01 2/78 28359 /proc/meminfo: memFree=1823808/2055920 swapFree=4163588/4192956 [pid=28358] ppid=28356 vsize=15408 CPUtime=1.48 /proc/28358/stat : 28358 (minisat+) R 28356 28358 27211 0 -1 4194304 3634 0 0 0 146 2 0 0 25 0 1 0 189802128 15777792 3620 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28358/statm: 3852 3620 75 215 0 3634 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 15408 [startup+3.10184 s] /proc/loadavg: 1.10 1.03 1.01 2/78 28359 /proc/meminfo: memFree=1815296/2055920 swapFree=4163588/4192956 [pid=28358] ppid=28356 vsize=29576 CPUtime=3.08 /proc/28358/stat : 28358 (minisat+) R 28356 28358 27211 0 -1 4194304 7154 0 0 0 304 4 0 0 25 0 1 0 189802128 30285824 7140 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28358/statm: 7394 7140 75 215 0 7176 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 29576 [startup+6.30133 s] /proc/loadavg: 1.09 1.03 1.00 2/78 28359 /proc/meminfo: memFree=1786240/2055920 swapFree=4163588/4192956 [pid=28358] ppid=28356 vsize=58068 CPUtime=6.27 /proc/28358/stat : 28358 (minisat+) R 28356 28358 27211 0 -1 4194304 14176 0 0 0 619 8 0 0 25 0 1 0 189802128 59461632 14112 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28358/statm: 14517 14112 75 215 0 14299 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 58068 [startup+12.7013 s] /proc/loadavg: 1.08 1.02 1.00 2/78 28359 /proc/meminfo: memFree=1729416/2055920 swapFree=4163588/4192956 [pid=28358] ppid=28356 vsize=113900 CPUtime=12.68 /proc/28358/stat : 28358 (minisat+) R 28356 28358 27211 0 -1 4194304 28031 0 0 0 1253 15 0 0 25 0 1 0 189802128 116633600 27884 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28358/statm: 28475 27884 75 215 0 28257 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 113900 [startup+25.5013 s] /proc/loadavg: 1.07 1.02 1.00 2/78 28359 /proc/meminfo: memFree=1616200/2055920 swapFree=4163588/4192956 [pid=28358] ppid=28356 vsize=226884 CPUtime=25.47 /proc/28358/stat : 28358 (minisat+) R 28356 28358 27211 0 -1 4194304 55636 0 0 0 2514 33 0 0 25 0 1 0 189802128 232329216 55324 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006988 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28358/statm: 56721 55324 75 215 0 56503 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 226884 [startup+51.1014 s] /proc/loadavg: 1.10 1.04 1.01 2/78 28359 /proc/meminfo: memFree=1533320/2055920 swapFree=4163588/4192956 [pid=28358] ppid=28356 vsize=304676 CPUtime=51.02 /proc/28358/stat : 28358 (minisat+) R 28356 28358 27211 0 -1 4194304 76204 0 0 0 4968 134 0 0 25 0 1 0 189802128 311988224 75097 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581186 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28358/statm: 76169 75097 106 215 0 75951 0 Current children cumulated CPU time (s) 51.02 Current children cumulated vsize (KiB) 304676 [startup+102.305 s] /proc/loadavg: 1.04 1.03 1.00 2/78 28359 /proc/meminfo: memFree=1533256/2055920 swapFree=4163588/4192956 [pid=28358] ppid=28356 vsize=304676 CPUtime=102.2 /proc/28358/stat : 28358 (minisat+) R 28356 28358 27211 0 -1 4194304 76207 0 0 0 10086 134 0 0 25 0 1 0 189802128 311988224 75100 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28358/statm: 76169 75100 106 215 0 75951 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 304676 [startup+162.301 s] /proc/loadavg: 1.06 1.03 1.00 2/78 28359 /proc/meminfo: memFree=1533128/2055920 swapFree=4163588/4192956 [pid=28358] ppid=28356 vsize=304852 CPUtime=162.17 /proc/28358/stat : 28358 (minisat+) R 28356 28358 27211 0 -1 4194304 76241 0 0 0 16083 134 0 0 25 0 1 0 189802128 312168448 75134 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28358/statm: 76213 75134 106 215 0 75995 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 304852 [startup+222.301 s] /proc/loadavg: 1.10 1.05 1.01 2/78 28359 /proc/meminfo: memFree=1533000/2055920 swapFree=4163588/4192956 [pid=28358] ppid=28356 vsize=304852 CPUtime=222.15 /proc/28358/stat : 28358 (minisat+) R 28356 28358 27211 0 -1 4194304 76258 0 0 0 22081 134 0 0 25 0 1 0 189802128 312168448 75151 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573331 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28358/statm: 76213 75151 106 215 0 75995 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 304852 [startup+282.302 s] /proc/loadavg: 1.04 1.04 1.00 2/78 28359 /proc/meminfo: memFree=1532872/2055920 swapFree=4163588/4192956 [pid=28358] ppid=28356 vsize=304988 CPUtime=282.14 /proc/28358/stat : 28358 (minisat+) R 28356 28358 27211 0 -1 4194304 76314 0 0 0 28079 135 0 0 25 0 1 0 189802128 312307712 75199 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28358/statm: 76247 75199 106 215 0 76029 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 304988 [startup+342.302 s] /proc/loadavg: 1.01 1.03 1.00 2/78 28359 /proc/meminfo: memFree=1532744/2055920 swapFree=4163588/4192956 [pid=28358] ppid=28356 vsize=304988 CPUtime=342.12 /proc/28358/stat : 28358 (minisat+) R 28356 28358 27211 0 -1 4194304 76327 0 0 0 34077 135 0 0 25 0 1 0 189802128 312307712 75212 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28358/statm: 76247 75212 106 215 0 76029 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 304988 [startup+402.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 28359 /proc/meminfo: memFree=1532616/2055920 swapFree=4163588/4192956 [pid=28358] ppid=28356 vsize=305108 CPUtime=402.1 /proc/28358/stat : 28358 (minisat+) R 28356 28358 27211 0 -1 4194304 76341 0 0 0 40075 135 0 0 25 0 1 0 189802128 312430592 75226 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581327 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28358/statm: 76277 75226 106 215 0 76059 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 305108 Solver just ended. Dumping a history of the last processes samples [startup+409.501 s] /proc/loadavg: 1.00 1.02 1.00 2/78 28359 /proc/meminfo: memFree=1532616/2055920 swapFree=4163588/4192956 [pid=28358] ppid=28356 vsize=305108 CPUtime=409.29 /proc/28358/stat : 28358 (minisat+) R 28356 28358 27211 0 -1 4194304 76342 0 0 0 40794 135 0 0 25 0 1 0 189802128 312430592 75227 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28358/statm: 76277 75227 106 215 0 76059 0 Current children cumulated CPU time (s) 409.29 Current children cumulated vsize (KiB) 305108 [startup+422.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 28359 /proc/meminfo: memFree=1532616/2055920 swapFree=4163588/4192956 [pid=28358] ppid=28356 vsize=305108 CPUtime=422.09 /proc/28358/stat : 28358 (minisat+) R 28356 28358 27211 0 -1 4194304 76345 0 0 0 42074 135 0 0 25 0 1 0 189802128 312430592 75230 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588783 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28358/statm: 76277 75230 106 215 0 76059 0 Current children cumulated CPU time (s) 422.09 Current children cumulated vsize (KiB) 305108 [startup+425.501 s] /proc/loadavg: 1.00 1.02 1.00 2/78 28359 /proc/meminfo: memFree=1532616/2055920 swapFree=4163588/4192956 [pid=28358] ppid=28356 vsize=305108 CPUtime=425.29 /proc/28358/stat : 28358 (minisat+) R 28356 28358 27211 0 -1 4194304 76346 0 0 0 42394 135 0 0 25 0 1 0 189802128 312430592 75231 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28358/statm: 76277 75231 106 215 0 76059 0 Current children cumulated CPU time (s) 425.29 Current children cumulated vsize (KiB) 305108 [startup+428.702 s] /proc/loadavg: 1.00 1.02 1.00 2/78 28359 /proc/meminfo: memFree=1532616/2055920 swapFree=4163588/4192956 [pid=28358] ppid=28356 vsize=305108 CPUtime=428.49 /proc/28358/stat : 28358 (minisat+) R 28356 28358 27211 0 -1 4194304 76346 0 0 0 42714 135 0 0 25 0 1 0 189802128 312430592 75231 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28358/statm: 76277 75231 106 215 0 76059 0 Current children cumulated CPU time (s) 428.49 Current children cumulated vsize (KiB) 305108 [startup+429.501 s] /proc/loadavg: 1.00 1.02 1.00 2/78 28359 /proc/meminfo: memFree=1532616/2055920 swapFree=4163588/4192956 [pid=28358] ppid=28356 vsize=305108 CPUtime=429.28 /proc/28358/stat : 28358 (minisat+) R 28356 28358 27211 0 -1 4194304 76346 0 0 0 42793 135 0 0 25 0 1 0 189802128 312430592 75231 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568481 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28358/statm: 76277 75231 106 215 0 76059 0 Current children cumulated CPU time (s) 429.28 Current children cumulated vsize (KiB) 305108 [startup+429.901 s] /proc/loadavg: 1.00 1.02 1.00 2/78 28359 /proc/meminfo: memFree=1532616/2055920 swapFree=4163588/4192956 [pid=28358] ppid=28356 vsize=305108 CPUtime=429.68 /proc/28358/stat : 28358 (minisat+) R 28356 28358 27211 0 -1 4194304 76346 0 0 0 42833 135 0 0 25 0 1 0 189802128 312430592 75231 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568550 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28358/statm: 76277 75231 106 215 0 76059 0 Current children cumulated CPU time (s) 429.68 Current children cumulated vsize (KiB) 305108 [startup+430.301 s] /proc/loadavg: 1.00 1.02 1.00 2/78 28359 /proc/meminfo: memFree=1532616/2055920 swapFree=4163588/4192956 [pid=28358] ppid=28356 vsize=0 CPUtime=430.08 /proc/28358/stat : 28358 (minisat+) R 28356 28358 27211 0 -1 4194308 76349 0 0 0 42870 138 0 0 25 0 1 0 189802128 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16386 0 0 0 17 0 0 0 /proc/28358/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 430.08 Current children cumulated vsize (KiB) 0 Child status: 20 Real time (s): 430.318 CPU time (s): 430.112 CPU user time (s): 428.71 CPU system time (s): 1.40179 CPU usage (%): 99.9521 Max. virtual memory (cumulated for all children) (KiB): 305108 getrusage(RUSAGE_CHILDREN,...) data: user time used= 428.71 system time used= 1.40179 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 76349 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= 4671 involuntary context switches= 1682 runsolver used 1.07584 second user time and 2.5996 second system time The end
Begin job on node22 on Tue Apr 24 12:47:24 UTC 2007 IDJOB= 420097 IDBENCH= 47821 IDSOLVER= 156 FILE ID= node22/420097-1177418843 PBS_JOBID= 4675687 Free space on /tmp= 66468 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/palacios/medium/blocks-4-ipc5-h21-unknown.opb COMMAND LINE= /tmp/evaluation/420097-1177418843/minisat+ /tmp/evaluation/420097-1177418843/instance-420097-1177418843.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node22/convwatcher-420097-1177418843 -o ROOT/results/node22/conversion-420097-1177418843 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/420097-1177418843/instance-420097-1177418843.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-420097-1177418843 -o ROOT/results/node22/solver-420097-1177418843 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/420097-1177418843/minisat+ /tmp/evaluation/420097-1177418843/instance-420097-1177418843.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 21a5d232eebe09c0c4b4635b21d4fb00 RANDOM SEED= 414434914 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node22.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.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 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: 1834912 kB Buffers: 16280 kB Cached: 109440 kB SwapCached: 7764 kB Active: 105592 kB Inactive: 61484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1834912 kB SwapTotal: 4192956 kB SwapFree: 4163588 kB Dirty: 31540 kB Writeback: 0 kB Mapped: 47688 kB Slab: 39460 kB Committed_AS: 1944844 kB PageTables: 1728 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= 66468 MiB End job on node22 on Tue Apr 24 12:54:35 UTC 2007