Trace number 420013

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 600.557 600.808

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/
industrial/palacios/uts/uts-l06-ipc5-h30-unknown.opb
MD5SUMcf8a425ef442458bdd7c295b3da85fcf
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 benchmark600.557
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables137341
Total number of constraints724504
Number of constraints which are clauses724504
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 constraint591
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 589
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 1180
Number of bits of the biggest sum of numbers11
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...
23.08/23.19	c Converting 724204 PB-constraints to clauses...
23.28/23.30	c   -- Unit propagations: (none)
23.28/23.31	c   -- Detecting intervals from adjacent constraints: ######################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################
23.28/23.38	c   -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
24.97/25.09	c ---[724157]---> BDD-cost:    1
24.97/25.09	c ---[724146]---> BDD-cost:    1
24.97/25.09	c ---[724144]---> BDD-cost:    1
24.97/25.09	c ---[724142]---> BDD-cost:    1
24.97/25.09	c ---[724140]---> BDD-cost:    1
24.97/25.09	c ---[724138]---> BDD-cost:    1
24.97/25.09	c ---[724136]---> BDD-cost:    1
24.97/25.09	c ---[724134]---> BDD-cost:    1
24.97/25.09	c ---[724132]---> BDD-cost:    1
24.97/25.09	c ---[724130]---> BDD-cost:    1
24.97/25.09	c ---[724128]---> BDD-cost:    1
24.97/25.09	c ---[724126]---> BDD-cost:    1
24.97/25.09	c ---[724124]---> BDD-cost:    1
24.97/25.09	c ---[724122]---> BDD-cost:    1
24.97/25.09	c ---[724120]---> BDD-cost:    1
24.97/25.09	c ---[724118]---> BDD-cost:    1
24.97/25.09	c ---[724116]---> BDD-cost:    1
24.97/25.09	c ---[724114]---> BDD-cost:    1
24.97/25.09	c ---[724112]---> BDD-cost:    1
24.97/25.09	c ---[724110]---> BDD-cost:    1
24.97/25.09	c ---[724108]---> BDD-cost:    1
24.97/25.09	c ---[724106]---> BDD-cost:    1
24.97/25.09	c ---[724104]---> BDD-cost:    1
24.97/25.09	c ---[724102]---> BDD-cost:    1
24.97/25.09	c ---[724100]---> BDD-cost:    1
24.97/25.09	c ---[724098]---> BDD-cost:    1
24.97/25.09	c ---[724096]---> BDD-cost:    1
24.97/25.09	c ---[724094]---> BDD-cost:    1
24.97/25.09	c ---[724092]---> BDD-cost:    1
24.97/25.09	c ---[724090]---> BDD-cost:    1
24.97/25.09	c ---[724088]---> BDD-cost:    1
24.97/25.09	c ---[724086]---> BDD-cost:    1
24.97/25.09	c ---[724084]---> BDD-cost:    1
24.97/25.09	c ---[724082]---> BDD-cost:    1
24.97/25.09	c ---[724036]---> BDD-cost:    1
24.97/25.09	c ---[723988]---> BDD-cost:    1
24.97/25.09	c ---[723986]---> BDD-cost:    1
24.97/25.09	c ---[723984]---> BDD-cost:    1
24.97/25.09	c ---[723982]---> BDD-cost:    1
24.97/25.09	c ---[723980]---> BDD-cost:    1
24.97/25.09	c ---[723978]---> BDD-cost:    1
24.97/25.09	c ---[723976]---> BDD-cost:    1
24.97/25.09	c ---[723974]---> BDD-cost:    1
24.97/25.09	c ---[723972]---> BDD-cost:    1
24.97/25.09	c ---[723970]---> BDD-cost:    1
24.97/25.09	c ---[723968]---> BDD-cost:    1
24.97/25.09	c ---[723966]---> BDD-cost:    1
24.97/25.09	c ---[723964]---> BDD-cost:    1
24.97/25.09	c ---[723962]---> BDD-cost:    1
24.97/25.09	c ---[723960]---> BDD-cost:    1
24.97/25.09	c ---[723958]---> BDD-cost:    1
24.97/25.09	c ---[723956]---> BDD-cost:    1
24.97/25.09	c ---[723954]---> BDD-cost:    1
24.97/25.09	c ---[723952]---> BDD-cost:    1
24.97/25.09	c ---[723950]---> BDD-cost:    1
24.97/25.09	c ---[723948]---> BDD-cost:    1
24.97/25.09	c ---[723946]---> BDD-cost:    1
24.97/25.09	c ---[723944]---> BDD-cost:    1
24.97/25.09	c ---[723942]---> BDD-cost:    1
24.97/25.09	c ---[723940]---> BDD-cost:    1
24.97/25.09	c ---[723938]---> BDD-cost:    1
24.97/25.09	c ---[723936]---> BDD-cost:    1
24.97/25.09	c ---[723934]---> BDD-cost:    1
24.97/25.09	c ---[723932]---> BDD-cost:    1
24.97/25.09	c ---[723930]---> BDD-cost:    1
24.97/25.09	c ---[723928]---> BDD-cost:    1
24.97/25.09	c ---[723926]---> BDD-cost:    1
24.97/25.09	c ---[723924]---> BDD-cost:    1
24.97/25.09	c ---[723872]---> BDD-cost:    1
24.97/25.09	c ---[723788]---> BDD-cost:    1
24.97/25.09	c ---[723786]---> BDD-cost:    1
24.97/25.09	c ---[723784]---> BDD-cost:    1
24.97/25.09	c ---[723782]---> BDD-cost:    1
24.97/25.09	c ---[723780]---> BDD-cost:    1
24.97/25.09	c ---[723778]---> BDD-cost:    1
24.97/25.09	c ---[723776]---> BDD-cost:    1
24.97/25.09	c ---[723774]---> BDD-cost:    1
24.97/25.09	c ---[723772]---> BDD-cost:    1
24.97/25.09	c ---[723770]---> BDD-cost:    1
24.97/25.09	c ---[723768]---> BDD-cost:    1
24.97/25.09	c ---[723766]---> BDD-cost:    1
24.97/25.09	c ---[723764]---> BDD-cost:    1
24.97/25.09	c ---[723762]---> BDD-cost:    1
24.97/25.09	c ---[723760]---> BDD-cost:    1
24.97/25.09	c ---[723758]---> BDD-cost:    1
24.97/25.09	c ---[723756]---> BDD-cost:    1
24.97/25.09	c ---[723754]---> BDD-cost:    1
24.97/25.09	c ---[723752]---> BDD-cost:    1
24.97/25.09	c ---[723750]---> BDD-cost:    1
24.97/25.09	c ---[723748]---> BDD-cost:    1
24.97/25.09	c ---[723746]---> BDD-cost:    1
24.97/25.09	c ---[723744]---> BDD-cost:    1
24.97/25.09	c ---[723742]---> BDD-cost:    1
24.97/25.09	c ---[723740]---> BDD-cost:    1
24.97/25.09	c ---[723738]---> BDD-cost:    1
24.97/25.09	c ---[723736]---> BDD-cost:    1
24.97/25.09	c ---[723734]---> BDD-cost:    1
24.97/25.09	c ---[723732]---> BDD-cost:    1
24.97/25.09	c ---[723730]---> BDD-cost:    1
24.97/25.09	c ---[723728]---> BDD-cost:    1
24.97/25.09	c ---[723726]---> BDD-cost:    1
24.97/25.09	c ---[723724]---> BDD-cost:    1
24.97/25.09	c ---[723666]---> BDD-cost:    1
24.97/25.09	c ---[723547]---> BDD-cost:    1
24.97/25.09	c ---[723545]---> BDD-cost:    1
24.97/25.09	c ---[723543]---> BDD-cost:    1
24.97/25.09	c ---[723541]---> BDD-cost:    1
24.97/25.09	c ---[723539]---> BDD-cost:    1
24.97/25.09	c ---[723537]---> BDD-cost:    1
24.97/25.09	c ---[723535]---> BDD-cost:    1
24.97/25.09	c ---[723533]---> BDD-cost:    1
24.97/25.09	c ---[723531]---> BDD-cost:    1
24.97/25.09	c ---[723529]---> BDD-cost:    1
24.97/25.09	c ---[723527]---> BDD-cost:    1
24.97/25.09	c ---[723525]---> BDD-cost:    1
24.97/25.09	c ---[723523]---> BDD-cost:    1
24.97/25.09	c ---[723521]---> BDD-cost:    1
24.97/25.09	c ---[723519]---> BDD-cost:    1
24.97/25.09	c ---[723517]---> BDD-cost:    1
24.97/25.09	c ---[723515]---> BDD-cost:    1
24.97/25.09	c ---[723513]---> BDD-cost:    1
24.97/25.09	c ---[723511]---> BDD-cost:    1
24.97/25.09	c ---[723509]---> BDD-cost:    1
24.97/25.09	c ---[723507]---> BDD-cost:    1
24.97/25.09	c ---[723505]---> BDD-cost:    1
24.97/25.09	c ---[723503]---> BDD-cost:    1
24.97/25.09	c ---[723501]---> BDD-cost:    1
24.97/25.09	c ---[723499]---> BDD-cost:    1
24.97/25.09	c ---[723497]---> BDD-cost:    1
24.97/25.09	c ---[723495]---> BDD-cost:    1
24.97/25.09	c ---[723493]---> BDD-cost:    1
24.97/25.09	c ---[723491]---> BDD-cost:    1
24.97/25.09	c ---[723489]---> BDD-cost:    1
24.97/25.09	c ---[723487]---> BDD-cost:    1
24.97/25.09	c ---[723485]---> BDD-cost:    1
24.97/25.09	c ---[723483]---> BDD-cost:    1
24.97/25.09	c ---[723419]---> BDD-cost:    1
24.97/25.09	c ---[723266]---> BDD-cost:    1
24.97/25.09	c ---[723264]---> BDD-cost:    1
24.97/25.09	c ---[723262]---> BDD-cost:    1
24.97/25.09	c ---[723260]---> BDD-cost:    1
24.97/25.09	c ---[723258]---> BDD-cost:    1
24.97/25.09	c ---[723256]---> BDD-cost:    1
24.97/25.09	c ---[723254]---> BDD-cost:    1
24.97/25.09	c ---[723252]---> BDD-cost:    1
24.97/25.09	c ---[723250]---> BDD-cost:    1
24.97/25.09	c ---[723248]---> BDD-cost:    1
24.97/25.09	c ---[723246]---> BDD-cost:    1
24.97/25.09	c ---[723244]---> BDD-cost:    1
24.97/25.09	c ---[723242]---> BDD-cost:    1
24.97/25.09	c ---[723240]---> BDD-cost:    1
24.97/25.09	c ---[723238]---> BDD-cost:    1
24.97/25.09	c ---[723236]---> BDD-cost:    1
24.97/25.09	c ---[723234]---> BDD-cost:    1
24.97/25.09	c ---[723232]---> BDD-cost:    1
24.97/25.09	c ---[723230]---> BDD-cost:    1
24.97/25.09	c ---[723228]---> BDD-cost:    1
24.97/25.09	c ---[723226]---> BDD-cost:    1
24.97/25.09	c ---[723224]---> BDD-cost:    1
24.97/25.09	c ---[723222]---> BDD-cost:    1
24.97/25.09	c ---[723220]---> BDD-cost:    1
24.97/25.09	c ---[723218]---> BDD-cost:    1
24.97/25.09	c ---[723216]---> BDD-cost:    1
24.97/25.09	c ---[723214]---> BDD-cost:    1
24.97/25.09	c ---[723212]---> BDD-cost:    1
24.97/25.09	c ---[723210]---> BDD-cost:    1
24.97/25.09	c ---[723208]---> BDD-cost:    1
24.97/25.09	c ---[723206]---> BDD-cost:    1
24.97/25.09	c ---[723204]---> BDD-cost:    1
24.97/25.09	c ---[723202]---> BDD-cost:    1
24.97/25.09	c ---[723132]---> BDD-cost:    1
24.97/25.09	c ---[722946]---> BDD-cost:    1
24.97/25.09	c ---[722944]---> BDD-cost:    1
24.97/25.09	c ---[722942]---> BDD-cost:    1
24.97/25.09	c ---[722940]---> BDD-cost:    1
24.97/25.09	c ---[722938]---> BDD-cost:    1
24.97/25.09	c ---[722936]---> BDD-cost:    1
24.97/25.09	c ---[722934]---> BDD-cost:    1
24.97/25.09	c ---[722932]---> BDD-cost:    1
24.97/25.09	c ---[722930]---> BDD-cost:    1
24.97/25.09	c ---[722928]---> BDD-cost:    1
24.97/25.09	c ---[722926]---> BDD-cost:    1
24.97/25.09	c ---[722924]---> BDD-cost:    1
24.97/25.09	c ---[722922]---> BDD-cost:    1
24.97/25.09	c ---[722920]---> BDD-cost:    1
24.97/25.09	c ---[722918]---> BDD-cost:    1
24.97/25.09	c ---[722916]---> BDD-cost:    1
24.97/25.09	c ---[722914]---> BDD-cost:    1
24.97/25.09	c ---[722912]---> BDD-cost:    1
24.97/25.09	c ---[722910]---> BDD-cost:    1
24.97/25.09	c ---[722908]---> BDD-cost:    1
24.97/25.09	c ---[722906]---> BDD-cost:    1
24.97/25.09	c ---[722904]---> BDD-cost:    1
24.97/25.09	c ---[722902]---> BDD-cost:    1
24.97/25.09	c ---[722900]---> BDD-cost:    1
24.97/25.09	c ---[722898]---> BDD-cost:    1
24.97/25.09	c ---[722896]---> BDD-cost:    1
24.97/25.09	c ---[722894]---> BDD-cost:    1
24.97/25.09	c ---[722892]---> BDD-cost:    1
24.97/25.09	c ---[722890]---> BDD-cost:    1
24.97/25.09	c ---[722888]---> BDD-cost:    1
24.97/25.09	c ---[722886]---> BDD-cost:    1
24.97/25.09	c ---[722884]---> BDD-cost:    1
24.97/25.09	c ---[722882]---> BDD-cost:    1
24.97/25.09	c ---[722806]---> BDD-cost:    1
24.97/25.09	c ---[722588]---> BDD-cost:    1
24.97/25.09	c ---[722586]---> BDD-cost:    1
24.97/25.09	c ---[722584]---> BDD-cost:    1
24.97/25.09	c ---[722582]---> BDD-cost:    1
24.97/25.09	c ---[722580]---> BDD-cost:    1
24.97/25.09	c ---[722578]---> BDD-cost:    1
24.97/25.09	c ---[722576]---> BDD-cost:    1
24.97/25.09	c ---[722574]---> BDD-cost:    1
24.97/25.09	c ---[722572]---> BDD-cost:    1
24.97/25.09	c ---[722570]---> BDD-cost:    1
24.97/25.09	c ---[722568]---> BDD-cost:    1
24.97/25.09	c ---[722566]---> BDD-cost:    1
24.97/25.09	c ---[722564]---> BDD-cost:    1
24.97/25.09	c ---[722562]---> BDD-cost:    1
24.97/25.09	c ---[722560]---> BDD-cost:    1
24.97/25.09	c ---[722558]---> BDD-cost:    1
24.97/25.09	c ---[722556]---> BDD-cost:    1
24.97/25.09	c ---[722554]---> BDD-cost:    1
24.97/25.09	c ---[722552]---> BDD-cost:    1
24.97/25.09	c ---[722550]---> BDD-cost:    1
24.97/25.09	c ---[722548]---> BDD-cost:    1
24.97/25.09	c ---[722546]---> BDD-cost:    1
24.97/25.09	c ---[722544]---> BDD-cost:    1
24.97/25.09	c ---[722542]---> BDD-cost:    1
24.97/25.09	c ---[722540]---> BDD-cost:    1
24.97/25.09	c ---[722538]---> BDD-cost:    1
24.97/25.09	c ---[722536]---> BDD-cost:    1
24.97/25.09	c ---[722534]---> BDD-cost:    1
24.97/25.09	c ---[722532]---> BDD-cost:    1
24.97/25.09	c ---[722530]---> BDD-cost:    1
24.97/25.09	c ---[722528]---> BDD-cost:    1
24.97/25.09	c ---[722526]---> BDD-cost:    1
24.97/25.09	c ---[722524]---> BDD-cost:    1
24.97/25.09	c ---[722442]---> BDD-cost:    1
24.97/25.09	c ---[722193]---> BDD-cost:    1
24.97/25.09	c ---[722191]---> BDD-cost:    1
24.97/25.09	c ---[722189]---> BDD-cost:    1
24.97/25.09	c ---[722187]---> BDD-cost:    1
24.97/25.09	c ---[722185]---> BDD-cost:    1
24.97/25.09	c ---[722183]---> BDD-cost:    1
24.97/25.09	c ---[722181]---> BDD-cost:    1
24.97/25.09	c ---[722179]---> BDD-cost:    1
24.97/25.09	c ---[722177]---> BDD-cost:    1
24.97/25.09	c ---[722175]---> BDD-cost:    1
24.97/25.09	c ---[722173]---> BDD-cost:    1
24.97/25.10	c ---[722171]---> BDD-cost:    1
24.97/25.10	c ---[722169]---> BDD-cost:    1
24.97/25.10	c ---[722167]---> BDD-cost:    1
24.97/25.10	c ---[722165]---> BDD-cost:    1
24.97/25.10	c ---[722163]---> BDD-cost:    1
24.97/25.10	c ---[722161]---> BDD-cost:    1
24.97/25.10	c ---[722159]---> BDD-cost:    1
24.97/25.10	c ---[722157]---> BDD-cost:    1
24.97/25.10	c ---[722155]---> BDD-cost:    1
24.97/25.10	c ---[722153]---> BDD-cost:    1
24.97/25.10	c ---[722151]---> BDD-cost:    1
24.97/25.10	c ---[722149]---> BDD-cost:    1
24.97/25.10	c ---[722147]---> BDD-cost:    1
24.97/25.10	c ---[722145]---> BDD-cost:    1
24.97/25.10	c ---[722143]---> BDD-cost:    1
24.97/25.10	c ---[722141]---> BDD-cost:    1
24.97/25.10	c ---[722139]---> BDD-cost:    1
24.97/25.10	c ---[722137]---> BDD-cost:    1
24.97/25.10	c ---[722135]---> BDD-cost:    1
24.97/25.10	c ---[722133]---> BDD-cost:    1
24.97/25.10	c ---[722131]---> BDD-cost:    1
24.97/25.10	c ---[722129]---> BDD-cost:    1
24.97/25.10	c ---[722041]---> BDD-cost:    1
24.97/25.10	c ---[721762]---> BDD-cost:    1
24.97/25.10	c ---[721760]---> BDD-cost:    1
24.97/25.10	c ---[721758]---> BDD-cost:    1
24.97/25.10	c ---[721756]---> BDD-cost:    1
24.97/25.10	c ---[721754]---> BDD-cost:    1
24.97/25.10	c ---[721752]---> BDD-cost:    1
24.97/25.10	c ---[721750]---> BDD-cost:    1
24.97/25.10	c ---[721748]---> BDD-cost:    1
24.97/25.10	c ---[721746]---> BDD-cost:    1
24.97/25.10	c ---[721744]---> BDD-cost:    1
24.97/25.10	c ---[721742]---> BDD-cost:    1
24.97/25.10	c ---[721740]---> BDD-cost:    1
25.07/25.10	c ---[721738]---> BDD-cost:    1
25.07/25.10	c ---[721736]---> BDD-cost:    1
25.07/25.10	c ---[721734]---> BDD-cost:    1
25.07/25.10	c ---[721732]---> BDD-cost:    1
25.07/25.10	c ---[721730]---> BDD-cost:    1
25.07/25.10	c ---[721728]---> BDD-cost:    1
25.07/25.10	c ---[721726]---> BDD-cost:    1
25.07/25.10	c ---[721724]---> BDD-cost:    1
25.07/25.10	c ---[721722]---> BDD-cost:    1
25.07/25.10	c ---[721720]---> BDD-cost:    1
25.07/25.10	c ---[721718]---> BDD-cost:    1
25.07/25.10	c ---[721716]---> BDD-cost:    1
25.07/25.10	c ---[721714]---> BDD-cost:    1
25.07/25.10	c ---[721712]---> BDD-cost:    1
25.07/25.10	c ---[721710]---> BDD-cost:    1
25.07/25.10	c ---[721708]---> BDD-cost:    1
25.07/25.10	c ---[721706]---> BDD-cost:    1
25.07/25.10	c ---[721704]---> BDD-cost:    1
25.07/25.10	c ---[721702]---> BDD-cost:    1
25.07/25.10	c ---[721700]---> BDD-cost:    1
25.07/25.10	c ---[721698]---> BDD-cost:    1
25.07/25.10	c ---[721580]---> BDD-cost:    1
25.07/25.10	c ---[721298]---> BDD-cost:    1
25.07/25.10	c ---[721296]---> BDD-cost:    1
25.07/25.10	c ---[721294]---> BDD-cost:    1
25.07/25.10	c ---[721292]---> BDD-cost:    1
25.07/25.10	c ---[721290]---> BDD-cost:    1
25.07/25.10	c ---[721288]---> BDD-cost:    1
25.07/25.10	c ---[721286]---> BDD-cost:    1
25.07/25.10	c ---[721284]---> BDD-cost:    1
25.07/25.10	c ---[721282]---> BDD-cost:    1
25.07/25.10	c ---[721280]---> BDD-cost:    1
25.07/25.10	c ---[721278]---> BDD-cost:    1
25.07/25.10	c ---[721276]---> BDD-cost:    1
25.07/25.10	c ---[721274]---> BDD-cost:    1
25.07/25.10	c ---[721272]---> BDD-cost:    1
25.07/25.10	c ---[721270]---> BDD-cost:    1
25.07/25.10	c ---[721268]---> BDD-cost:    1
25.07/25.10	c ---[721266]---> BDD-cost:    1
25.07/25.10	c ---[721264]---> BDD-cost:    1
25.07/25.10	c ---[721262]---> BDD-cost:    1
25.07/25.10	c ---[721260]---> BDD-cost:    1
25.07/25.10	c ---[721258]---> BDD-cost:    1
25.07/25.10	c ---[721256]---> BDD-cost:    1
25.07/25.10	c ---[721254]---> BDD-cost:    1
25.07/25.10	c ---[721252]---> BDD-cost:    1
25.07/25.10	c ---[721250]---> BDD-cost:    1
25.07/25.10	c ---[721248]---> BDD-cost:    1
25.07/25.10	c ---[721246]---> BDD-cost:    1
25.07/25.10	c ---[721244]---> BDD-cost:    1
25.07/25.10	c ---[721242]---> BDD-cost:    1
25.07/25.10	c ---[721240]---> BDD-cost:    1
25.07/25.10	c ---[721238]---> BDD-cost:    1
25.07/25.10	c ---[721236]---> BDD-cost:    1
25.07/25.10	c ---[721234]---> BDD-cost:    1
25.07/25.10	c ---[721087]---> BDD-cost:    1
25.07/25.10	c ---[720799]---> BDD-cost:    1
25.07/25.10	c ---[720797]---> BDD-cost:    1
25.07/25.10	c ---[720795]---> BDD-cost:    1
25.07/25.10	c ---[720793]---> BDD-cost:    1
25.07/25.10	c ---[720791]---> BDD-cost:    1
25.07/25.10	c ---[720789]---> BDD-cost:    1
25.07/25.10	c ---[720787]---> BDD-cost:    1
25.07/25.10	c ---[720785]---> BDD-cost:    1
25.07/25.10	c ---[720783]---> BDD-cost:    1
25.07/25.10	c ---[720781]---> BDD-cost:    1
25.07/25.10	c ---[720779]---> BDD-cost:    1
25.07/25.10	c ---[720777]---> BDD-cost:    1
25.07/25.10	c ---[720775]---> BDD-cost:    1
25.07/25.10	c ---[720773]---> BDD-cost:    1
25.07/25.10	c ---[720771]---> BDD-cost:    1
25.07/25.10	c ---[720769]---> BDD-cost:    1
25.07/25.10	c ---[720767]---> BDD-cost:    1
25.07/25.10	c ---[720765]---> BDD-cost:    1
25.07/25.10	c ---[720763]---> BDD-cost:    1
25.07/25.10	c ---[720761]---> BDD-cost:    1
25.07/25.10	c ---[720759]---> BDD-cost:    1
25.07/25.10	c ---[720757]---> BDD-cost:    1
25.07/25.10	c ---[720755]---> BDD-cost:    1
25.07/25.10	c ---[720753]---> BDD-cost:    1
25.07/25.10	c ---[720751]---> BDD-cost:    1
25.07/25.10	c ---[720749]---> BDD-cost:    1
25.07/25.10	c ---[720747]---> BDD-cost:    1
25.07/25.10	c ---[720745]---> BDD-cost:    1
25.07/25.10	c ---[720743]---> BDD-cost:    1
25.07/25.10	c ---[720741]---> BDD-cost:    1
25.07/25.10	c ---[720739]---> BDD-cost:    1
25.07/25.10	c ---[720737]---> BDD-cost:    1
25.07/25.10	c ---[720735]---> BDD-cost:    1
25.07/25.10	c ---[720582]---> BDD-cost:    1
25.07/25.10	c ---[720256]---> BDD-cost:    1
25.07/25.10	c ---[720254]---> BDD-cost:    1
25.07/25.10	c ---[720252]---> BDD-cost:    1
25.07/25.10	c ---[720250]---> BDD-cost:    1
25.07/25.10	c ---[720248]---> BDD-cost:    1
25.07/25.10	c ---[720246]---> BDD-cost:    1
25.07/25.10	c ---[720244]---> BDD-cost:    1
25.07/25.10	c ---[720242]---> BDD-cost:    1
25.07/25.10	c ---[720240]---> BDD-cost:    1
25.07/25.10	c ---[720238]---> BDD-cost:    1
25.07/25.10	c ---[720236]---> BDD-cost:    1
25.07/25.10	c ---[720234]---> BDD-cost:    1
25.07/25.10	c ---[720232]---> BDD-cost:    1
25.07/25.10	c ---[720230]---> BDD-cost:    1
25.07/25.10	c ---[720228]---> BDD-cost:    1
25.07/25.10	c ---[720226]---> BDD-cost:    1
25.07/25.10	c ---[720224]---> BDD-cost:    1
25.07/25.10	c ---[720222]---> BDD-cost:    1
25.07/25.10	c ---[720220]---> BDD-cost:    1
25.07/25.10	c ---[720218]---> BDD-cost:    1
25.07/25.10	c ---[720216]---> BDD-cost:    1
25.07/25.10	c ---[720214]---> BDD-cost:    1
25.07/25.10	c ---[720212]---> BDD-cost:    1
25.07/25.10	c ---[720210]---> BDD-cost:    1
25.07/25.10	c ---[720208]---> BDD-cost:    1
25.07/25.10	c ---[720206]---> BDD-cost:    1
25.07/25.10	c ---[720204]---> BDD-cost:    1
25.07/25.10	c ---[720202]---> BDD-cost:    1
25.07/25.10	c ---[720200]---> BDD-cost:    1
25.07/25.10	c ---[720198]---> BDD-cost:    1
25.07/25.10	c ---[720196]---> BDD-cost:    1
25.07/25.10	c ---[720194]---> BDD-cost:    1
25.07/25.10	c ---[720192]---> BDD-cost:    1
25.07/25.10	c ---[720033]---> BDD-cost:    1
25.07/25.10	c ---[719670]---> BDD-cost:    1
25.07/25.10	c ---[719668]---> BDD-cost:    1
25.07/25.10	c ---[719666]---> BDD-cost:    1
25.07/25.10	c ---[719664]---> BDD-cost:    1
25.07/25.10	c ---[719662]---> BDD-cost:    1
25.07/25.10	c ---[719660]---> BDD-cost:    1
25.07/25.10	c ---[719658]---> BDD-cost:    1
25.07/25.10	c ---[719656]---> BDD-cost:    1
25.07/25.10	c ---[719654]---> BDD-cost:    1
25.07/25.10	c ---[719652]---> BDD-cost:    1
25.07/25.10	c ---[719650]---> BDD-cost:    1
25.07/25.10	c ---[719648]---> BDD-cost:    1
25.07/25.10	c ---[719646]---> BDD-cost:    1
25.07/25.10	c ---[719644]---> BDD-cost:    1
25.07/25.10	c ---[719642]---> BDD-cost:    1
25.07/25.10	c ---[719640]---> BDD-cost:    1
25.07/25.10	c ---[719638]---> BDD-cost:    1
25.07/25.10	c ---[719636]---> BDD-cost:    1
25.07/25.10	c ---[719634]---> BDD-cost:    1
25.07/25.10	c ---[719632]---> BDD-cost:    1
25.07/25.10	c ---[719630]---> BDD-cost:    1
25.07/25.10	c ---[719628]---> BDD-cost:    1
25.07/25.10	c ---[719626]---> BDD-cost:    1
25.07/25.10	c ---[719624]---> BDD-cost:    1
25.07/25.10	c ---[719622]---> BDD-cost:    1
25.07/25.10	c ---[719620]---> BDD-cost:    1
25.07/25.10	c ---[719618]---> BDD-cost:    1
25.07/25.10	c ---[719616]---> BDD-cost:    1
25.07/25.10	c ---[719614]---> BDD-cost:    1
25.07/25.10	c ---[719612]---> BDD-cost:    1
25.07/25.10	c ---[719610]---> BDD-cost:    1
25.07/25.10	c ---[719608]---> BDD-cost:    1
25.07/25.10	c ---[719606]---> BDD-cost:    1
25.07/25.10	c ---[719441]---> BDD-cost:    1
25.07/25.10	c ---[718555]---> BDD-cost:    1
25.07/25.10	c ---[718553]---> BDD-cost:    1
25.07/25.10	c ---[718551]---> BDD-cost:    1
25.07/25.10	c ---[718549]---> BDD-cost:    1
25.07/25.10	c ---[718547]---> BDD-cost:    1
25.07/25.10	c ---[718545]---> BDD-cost:    1
25.07/25.10	c ---[718543]---> BDD-cost:    1
25.07/25.10	c ---[718541]---> BDD-cost:    1
25.07/25.10	c ---[718539]---> BDD-cost:    1
25.07/25.10	c ---[718537]---> BDD-cost:    1
25.07/25.10	c ---[718535]---> BDD-cost:    1
25.07/25.10	c ---[718533]---> BDD-cost:    1
25.07/25.10	c ---[718531]---> BDD-cost:    1
25.07/25.10	c ---[718529]---> BDD-cost:    1
25.07/25.10	c ---[718527]---> BDD-cost:    1
25.07/25.10	c ---[718525]---> BDD-cost:    1
25.07/25.10	c ---[718523]---> BDD-cost:    1
25.07/25.10	c ---[718521]---> BDD-cost:    1
25.07/25.10	c ---[718519]---> BDD-cost:    1
25.07/25.10	c ---[718517]---> BDD-cost:    1
25.07/25.10	c ---[718515]---> BDD-cost:    1
25.07/25.10	c ---[718513]---> BDD-cost:    1
25.07/25.10	c ---[718511]---> BDD-cost:    1
25.07/25.10	c ---[718509]---> BDD-cost:    1
25.07/25.10	c ---[718507]---> BDD-cost:    1
25.07/25.10	c ---[718505]---> BDD-cost:    1
25.07/25.10	c ---[718503]---> BDD-cost:    1
25.07/25.10	c ---[718501]---> BDD-cost:    1
25.07/25.10	c ---[718499]---> BDD-cost:    1
25.07/25.10	c ---[718497]---> BDD-cost:    1
25.07/25.10	c ---[718495]---> BDD-cost:    1
25.07/25.10	c ---[718493]---> BDD-cost:    1
25.07/25.10	c ---[718491]---> BDD-cost:    1
25.07/25.10	c ---[718358]---> BDD-cost:    1
25.07/25.10	c ---[718356]---> BDD-cost:    1
25.07/25.10	c ---[718354]---> BDD-cost:    1
25.07/25.10	c ---[718352]---> BDD-cost:    1
25.07/25.10	c ---[718350]---> BDD-cost:    1
25.07/25.10	c ---[718348]---> BDD-cost:    1
25.07/25.10	c ---[718346]---> BDD-cost:    1
25.07/25.10	c ---[718344]---> BDD-cost:    1
25.07/25.10	c ---[718342]---> BDD-cost:    1
25.07/25.10	c ---[718340]---> BDD-cost:    1
25.07/25.10	c ---[718338]---> BDD-cost:    1
25.07/25.10	c ---[718336]---> BDD-cost:    1
25.07/25.10	c ---[718334]---> BDD-cost:    1
25.07/25.10	c ---[718332]---> BDD-cost:    1
25.07/25.10	c ---[718330]---> BDD-cost:    1
25.07/25.10	c ---[718328]---> BDD-cost:    1
25.07/25.10	c ---[718326]---> BDD-cost:    1
25.07/25.10	c ---[718324]---> BDD-cost:    1
25.07/25.10	c ---[718322]---> BDD-cost:    1
25.07/25.10	c ---[718320]---> BDD-cost:    1
25.07/25.10	c ---[718318]---> BDD-cost:    1
25.07/25.10	c ---[718316]---> BDD-cost:    1
25.07/25.10	c ---[718314]---> BDD-cost:    1
25.07/25.10	c ---[718312]---> BDD-cost:    1
25.07/25.10	c ---[718310]---> BDD-cost:    1
25.07/25.10	c ---[718308]---> BDD-cost:    1
25.07/25.10	c ---[718306]---> BDD-cost:    1
25.07/25.10	c ---[718304]---> BDD-cost:    1
25.07/25.10	c ---[718302]---> BDD-cost:    1
25.07/25.10	c ---[718300]---> BDD-cost:    1
25.07/25.10	c ---[718298]---> BDD-cost:    1
25.07/25.10	c ---[718296]---> BDD-cost:    1
25.07/25.10	c ---[718294]---> BDD-cost:    1
25.07/25.10	c ---[718292]---> BDD-cost:    1
25.07/25.10	c ---[718290]---> BDD-cost:    1
25.07/25.10	c ---[718288]---> BDD-cost:    1
25.07/25.10	c ---[718286]---> BDD-cost:    1
25.07/25.10	c ---[718284]---> BDD-cost:    1
25.07/25.10	c ---[718282]---> BDD-cost:    1
25.07/25.10	c ---[718280]---> BDD-cost:    1
25.07/25.10	c ---[718278]---> BDD-cost:    1
25.07/25.10	c ---[718276]---> BDD-cost:    1
25.07/25.10	c ---[718274]---> BDD-cost:    1
25.07/25.10	c ---[718272]---> BDD-cost:    1
25.07/25.10	c ---[718270]---> BDD-cost:    1
25.07/25.10	c ---[718268]---> BDD-cost:    1
25.07/25.10	c ---[718266]---> BDD-cost:    1
25.07/25.10	c ---[718264]---> BDD-cost:    1
25.07/25.10	c ---[718262]---> BDD-cost:    1
25.07/25.10	c ---[718260]---> BDD-cost:    1
25.07/25.10	c ---[718258]---> BDD-cost:    1
25.07/25.10	c ---[718256]---> BDD-cost:    1
25.07/25.10	c ---[718254]---> BDD-cost:    1
25.07/25.10	c ---[718252]---> BDD-cost:    1
25.07/25.10	c ---[718250]---> BDD-cost:    1
25.07/25.10	c ---[718248]---> BDD-cost:    1
25.07/25.10	c ---[718246]---> BDD-cost:    1
25.07/25.10	c ---[718244]---> BDD-cost:    1
25.07/25.10	c ---[718242]---> BDD-cost:    1
25.07/25.10	c ---[718240]---> BDD-cost:    1
25.07/25.10	c ---[718238]---> BDD-cost:    1
25.07/25.10	c ---[718236]---> BDD-cost:    1
25.07/25.10	c ---[718234]---> BDD-cost:    1
25.07/25.10	c ---[718232]---> BDD-cost:    1
25.07/25.10	c ---[718230]---> BDD-cost:    1
25.07/25.10	c ---[718228]---> BDD-cost:    1
25.07/25.10	c ---[718226]---> BDD-cost:    1
25.07/25.10	c ---[718224]---> BDD-cost:    1
25.07/25.10	c ---[718222]---> BDD-cost:    1
25.07/25.10	c ---[718220]---> BDD-cost:    1
25.07/25.10	c ---[718218]---> BDD-cost:    1
25.07/25.10	c ---[718216]---> BDD-cost:    1
25.07/25.10	c ---[718214]---> BDD-cost:    1
25.07/25.10	c ---[718212]---> BDD-cost:    1
25.07/25.11	c ---[718210]---> BDD-cost:    1
25.07/25.11	c ---[718208]---> BDD-cost:    1
25.07/25.11	c ---[718206]---> BDD-cost:    1
25.07/25.11	c ---[718204]---> BDD-cost:    1
25.07/25.11	c ---[718202]---> BDD-cost:    1
25.07/25.11	c ---[718200]---> BDD-cost:    1
25.07/25.11	c ---[718198]---> BDD-cost:    1
25.07/25.11	c ---[718196]---> BDD-cost:    1
25.07/25.11	c ---[718194]---> BDD-cost:    1
25.07/25.11	c ---[718192]---> BDD-cost:    1
25.07/25.11	c ---[718190]---> BDD-cost:    1
25.07/25.11	c ---[718188]---> BDD-cost:    1
25.07/25.11	c ---[718186]---> BDD-cost:    1
25.07/25.11	c ---[718184]---> BDD-cost:    1
25.07/25.11	c ---[718182]---> BDD-cost:    1
25.07/25.11	c ---[718180]---> BDD-cost:    1
25.07/25.11	c ---[718178]---> BDD-cost:    1
25.07/25.11	c ---[718176]---> BDD-cost:    1
25.07/25.11	c ---[718174]---> BDD-cost:    1
25.07/25.11	c ---[718172]---> BDD-cost:    1
25.07/25.11	c ---[718170]---> BDD-cost:    1
25.07/25.11	c ---[718168]---> BDD-cost:    1
25.07/25.11	c ---[718166]---> BDD-cost:    1
25.07/25.11	c ---[718164]---> BDD-cost:    1
25.07/25.11	c ---[718162]---> BDD-cost:    1
25.07/25.11	c ---[718160]---> BDD-cost:    1
25.07/25.11	c ---[718158]---> BDD-cost:    1
25.07/25.11	c ---[718156]---> BDD-cost:    1
25.07/25.11	c ---[718154]---> BDD-cost:    1
25.07/25.11	c ---[718152]---> BDD-cost:    1
25.07/25.11	c ---[718150]---> BDD-cost:    1
25.07/25.11	c ---[718148]---> BDD-cost:    1
25.07/25.11	c ---[718146]---> BDD-cost:    1
25.07/25.11	c ---[718144]---> BDD-cost:    1
25.07/25.11	c ---[718142]---> BDD-cost:    1
25.07/25.11	c ---[718140]---> BDD-cost:    1
25.07/25.11	c ---[718138]---> BDD-cost:    1
25.07/25.11	c ---[718136]---> BDD-cost:    1
25.07/25.11	c ---[718134]---> BDD-cost:    1
25.07/25.11	c ---[718132]---> BDD-cost:    1
25.07/25.11	c ---[718130]---> BDD-cost:    1
25.07/25.11	c ---[718128]---> BDD-cost:    1
25.07/25.11	c ---[718126]---> BDD-cost:    1
25.07/25.11	c ---[718124]---> BDD-cost:    1
25.07/25.11	c ---[718122]---> BDD-cost:    1
25.07/25.11	c ---[718120]---> BDD-cost:    1
25.07/25.11	c ---[718118]---> BDD-cost:    1
25.07/25.11	c ---[718116]---> BDD-cost:    1
25.07/25.11	c ---[718114]---> BDD-cost:    1
25.07/25.11	c ---[718112]---> BDD-cost:    1
25.07/25.11	c ---[718110]---> BDD-cost:    1
25.07/25.11	c ---[718108]---> BDD-cost:    1
25.07/25.11	c ---[718106]---> BDD-cost:    1
25.07/25.11	c ---[718104]---> BDD-cost:    1
25.07/25.11	c ---[718102]---> BDD-cost:    1
25.07/25.11	c ---[718100]---> BDD-cost:    1
25.07/25.11	c ---[718098]---> BDD-cost:    1
25.07/25.11	c ---[718096]---> BDD-cost:    1
25.07/25.11	c ---[718094]---> BDD-cost:    1
25.07/25.11	c ---[718092]---> BDD-cost:    1
25.07/25.11	c ---[718090]---> BDD-cost:    1
25.07/25.11	c ---[718088]---> BDD-cost:    1
25.07/25.11	c ---[718086]---> BDD-cost:    1
25.07/25.11	c ---[718084]---> BDD-cost:    1
25.07/25.11	c ---[718082]---> BDD-cost:    1
25.07/25.11	c ---[718080]---> BDD-cost:    1
25.07/25.11	c ---[718078]---> BDD-cost:    1
25.07/25.11	c ---[718076]---> BDD-cost:    1
25.07/25.11	c ---[718074]---> BDD-cost:    1
25.07/25.11	c ---[718072]---> BDD-cost:    1
25.07/25.11	c ---[718070]---> BDD-cost:    1
25.07/25.11	c ---[718068]---> BDD-cost:    1
25.07/25.11	c ---[718066]---> BDD-cost:    1
25.07/25.11	c ---[718064]---> BDD-cost:    1
25.07/25.11	c ---[718062]---> BDD-cost:    1
25.07/25.11	c ---[718060]---> BDD-cost:    1
25.07/25.11	c ---[718058]---> BDD-cost:    1
25.07/25.11	c ---[718056]---> BDD-cost:    1
25.07/25.11	c ---[718054]---> BDD-cost:    1
25.07/25.11	c ---[718052]---> BDD-cost:    1
25.07/25.11	c ---[718050]---> BDD-cost:    1
25.07/25.11	c ---[718048]---> BDD-cost:    1
25.07/25.11	c ---[718046]---> BDD-cost:    1
25.07/25.11	c ---[718044]---> BDD-cost:    1
25.07/25.11	c ---[718042]---> BDD-cost:    1
25.07/25.11	c ---[718040]---> BDD-cost:    1
25.07/25.11	c ---[718038]---> BDD-cost:    1
25.07/25.11	c ---[718036]---> BDD-cost:    1
25.07/25.11	c ---[718034]---> BDD-cost:    1
25.07/25.11	c ---[718032]---> BDD-cost:    1
25.07/25.11	c ---[718030]---> BDD-cost:    1
25.07/25.11	c ---[718028]---> BDD-cost:    1
25.07/25.11	c ---[718026]---> BDD-cost:    1
25.07/25.11	c ---[718024]---> BDD-cost:    1
25.07/25.11	c ---[718022]---> BDD-cost:    1
25.07/25.11	c ---[718020]---> BDD-cost:    1
25.07/25.11	c ---[718018]---> BDD-cost:    1
25.07/25.11	c ---[718016]---> BDD-cost:    1
25.07/25.11	c ---[718014]---> BDD-cost:    1
25.07/25.11	c ---[718012]---> BDD-cost:    1
25.07/25.11	c ---[718010]---> BDD-cost:    1
25.07/25.11	c ---[718008]---> BDD-cost:    1
25.07/25.11	c ---[718006]---> BDD-cost:    1
25.07/25.11	c ---[718004]---> BDD-cost:    1
25.07/25.11	c ---[718002]---> BDD-cost:    1
25.07/25.11	c ---[718000]---> BDD-cost:    1
25.07/25.11	c ---[717998]---> BDD-cost:    1
25.07/25.11	c ---[717996]---> BDD-cost:    1
25.07/25.11	c ---[717994]---> BDD-cost:    1
25.07/25.11	c ---[717992]---> BDD-cost:    1
25.07/25.11	c ---[717990]---> BDD-cost:    1
25.07/25.11	c ---[717988]---> BDD-cost:    1
25.07/25.11	c ---[717986]---> BDD-cost:    1
25.07/25.11	c ---[717984]---> BDD-cost:    1
25.07/25.11	c ---[717982]---> BDD-cost:    1
25.07/25.11	c ---[717980]---> BDD-cost:    1
25.07/25.11	c ---[717978]---> BDD-cost:    1
25.07/25.11	c ---[717976]---> BDD-cost:    1
25.07/25.11	c ---[717974]---> BDD-cost:    1
25.07/25.11	c ---[717972]---> BDD-cost:    1
25.07/25.11	c ---[717970]---> BDD-cost:    1
25.07/25.11	c ---[717968]---> BDD-cost:    1
25.07/25.11	c ---[717966]---> BDD-cost:    1
25.07/25.11	c ---[717964]---> BDD-cost:    1
25.07/25.11	c ---[717962]---> BDD-cost:    1
25.07/25.11	c ---[717960]---> BDD-cost:    1
25.07/25.11	c ---[717958]---> BDD-cost:    1
25.07/25.11	c ---[717956]---> BDD-cost:    1
25.07/25.11	c ---[717954]---> BDD-cost:    1
25.07/25.11	c ---[717952]---> BDD-cost:    1
25.07/25.11	c ---[717950]---> BDD-cost:    1
25.07/25.11	c ---[717948]---> BDD-cost:    1
25.07/25.11	c ---[717946]---> BDD-cost:    1
25.07/25.11	c ---[717944]---> BDD-cost:    1
25.07/25.11	c ---[717942]---> BDD-cost:    1
25.07/25.11	c ---[717940]---> BDD-cost:    1
25.07/25.11	c ---[717938]---> BDD-cost:    1
25.07/25.11	c ---[717936]---> BDD-cost:    1
25.07/25.11	c ---[717934]---> BDD-cost:    1
25.07/25.11	c ---[717932]---> BDD-cost:    1
25.07/25.11	c ---[717930]---> BDD-cost:    1
25.07/25.11	c ---[717928]---> BDD-cost:    1
25.07/25.11	c ---[717926]---> BDD-cost:    1
25.07/25.11	c ---[717924]---> BDD-cost:    1
25.07/25.11	c ---[717922]---> BDD-cost:    1
25.07/25.11	c ---[717920]---> BDD-cost:    1
25.07/25.11	c ---[717918]---> BDD-cost:    1
25.07/25.11	c ---[717916]---> BDD-cost:    1
25.07/25.11	c ---[717914]---> BDD-cost:    1
25.07/25.11	c ---[717912]---> BDD-cost:    1
25.07/25.11	c ---[717910]---> BDD-cost:    1
25.07/25.11	c ---[717908]---> BDD-cost:    1
25.07/25.11	c ---[717906]---> BDD-cost:    1
25.07/25.11	c ---[717904]---> BDD-cost:    1
25.07/25.11	c ---[717902]---> BDD-cost:    1
25.07/25.11	c ---[717900]---> BDD-cost:    1
25.07/25.11	c ---[717898]---> BDD-cost:    1
25.07/25.11	c ---[717896]---> BDD-cost:    1
25.07/25.11	c ---[717894]---> BDD-cost:    1
25.07/25.11	c ---[717892]---> BDD-cost:    1
25.07/25.11	c ---[717890]---> BDD-cost:    1
25.07/25.11	c ---[717888]---> BDD-cost:    1
25.07/25.11	c ---[717886]---> BDD-cost:    1
25.07/25.11	c ---[717884]---> BDD-cost:    1
25.07/25.11	c ---[717882]---> BDD-cost:    1
25.07/25.11	c ---[717880]---> BDD-cost:    1
25.07/25.11	c ---[717878]---> BDD-cost:    1
25.07/25.11	c ---[717876]---> BDD-cost:    1
25.07/25.11	c ---[717874]---> BDD-cost:    1
25.07/25.11	c ---[717872]---> BDD-cost:    1
25.07/25.11	c ---[717870]---> BDD-cost:    1
25.07/25.11	c ---[717868]---> BDD-cost:    1
25.07/25.11	c ---[717866]---> BDD-cost:    1
25.07/25.11	c ---[717864]---> BDD-cost:    1
25.07/25.11	c ---[717862]---> BDD-cost:    1
25.07/25.11	c ---[717860]---> BDD-cost:    1
25.07/25.11	c ---[717858]---> BDD-cost:    1
25.07/25.11	c ---[717856]---> BDD-cost:    1
25.07/25.11	c ---[717854]---> BDD-cost:    1
25.07/25.11	c ---[717852]---> BDD-cost:    1
25.07/25.11	c ---[717850]---> BDD-cost:    1
25.07/25.11	c ---[717848]---> BDD-cost:    1
25.07/25.11	c ---[717846]---> BDD-cost:    1
25.07/25.11	c ---[717844]---> BDD-cost:    1
25.07/25.11	c ---[717842]---> BDD-cost:    1
25.07/25.11	c ---[717840]---> BDD-cost:    1
25.07/25.11	c ---[717838]---> BDD-cost:    1
25.07/25.11	c ---[717836]---> BDD-cost:    1
25.07/25.11	c ---[717834]---> BDD-cost:    1
25.07/25.11	c ---[717832]---> BDD-cost:    1
25.07/25.11	c ---[717830]---> BDD-cost:    1
25.07/25.11	c ---[717828]---> BDD-cost:    1
25.07/25.11	c ---[717826]---> BDD-cost:    1
25.07/25.11	c ---[717824]---> BDD-cost:    1
25.07/25.11	c ---[717822]---> BDD-cost:    1
25.07/25.11	c ---[717820]---> BDD-cost:    1
25.07/25.11	c ---[717818]---> BDD-cost:    1
25.07/25.11	c ---[717816]---> BDD-cost:    1
25.07/25.11	c ---[717814]---> BDD-cost:    1
25.07/25.11	c ---[717812]---> BDD-cost:    1
25.07/25.11	c ---[717810]---> BDD-cost:    1
25.07/25.11	c ---[717808]---> BDD-cost:    1
25.07/25.11	c ---[717806]---> BDD-cost:    1
25.07/25.11	c ---[717804]---> BDD-cost:    1
25.07/25.11	c ---[717802]---> BDD-cost:    1
25.07/25.11	c ---[717800]---> BDD-cost:    1
25.07/25.11	c ---[717798]---> BDD-cost:    1
25.07/25.11	c ---[717796]---> BDD-cost:    1
25.07/25.11	c ---[717794]---> BDD-cost:    1
25.07/25.11	c ---[717792]---> BDD-cost:    1
25.07/25.11	c ---[717790]---> BDD-cost:    1
25.07/25.11	c ---[717788]---> BDD-cost:    1
25.07/25.11	c ---[717786]---> BDD-cost:    1
25.07/25.11	c ---[717784]---> BDD-cost:    1
25.07/25.11	c ---[717782]---> BDD-cost:    1
25.07/25.11	c ---[717780]---> BDD-cost:    1
25.07/25.11	c ---[717778]---> BDD-cost:    1
25.07/25.11	c ---[717776]---> BDD-cost:    1
25.07/25.11	c ---[717774]---> BDD-cost:    1
25.07/25.11	c ---[717772]---> BDD-cost:    1
25.07/25.11	c ---[717770]---> BDD-cost:    1
25.07/25.11	c ---[717768]---> BDD-cost:    1
25.07/25.11	c ---[717766]---> BDD-cost:    1
25.07/25.11	c ---[717764]---> BDD-cost:    1
25.07/25.11	c ---[717762]---> BDD-cost:    1
25.07/25.11	c ---[717760]---> BDD-cost:    1
25.07/25.11	c ---[717758]---> BDD-cost:    1
25.07/25.11	c ---[717756]---> BDD-cost:    1
25.07/25.11	c ---[717754]---> BDD-cost:    1
25.07/25.11	c ---[717752]---> BDD-cost:    1
25.07/25.11	c ---[717750]---> BDD-cost:    1
25.07/25.11	c ---[717748]---> BDD-cost:    1
25.07/25.11	c ---[717746]---> BDD-cost:    1
25.07/25.11	c ---[717744]---> BDD-cost:    1
25.07/25.11	c ---[717742]---> BDD-cost:    1
25.07/25.11	c ---[717740]---> BDD-cost:    1
25.07/25.11	c ---[717738]---> BDD-cost:    1
25.07/25.11	c ---[717736]---> BDD-cost:    1
25.07/25.11	c ---[717734]---> BDD-cost:    1
25.07/25.11	c ---[717732]---> BDD-cost:    1
25.07/25.11	c ---[717730]---> BDD-cost:    1
25.07/25.11	c ---[717728]---> BDD-cost:    1
25.07/25.11	c ---[717726]---> BDD-cost:    1
25.07/25.11	c ---[717724]---> BDD-cost:    1
25.07/25.11	c ---[717722]---> BDD-cost:    1
25.07/25.11	c ---[717720]---> BDD-cost:    1
25.07/25.11	c ---[717718]---> BDD-cost:    1
25.07/25.11	c ---[717716]---> BDD-cost:    1
25.07/25.11	c ---[717714]---> BDD-cost:    1
25.07/25.11	c ---[717712]---> BDD-cost:    1
25.07/25.11	c ---[717710]---> BDD-cost:    1
25.07/25.11	c ---[717708]---> BDD-cost:    1
25.07/25.11	c ---[717706]---> BDD-cost:    1
25.07/25.11	c ---[717704]---> BDD-cost:    1
25.07/25.11	c ---[717702]---> BDD-cost:    1
25.07/25.11	c ---[717700]---> BDD-cost:    1
25.07/25.11	c ---[717698]---> BDD-cost:    1
25.07/25.11	c ---[717696]---> BDD-cost:    1
25.07/25.11	c ---[717694]---> BDD-cost:    1
25.07/25.11	c ---[717692]---> BDD-cost:    1
25.07/25.11	c ---[717690]---> BDD-cost:    1
25.07/25.11	c ---[717688]---> BDD-cost:    1
25.07/25.11	c ---[717686]---> BDD-cost:    1
25.07/25.11	c ---[717684]---> BDD-cost:    1
25.07/25.11	c ---[717682]---> BDD-cost:    1
25.07/25.11	c ---[717680]---> BDD-cost:    1
25.07/25.11	c ---[717678]---> BDD-cost:    1
25.07/25.11	c ---[717676]---> BDD-cost:    1
25.07/25.11	c ---[717674]---> BDD-cost:    1
25.07/25.11	c ---[717672]---> BDD-cost:    1
25.07/25.11	c ---[717670]---> BDD-cost:    1
25.07/25.11	c ---[717668]---> BDD-cost:    1
25.07/25.11	c ---[717666]---> BDD-cost:    1
25.07/25.11	c ---[717664]---> BDD-cost:    1
25.07/25.11	c ---[717662]---> BDD-cost:    1
25.07/25.11	c ---[717660]---> BDD-cost:    1
25.07/25.11	c ---[717658]---> BDD-cost:    1
25.07/25.11	c ---[717656]---> BDD-cost:    1
25.07/25.11	c ---[717654]---> BDD-cost:    1
25.07/25.11	c ---[717652]---> BDD-cost:    1
25.07/25.11	c ---[717650]---> BDD-cost:    1
25.07/25.11	c ---[717648]---> BDD-cost:    1
25.07/25.11	c ---[717646]---> BDD-cost:    1
25.07/25.11	c ---[717644]---> BDD-cost:    1
25.07/25.11	c ---[717642]---> BDD-cost:    1
25.07/25.11	c ---[717640]---> BDD-cost:    1
25.07/25.11	c ---[717638]---> BDD-cost:    1
25.07/25.11	c ---[717636]---> BDD-cost:    1
25.07/25.11	c ---[717634]---> BDD-cost:    1
25.07/25.11	c ---[717632]---> BDD-cost:    1
25.07/25.11	c ---[717630]---> BDD-cost:    1
25.07/25.11	c ---[717628]---> BDD-cost:    1
25.07/25.11	c ---[717626]---> BDD-cost:    1
25.07/25.11	c ---[717624]---> BDD-cost:    1
25.07/25.11	c ---[717622]---> BDD-cost:    1
25.07/25.11	c ---[717620]---> BDD-cost:    1
25.07/25.11	c ---[717618]---> BDD-cost:    1
25.07/25.11	c ---[717616]---> BDD-cost:    1
25.07/25.11	c ---[717614]---> BDD-cost:    1
25.07/25.11	c ---[717612]---> BDD-cost:    1
25.07/25.11	c ---[717610]---> BDD-cost:    1
25.07/25.11	c ---[717608]---> BDD-cost:    1
25.07/25.11	c ---[717606]---> BDD-cost:    1
25.07/25.11	c ---[717604]---> BDD-cost:    1
25.07/25.11	c ---[717602]---> BDD-cost:    1
25.07/25.11	c ---[717600]---> BDD-cost:    1
25.07/25.11	c ---[717598]---> BDD-cost:    1
25.07/25.11	c ---[717596]---> BDD-cost:    1
25.07/25.11	c ---[717594]---> BDD-cost:    1
25.07/25.12	c ---[717592]---> BDD-cost:    1
25.07/25.12	c ---[717590]---> BDD-cost:    1
25.07/25.12	c ---[717588]---> BDD-cost:    1
25.07/25.12	c ---[717586]---> BDD-cost:    1
25.07/25.12	c ---[717584]---> BDD-cost:    1
25.07/25.12	c ---[717582]---> BDD-cost:    1
25.07/25.12	c ---[717580]---> BDD-cost:    1
25.07/25.12	c ---[717578]---> BDD-cost:    1
25.07/25.12	c ---[717576]---> BDD-cost:    1
25.07/25.12	c ---[717574]---> BDD-cost:    1
25.07/25.12	c ---[717572]---> BDD-cost:    1
25.07/25.12	c ---[717570]---> BDD-cost:    1
25.07/25.12	c ---[717568]---> BDD-cost:    1
25.07/25.12	c ---[717566]---> BDD-cost:    1
25.07/25.12	c ---[717564]---> BDD-cost:    1
25.07/25.12	c ---[717562]---> BDD-cost:    1
25.07/25.12	c ---[717560]---> BDD-cost:    1
25.07/25.12	c ---[717558]---> BDD-cost:    1
25.07/25.12	c ---[717556]---> BDD-cost:    1
25.07/25.12	c ---[717554]---> BDD-cost:    1
25.07/25.12	c ---[717552]---> BDD-cost:    1
25.07/25.12	c ---[717550]---> BDD-cost:    1
25.07/25.12	c ---[717548]---> BDD-cost:    1
25.07/25.12	c ---[717546]---> BDD-cost:    1
25.07/25.12	c ---[717544]---> BDD-cost:    1
25.07/25.12	c ---[717542]---> BDD-cost:    1
25.07/25.12	c ---[717540]---> BDD-cost:    1
25.07/25.12	c ---[717538]---> BDD-cost:    1
25.07/25.12	c ---[717536]---> BDD-cost:    1
25.07/25.12	c ---[717534]---> BDD-cost:    1
25.07/25.12	c ---[717532]---> BDD-cost:    1
25.07/25.12	c ---[717530]---> BDD-cost:    1
25.07/25.12	c ---[717528]---> BDD-cost:    1
25.07/25.12	c ---[717526]---> BDD-cost:    1
25.07/25.12	c ---[717524]---> BDD-cost:    1
25.07/25.12	c ---[717522]---> BDD-cost:    1
25.07/25.12	c ---[717520]---> BDD-cost:    1
25.07/25.12	c ---[717518]---> BDD-cost:    1
25.07/25.12	c ---[717516]---> BDD-cost:    1
25.07/25.12	c ---[717514]---> BDD-cost:    1
25.07/25.12	c ---[717512]---> BDD-cost:    1
25.07/25.12	c ---[717510]---> BDD-cost:    1
25.07/25.12	c ---[717508]---> BDD-cost:    1
25.07/25.12	c ---[717506]---> BDD-cost:    1
25.07/25.12	c ---[717504]---> BDD-cost:    1
25.07/25.12	c ---[717502]---> BDD-cost:    1
25.07/25.12	c ---[717500]---> BDD-cost:    1
25.07/25.12	c ---[717498]---> BDD-cost:    1
25.07/25.12	c ---[717496]---> BDD-cost:    1
25.07/25.12	c ---[717494]---> BDD-cost:    1
25.07/25.12	c ---[717492]---> BDD-cost:    1
25.07/25.12	c ---[717490]---> BDD-cost:    1
25.07/25.12	c ---[717488]---> BDD-cost:    1
25.07/25.12	c ---[717486]---> BDD-cost:    1
25.07/25.12	c ---[717484]---> BDD-cost:    1
25.07/25.12	c ---[717482]---> BDD-cost:    1
25.07/25.12	c ---[717480]---> BDD-cost:    1
25.07/25.12	c ---[717478]---> BDD-cost:    1
25.07/25.12	c ---[717476]---> BDD-cost:    1
25.07/25.12	c ---[717474]---> BDD-cost:    1
25.07/25.12	c ---[717472]---> BDD-cost:    1
25.07/25.12	c ---[717470]---> BDD-cost:    1
25.07/25.12	c ---[717468]---> BDD-cost:    1
25.07/25.12	c ---[717466]---> BDD-cost:    1
25.07/25.12	c ---[717464]---> BDD-cost:    1
25.07/25.12	c ---[717462]---> BDD-cost:    1
25.07/25.12	c ---[717460]---> BDD-cost:    1
25.07/25.12	c ---[717458]---> BDD-cost:    1
25.07/25.12	c ---[717456]---> BDD-cost:    1
25.07/25.12	c ---[717454]---> BDD-cost:    1
25.07/25.12	c ---[717452]---> BDD-cost:    1
25.07/25.12	c ---[717450]---> BDD-cost:    1
25.07/25.12	c ---[717448]---> BDD-cost:    1
25.07/25.12	c ---[717446]---> BDD-cost:    1
25.07/25.12	c ---[717444]---> BDD-cost:    1
25.07/25.12	c ---[717442]---> BDD-cost:    1
25.07/25.12	c ---[717440]---> BDD-cost:    1
25.07/25.12	c ---[717438]---> BDD-cost:    1
25.07/25.12	c ---[717436]---> BDD-cost:    1
25.07/25.12	c ---[717434]---> BDD-cost:    1
25.07/25.12	c ---[717432]---> BDD-cost:    1
25.07/25.12	c ---[717430]---> BDD-cost:    1
25.07/25.12	c ---[717428]---> BDD-cost:    1
25.07/25.12	c ---[717426]---> BDD-cost:    1
25.07/25.12	c ---[717424]---> BDD-cost:    1
25.07/25.12	c ---[717422]---> BDD-cost:    1
25.07/25.12	c ---[717420]---> BDD-cost:    1
25.07/25.12	c ---[717418]---> BDD-cost:    1
25.07/25.12	c ---[717416]---> BDD-cost:    1
25.07/25.12	c ---[717414]---> BDD-cost:    1
25.07/25.12	c ---[717377]---> BDD-cost:    1
25.07/25.12	c ---[716949]---> BDD-cost:    1
25.07/25.12	c ---[716947]---> BDD-cost:    1
25.07/25.12	c ---[716945]---> BDD-cost:    1
25.07/25.12	c ---[716943]---> BDD-cost:    1
25.07/25.12	c ---[716941]---> BDD-cost:    1
25.07/25.12	c ---[716939]---> BDD-cost:    1
25.07/25.12	c ---[716937]---> BDD-cost:    1
25.07/25.12	c ---[716935]---> BDD-cost:    1
25.07/25.12	c ---[716933]---> BDD-cost:    1
25.07/25.12	c ---[716931]---> BDD-cost:    1
25.07/25.12	c ---[716929]---> BDD-cost:    1
25.07/25.12	c ---[716927]---> BDD-cost:    1
25.07/25.12	c ---[716925]---> BDD-cost:    1
25.07/25.12	c ---[716923]---> BDD-cost:    1
25.07/25.12	c ---[716921]---> BDD-cost:    1
25.07/25.12	c ---[716919]---> BDD-cost:    1
25.07/25.12	c ---[716917]---> BDD-cost:    1
25.07/25.12	c ---[716915]---> BDD-cost:    1
25.07/25.12	c ---[716913]---> BDD-cost:    1
25.07/25.12	c ---[716911]---> BDD-cost:    1
25.07/25.12	c ---[716909]---> BDD-cost:    1
25.07/25.12	c ---[716907]---> BDD-cost:    1
25.07/25.12	c ---[716905]---> BDD-cost:    1
25.07/25.12	c ---[716903]---> BDD-cost:    1
25.07/25.12	c ---[716901]---> BDD-cost:    1
25.07/25.12	c ---[716899]---> BDD-cost:    1
25.07/25.12	c ---[716897]---> BDD-cost:    1
25.07/25.12	c ---[716895]---> BDD-cost:    1
25.07/25.12	c ---[716893]---> BDD-cost:    1
25.07/25.12	c ---[716891]---> BDD-cost:    1
25.07/25.12	c ---[716889]---> BDD-cost:    1
25.07/25.12	c ---[716887]---> BDD-cost:    1
25.07/25.12	c ---[716885]---> BDD-cost:    1
25.07/25.12	c ---[705683]---> BDD-cost:    1
25.07/25.12	c ---[676890]---> BDD-cost:    1
25.07/25.12	c ---[655326]---> BDD-cost:    1
25.07/25.12	c ---[626836]---> BDD-cost:    1
25.07/25.12	c ---[596126]---> BDD-cost:    1
25.07/25.12	c ---[579803]---> BDD-cost:    1
25.07/25.12	c ---[579801]---> BDD-cost:    1
25.07/25.12	c ---[579799]---> BDD-cost:    1
25.07/25.12	c ---[579797]---> BDD-cost:    1
25.07/25.12	c ---[579795]---> BDD-cost:    1
25.07/25.12	c ---[579793]---> BDD-cost:    1
25.07/25.12	c ---[579791]---> BDD-cost:    1
25.07/25.12	c ---[579789]---> BDD-cost:    1
25.07/25.12	c ---[579787]---> BDD-cost:    1
25.07/25.12	c ---[579785]---> BDD-cost:    1
25.07/25.16	c ==================================[MINISAT+]==================================
25.07/25.16	c | Conflicts | Original         | Learnt                           | Progress |
25.07/25.16	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
25.07/25.16	c ==============================================================================
25.07/25.16	c |         0 |  724204  1901978 |  241401       0        0     nan |  0.000 % |
25.28/25.35	c |       100 |  724204  1901978 |  265541     100     1245    12.4 |  0.746 % |
25.57/25.60	c |       250 |  724204  1901978 |  292095     250     7005    28.0 |  0.746 % |
25.87/25.92	c |       475 |  724204  1901978 |  321304     475    11326    23.8 |  0.746 % |
26.17/26.24	c |       812 |  724204  1901978 |  353435     812    28860    35.5 |  0.746 % |
27.07/27.10	c |      1318 |  724204  1901978 |  388778    1318    39961    30.3 |  0.746 % |
28.07/28.14	c |      2077 |  724204  1901978 |  427656    2077    67843    32.7 |  0.746 % |
30.77/30.83	c |      3219 |  724204  1901978 |  470422    3219   109109    33.9 |  0.746 % |
33.56/33.60	c |      4928 |  723748  1900988 |  517464    4926   163461    33.2 |  0.782 % |
37.35/37.47	c |      7492 |  723748  1900988 |  569210    7490   261632    34.9 |  0.782 % |
47.74/47.86	c |     11337 |  723748  1900988 |  626132   11335   399565    35.3 |  0.782 % |
57.04/57.17	c |     17104 |  723713  1900918 |  688745   16418   545119    33.2 |  0.783 % |
93.93/94.07	c |     25757 |  722839  1899013 |  757619   24451  1154660    47.2 |  0.867 % |
130.52/130.60	c |     38732 |  722508  1898267 |  833381   37405  1862780    49.8 |  0.903 % |
185.89/186.08	c |     58193 |  722508  1898267 |  916719   56866  2572053    45.2 |  0.903 % |
248.77/248.90	c |     87385 |  722206  1897597 | 1008391   86054  3367445    39.1 |  0.923 % |
355.14/355.38	c |    131174 |  721821  1896716 | 1109231  129825  4688536    36.1 |  0.956 % |
546.96/547.29	c |    196858 |  719342  1891133 | 1220154  166359  5873803    35.3 |  1.185 % |
600.44/600.76	c ==============================================================================
600.44/600.76	c UNSATISFIABLE
600.44/600.76	s UNSATISFIABLE
600.44/600.76	c _______________________________________________________________________________
600.44/600.76	c 
600.44/600.76	c restarts              : 18
600.44/600.76	c conflicts             : 222787         (372 /sec)
600.44/600.76	c decisions             : 395196         (659 /sec)
600.44/600.76	c propagations          : 0              (0 /sec)
600.44/600.76	c inspects              : 0              (0 /sec)
600.44/600.76	c CPU time              : 599.431 s
600.44/600.76	c _______________________________________________________________________________

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/420013-1177417028/instance-420013-1177417028.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/node42/watcher-420013-1177417028 -o ROOT/results/node42/solver-420013-1177417028 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/420013-1177417028/minisat+ /tmp/evaluation/420013-1177417028/instance-420013-1177417028.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.98 3/77 31821
/proc/meminfo: memFree=1771128/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=1048 CPUtime=0
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194304 110 0 0 0 0 0 0 0 18 0 1 0 189614865 1073152 96 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003881 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 262 96 75 215 0 44 0

