Trace number 419985

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 560.759 560.958

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/
industrial/palacios/uts/uts-l06-ipc5-h28-unknown.opb
MD5SUM57376c0bdeefd6a65f94a428441b81c4
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 benchmark342.762
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables113583
Total number of constraints649270
Number of constraints which are clauses649270
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...
20.88/20.95	c Converting 648970 PB-constraints to clauses...
20.98/21.05	c   -- Unit propagations: (none)
20.98/21.06	c   -- Detecting intervals from adjacent constraints: ##################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################
21.08/21.12	c   -- Clauses(.)/Splits(s): ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
22.57/22.65	c ---[648923]---> BDD-cost:    1
22.57/22.65	c ---[648912]---> BDD-cost:    1
22.57/22.65	c ---[648910]---> BDD-cost:    1
22.57/22.65	c ---[648908]---> BDD-cost:    1
22.57/22.65	c ---[648906]---> BDD-cost:    1
22.57/22.65	c ---[648904]---> BDD-cost:    1
22.57/22.65	c ---[648902]---> BDD-cost:    1
22.57/22.65	c ---[648900]---> BDD-cost:    1
22.57/22.65	c ---[648898]---> BDD-cost:    1
22.57/22.65	c ---[648896]---> BDD-cost:    1
22.57/22.65	c ---[648894]---> BDD-cost:    1
22.57/22.65	c ---[648892]---> BDD-cost:    1
22.57/22.65	c ---[648890]---> BDD-cost:    1
22.57/22.65	c ---[648888]---> BDD-cost:    1
22.57/22.65	c ---[648886]---> BDD-cost:    1
22.57/22.65	c ---[648884]---> BDD-cost:    1
22.57/22.65	c ---[648882]---> BDD-cost:    1
22.57/22.65	c ---[648880]---> BDD-cost:    1
22.57/22.65	c ---[648878]---> BDD-cost:    1
22.57/22.65	c ---[648876]---> BDD-cost:    1
22.57/22.65	c ---[648874]---> BDD-cost:    1
22.57/22.65	c ---[648872]---> BDD-cost:    1
22.57/22.65	c ---[648870]---> BDD-cost:    1
22.57/22.65	c ---[648868]---> BDD-cost:    1
22.57/22.65	c ---[648866]---> BDD-cost:    1
22.57/22.65	c ---[648864]---> BDD-cost:    1
22.57/22.65	c ---[648862]---> BDD-cost:    1
22.57/22.65	c ---[648860]---> BDD-cost:    1
22.57/22.65	c ---[648858]---> BDD-cost:    1
22.57/22.65	c ---[648856]---> BDD-cost:    1
22.57/22.65	c ---[648854]---> BDD-cost:    1
22.57/22.65	c ---[648852]---> BDD-cost:    1
22.57/22.65	c ---[648850]---> BDD-cost:    1
22.57/22.65	c ---[648848]---> BDD-cost:    1
22.57/22.65	c ---[648802]---> BDD-cost:    1
22.57/22.65	c ---[648754]---> BDD-cost:    1
22.57/22.65	c ---[648752]---> BDD-cost:    1
22.57/22.65	c ---[648750]---> BDD-cost:    1
22.57/22.65	c ---[648748]---> BDD-cost:    1
22.57/22.65	c ---[648746]---> BDD-cost:    1
22.57/22.65	c ---[648744]---> BDD-cost:    1
22.57/22.65	c ---[648742]---> BDD-cost:    1
22.57/22.65	c ---[648740]---> BDD-cost:    1
22.57/22.65	c ---[648738]---> BDD-cost:    1
22.57/22.65	c ---[648736]---> BDD-cost:    1
22.57/22.65	c ---[648734]---> BDD-cost:    1
22.57/22.65	c ---[648732]---> BDD-cost:    1
22.57/22.65	c ---[648730]---> BDD-cost:    1
22.57/22.65	c ---[648728]---> BDD-cost:    1
22.57/22.65	c ---[648726]---> BDD-cost:    1
22.57/22.65	c ---[648724]---> BDD-cost:    1
22.57/22.65	c ---[648722]---> BDD-cost:    1
22.57/22.65	c ---[648720]---> BDD-cost:    1
22.57/22.65	c ---[648718]---> BDD-cost:    1
22.57/22.65	c ---[648716]---> BDD-cost:    1
22.57/22.65	c ---[648714]---> BDD-cost:    1
22.57/22.65	c ---[648712]---> BDD-cost:    1
22.57/22.65	c ---[648710]---> BDD-cost:    1
22.57/22.65	c ---[648708]---> BDD-cost:    1
22.57/22.65	c ---[648706]---> BDD-cost:    1
22.57/22.65	c ---[648704]---> BDD-cost:    1
22.57/22.65	c ---[648702]---> BDD-cost:    1
22.57/22.65	c ---[648700]---> BDD-cost:    1
22.57/22.65	c ---[648698]---> BDD-cost:    1
22.57/22.65	c ---[648696]---> BDD-cost:    1
22.57/22.65	c ---[648694]---> BDD-cost:    1
22.57/22.65	c ---[648692]---> BDD-cost:    1
22.57/22.65	c ---[648690]---> BDD-cost:    1
22.57/22.65	c ---[648638]---> BDD-cost:    1
22.57/22.65	c ---[648554]---> BDD-cost:    1
22.57/22.65	c ---[648552]---> BDD-cost:    1
22.57/22.65	c ---[648550]---> BDD-cost:    1
22.57/22.65	c ---[648548]---> BDD-cost:    1
22.57/22.65	c ---[648546]---> BDD-cost:    1
22.57/22.65	c ---[648544]---> BDD-cost:    1
22.57/22.65	c ---[648542]---> BDD-cost:    1
22.57/22.65	c ---[648540]---> BDD-cost:    1
22.57/22.65	c ---[648538]---> BDD-cost:    1
22.57/22.65	c ---[648536]---> BDD-cost:    1
22.57/22.65	c ---[648534]---> BDD-cost:    1
22.57/22.65	c ---[648532]---> BDD-cost:    1
22.57/22.65	c ---[648530]---> BDD-cost:    1
22.57/22.65	c ---[648528]---> BDD-cost:    1
22.57/22.65	c ---[648526]---> BDD-cost:    1
22.57/22.65	c ---[648524]---> BDD-cost:    1
22.57/22.65	c ---[648522]---> BDD-cost:    1
22.57/22.65	c ---[648520]---> BDD-cost:    1
22.57/22.65	c ---[648518]---> BDD-cost:    1
22.57/22.65	c ---[648516]---> BDD-cost:    1
22.57/22.65	c ---[648514]---> BDD-cost:    1
22.57/22.65	c ---[648512]---> BDD-cost:    1
22.57/22.65	c ---[648510]---> BDD-cost:    1
22.57/22.65	c ---[648508]---> BDD-cost:    1
22.57/22.65	c ---[648506]---> BDD-cost:    1
22.57/22.65	c ---[648504]---> BDD-cost:    1
22.57/22.65	c ---[648502]---> BDD-cost:    1
22.57/22.65	c ---[648500]---> BDD-cost:    1
22.57/22.65	c ---[648498]---> BDD-cost:    1
22.57/22.65	c ---[648496]---> BDD-cost:    1
22.57/22.65	c ---[648494]---> BDD-cost:    1
22.57/22.65	c ---[648492]---> BDD-cost:    1
22.57/22.65	c ---[648490]---> BDD-cost:    1
22.57/22.65	c ---[648432]---> BDD-cost:    1
22.57/22.65	c ---[648313]---> BDD-cost:    1
22.57/22.65	c ---[648311]---> BDD-cost:    1
22.57/22.65	c ---[648309]---> BDD-cost:    1
22.57/22.65	c ---[648307]---> BDD-cost:    1
22.57/22.65	c ---[648305]---> BDD-cost:    1
22.57/22.65	c ---[648303]---> BDD-cost:    1
22.57/22.65	c ---[648301]---> BDD-cost:    1
22.57/22.65	c ---[648299]---> BDD-cost:    1
22.57/22.65	c ---[648297]---> BDD-cost:    1
22.57/22.65	c ---[648295]---> BDD-cost:    1
22.57/22.65	c ---[648293]---> BDD-cost:    1
22.57/22.65	c ---[648291]---> BDD-cost:    1
22.57/22.65	c ---[648289]---> BDD-cost:    1
22.57/22.65	c ---[648287]---> BDD-cost:    1
22.57/22.65	c ---[648285]---> BDD-cost:    1
22.57/22.65	c ---[648283]---> BDD-cost:    1
22.57/22.65	c ---[648281]---> BDD-cost:    1
22.57/22.65	c ---[648279]---> BDD-cost:    1
22.57/22.65	c ---[648277]---> BDD-cost:    1
22.57/22.65	c ---[648275]---> BDD-cost:    1
22.57/22.65	c ---[648273]---> BDD-cost:    1
22.57/22.65	c ---[648271]---> BDD-cost:    1
22.57/22.65	c ---[648269]---> BDD-cost:    1
22.57/22.65	c ---[648267]---> BDD-cost:    1
22.57/22.65	c ---[648265]---> BDD-cost:    1
22.57/22.65	c ---[648263]---> BDD-cost:    1
22.57/22.65	c ---[648261]---> BDD-cost:    1
22.57/22.65	c ---[648259]---> BDD-cost:    1
22.57/22.65	c ---[648257]---> BDD-cost:    1
22.57/22.65	c ---[648255]---> BDD-cost:    1
22.57/22.65	c ---[648253]---> BDD-cost:    1
22.57/22.65	c ---[648251]---> BDD-cost:    1
22.57/22.65	c ---[648249]---> BDD-cost:    1
22.57/22.65	c ---[648185]---> BDD-cost:    1
22.57/22.65	c ---[648032]---> BDD-cost:    1
22.57/22.65	c ---[648030]---> BDD-cost:    1
22.57/22.65	c ---[648028]---> BDD-cost:    1
22.57/22.65	c ---[648026]---> BDD-cost:    1
22.57/22.65	c ---[648024]---> BDD-cost:    1
22.57/22.65	c ---[648022]---> BDD-cost:    1
22.57/22.65	c ---[648020]---> BDD-cost:    1
22.57/22.65	c ---[648018]---> BDD-cost:    1
22.57/22.65	c ---[648016]---> BDD-cost:    1
22.57/22.65	c ---[648014]---> BDD-cost:    1
22.57/22.65	c ---[648012]---> BDD-cost:    1
22.57/22.65	c ---[648010]---> BDD-cost:    1
22.57/22.65	c ---[648008]---> BDD-cost:    1
22.57/22.65	c ---[648006]---> BDD-cost:    1
22.57/22.65	c ---[648004]---> BDD-cost:    1
22.57/22.65	c ---[648002]---> BDD-cost:    1
22.57/22.65	c ---[648000]---> BDD-cost:    1
22.57/22.65	c ---[647998]---> BDD-cost:    1
22.57/22.65	c ---[647996]---> BDD-cost:    1
22.57/22.65	c ---[647994]---> BDD-cost:    1
22.57/22.65	c ---[647992]---> BDD-cost:    1
22.57/22.65	c ---[647990]---> BDD-cost:    1
22.57/22.65	c ---[647988]---> BDD-cost:    1
22.57/22.65	c ---[647986]---> BDD-cost:    1
22.57/22.65	c ---[647984]---> BDD-cost:    1
22.57/22.65	c ---[647982]---> BDD-cost:    1
22.57/22.65	c ---[647980]---> BDD-cost:    1
22.57/22.65	c ---[647978]---> BDD-cost:    1
22.57/22.65	c ---[647976]---> BDD-cost:    1
22.57/22.65	c ---[647974]---> BDD-cost:    1
22.57/22.65	c ---[647972]---> BDD-cost:    1
22.57/22.65	c ---[647970]---> BDD-cost:    1
22.57/22.65	c ---[647968]---> BDD-cost:    1
22.57/22.65	c ---[647898]---> BDD-cost:    1
22.57/22.65	c ---[647712]---> BDD-cost:    1
22.57/22.65	c ---[647710]---> BDD-cost:    1
22.57/22.65	c ---[647708]---> BDD-cost:    1
22.57/22.65	c ---[647706]---> BDD-cost:    1
22.57/22.65	c ---[647704]---> BDD-cost:    1
22.57/22.65	c ---[647702]---> BDD-cost:    1
22.57/22.65	c ---[647700]---> BDD-cost:    1
22.57/22.65	c ---[647698]---> BDD-cost:    1
22.57/22.65	c ---[647696]---> BDD-cost:    1
22.57/22.65	c ---[647694]---> BDD-cost:    1
22.57/22.65	c ---[647692]---> BDD-cost:    1
22.57/22.65	c ---[647690]---> BDD-cost:    1
22.57/22.65	c ---[647688]---> BDD-cost:    1
22.57/22.65	c ---[647686]---> BDD-cost:    1
22.57/22.65	c ---[647684]---> BDD-cost:    1
22.57/22.65	c ---[647682]---> BDD-cost:    1
22.57/22.65	c ---[647680]---> BDD-cost:    1
22.57/22.65	c ---[647678]---> BDD-cost:    1
22.57/22.65	c ---[647676]---> BDD-cost:    1
22.57/22.65	c ---[647674]---> BDD-cost:    1
22.57/22.65	c ---[647672]---> BDD-cost:    1
22.57/22.65	c ---[647670]---> BDD-cost:    1
22.57/22.65	c ---[647668]---> BDD-cost:    1
22.57/22.65	c ---[647666]---> BDD-cost:    1
22.57/22.65	c ---[647664]---> BDD-cost:    1
22.57/22.66	c ---[647662]---> BDD-cost:    1
22.57/22.66	c ---[647660]---> BDD-cost:    1
22.57/22.66	c ---[647658]---> BDD-cost:    1
22.57/22.66	c ---[647656]---> BDD-cost:    1
22.57/22.66	c ---[647654]---> BDD-cost:    1
22.57/22.66	c ---[647652]---> BDD-cost:    1
22.57/22.66	c ---[647650]---> BDD-cost:    1
22.57/22.66	c ---[647648]---> BDD-cost:    1
22.57/22.66	c ---[647572]---> BDD-cost:    1
22.57/22.66	c ---[647354]---> BDD-cost:    1
22.57/22.66	c ---[647352]---> BDD-cost:    1
22.57/22.66	c ---[647350]---> BDD-cost:    1
22.57/22.66	c ---[647348]---> BDD-cost:    1
22.57/22.66	c ---[647346]---> BDD-cost:    1
22.57/22.66	c ---[647344]---> BDD-cost:    1
22.57/22.66	c ---[647342]---> BDD-cost:    1
22.57/22.66	c ---[647340]---> BDD-cost:    1
22.57/22.66	c ---[647338]---> BDD-cost:    1
22.57/22.66	c ---[647336]---> BDD-cost:    1
22.57/22.66	c ---[647334]---> BDD-cost:    1
22.57/22.66	c ---[647332]---> BDD-cost:    1
22.57/22.66	c ---[647330]---> BDD-cost:    1
22.57/22.66	c ---[647328]---> BDD-cost:    1
22.57/22.66	c ---[647326]---> BDD-cost:    1
22.57/22.66	c ---[647324]---> BDD-cost:    1
22.57/22.66	c ---[647322]---> BDD-cost:    1
22.57/22.66	c ---[647320]---> BDD-cost:    1
22.57/22.66	c ---[647318]---> BDD-cost:    1
22.57/22.66	c ---[647316]---> BDD-cost:    1
22.57/22.66	c ---[647314]---> BDD-cost:    1
22.57/22.66	c ---[647312]---> BDD-cost:    1
22.57/22.66	c ---[647310]---> BDD-cost:    1
22.57/22.66	c ---[647308]---> BDD-cost:    1
22.57/22.66	c ---[647306]---> BDD-cost:    1
22.57/22.66	c ---[647304]---> BDD-cost:    1
22.57/22.66	c ---[647302]---> BDD-cost:    1
22.57/22.66	c ---[647300]---> BDD-cost:    1
22.57/22.66	c ---[647298]---> BDD-cost:    1
22.57/22.66	c ---[647296]---> BDD-cost:    1
22.57/22.66	c ---[647294]---> BDD-cost:    1
22.57/22.66	c ---[647292]---> BDD-cost:    1
22.57/22.66	c ---[647290]---> BDD-cost:    1
22.57/22.66	c ---[647208]---> BDD-cost:    1
22.57/22.66	c ---[646959]---> BDD-cost:    1
22.57/22.66	c ---[646957]---> BDD-cost:    1
22.57/22.66	c ---[646955]---> BDD-cost:    1
22.57/22.66	c ---[646953]---> BDD-cost:    1
22.57/22.66	c ---[646951]---> BDD-cost:    1
22.57/22.66	c ---[646949]---> BDD-cost:    1
22.57/22.66	c ---[646947]---> BDD-cost:    1
22.57/22.66	c ---[646945]---> BDD-cost:    1
22.57/22.66	c ---[646943]---> BDD-cost:    1
22.57/22.66	c ---[646941]---> BDD-cost:    1
22.57/22.66	c ---[646939]---> BDD-cost:    1
22.57/22.66	c ---[646937]---> BDD-cost:    1
22.57/22.66	c ---[646935]---> BDD-cost:    1
22.57/22.66	c ---[646933]---> BDD-cost:    1
22.57/22.66	c ---[646931]---> BDD-cost:    1
22.57/22.66	c ---[646929]---> BDD-cost:    1
22.57/22.66	c ---[646927]---> BDD-cost:    1
22.57/22.66	c ---[646925]---> BDD-cost:    1
22.57/22.66	c ---[646923]---> BDD-cost:    1
22.57/22.66	c ---[646921]---> BDD-cost:    1
22.57/22.66	c ---[646919]---> BDD-cost:    1
22.57/22.66	c ---[646917]---> BDD-cost:    1
22.57/22.66	c ---[646915]---> BDD-cost:    1
22.57/22.66	c ---[646913]---> BDD-cost:    1
22.57/22.66	c ---[646911]---> BDD-cost:    1
22.57/22.66	c ---[646909]---> BDD-cost:    1
22.57/22.66	c ---[646907]---> BDD-cost:    1
22.57/22.66	c ---[646905]---> BDD-cost:    1
22.57/22.66	c ---[646903]---> BDD-cost:    1
22.57/22.66	c ---[646901]---> BDD-cost:    1
22.57/22.66	c ---[646899]---> BDD-cost:    1
22.57/22.66	c ---[646897]---> BDD-cost:    1
22.57/22.66	c ---[646895]---> BDD-cost:    1
22.57/22.66	c ---[646807]---> BDD-cost:    1
22.57/22.66	c ---[646528]---> BDD-cost:    1
22.57/22.66	c ---[646526]---> BDD-cost:    1
22.57/22.66	c ---[646524]---> BDD-cost:    1
22.57/22.66	c ---[646522]---> BDD-cost:    1
22.57/22.66	c ---[646520]---> BDD-cost:    1
22.57/22.66	c ---[646518]---> BDD-cost:    1
22.57/22.66	c ---[646516]---> BDD-cost:    1
22.57/22.66	c ---[646514]---> BDD-cost:    1
22.57/22.66	c ---[646512]---> BDD-cost:    1
22.57/22.66	c ---[646510]---> BDD-cost:    1
22.57/22.66	c ---[646508]---> BDD-cost:    1
22.57/22.66	c ---[646506]---> BDD-cost:    1
22.57/22.66	c ---[646504]---> BDD-cost:    1
22.57/22.66	c ---[646502]---> BDD-cost:    1
22.57/22.66	c ---[646500]---> BDD-cost:    1
22.57/22.66	c ---[646498]---> BDD-cost:    1
22.57/22.66	c ---[646496]---> BDD-cost:    1
22.57/22.66	c ---[646494]---> BDD-cost:    1
22.57/22.66	c ---[646492]---> BDD-cost:    1
22.57/22.66	c ---[646490]---> BDD-cost:    1
22.57/22.66	c ---[646488]---> BDD-cost:    1
22.57/22.66	c ---[646486]---> BDD-cost:    1
22.57/22.66	c ---[646484]---> BDD-cost:    1
22.57/22.66	c ---[646482]---> BDD-cost:    1
22.57/22.66	c ---[646480]---> BDD-cost:    1
22.57/22.66	c ---[646478]---> BDD-cost:    1
22.57/22.66	c ---[646476]---> BDD-cost:    1
22.57/22.66	c ---[646474]---> BDD-cost:    1
22.57/22.66	c ---[646472]---> BDD-cost:    1
22.57/22.66	c ---[646470]---> BDD-cost:    1
22.57/22.66	c ---[646468]---> BDD-cost:    1
22.57/22.66	c ---[646466]---> BDD-cost:    1
22.57/22.66	c ---[646464]---> BDD-cost:    1
22.57/22.66	c ---[646346]---> BDD-cost:    1
22.57/22.66	c ---[646064]---> BDD-cost:    1
22.57/22.66	c ---[646062]---> BDD-cost:    1
22.57/22.66	c ---[646060]---> BDD-cost:    1
22.57/22.66	c ---[646058]---> BDD-cost:    1
22.57/22.66	c ---[646056]---> BDD-cost:    1
22.57/22.66	c ---[646054]---> BDD-cost:    1
22.57/22.66	c ---[646052]---> BDD-cost:    1
22.57/22.66	c ---[646050]---> BDD-cost:    1
22.57/22.66	c ---[646048]---> BDD-cost:    1
22.57/22.66	c ---[646046]---> BDD-cost:    1
22.57/22.66	c ---[646044]---> BDD-cost:    1
22.57/22.66	c ---[646042]---> BDD-cost:    1
22.57/22.66	c ---[646040]---> BDD-cost:    1
22.57/22.66	c ---[646038]---> BDD-cost:    1
22.57/22.66	c ---[646036]---> BDD-cost:    1
22.57/22.66	c ---[646034]---> BDD-cost:    1
22.57/22.66	c ---[646032]---> BDD-cost:    1
22.57/22.66	c ---[646030]---> BDD-cost:    1
22.57/22.66	c ---[646028]---> BDD-cost:    1
22.57/22.66	c ---[646026]---> BDD-cost:    1
22.57/22.66	c ---[646024]---> BDD-cost:    1
22.57/22.66	c ---[646022]---> BDD-cost:    1
22.57/22.66	c ---[646020]---> BDD-cost:    1
22.57/22.66	c ---[646018]---> BDD-cost:    1
22.57/22.66	c ---[646016]---> BDD-cost:    1
22.57/22.66	c ---[646014]---> BDD-cost:    1
22.57/22.66	c ---[646012]---> BDD-cost:    1
22.57/22.66	c ---[646010]---> BDD-cost:    1
22.57/22.66	c ---[646008]---> BDD-cost:    1
22.57/22.66	c ---[646006]---> BDD-cost:    1
22.57/22.66	c ---[646004]---> BDD-cost:    1
22.57/22.66	c ---[646002]---> BDD-cost:    1
22.57/22.66	c ---[646000]---> BDD-cost:    1
22.57/22.66	c ---[645853]---> BDD-cost:    1
22.57/22.66	c ---[645565]---> BDD-cost:    1
22.57/22.66	c ---[645563]---> BDD-cost:    1
22.57/22.66	c ---[645561]---> BDD-cost:    1
22.57/22.66	c ---[645559]---> BDD-cost:    1
22.57/22.66	c ---[645557]---> BDD-cost:    1
22.57/22.66	c ---[645555]---> BDD-cost:    1
22.57/22.66	c ---[645553]---> BDD-cost:    1
22.57/22.66	c ---[645551]---> BDD-cost:    1
22.57/22.66	c ---[645549]---> BDD-cost:    1
22.57/22.66	c ---[645547]---> BDD-cost:    1
22.57/22.66	c ---[645545]---> BDD-cost:    1
22.57/22.66	c ---[645543]---> BDD-cost:    1
22.57/22.66	c ---[645541]---> BDD-cost:    1
22.57/22.66	c ---[645539]---> BDD-cost:    1
22.57/22.66	c ---[645537]---> BDD-cost:    1
22.57/22.66	c ---[645535]---> BDD-cost:    1
22.57/22.66	c ---[645533]---> BDD-cost:    1
22.57/22.66	c ---[645531]---> BDD-cost:    1
22.57/22.66	c ---[645529]---> BDD-cost:    1
22.57/22.66	c ---[645527]---> BDD-cost:    1
22.57/22.66	c ---[645525]---> BDD-cost:    1
22.57/22.66	c ---[645523]---> BDD-cost:    1
22.57/22.66	c ---[645521]---> BDD-cost:    1
22.57/22.66	c ---[645519]---> BDD-cost:    1
22.57/22.66	c ---[645517]---> BDD-cost:    1
22.57/22.66	c ---[645515]---> BDD-cost:    1
22.57/22.66	c ---[645513]---> BDD-cost:    1
22.57/22.66	c ---[645511]---> BDD-cost:    1
22.57/22.66	c ---[645509]---> BDD-cost:    1
22.57/22.66	c ---[645507]---> BDD-cost:    1
22.57/22.66	c ---[645505]---> BDD-cost:    1
22.57/22.66	c ---[645503]---> BDD-cost:    1
22.57/22.66	c ---[645501]---> BDD-cost:    1
22.57/22.66	c ---[645348]---> BDD-cost:    1
22.57/22.66	c ---[644535]---> BDD-cost:    1
22.57/22.66	c ---[644533]---> BDD-cost:    1
22.57/22.66	c ---[644531]---> BDD-cost:    1
22.57/22.66	c ---[644529]---> BDD-cost:    1
22.57/22.66	c ---[644527]---> BDD-cost:    1
22.57/22.66	c ---[644525]---> BDD-cost:    1
22.57/22.66	c ---[644523]---> BDD-cost:    1
22.57/22.66	c ---[644521]---> BDD-cost:    1
22.57/22.66	c ---[644519]---> BDD-cost:    1
22.57/22.66	c ---[644517]---> BDD-cost:    1
22.57/22.66	c ---[644515]---> BDD-cost:    1
22.57/22.66	c ---[644513]---> BDD-cost:    1
22.57/22.66	c ---[644511]---> BDD-cost:    1
22.57/22.66	c ---[644509]---> BDD-cost:    1
22.57/22.66	c ---[644507]---> BDD-cost:    1
22.57/22.66	c ---[644505]---> BDD-cost:    1
22.57/22.66	c ---[644503]---> BDD-cost:    1
22.57/22.66	c ---[644501]---> BDD-cost:    1
22.57/22.66	c ---[644499]---> BDD-cost:    1
22.57/22.66	c ---[644497]---> BDD-cost:    1
22.57/22.66	c ---[644495]---> BDD-cost:    1
22.57/22.66	c ---[644493]---> BDD-cost:    1
22.57/22.66	c ---[644491]---> BDD-cost:    1
22.57/22.66	c ---[644489]---> BDD-cost:    1
22.57/22.66	c ---[644487]---> BDD-cost:    1
22.57/22.66	c ---[644485]---> BDD-cost:    1
22.57/22.66	c ---[644483]---> BDD-cost:    1
22.57/22.66	c ---[644481]---> BDD-cost:    1
22.57/22.66	c ---[644479]---> BDD-cost:    1
22.57/22.66	c ---[644477]---> BDD-cost:    1
22.57/22.66	c ---[644475]---> BDD-cost:    1
22.57/22.66	c ---[644473]---> BDD-cost:    1
22.57/22.66	c ---[644471]---> BDD-cost:    1
22.57/22.66	c ---[644350]---> BDD-cost:    1
22.57/22.66	c ---[644348]---> BDD-cost:    1
22.57/22.66	c ---[644346]---> BDD-cost:    1
22.57/22.66	c ---[644344]---> BDD-cost:    1
22.57/22.66	c ---[644342]---> BDD-cost:    1
22.57/22.66	c ---[644340]---> BDD-cost:    1
22.57/22.66	c ---[644338]---> BDD-cost:    1
22.57/22.66	c ---[644336]---> BDD-cost:    1
22.57/22.66	c ---[644334]---> BDD-cost:    1
22.57/22.66	c ---[644332]---> BDD-cost:    1
22.57/22.66	c ---[644330]---> BDD-cost:    1
22.57/22.66	c ---[644328]---> BDD-cost:    1
22.57/22.66	c ---[644326]---> BDD-cost:    1
22.57/22.66	c ---[644324]---> BDD-cost:    1
22.57/22.66	c ---[644322]---> BDD-cost:    1
22.57/22.66	c ---[644320]---> BDD-cost:    1
22.57/22.66	c ---[644318]---> BDD-cost:    1
22.57/22.66	c ---[644316]---> BDD-cost:    1
22.57/22.66	c ---[644314]---> BDD-cost:    1
22.57/22.66	c ---[644312]---> BDD-cost:    1
22.57/22.66	c ---[644310]---> BDD-cost:    1
22.57/22.66	c ---[644308]---> BDD-cost:    1
22.57/22.66	c ---[644306]---> BDD-cost:    1
22.57/22.66	c ---[644304]---> BDD-cost:    1
22.57/22.66	c ---[644302]---> BDD-cost:    1
22.57/22.66	c ---[644300]---> BDD-cost:    1
22.57/22.66	c ---[644298]---> BDD-cost:    1
22.57/22.66	c ---[644296]---> BDD-cost:    1
22.57/22.66	c ---[644294]---> BDD-cost:    1
22.57/22.66	c ---[644292]---> BDD-cost:    1
22.57/22.66	c ---[644290]---> BDD-cost:    1
22.57/22.66	c ---[644288]---> BDD-cost:    1
22.57/22.66	c ---[644286]---> BDD-cost:    1
22.57/22.66	c ---[644284]---> BDD-cost:    1
22.57/22.66	c ---[644282]---> BDD-cost:    1
22.57/22.66	c ---[644280]---> BDD-cost:    1
22.57/22.66	c ---[644278]---> BDD-cost:    1
22.57/22.66	c ---[644276]---> BDD-cost:    1
22.57/22.66	c ---[644274]---> BDD-cost:    1
22.57/22.66	c ---[644272]---> BDD-cost:    1
22.57/22.66	c ---[644270]---> BDD-cost:    1
22.57/22.66	c ---[644268]---> BDD-cost:    1
22.57/22.66	c ---[644266]---> BDD-cost:    1
22.57/22.66	c ---[644264]---> BDD-cost:    1
22.57/22.66	c ---[644262]---> BDD-cost:    1
22.57/22.66	c ---[644260]---> BDD-cost:    1
22.57/22.66	c ---[644258]---> BDD-cost:    1
22.57/22.66	c ---[644256]---> BDD-cost:    1
22.57/22.66	c ---[644254]---> BDD-cost:    1
22.57/22.66	c ---[644252]---> BDD-cost:    1
22.57/22.66	c ---[644250]---> BDD-cost:    1
22.57/22.66	c ---[644248]---> BDD-cost:    1
22.57/22.66	c ---[644246]---> BDD-cost:    1
22.57/22.66	c ---[644244]---> BDD-cost:    1
22.57/22.66	c ---[644242]---> BDD-cost:    1
22.57/22.66	c ---[644240]---> BDD-cost:    1
22.57/22.66	c ---[644238]---> BDD-cost:    1
22.57/22.66	c ---[644236]---> BDD-cost:    1
22.57/22.66	c ---[644234]---> BDD-cost:    1
22.57/22.66	c ---[644232]---> BDD-cost:    1
22.57/22.66	c ---[644230]---> BDD-cost:    1
22.57/22.66	c ---[644228]---> BDD-cost:    1
22.57/22.66	c ---[644226]---> BDD-cost:    1
22.57/22.66	c ---[644224]---> BDD-cost:    1
22.57/22.66	c ---[644222]---> BDD-cost:    1
22.57/22.66	c ---[644220]---> BDD-cost:    1
22.57/22.66	c ---[644218]---> BDD-cost:    1
22.57/22.66	c ---[644216]---> BDD-cost:    1
22.57/22.66	c ---[644214]---> BDD-cost:    1
22.57/22.66	c ---[644212]---> BDD-cost:    1
22.57/22.66	c ---[644210]---> BDD-cost:    1
22.57/22.66	c ---[644208]---> BDD-cost:    1
22.57/22.66	c ---[644206]---> BDD-cost:    1
22.57/22.66	c ---[644204]---> BDD-cost:    1
22.57/22.66	c ---[644202]---> BDD-cost:    1
22.57/22.66	c ---[644200]---> BDD-cost:    1
22.57/22.66	c ---[644198]---> BDD-cost:    1
22.57/22.66	c ---[644196]---> BDD-cost:    1
22.57/22.66	c ---[644194]---> BDD-cost:    1
22.57/22.66	c ---[644192]---> BDD-cost:    1
22.57/22.66	c ---[644190]---> BDD-cost:    1
22.57/22.66	c ---[644188]---> BDD-cost:    1
22.57/22.66	c ---[644186]---> BDD-cost:    1
22.57/22.66	c ---[644184]---> BDD-cost:    1
22.57/22.66	c ---[644182]---> BDD-cost:    1
22.57/22.66	c ---[644180]---> BDD-cost:    1
22.57/22.66	c ---[644178]---> BDD-cost:    1
22.57/22.66	c ---[644176]---> BDD-cost:    1
22.57/22.66	c ---[644174]---> BDD-cost:    1
22.57/22.66	c ---[644172]---> BDD-cost:    1
22.57/22.66	c ---[644170]---> BDD-cost:    1
22.57/22.66	c ---[644168]---> BDD-cost:    1
22.57/22.67	c ---[644166]---> BDD-cost:    1
22.57/22.67	c ---[644164]---> BDD-cost:    1
22.57/22.67	c ---[644162]---> BDD-cost:    1
22.57/22.67	c ---[644160]---> BDD-cost:    1
22.57/22.67	c ---[644158]---> BDD-cost:    1
22.57/22.67	c ---[644156]---> BDD-cost:    1
22.57/22.67	c ---[644154]---> BDD-cost:    1
22.57/22.67	c ---[644152]---> BDD-cost:    1
22.57/22.67	c ---[644150]---> BDD-cost:    1
22.57/22.67	c ---[644148]---> BDD-cost:    1
22.57/22.67	c ---[644146]---> BDD-cost:    1
22.57/22.67	c ---[644144]---> BDD-cost:    1
22.57/22.67	c ---[644142]---> BDD-cost:    1
22.57/22.67	c ---[644140]---> BDD-cost:    1
22.57/22.67	c ---[644138]---> BDD-cost:    1
22.57/22.67	c ---[644136]---> BDD-cost:    1
22.57/22.67	c ---[644134]---> BDD-cost:    1
22.57/22.67	c ---[644132]---> BDD-cost:    1
22.57/22.67	c ---[644130]---> BDD-cost:    1
22.57/22.67	c ---[644128]---> BDD-cost:    1
22.57/22.67	c ---[644126]---> BDD-cost:    1
22.57/22.67	c ---[644124]---> BDD-cost:    1
22.57/22.67	c ---[644122]---> BDD-cost:    1
22.57/22.67	c ---[644120]---> BDD-cost:    1
22.57/22.67	c ---[644118]---> BDD-cost:    1
22.57/22.67	c ---[644116]---> BDD-cost:    1
22.57/22.67	c ---[644114]---> BDD-cost:    1
22.57/22.67	c ---[644112]---> BDD-cost:    1
22.57/22.67	c ---[644110]---> BDD-cost:    1
22.57/22.67	c ---[644108]---> BDD-cost:    1
22.57/22.67	c ---[644106]---> BDD-cost:    1
22.57/22.67	c ---[644104]---> BDD-cost:    1
22.57/22.67	c ---[644102]---> BDD-cost:    1
22.57/22.67	c ---[644100]---> BDD-cost:    1
22.57/22.67	c ---[644098]---> BDD-cost:    1
22.57/22.67	c ---[644096]---> BDD-cost:    1
22.57/22.67	c ---[644094]---> BDD-cost:    1
22.57/22.67	c ---[644092]---> BDD-cost:    1
22.57/22.67	c ---[644090]---> BDD-cost:    1
22.57/22.67	c ---[644088]---> BDD-cost:    1
22.57/22.67	c ---[644086]---> BDD-cost:    1
22.57/22.67	c ---[644084]---> BDD-cost:    1
22.57/22.67	c ---[644082]---> BDD-cost:    1
22.57/22.67	c ---[644080]---> BDD-cost:    1
22.57/22.67	c ---[644078]---> BDD-cost:    1
22.57/22.67	c ---[644076]---> BDD-cost:    1
22.57/22.67	c ---[644074]---> BDD-cost:    1
22.57/22.67	c ---[644072]---> BDD-cost:    1
22.57/22.67	c ---[644070]---> BDD-cost:    1
22.57/22.67	c ---[644068]---> BDD-cost:    1
22.57/22.67	c ---[644066]---> BDD-cost:    1
22.57/22.67	c ---[644064]---> BDD-cost:    1
22.57/22.67	c ---[644062]---> BDD-cost:    1
22.57/22.67	c ---[644060]---> BDD-cost:    1
22.57/22.67	c ---[644058]---> BDD-cost:    1
22.57/22.67	c ---[644056]---> BDD-cost:    1
22.57/22.67	c ---[644054]---> BDD-cost:    1
22.57/22.67	c ---[644052]---> BDD-cost:    1
22.57/22.67	c ---[644050]---> BDD-cost:    1
22.57/22.67	c ---[644048]---> BDD-cost:    1
22.57/22.67	c ---[644046]---> BDD-cost:    1
22.57/22.67	c ---[644044]---> BDD-cost:    1
22.57/22.67	c ---[644042]---> BDD-cost:    1
22.57/22.67	c ---[644040]---> BDD-cost:    1
22.57/22.67	c ---[644038]---> BDD-cost:    1
22.57/22.67	c ---[644036]---> BDD-cost:    1
22.57/22.67	c ---[644034]---> BDD-cost:    1
22.57/22.67	c ---[644032]---> BDD-cost:    1
22.57/22.67	c ---[644030]---> BDD-cost:    1
22.57/22.67	c ---[644028]---> BDD-cost:    1
22.57/22.67	c ---[644026]---> BDD-cost:    1
22.57/22.67	c ---[644024]---> BDD-cost:    1
22.57/22.67	c ---[644022]---> BDD-cost:    1
22.57/22.67	c ---[644020]---> BDD-cost:    1
22.57/22.67	c ---[644018]---> BDD-cost:    1
22.57/22.67	c ---[644016]---> BDD-cost:    1
22.57/22.67	c ---[644014]---> BDD-cost:    1
22.57/22.67	c ---[644012]---> BDD-cost:    1
22.57/22.67	c ---[644010]---> BDD-cost:    1
22.57/22.67	c ---[644008]---> BDD-cost:    1
22.57/22.67	c ---[644006]---> BDD-cost:    1
22.57/22.67	c ---[644004]---> BDD-cost:    1
22.57/22.67	c ---[644002]---> BDD-cost:    1
22.57/22.67	c ---[644000]---> BDD-cost:    1
22.57/22.67	c ---[643998]---> BDD-cost:    1
22.57/22.67	c ---[643996]---> BDD-cost:    1
22.57/22.67	c ---[643994]---> BDD-cost:    1
22.57/22.67	c ---[643992]---> BDD-cost:    1
22.57/22.67	c ---[643990]---> BDD-cost:    1
22.57/22.67	c ---[643988]---> BDD-cost:    1
22.57/22.67	c ---[643986]---> BDD-cost:    1
22.57/22.67	c ---[643984]---> BDD-cost:    1
22.57/22.67	c ---[643982]---> BDD-cost:    1
22.57/22.67	c ---[643980]---> BDD-cost:    1
22.57/22.67	c ---[643978]---> BDD-cost:    1
22.57/22.67	c ---[643976]---> BDD-cost:    1
22.57/22.67	c ---[643974]---> BDD-cost:    1
22.57/22.67	c ---[643972]---> BDD-cost:    1
22.57/22.67	c ---[643970]---> BDD-cost:    1
22.57/22.67	c ---[643968]---> BDD-cost:    1
22.57/22.67	c ---[643966]---> BDD-cost:    1
22.57/22.67	c ---[643964]---> BDD-cost:    1
22.57/22.67	c ---[643962]---> BDD-cost:    1
22.57/22.67	c ---[643960]---> BDD-cost:    1
22.57/22.67	c ---[643958]---> BDD-cost:    1
22.57/22.67	c ---[643956]---> BDD-cost:    1
22.57/22.67	c ---[643954]---> BDD-cost:    1
22.57/22.67	c ---[643952]---> BDD-cost:    1
22.57/22.67	c ---[643950]---> BDD-cost:    1
22.57/22.67	c ---[643948]---> BDD-cost:    1
22.57/22.67	c ---[643946]---> BDD-cost:    1
22.57/22.67	c ---[643944]---> BDD-cost:    1
22.57/22.67	c ---[643942]---> BDD-cost:    1
22.57/22.67	c ---[643940]---> BDD-cost:    1
22.57/22.67	c ---[643938]---> BDD-cost:    1
22.57/22.67	c ---[643936]---> BDD-cost:    1
22.57/22.67	c ---[643934]---> BDD-cost:    1
22.57/22.67	c ---[643932]---> BDD-cost:    1
22.57/22.67	c ---[643930]---> BDD-cost:    1
22.57/22.67	c ---[643928]---> BDD-cost:    1
22.57/22.67	c ---[643926]---> BDD-cost:    1
22.57/22.67	c ---[643924]---> BDD-cost:    1
22.57/22.67	c ---[643922]---> BDD-cost:    1
22.57/22.67	c ---[643920]---> BDD-cost:    1
22.57/22.67	c ---[643918]---> BDD-cost:    1
22.57/22.67	c ---[643916]---> BDD-cost:    1
22.57/22.67	c ---[643914]---> BDD-cost:    1
22.57/22.67	c ---[643912]---> BDD-cost:    1
22.57/22.67	c ---[643910]---> BDD-cost:    1
22.57/22.67	c ---[643908]---> BDD-cost:    1
22.57/22.67	c ---[643906]---> BDD-cost:    1
22.57/22.67	c ---[643904]---> BDD-cost:    1
22.57/22.67	c ---[643902]---> BDD-cost:    1
22.57/22.67	c ---[643900]---> BDD-cost:    1
22.57/22.67	c ---[643898]---> BDD-cost:    1
22.57/22.67	c ---[643896]---> BDD-cost:    1
22.57/22.67	c ---[643894]---> BDD-cost:    1
22.57/22.67	c ---[643892]---> BDD-cost:    1
22.57/22.67	c ---[643890]---> BDD-cost:    1
22.57/22.67	c ---[643888]---> BDD-cost:    1
22.57/22.67	c ---[643886]---> BDD-cost:    1
22.57/22.67	c ---[643884]---> BDD-cost:    1
22.57/22.67	c ---[643882]---> BDD-cost:    1
22.57/22.67	c ---[643880]---> BDD-cost:    1
22.57/22.67	c ---[643878]---> BDD-cost:    1
22.57/22.67	c ---[643876]---> BDD-cost:    1
22.57/22.67	c ---[643874]---> BDD-cost:    1
22.57/22.67	c ---[643872]---> BDD-cost:    1
22.57/22.67	c ---[643870]---> BDD-cost:    1
22.57/22.67	c ---[643868]---> BDD-cost:    1
22.57/22.67	c ---[643866]---> BDD-cost:    1
22.57/22.67	c ---[643864]---> BDD-cost:    1
22.57/22.67	c ---[643862]---> BDD-cost:    1
22.57/22.67	c ---[643860]---> BDD-cost:    1
22.57/22.67	c ---[643858]---> BDD-cost:    1
22.57/22.67	c ---[643856]---> BDD-cost:    1
22.57/22.67	c ---[643854]---> BDD-cost:    1
22.57/22.67	c ---[643852]---> BDD-cost:    1
22.57/22.67	c ---[643850]---> BDD-cost:    1
22.57/22.67	c ---[643848]---> BDD-cost:    1
22.57/22.67	c ---[643846]---> BDD-cost:    1
22.57/22.67	c ---[643844]---> BDD-cost:    1
22.57/22.67	c ---[643842]---> BDD-cost:    1
22.57/22.67	c ---[643840]---> BDD-cost:    1
22.57/22.67	c ---[643838]---> BDD-cost:    1
22.57/22.67	c ---[643836]---> BDD-cost:    1
22.57/22.67	c ---[643834]---> BDD-cost:    1
22.57/22.67	c ---[643832]---> BDD-cost:    1
22.57/22.67	c ---[643830]---> BDD-cost:    1
22.57/22.67	c ---[643828]---> BDD-cost:    1
22.57/22.67	c ---[643826]---> BDD-cost:    1
22.57/22.67	c ---[643824]---> BDD-cost:    1
22.57/22.67	c ---[643822]---> BDD-cost:    1
22.57/22.67	c ---[643820]---> BDD-cost:    1
22.57/22.67	c ---[643818]---> BDD-cost:    1
22.57/22.67	c ---[643816]---> BDD-cost:    1
22.57/22.67	c ---[643814]---> BDD-cost:    1
22.57/22.67	c ---[643812]---> BDD-cost:    1
22.57/22.67	c ---[643810]---> BDD-cost:    1
22.57/22.67	c ---[643808]---> BDD-cost:    1
22.57/22.67	c ---[643806]---> BDD-cost:    1
22.57/22.67	c ---[643804]---> BDD-cost:    1
22.57/22.67	c ---[643802]---> BDD-cost:    1
22.57/22.67	c ---[643800]---> BDD-cost:    1
22.57/22.67	c ---[643798]---> BDD-cost:    1
22.57/22.67	c ---[643796]---> BDD-cost:    1
22.57/22.67	c ---[643794]---> BDD-cost:    1
22.57/22.67	c ---[643792]---> BDD-cost:    1
22.57/22.67	c ---[643790]---> BDD-cost:    1
22.57/22.67	c ---[643788]---> BDD-cost:    1
22.57/22.67	c ---[643786]---> BDD-cost:    1
22.57/22.67	c ---[643784]---> BDD-cost:    1
22.57/22.67	c ---[643782]---> BDD-cost:    1
22.57/22.67	c ---[643780]---> BDD-cost:    1
22.57/22.67	c ---[643778]---> BDD-cost:    1
22.57/22.67	c ---[643776]---> BDD-cost:    1
22.57/22.67	c ---[643774]---> BDD-cost:    1
22.57/22.67	c ---[643772]---> BDD-cost:    1
22.57/22.67	c ---[643770]---> BDD-cost:    1
22.57/22.67	c ---[643768]---> BDD-cost:    1
22.57/22.67	c ---[643766]---> BDD-cost:    1
22.57/22.67	c ---[643764]---> BDD-cost:    1
22.57/22.67	c ---[643762]---> BDD-cost:    1
22.57/22.67	c ---[643760]---> BDD-cost:    1
22.57/22.67	c ---[643758]---> BDD-cost:    1
22.57/22.67	c ---[643756]---> BDD-cost:    1
22.57/22.67	c ---[643754]---> BDD-cost:    1
22.57/22.67	c ---[643752]---> BDD-cost:    1
22.57/22.67	c ---[643750]---> BDD-cost:    1
22.57/22.67	c ---[643748]---> BDD-cost:    1
22.57/22.67	c ---[643746]---> BDD-cost:    1
22.57/22.67	c ---[643744]---> BDD-cost:    1
22.57/22.67	c ---[643742]---> BDD-cost:    1
22.57/22.67	c ---[643740]---> BDD-cost:    1
22.57/22.67	c ---[643738]---> BDD-cost:    1
22.57/22.67	c ---[643736]---> BDD-cost:    1
22.57/22.67	c ---[643734]---> BDD-cost:    1
22.57/22.67	c ---[643732]---> BDD-cost:    1
22.57/22.67	c ---[643730]---> BDD-cost:    1
22.57/22.67	c ---[643728]---> BDD-cost:    1
22.57/22.67	c ---[643726]---> BDD-cost:    1
22.57/22.67	c ---[643724]---> BDD-cost:    1
22.57/22.67	c ---[643722]---> BDD-cost:    1
22.57/22.67	c ---[643720]---> BDD-cost:    1
22.57/22.67	c ---[643718]---> BDD-cost:    1
22.57/22.67	c ---[643716]---> BDD-cost:    1
22.57/22.67	c ---[643714]---> BDD-cost:    1
22.57/22.67	c ---[643712]---> BDD-cost:    1
22.57/22.67	c ---[643710]---> BDD-cost:    1
22.57/22.67	c ---[643708]---> BDD-cost:    1
22.57/22.67	c ---[643706]---> BDD-cost:    1
22.57/22.67	c ---[643704]---> BDD-cost:    1
22.57/22.67	c ---[643702]---> BDD-cost:    1
22.57/22.67	c ---[643700]---> BDD-cost:    1
22.57/22.67	c ---[643698]---> BDD-cost:    1
22.57/22.67	c ---[643696]---> BDD-cost:    1
22.57/22.67	c ---[643694]---> BDD-cost:    1
22.57/22.67	c ---[643692]---> BDD-cost:    1
22.57/22.67	c ---[643690]---> BDD-cost:    1
22.57/22.67	c ---[643688]---> BDD-cost:    1
22.57/22.67	c ---[643686]---> BDD-cost:    1
22.57/22.67	c ---[643684]---> BDD-cost:    1
22.57/22.67	c ---[643682]---> BDD-cost:    1
22.57/22.67	c ---[643680]---> BDD-cost:    1
22.57/22.67	c ---[643678]---> BDD-cost:    1
22.57/22.67	c ---[643676]---> BDD-cost:    1
22.57/22.67	c ---[643674]---> BDD-cost:    1
22.57/22.67	c ---[643672]---> BDD-cost:    1
22.57/22.67	c ---[643670]---> BDD-cost:    1
22.57/22.67	c ---[643668]---> BDD-cost:    1
22.57/22.67	c ---[643666]---> BDD-cost:    1
22.57/22.67	c ---[643664]---> BDD-cost:    1
22.57/22.67	c ---[643662]---> BDD-cost:    1
22.57/22.67	c ---[643660]---> BDD-cost:    1
22.57/22.67	c ---[643658]---> BDD-cost:    1
22.57/22.67	c ---[643656]---> BDD-cost:    1
22.57/22.67	c ---[643654]---> BDD-cost:    1
22.57/22.67	c ---[643652]---> BDD-cost:    1
22.57/22.67	c ---[643650]---> BDD-cost:    1
22.57/22.67	c ---[643648]---> BDD-cost:    1
22.57/22.67	c ---[643646]---> BDD-cost:    1
22.57/22.67	c ---[643644]---> BDD-cost:    1
22.57/22.67	c ---[643642]---> BDD-cost:    1
22.57/22.67	c ---[643640]---> BDD-cost:    1
22.57/22.67	c ---[643638]---> BDD-cost:    1
22.57/22.67	c ---[643636]---> BDD-cost:    1
22.57/22.67	c ---[643634]---> BDD-cost:    1
22.57/22.67	c ---[643632]---> BDD-cost:    1
22.57/22.67	c ---[643630]---> BDD-cost:    1
22.57/22.67	c ---[643628]---> BDD-cost:    1
22.57/22.67	c ---[643626]---> BDD-cost:    1
22.57/22.67	c ---[643624]---> BDD-cost:    1
22.57/22.67	c ---[643622]---> BDD-cost:    1
22.57/22.67	c ---[643620]---> BDD-cost:    1
22.57/22.67	c ---[643618]---> BDD-cost:    1
22.57/22.67	c ---[643616]---> BDD-cost:    1
22.57/22.67	c ---[643614]---> BDD-cost:    1
22.57/22.67	c ---[643612]---> BDD-cost:    1
22.57/22.67	c ---[643610]---> BDD-cost:    1
22.57/22.67	c ---[643608]---> BDD-cost:    1
22.57/22.67	c ---[643606]---> BDD-cost:    1
22.57/22.67	c ---[643604]---> BDD-cost:    1
22.57/22.67	c ---[643602]---> BDD-cost:    1
22.57/22.67	c ---[643600]---> BDD-cost:    1
22.57/22.67	c ---[643598]---> BDD-cost:    1
22.57/22.67	c ---[643596]---> BDD-cost:    1
22.57/22.67	c ---[643594]---> BDD-cost:    1
22.57/22.67	c ---[643592]---> BDD-cost:    1
22.57/22.67	c ---[643590]---> BDD-cost:    1
22.57/22.67	c ---[643588]---> BDD-cost:    1
22.57/22.67	c ---[643586]---> BDD-cost:    1
22.57/22.67	c ---[643584]---> BDD-cost:    1
22.57/22.67	c ---[643582]---> BDD-cost:    1
22.57/22.67	c ---[643580]---> BDD-cost:    1
22.57/22.67	c ---[643578]---> BDD-cost:    1
22.57/22.67	c ---[643576]---> BDD-cost:    1
22.57/22.67	c ---[643574]---> BDD-cost:    1
22.57/22.67	c ---[643572]---> BDD-cost:    1
22.57/22.67	c ---[643570]---> BDD-cost:    1
22.57/22.67	c ---[643568]---> BDD-cost:    1
22.57/22.67	c ---[643566]---> BDD-cost:    1
22.57/22.67	c ---[643564]---> BDD-cost:    1
22.57/22.67	c ---[643562]---> BDD-cost:    1
22.57/22.67	c ---[643560]---> BDD-cost:    1
22.57/22.67	c ---[643558]---> BDD-cost:    1
22.57/22.67	c ---[643556]---> BDD-cost:    1
22.57/22.67	c ---[643554]---> BDD-cost:    1
22.57/22.67	c ---[643552]---> BDD-cost:    1
22.57/22.67	c ---[643550]---> BDD-cost:    1
22.57/22.67	c ---[643548]---> BDD-cost:    1
22.57/22.68	c ---[643546]---> BDD-cost:    1
22.57/22.68	c ---[643544]---> BDD-cost:    1
22.57/22.68	c ---[643542]---> BDD-cost:    1
22.57/22.68	c ---[643540]---> BDD-cost:    1
22.57/22.68	c ---[643538]---> BDD-cost:    1
22.57/22.68	c ---[643536]---> BDD-cost:    1
22.57/22.68	c ---[643534]---> BDD-cost:    1
22.57/22.68	c ---[643532]---> BDD-cost:    1
22.57/22.68	c ---[643530]---> BDD-cost:    1
22.57/22.68	c ---[643528]---> BDD-cost:    1
22.57/22.68	c ---[643526]---> BDD-cost:    1
22.57/22.68	c ---[643524]---> BDD-cost:    1
22.57/22.68	c ---[643522]---> BDD-cost:    1
22.57/22.68	c ---[643520]---> BDD-cost:    1
22.57/22.68	c ---[643518]---> BDD-cost:    1
22.57/22.68	c ---[643516]---> BDD-cost:    1
22.57/22.68	c ---[643514]---> BDD-cost:    1
22.57/22.68	c ---[643512]---> BDD-cost:    1
22.57/22.68	c ---[643510]---> BDD-cost:    1
22.57/22.68	c ---[643508]---> BDD-cost:    1
22.57/22.68	c ---[643506]---> BDD-cost:    1
22.57/22.68	c ---[643504]---> BDD-cost:    1
22.57/22.68	c ---[643502]---> BDD-cost:    1
22.57/22.68	c ---[643500]---> BDD-cost:    1
22.57/22.68	c ---[643498]---> BDD-cost:    1
22.57/22.68	c ---[643496]---> BDD-cost:    1
22.57/22.68	c ---[643494]---> BDD-cost:    1
22.57/22.68	c ---[643492]---> BDD-cost:    1
22.57/22.68	c ---[643490]---> BDD-cost:    1
22.57/22.68	c ---[643488]---> BDD-cost:    1
22.57/22.68	c ---[643486]---> BDD-cost:    1
22.57/22.68	c ---[643484]---> BDD-cost:    1
22.57/22.68	c ---[643482]---> BDD-cost:    1
22.57/22.68	c ---[643480]---> BDD-cost:    1
22.57/22.68	c ---[643478]---> BDD-cost:    1
22.57/22.68	c ---[643476]---> BDD-cost:    1
22.57/22.68	c ---[643474]---> BDD-cost:    1
22.57/22.68	c ---[643472]---> BDD-cost:    1
22.57/22.68	c ---[643470]---> BDD-cost:    1
22.57/22.68	c ---[643468]---> BDD-cost:    1
22.57/22.68	c ---[643466]---> BDD-cost:    1
22.57/22.68	c ---[643464]---> BDD-cost:    1
22.57/22.68	c ---[643462]---> BDD-cost:    1
22.57/22.68	c ---[643460]---> BDD-cost:    1
22.57/22.68	c ---[643458]---> BDD-cost:    1
22.57/22.68	c ---[643456]---> BDD-cost:    1
22.57/22.68	c ---[643454]---> BDD-cost:    1
22.57/22.68	c ---[643452]---> BDD-cost:    1
22.57/22.68	c ---[643450]---> BDD-cost:    1
22.57/22.68	c ---[643448]---> BDD-cost:    1
22.57/22.68	c ---[643446]---> BDD-cost:    1
22.57/22.68	c ---[643444]---> BDD-cost:    1
22.57/22.68	c ---[643442]---> BDD-cost:    1
22.57/22.68	c ---[643440]---> BDD-cost:    1
22.57/22.68	c ---[643438]---> BDD-cost:    1
22.57/22.68	c ---[643436]---> BDD-cost:    1
22.57/22.68	c ---[643434]---> BDD-cost:    1
22.57/22.68	c ---[643432]---> BDD-cost:    1
22.57/22.68	c ---[643430]---> BDD-cost:    1
22.57/22.68	c ---[643428]---> BDD-cost:    1
22.57/22.68	c ---[643426]---> BDD-cost:    1
22.57/22.68	c ---[643424]---> BDD-cost:    1
22.57/22.68	c ---[643422]---> BDD-cost:    1
22.57/22.68	c ---[643420]---> BDD-cost:    1
22.57/22.68	c ---[643418]---> BDD-cost:    1
22.57/22.68	c ---[643416]---> BDD-cost:    1
22.57/22.68	c ---[643414]---> BDD-cost:    1
22.57/22.68	c ---[643412]---> BDD-cost:    1
22.57/22.68	c ---[643410]---> BDD-cost:    1
22.57/22.68	c ---[643408]---> BDD-cost:    1
22.57/22.68	c ---[643406]---> BDD-cost:    1
22.57/22.68	c ---[643369]---> BDD-cost:    1
22.57/22.68	c ---[643012]---> BDD-cost:    1
22.57/22.68	c ---[643010]---> BDD-cost:    1
22.57/22.68	c ---[643008]---> BDD-cost:    1
22.57/22.68	c ---[643006]---> BDD-cost:    1
22.57/22.68	c ---[643004]---> BDD-cost:    1
22.57/22.68	c ---[643002]---> BDD-cost:    1
22.57/22.68	c ---[643000]---> BDD-cost:    1
22.57/22.68	c ---[642998]---> BDD-cost:    1
22.57/22.68	c ---[642996]---> BDD-cost:    1
22.57/22.68	c ---[642994]---> BDD-cost:    1
22.57/22.68	c ---[642992]---> BDD-cost:    1
22.57/22.68	c ---[642990]---> BDD-cost:    1
22.57/22.68	c ---[642988]---> BDD-cost:    1
22.57/22.68	c ---[642986]---> BDD-cost:    1
22.57/22.68	c ---[642984]---> BDD-cost:    1
22.57/22.68	c ---[642982]---> BDD-cost:    1
22.57/22.68	c ---[642980]---> BDD-cost:    1
22.57/22.68	c ---[642978]---> BDD-cost:    1
22.57/22.68	c ---[642976]---> BDD-cost:    1
22.57/22.68	c ---[642974]---> BDD-cost:    1
22.57/22.68	c ---[642972]---> BDD-cost:    1
22.57/22.68	c ---[642970]---> BDD-cost:    1
22.57/22.68	c ---[642968]---> BDD-cost:    1
22.57/22.68	c ---[642966]---> BDD-cost:    1
22.57/22.68	c ---[642964]---> BDD-cost:    1
22.57/22.68	c ---[642962]---> BDD-cost:    1
22.57/22.68	c ---[642960]---> BDD-cost:    1
22.57/22.68	c ---[642958]---> BDD-cost:    1
22.57/22.68	c ---[642956]---> BDD-cost:    1
22.57/22.68	c ---[642954]---> BDD-cost:    1
22.57/22.68	c ---[642952]---> BDD-cost:    1
22.57/22.68	c ---[642950]---> BDD-cost:    1
22.57/22.68	c ---[642948]---> BDD-cost:    1
22.57/22.68	c ---[632461]---> BDD-cost:    1
22.57/22.68	c ---[605256]---> BDD-cost:    1
22.57/22.68	c ---[585025]---> BDD-cost:    1
22.57/22.68	c ---[558442]---> BDD-cost:    1
22.57/22.68	c ---[529847]---> BDD-cost:    1
22.57/22.68	c ---[514751]---> BDD-cost:    1
22.57/22.68	c ---[514749]---> BDD-cost:    1
22.57/22.68	c ---[514747]---> BDD-cost:    1
22.57/22.68	c ---[514745]---> BDD-cost:    1
22.57/22.68	c ---[514743]---> BDD-cost:    1
22.57/22.68	c ---[514741]---> BDD-cost:    1
22.57/22.68	c ---[514739]---> BDD-cost:    1
22.57/22.68	c ---[514737]---> BDD-cost:    1
22.57/22.68	c ---[514735]---> BDD-cost:    1
22.57/22.68	c ---[514733]---> BDD-cost:    1
22.66/22.71	c ==================================[MINISAT+]==================================
22.66/22.71	c | Conflicts | Original         | Learnt                           | Progress |
22.66/22.71	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
22.66/22.71	c ==============================================================================
22.66/22.71	c |         0 |  648970  1723520 |  216323       0        0     nan |  0.000 % |
22.76/22.80	c |       100 |  648970  1723520 |  237955     100     1083    10.8 |  0.842 % |
23.07/23.11	c |       251 |  648970  1723520 |  261750     251     2986    11.9 |  0.842 % |
23.26/23.38	c |       482 |  648970  1723520 |  287925     482    10846    22.5 |  0.842 % |
23.96/24.00	c |       819 |  648970  1723520 |  316718     819    18384    22.4 |  0.842 % |
24.46/24.59	c |      1325 |  648970  1723520 |  348390    1325    44097    33.3 |  0.842 % |
26.47/26.57	c |      2084 |  648970  1723520 |  383229    2084    61835    29.7 |  0.842 % |
28.17/28.25	c |      3223 |  648746  1723020 |  421552    3222   111497    34.6 |  0.864 % |
30.17/30.28	c |      4933 |  648746  1723020 |  463707    4932   184047    37.3 |  0.864 % |
35.76/35.82	c |      7496 |  648746  1723020 |  510078    7495   283397    37.8 |  0.864 % |
41.84/41.92	c |     11340 |  648114  1721617 |  561086   11322   483918    42.7 |  0.932 % |
56.32/56.49	c |     17108 |  648114  1721617 |  617194   17090   763423    44.7 |  0.932 % |
71.22/71.31	c |     25757 |  648114  1721617 |  678914   25739  1128995    43.9 |  0.932 % |
97.82/97.94	c |     38732 |  648114  1721617 |  746805   38714  1666388    43.0 |  0.932 % |
139.20/139.34	c |     58193 |  647036  1719112 |  821486   58022  2529280    43.6 |  1.056 % |
206.59/206.78	c |     87386 |  645400  1715385 |  903634   87186  3450436    39.6 |  1.230 % |
319.36/319.58	c |    131175 |  644132  1712424 |  993998  130953  4927801    37.6 |  1.382 % |
543.59/543.86	c |    196859 |  633450  1686512 | 1093398   57679  1888700    32.7 |  3.733 % |
560.70/560.92	c ==============================================================================
560.70/560.92	c UNSATISFIABLE
560.70/560.92	s UNSATISFIABLE
560.70/560.92	c _______________________________________________________________________________
560.70/560.92	c 
560.70/560.92	c restarts              : 18
560.70/560.92	c conflicts             : 206023         (368 /sec)
560.70/560.92	c decisions             : 301451         (539 /sec)
560.70/560.92	c propagations          : 0              (0 /sec)
560.70/560.92	c inspects              : 0              (0 /sec)
560.70/560.92	c CPU time              : 559.701 s
560.70/560.92	c _______________________________________________________________________________

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

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

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


