Trace number 420097

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat+ 1.14UNSAT 430.112 430.318

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/industrial/
palacios/medium/blocks-4-ipc5-h21-unknown.opb
MD5SUM21a5d232eebe09c0c4b4635b21d4fb00
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark430.112
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables135534
Total number of constraints905980
Number of constraints which are clauses905980
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint417
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 numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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 UNSATISFIABLE
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 _______________________________________________________________________________

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/420097-1177418843/instance-420097-1177418843.opb is already a linear file

Watcher Data (download as text)

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

Launcher Data (download as text)

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