[startup+0.00713501 s]
/proc/loadavg: 1.00 1.00 0.98 3/77 31821
/proc/meminfo: memFree=1771128/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=1048 CPUtime=0
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194304 117 0 0 0 0 0 0 0 18 0 1 0 189614865 1073152 103 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 262 103 75 215 0 44 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1048

[startup+0.101152 s]
/proc/loadavg: 1.00 1.00 0.98 3/77 31821
/proc/meminfo: memFree=1771128/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=2016 CPUtime=0.09
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194304 345 0 0 0 9 0 0 0 18 0 1 0 189614865 2064384 331 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 504 332 75 215 0 286 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2016

[startup+0.301191 s]
/proc/loadavg: 1.00 1.00 0.98 3/77 31821
/proc/meminfo: memFree=1771128/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=3940 CPUtime=0.29
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194304 822 0 0 0 29 0 0 0 19 0 1 0 189614865 4034560 808 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134600745 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 985 808 75 215 0 767 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3940

[startup+0.701266 s]
/proc/loadavg: 1.00 1.00 0.98 3/77 31821
/proc/meminfo: memFree=1771128/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=7276 CPUtime=0.69
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194304 1634 0 0 0 69 0 0 0 22 0 1 0 189614865 7450624 1620 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 1819 1620 75 215 0 1601 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7276