[startup+0 s]
/proc/loadavg: 0.86 0.98 0.99 3/77 15015
/proc/meminfo: memFree=1749320/2055920 swapFree=4158592/4192956
[pid=15015] ppid=15013 vsize=1048 CPUtime=0
/proc/15015/stat : 15015 (minisat+) R 15013 15015 13911 0 -1 4194304 111 0 0 0 0 0 0 0 18 0 1 0 189554581 1073152 97 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15015/statm: 262 97 75 215 0 44 0

[startup+0.081454 s]
/proc/loadavg: 0.86 0.98 0.99 3/77 15015
/proc/meminfo: memFree=1749320/2055920 swapFree=4158592/4192956
[pid=15015] ppid=15013 vsize=1752 CPUtime=0.07
/proc/15015/stat : 15015 (minisat+) R 15013 15015 13911 0 -1 4194304 304 0 0 0 7 0 0 0 18 0 1 0 189554581 1794048 290 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15015/statm: 438 290 75 215 0 220 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1752

[startup+0.101456 s]
/proc/loadavg: 0.86 0.98 0.99 3/77 15015
/proc/meminfo: memFree=1749320/2055920 swapFree=4158592/4192956
[pid=15015] ppid=15013 vsize=2016 CPUtime=0.09
/proc/15015/stat : 15015 (minisat+) R 15013 15015 13911 0 -1 4194304 348 0 0 0 9 0 0 0 18 0 1 0 189554581 2064384 334 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15015/statm: 504 334 75 215 0 286 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2016

[startup+0.301473 s]
/proc/loadavg: 0.86 0.98 0.99 3/77 15015
/proc/meminfo: memFree=1749320/2055920 swapFree=4158592/4192956
[pid=15015] ppid=15013 vsize=3956 CPUtime=0.29
/proc/15015/stat : 15015 (minisat+) R 15013 15015 13911 0 -1 4194304 838 0 0 0 29 0 0 0 19 0 1 0 189554581 4050944 824 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012139 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15015/statm: 989 824 75 215 0 771 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3956

[startup+0.701508 s]
/proc/loadavg: 0.86 0.98 0.99 3/77 15015
/proc/meminfo: memFree=1749320/2055920 swapFree=4158592/4192956
[pid=15015] ppid=15013 vsize=7356 CPUtime=0.69
/proc/15015/stat : 15015 (minisat+) R 15013 15015 13911 0 -1 4194304 1647 0 0 0 69 0 0 0 23 0 1 0 189554581 7532544 1633 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15015/statm: 1839 1633 75 215 0 1621 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7356

[startup+1.50158 s]
/proc/loadavg: 0.86 0.98 0.99 2/78 15016
/proc/meminfo: memFree=1740672/2055920 swapFree=4158592/4192956
[pid=15015] ppid=15013 vsize=14168 CPUtime=1.49
/proc/15015/stat : 15015 (minisat+) R 15013 15015 13911 0 -1 4194304 3301 0 0 0 148 1 0 0 25 0 1 0 189554581 14508032 3287 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003218 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15015/statm: 3542 3287 75 215 0 3324 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14168