[startup+1.50142 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31822
/proc/meminfo: memFree=1762416/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=14052 CPUtime=1.49
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194304 3300 0 0 0 148 1 0 0 25 0 1 0 189614865 14389248 3286 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 3513 3287 75 215 0 3295 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14052

[startup+3.10272 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31822
/proc/meminfo: memFree=1752304/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=27784 CPUtime=3.09
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194304 6627 0 0 0 307 2 0 0 25 0 1 0 189614865 28450816 6613 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 6946 6613 75 215 0 6728 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27784

[startup+6.30133 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31822
/proc/meminfo: memFree=1725104/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=55648 CPUtime=6.29
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194304 13541 0 0 0 623 6 0 0 25 0 1 0 189614865 56983552 13485 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134651050 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 13912 13485 75 215 0 13694 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55648

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31822
/proc/meminfo: memFree=1668272/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=112252 CPUtime=12.69
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194304 27429 0 0 0 1256 13 0 0 25 0 1 0 189614865 114946048 27290 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 28063 27290 75 215 0 27845 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 112252

[startup+25.502 s]
/proc/loadavg: 1.08 1.02 0.98 2/78 31822
/proc/meminfo: memFree=1530928/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=247824 CPUtime=25.47
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194304 61072 0 0 0 2444 103 0 0 20 0 1 0 189614865 253771776 59963 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581316 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 61956 59963 106 215 0 61738 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 247824

[startup+51.1019 s]
/proc/loadavg: 1.05 1.01 0.98 2/78 31822
/proc/meminfo: memFree=1530544/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=247824 CPUtime=51.04
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194304 61123 0 0 0 5001 103 0 0 25 0 1 0 189614865 253771776 60014 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580461 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 61956 60014 106 215 0 61738 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 247824

[startup+102.306 s]
/proc/loadavg: 1.02 1.01 0.98 2/78 31822
/proc/meminfo: memFree=1530416/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=247824 CPUtime=102.23
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194304 61158 0 0 0 10119 104 0 0 25 0 1 0 189614865 253771776 60049 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 61956 60049 106 215 0 61738 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 247824

[startup+162.302 s]
/proc/loadavg: 1.01 1.00 0.98 2/78 31822
/proc/meminfo: memFree=1530032/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=248068 CPUtime=162.2
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194304 61249 0 0 0 16116 104 0 0 25 0 1 0 189614865 254021632 60140 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580268 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 62017 60140 106 215 0 61799 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 248068

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31822
/proc/meminfo: memFree=1529712/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=248188 CPUtime=222.18
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194304 61318 0 0 0 22113 105 0 0 25 0 1 0 189614865 254144512 60209 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 62047 60209 106 215 0 61829 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 248188

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31822
/proc/meminfo: memFree=1529456/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=248368 CPUtime=282.15
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194304 61383 0 0 0 28110 105 0 0 25 0 1 0 189614865 254328832 60274 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 62092 60274 106 215 0 61874 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 248368

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31822
/proc/meminfo: memFree=1529328/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=248368 CPUtime=342.14
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194304 61426 0 0 0 34108 106 0 0 25 0 1 0 189614865 254328832 60317 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581475 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 62092 60317 106 215 0 61874 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 248368

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31822
/proc/meminfo: memFree=1529072/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=248636 CPUtime=402.12
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194304 61487 0 0 0 40105 107 0 0 25 0 1 0 189614865 254603264 60378 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 62159 60378 106 215 0 61941 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 248636

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31822
/proc/meminfo: memFree=1528816/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=248800 CPUtime=462.09
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194304 61540 0 0 0 46102 107 0 0 25 0 1 0 189614865 254771200 60431 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 62200 60431 106 215 0 61982 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 248800

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31822
/proc/meminfo: memFree=1528816/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=248800 CPUtime=522.07
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194304 61561 0 0 0 52100 107 0 0 25 0 1 0 189614865 254771200 60452 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580372 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 62200 60452 106 215 0 61982 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 248800

[startup+582.303 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31822
/proc/meminfo: memFree=1528560/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=248964 CPUtime=582.05
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194304 61610 0 0 0 58097 108 0 0 25 0 1 0 189614865 254939136 60501 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 62241 60501 106 215 0 62023 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 248964

Solver just ended. Dumping a history of the last processes samples

[startup+588.701 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31822
/proc/meminfo: memFree=1528560/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=248964 CPUtime=588.44
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194304 61610 0 0 0 58736 108 0 0 25 0 1 0 189614865 254939136 60501 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 62241 60501 106 215 0 62023 0
Current children cumulated CPU time (s) 588.44
Current children cumulated vsize (KiB) 248964

[startup+595.105 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31822
/proc/meminfo: memFree=1528560/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=248964 CPUtime=594.85
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194304 61611 0 0 0 59377 108 0 0 25 0 1 0 189614865 254939136 60502 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 62241 60502 106 215 0 62023 0
Current children cumulated CPU time (s) 594.85
Current children cumulated vsize (KiB) 248964

[startup+598.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31822
/proc/meminfo: memFree=1528560/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=248964 CPUtime=598.05
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194304 61611 0 0 0 59697 108 0 0 25 0 1 0 189614865 254939136 60502 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 62241 60502 106 215 0 62023 0
Current children cumulated CPU time (s) 598.05
Current children cumulated vsize (KiB) 248964

[startup+599.901 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31822
/proc/meminfo: memFree=1528560/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=248964 CPUtime=599.64
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194304 61611 0 0 0 59856 108 0 0 25 0 1 0 189614865 254939136 60502 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 62241 60502 106 215 0 62023 0
Current children cumulated CPU time (s) 599.64
Current children cumulated vsize (KiB) 248964

[startup+600.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31822
/proc/meminfo: memFree=1528560/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=248964 CPUtime=600.04
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194304 61611 0 0 0 59896 108 0 0 25 0 1 0 189614865 254939136 60502 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 62241 60502 106 215 0 62023 0
Current children cumulated CPU time (s) 600.04
Current children cumulated vsize (KiB) 248964

[startup+600.701 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31822
/proc/meminfo: memFree=1528560/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=248964 CPUtime=600.44
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194304 61611 0 0 0 59936 108 0 0 25 0 1 0 189614865 254939136 60502 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569799 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 62241 60502 106 215 0 62023 0
Current children cumulated CPU time (s) 600.44
Current children cumulated vsize (KiB) 248964

[startup+600.801 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31822
/proc/meminfo: memFree=1528560/2055920 swapFree=4147460/4192956
[pid=31821] ppid=31819 vsize=0 CPUtime=600.55
/proc/31821/stat : 31821 (minisat+) R 31819 31821 31138 0 -1 4194308 61614 0 0 0 59943 112 0 0 25 0 1 0 189614865 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31821/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 600.55
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 600.808
CPU time (s): 600.557
CPU user time (s): 599.431
CPU system time (s): 1.12583
CPU usage (%): 99.9582
Max. virtual memory (cumulated for all children) (KiB): 248964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 599.431
system time used= 1.12583
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61614
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= 3969
involuntary context switches= 11848

runsolver used 1.04384 second user time and 2.54661 second system time

The end

Launcher Data (download as text)

Begin job on node42 on Tue Apr 24 12:17:10 UTC 2007

IDJOB= 420013
IDBENCH= 47815
IDSOLVER= 156
FILE ID= node42/420013-1177417028

PBS_JOBID= 4675668

Free space on /tmp= 66424 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/palacios/uts/uts-l06-ipc5-h30-unknown.opb
COMMAND LINE= /tmp/evaluation/420013-1177417028/minisat+ /tmp/evaluation/420013-1177417028/instance-420013-1177417028.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node42/convwatcher-420013-1177417028 -o ROOT/results/node42/conversion-420013-1177417028 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/420013-1177417028/instance-420013-1177417028.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-420013-1177417028 -o ROOT/results/node42/solver-420013-1177417028 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/420013-1177417028/minisat+ /tmp/evaluation/420013-1177417028/instance-420013-1177417028.opb            

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  cf8a425ef442458bdd7c295b3da85fcf

RANDOM SEED= 472972905

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node42.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.277
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.277
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:       1771600 kB
Buffers:         41672 kB
Cached:         163220 kB
SwapCached:      14816 kB
Active:         122560 kB
Inactive:       106296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1771600 kB
SwapTotal:     4192956 kB
SwapFree:      4147460 kB
Dirty:           25384 kB
Writeback:           0 kB
Mapped:          30800 kB
Slab:            40840 kB
Committed_AS:  3570728 kB
PageTables:       1912 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= 66424 MiB

End job on node42 on Tue Apr 24 12:27:11 UTC 2007