[startup+3.10172 s]
/proc/loadavg: 0.86 0.98 0.99 2/78 15016
/proc/meminfo: memFree=1730560/2055920 swapFree=4158592/4192956
[pid=15015] ppid=15013 vsize=27904 CPUtime=3.09
/proc/15015/stat : 15015 (minisat+) R 15013 15015 13911 0 -1 4194304 6619 0 0 0 306 3 0 0 25 0 1 0 189554581 28573696 6605 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003912 0 0 4096 16386 0 0 0 17 0 0 0
/proc/15015/statm: 6976 6605 75 215 0 6758 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27904

[startup+6.30199 s]
/proc/loadavg: 0.95 1.00 0.99 2/78 15016
/proc/meminfo: memFree=1703680/2055920 swapFree=4158592/4192956
[pid=15015] ppid=15013 vsize=55716 CPUtime=6.28
/proc/15015/stat : 15015 (minisat+) R 15013 15015 13911 0 -1 4194304 13459 0 0 0 621 7 0 0 25 0 1 0 189554581 57053184 13403 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15015/statm: 13929 13403 75 215 0 13711 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 55716

[startup+12.7016 s]
/proc/loadavg: 0.96 1.00 0.99 2/78 15016
/proc/meminfo: memFree=1647296/2055920 swapFree=4158592/4192956
[pid=15015] ppid=15013 vsize=112036 CPUtime=12.68
/proc/15015/stat : 15015 (minisat+) R 15013 15015 13911 0 -1 4194304 27176 0 0 0 1254 14 0 0 25 0 1 0 189554581 114724864 27037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15015/statm: 28009 27037 75 215 0 27791 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 112036

[startup+25.5017 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 15016
/proc/meminfo: memFree=1533888/2055920 swapFree=4158592/4192956
[pid=15015] ppid=15013 vsize=220144 CPUtime=25.46
/proc/15015/stat : 15015 (minisat+) R 15013 15015 13911 0 -1 4194304 54697 0 0 0 2450 96 0 0 25 0 1 0 189554581 225427456 53727 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15015/statm: 55036 53727 106 215 0 54818 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 220144

[startup+51.1019 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 15016
/proc/meminfo: memFree=1533632/2055920 swapFree=4158592/4192956
[pid=15015] ppid=15013 vsize=220144 CPUtime=51.03
/proc/15015/stat : 15015 (minisat+) R 15013 15015 13911 0 -1 4194304 54702 0 0 0 5006 97 0 0 25 0 1 0 189554581 225427456 53732 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581310 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15015/statm: 55036 53732 106 215 0 54818 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 220144

[startup+102.305 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 15016
/proc/meminfo: memFree=1533376/2055920 swapFree=4158592/4192956
[pid=15015] ppid=15013 vsize=220308 CPUtime=102.22
/proc/15015/stat : 15015 (minisat+) R 15013 15015 13911 0 -1 4194304 54829 0 0 0 10124 98 0 0 25 0 1 0 189554581 225595392 53859 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15015/statm: 55077 53859 106 215 0 54859 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 220308

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15016
/proc/meminfo: memFree=1532992/2055920 swapFree=4158592/4192956
[pid=15015] ppid=15013 vsize=220508 CPUtime=162.19
/proc/15015/stat : 15015 (minisat+) R 15013 15015 13911 0 -1 4194304 54918 0 0 0 16121 98 0 0 25 0 1 0 189554581 225800192 53948 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15015/statm: 55127 53948 106 215 0 54909 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 220508

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15016
/proc/meminfo: memFree=1532672/2055920 swapFree=4158592/4192956
[pid=15015] ppid=15013 vsize=220688 CPUtime=222.18
/proc/15015/stat : 15015 (minisat+) R 15013 15015 13911 0 -1 4194304 54990 0 0 0 22119 99 0 0 25 0 1 0 189554581 225984512 54020 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15015/statm: 55172 54020 106 215 0 54954 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 220688

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15016
/proc/meminfo: memFree=1532224/2055920 swapFree=4158592/4192956
[pid=15015] ppid=15013 vsize=220852 CPUtime=282.16
/proc/15015/stat : 15015 (minisat+) R 15013 15015 13911 0 -1 4194304 55098 0 0 0 28117 99 0 0 25 0 1 0 189554581 226152448 54128 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15015/statm: 55213 54128 106 215 0 54995 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 220852

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15016
/proc/meminfo: memFree=1531968/2055920 swapFree=4158592/4192956
[pid=15015] ppid=15013 vsize=221120 CPUtime=342.15
/proc/15015/stat : 15015 (minisat+) R 15013 15015 13911 0 -1 4194304 55169 0 0 0 34115 100 0 0 25 0 1 0 189554581 226426880 54199 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580250 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15015/statm: 55280 54199 106 215 0 55062 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 221120

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15016
/proc/meminfo: memFree=1531712/2055920 swapFree=4158592/4192956
[pid=15015] ppid=15013 vsize=221284 CPUtime=402.13
/proc/15015/stat : 15015 (minisat+) R 15013 15015 13911 0 -1 4194304 55230 0 0 0 40113 100 0 0 25 0 1 0 189554581 226594816 54260 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15015/statm: 55321 54260 106 215 0 55103 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 221284

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15016
/proc/meminfo: memFree=1531520/2055920 swapFree=4158592/4192956
[pid=15015] ppid=15013 vsize=221448 CPUtime=462.12
/proc/15015/stat : 15015 (minisat+) R 15013 15015 13911 0 -1 4194304 55290 0 0 0 46111 101 0 0 25 0 1 0 189554581 226762752 54320 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15015/statm: 55362 54320 106 215 0 55144 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 221448

[startup+522.302 s]
/proc/loadavg: 1.07 1.03 1.01 2/78 15016
/proc/meminfo: memFree=1531264/2055920 swapFree=4158592/4192956
[pid=15015] ppid=15013 vsize=221612 CPUtime=522.1
/proc/15015/stat : 15015 (minisat+) R 15013 15015 13911 0 -1 4194304 55347 0 0 0 52109 101 0 0 25 0 1 0 189554581 226930688 54377 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15015/statm: 55403 54377 106 215 0 55185 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 221612

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

[startup+537.501 s]
/proc/loadavg: 1.05 1.02 1.00 2/78 15016
/proc/meminfo: memFree=1531264/2055920 swapFree=4158592/4192956
[pid=15015] ppid=15013 vsize=221612 CPUtime=537.29
/proc/15015/stat : 15015 (minisat+) R 15013 15015 13911 0 -1 4194304 55356 0 0 0 53628 101 0 0 25 0 1 0 189554581 226930688 54386 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15015/statm: 55403 54386 106 215 0 55185 0
Current children cumulated CPU time (s) 537.29
Current children cumulated vsize (KiB) 221612

[startup+550.301 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 15016
/proc/meminfo: memFree=1531200/2055920 swapFree=4158592/4192956
[pid=15015] ppid=15013 vsize=221612 CPUtime=550.1
/proc/15015/stat : 15015 (minisat+) R 15013 15015 13911 0 -1 4194304 55356 0 0 0 54908 102 0 0 25 0 1 0 189554581 226930688 54386 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15015/statm: 55403 54386 106 215 0 55185 0
Current children cumulated CPU time (s) 550.1
Current children cumulated vsize (KiB) 221612

[startup+556.702 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 15016
/proc/meminfo: memFree=1531200/2055920 swapFree=4158592/4192956
[pid=15015] ppid=15013 vsize=221612 CPUtime=556.5
/proc/15015/stat : 15015 (minisat+) R 15013 15015 13911 0 -1 4194304 55356 0 0 0 55548 102 0 0 25 0 1 0 189554581 226930688 54386 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15015/statm: 55403 54386 106 215 0 55185 0
Current children cumulated CPU time (s) 556.5
Current children cumulated vsize (KiB) 221612

[startup+558.302 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 15016
/proc/meminfo: memFree=1531200/2055920 swapFree=4158592/4192956
[pid=15015] ppid=15013 vsize=221612 CPUtime=558.1
/proc/15015/stat : 15015 (minisat+) R 15013 15015 13911 0 -1 4194304 55356 0 0 0 55708 102 0 0 25 0 1 0 189554581 226930688 54386 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15015/statm: 55403 54386 106 215 0 55185 0
Current children cumulated CPU time (s) 558.1
Current children cumulated vsize (KiB) 221612

[startup+559.905 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 15016
/proc/meminfo: memFree=1531200/2055920 swapFree=4158592/4192956
[pid=15015] ppid=15013 vsize=221612 CPUtime=559.7
/proc/15015/stat : 15015 (minisat+) R 15013 15015 13911 0 -1 4194304 55356 0 0 0 55868 102 0 0 25 0 1 0 189554581 226930688 54386 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574298 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15015/statm: 55403 54386 106 215 0 55185 0
Current children cumulated CPU time (s) 559.7
Current children cumulated vsize (KiB) 221612

[startup+560.701 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 15016
/proc/meminfo: memFree=1531200/2055920 swapFree=4158592/4192956
[pid=15015] ppid=15013 vsize=221612 CPUtime=560.5
/proc/15015/stat : 15015 (minisat+) R 15013 15015 13911 0 -1 4194304 55356 0 0 0 55948 102 0 0 25 0 1 0 189554581 226930688 54386 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15015/statm: 55403 54386 106 215 0 55185 0
Current children cumulated CPU time (s) 560.5
Current children cumulated vsize (KiB) 221612

[startup+560.901 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 15016
/proc/meminfo: memFree=1531200/2055920 swapFree=4158592/4192956
[pid=15015] ppid=15013 vsize=221612 CPUtime=560.7
/proc/15015/stat : 15015 (minisat+) R 15013 15015 13911 0 -1 4194304 55356 0 0 0 55968 102 0 0 25 0 1 0 189554581 226930688 54386 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569799 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15015/statm: 55403 54386 106 215 0 55185 0
Current children cumulated CPU time (s) 560.7
Current children cumulated vsize (KiB) 221612

Child status: 20
Real time (s): 560.958
CPU time (s): 560.759
CPU user time (s): 559.701
CPU system time (s): 1.05784
CPU usage (%): 99.9645
Max. virtual memory (cumulated for all children) (KiB): 221612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 559.701
system time used= 1.05784
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55359
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= 1739
involuntary context switches= 1426

runsolver used 0.91886 second user time and 2.25666 second system time

The end

Launcher Data (download as text)

Begin job on node43 on Tue Apr 24 12:07:08 UTC 2007

IDJOB= 419985
IDBENCH= 47813
IDSOLVER= 156
FILE ID= node43/419985-1177416426

PBS_JOBID= 4675675

Free space on /tmp= 66412 MiB

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

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  57376c0bdeefd6a65f94a428441b81c4

RANDOM SEED= 84479261

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node43.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.218
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.218
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:       1749664 kB
Buffers:         42408 kB
Cached:         179756 kB
SwapCached:       2984 kB
Active:         164036 kB
Inactive:        85956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1749664 kB
SwapTotal:     4192956 kB
SwapFree:      4158592 kB
Dirty:           23028 kB
Writeback:           0 kB
Mapped:          35368 kB
Slab:            41620 kB
Committed_AS:  2649220 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= 66412 MiB

End job on node43 on Tue Apr 24 12:16:29 UTC 2007