Trace number 420055

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 746.978 747.295

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/
industrial/palacios/uts/uts-l06-ipc5-h31-unknown.opb
MD5SUM0d091f79d4246db0b540f5fe1b3977af
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 benchmark746.978
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables149210
Total number of constraints761906
Number of constraints which are clauses761906
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...
24.29/24.35	c Converting 761606 PB-constraints to clauses...
24.38/24.47	c   -- Unit propagations: (none)
24.38/24.48	c   -- Detecting intervals from adjacent constraints: ########################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################
24.48/24.55	c   -- Clauses(.)/Splits(s): ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
26.27/26.36	c ---[761559]---> BDD-cost:    1
26.27/26.36	c ---[761548]---> BDD-cost:    1
26.27/26.36	c ---[761546]---> BDD-cost:    1
26.27/26.36	c ---[761544]---> BDD-cost:    1
26.27/26.36	c ---[761542]---> BDD-cost:    1
26.27/26.36	c ---[761540]---> BDD-cost:    1
26.27/26.36	c ---[761538]---> BDD-cost:    1
26.27/26.36	c ---[761536]---> BDD-cost:    1
26.27/26.36	c ---[761534]---> BDD-cost:    1
26.27/26.36	c ---[761532]---> BDD-cost:    1
26.27/26.36	c ---[761530]---> BDD-cost:    1
26.27/26.36	c ---[761528]---> BDD-cost:    1
26.27/26.36	c ---[761526]---> BDD-cost:    1
26.27/26.36	c ---[761524]---> BDD-cost:    1
26.27/26.36	c ---[761522]---> BDD-cost:    1
26.27/26.36	c ---[761520]---> BDD-cost:    1
26.27/26.36	c ---[761518]---> BDD-cost:    1
26.27/26.36	c ---[761516]---> BDD-cost:    1
26.27/26.36	c ---[761514]---> BDD-cost:    1
26.27/26.36	c ---[761512]---> BDD-cost:    1
26.27/26.36	c ---[761510]---> BDD-cost:    1
26.27/26.36	c ---[761508]---> BDD-cost:    1
26.27/26.36	c ---[761506]---> BDD-cost:    1
26.27/26.36	c ---[761504]---> BDD-cost:    1
26.27/26.36	c ---[761502]---> BDD-cost:    1
26.27/26.36	c ---[761500]---> BDD-cost:    1
26.27/26.36	c ---[761498]---> BDD-cost:    1
26.27/26.36	c ---[761496]---> BDD-cost:    1
26.27/26.36	c ---[761494]---> BDD-cost:    1
26.27/26.36	c ---[761492]---> BDD-cost:    1
26.27/26.36	c ---[761490]---> BDD-cost:    1
26.27/26.36	c ---[761488]---> BDD-cost:    1
26.27/26.36	c ---[761486]---> BDD-cost:    1
26.27/26.36	c ---[761484]---> BDD-cost:    1
26.27/26.36	c ---[761438]---> BDD-cost:    1
26.27/26.36	c ---[761390]---> BDD-cost:    1
26.27/26.36	c ---[761388]---> BDD-cost:    1
26.27/26.36	c ---[761386]---> BDD-cost:    1
26.27/26.36	c ---[761384]---> BDD-cost:    1
26.27/26.36	c ---[761382]---> BDD-cost:    1
26.27/26.36	c ---[761380]---> BDD-cost:    1
26.27/26.36	c ---[761378]---> BDD-cost:    1
26.27/26.36	c ---[761376]---> BDD-cost:    1
26.27/26.36	c ---[761374]---> BDD-cost:    1
26.27/26.36	c ---[761372]---> BDD-cost:    1
26.27/26.36	c ---[761370]---> BDD-cost:    1
26.27/26.36	c ---[761368]---> BDD-cost:    1
26.27/26.36	c ---[761366]---> BDD-cost:    1
26.27/26.36	c ---[761364]---> BDD-cost:    1
26.27/26.36	c ---[761362]---> BDD-cost:    1
26.27/26.36	c ---[761360]---> BDD-cost:    1
26.27/26.36	c ---[761358]---> BDD-cost:    1
26.27/26.36	c ---[761356]---> BDD-cost:    1
26.27/26.36	c ---[761354]---> BDD-cost:    1
26.27/26.36	c ---[761352]---> BDD-cost:    1
26.27/26.36	c ---[761350]---> BDD-cost:    1
26.27/26.36	c ---[761348]---> BDD-cost:    1
26.27/26.36	c ---[761346]---> BDD-cost:    1
26.27/26.36	c ---[761344]---> BDD-cost:    1
26.27/26.36	c ---[761342]---> BDD-cost:    1
26.27/26.36	c ---[761340]---> BDD-cost:    1
26.27/26.36	c ---[761338]---> BDD-cost:    1
26.27/26.36	c ---[761336]---> BDD-cost:    1
26.27/26.36	c ---[761334]---> BDD-cost:    1
26.27/26.36	c ---[761332]---> BDD-cost:    1
26.27/26.36	c ---[761330]---> BDD-cost:    1
26.27/26.36	c ---[761328]---> BDD-cost:    1
26.27/26.36	c ---[761326]---> BDD-cost:    1
26.27/26.36	c ---[761274]---> BDD-cost:    1
26.27/26.36	c ---[761190]---> BDD-cost:    1
26.27/26.36	c ---[761188]---> BDD-cost:    1
26.27/26.36	c ---[761186]---> BDD-cost:    1
26.27/26.36	c ---[761184]---> BDD-cost:    1
26.27/26.36	c ---[761182]---> BDD-cost:    1
26.27/26.36	c ---[761180]---> BDD-cost:    1
26.27/26.37	c ---[761178]---> BDD-cost:    1
26.27/26.37	c ---[761176]---> BDD-cost:    1
26.27/26.37	c ---[761174]---> BDD-cost:    1
26.27/26.37	c ---[761172]---> BDD-cost:    1
26.27/26.37	c ---[761170]---> BDD-cost:    1
26.27/26.37	c ---[761168]---> BDD-cost:    1
26.27/26.37	c ---[761166]---> BDD-cost:    1
26.27/26.37	c ---[761164]---> BDD-cost:    1
26.27/26.37	c ---[761162]---> BDD-cost:    1
26.27/26.37	c ---[761160]---> BDD-cost:    1
26.27/26.37	c ---[761158]---> BDD-cost:    1
26.27/26.37	c ---[761156]---> BDD-cost:    1
26.27/26.37	c ---[761154]---> BDD-cost:    1
26.27/26.37	c ---[761152]---> BDD-cost:    1
26.27/26.37	c ---[761150]---> BDD-cost:    1
26.27/26.37	c ---[761148]---> BDD-cost:    1
26.27/26.37	c ---[761146]---> BDD-cost:    1
26.27/26.37	c ---[761144]---> BDD-cost:    1
26.27/26.37	c ---[761142]---> BDD-cost:    1
26.27/26.37	c ---[761140]---> BDD-cost:    1
26.27/26.37	c ---[761138]---> BDD-cost:    1
26.27/26.37	c ---[761136]---> BDD-cost:    1
26.27/26.37	c ---[761134]---> BDD-cost:    1
26.27/26.37	c ---[761132]---> BDD-cost:    1
26.27/26.37	c ---[761130]---> BDD-cost:    1
26.27/26.37	c ---[761128]---> BDD-cost:    1
26.27/26.37	c ---[761126]---> BDD-cost:    1
26.27/26.37	c ---[761068]---> BDD-cost:    1
26.27/26.37	c ---[760949]---> BDD-cost:    1
26.27/26.37	c ---[760947]---> BDD-cost:    1
26.27/26.37	c ---[760945]---> BDD-cost:    1
26.27/26.37	c ---[760943]---> BDD-cost:    1
26.27/26.37	c ---[760941]---> BDD-cost:    1
26.27/26.37	c ---[760939]---> BDD-cost:    1
26.27/26.37	c ---[760937]---> BDD-cost:    1
26.27/26.37	c ---[760935]---> BDD-cost:    1
26.27/26.37	c ---[760933]---> BDD-cost:    1
26.27/26.37	c ---[760931]---> BDD-cost:    1
26.27/26.37	c ---[760929]---> BDD-cost:    1
26.27/26.37	c ---[760927]---> BDD-cost:    1
26.27/26.37	c ---[760925]---> BDD-cost:    1
26.27/26.37	c ---[760923]---> BDD-cost:    1
26.27/26.37	c ---[760921]---> BDD-cost:    1
26.27/26.37	c ---[760919]---> BDD-cost:    1
26.27/26.37	c ---[760917]---> BDD-cost:    1
26.27/26.37	c ---[760915]---> BDD-cost:    1
26.27/26.37	c ---[760913]---> BDD-cost:    1
26.27/26.37	c ---[760911]---> BDD-cost:    1
26.27/26.37	c ---[760909]---> BDD-cost:    1
26.27/26.37	c ---[760907]---> BDD-cost:    1
26.27/26.37	c ---[760905]---> BDD-cost:    1
26.27/26.37	c ---[760903]---> BDD-cost:    1
26.27/26.37	c ---[760901]---> BDD-cost:    1
26.27/26.37	c ---[760899]---> BDD-cost:    1
26.27/26.37	c ---[760897]---> BDD-cost:    1
26.27/26.37	c ---[760895]---> BDD-cost:    1
26.27/26.37	c ---[760893]---> BDD-cost:    1
26.27/26.37	c ---[760891]---> BDD-cost:    1
26.27/26.37	c ---[760889]---> BDD-cost:    1
26.27/26.37	c ---[760887]---> BDD-cost:    1
26.27/26.37	c ---[760885]---> BDD-cost:    1
26.27/26.37	c ---[760821]---> BDD-cost:    1
26.27/26.37	c ---[760668]---> BDD-cost:    1
26.27/26.37	c ---[760666]---> BDD-cost:    1
26.27/26.37	c ---[760664]---> BDD-cost:    1
26.27/26.37	c ---[760662]---> BDD-cost:    1
26.27/26.37	c ---[760660]---> BDD-cost:    1
26.27/26.37	c ---[760658]---> BDD-cost:    1
26.27/26.37	c ---[760656]---> BDD-cost:    1
26.27/26.37	c ---[760654]---> BDD-cost:    1
26.27/26.37	c ---[760652]---> BDD-cost:    1
26.27/26.37	c ---[760650]---> BDD-cost:    1
26.27/26.37	c ---[760648]---> BDD-cost:    1
26.27/26.37	c ---[760646]---> BDD-cost:    1
26.27/26.37	c ---[760644]---> BDD-cost:    1
26.27/26.37	c ---[760642]---> BDD-cost:    1
26.27/26.37	c ---[760640]---> BDD-cost:    1
26.27/26.37	c ---[760638]---> BDD-cost:    1
26.27/26.37	c ---[760636]---> BDD-cost:    1
26.27/26.37	c ---[760634]---> BDD-cost:    1
26.27/26.37	c ---[760632]---> BDD-cost:    1
26.27/26.37	c ---[760630]---> BDD-cost:    1
26.27/26.37	c ---[760628]---> BDD-cost:    1
26.27/26.37	c ---[760626]---> BDD-cost:    1
26.27/26.37	c ---[760624]---> BDD-cost:    1
26.27/26.37	c ---[760622]---> BDD-cost:    1
26.27/26.37	c ---[760620]---> BDD-cost:    1
26.27/26.37	c ---[760618]---> BDD-cost:    1
26.27/26.37	c ---[760616]---> BDD-cost:    1
26.27/26.37	c ---[760614]---> BDD-cost:    1
26.27/26.37	c ---[760612]---> BDD-cost:    1
26.27/26.37	c ---[760610]---> BDD-cost:    1
26.27/26.37	c ---[760608]---> BDD-cost:    1
26.27/26.37	c ---[760606]---> BDD-cost:    1
26.27/26.37	c ---[760604]---> BDD-cost:    1
26.27/26.37	c ---[760534]---> BDD-cost:    1
26.27/26.37	c ---[760348]---> BDD-cost:    1
26.27/26.37	c ---[760346]---> BDD-cost:    1
26.27/26.37	c ---[760344]---> BDD-cost:    1
26.27/26.37	c ---[760342]---> BDD-cost:    1
26.27/26.37	c ---[760340]---> BDD-cost:    1
26.27/26.37	c ---[760338]---> BDD-cost:    1
26.27/26.37	c ---[760336]---> BDD-cost:    1
26.27/26.37	c ---[760334]---> BDD-cost:    1
26.27/26.37	c ---[760332]---> BDD-cost:    1
26.27/26.37	c ---[760330]---> BDD-cost:    1
26.27/26.37	c ---[760328]---> BDD-cost:    1
26.27/26.37	c ---[760326]---> BDD-cost:    1
26.27/26.37	c ---[760324]---> BDD-cost:    1
26.27/26.37	c ---[760322]---> BDD-cost:    1
26.27/26.37	c ---[760320]---> BDD-cost:    1
26.27/26.37	c ---[760318]---> BDD-cost:    1
26.27/26.37	c ---[760316]---> BDD-cost:    1
26.27/26.37	c ---[760314]---> BDD-cost:    1
26.27/26.37	c ---[760312]---> BDD-cost:    1
26.27/26.37	c ---[760310]---> BDD-cost:    1
26.27/26.37	c ---[760308]---> BDD-cost:    1
26.27/26.37	c ---[760306]---> BDD-cost:    1
26.27/26.37	c ---[760304]---> BDD-cost:    1
26.27/26.37	c ---[760302]---> BDD-cost:    1
26.27/26.37	c ---[760300]---> BDD-cost:    1
26.27/26.37	c ---[760298]---> BDD-cost:    1
26.27/26.37	c ---[760296]---> BDD-cost:    1
26.27/26.37	c ---[760294]---> BDD-cost:    1
26.27/26.37	c ---[760292]---> BDD-cost:    1
26.27/26.37	c ---[760290]---> BDD-cost:    1
26.27/26.37	c ---[760288]---> BDD-cost:    1
26.27/26.37	c ---[760286]---> BDD-cost:    1
26.27/26.37	c ---[760284]---> BDD-cost:    1
26.27/26.37	c ---[760208]---> BDD-cost:    1
26.27/26.37	c ---[759990]---> BDD-cost:    1
26.27/26.37	c ---[759988]---> BDD-cost:    1
26.27/26.37	c ---[759986]---> BDD-cost:    1
26.27/26.37	c ---[759984]---> BDD-cost:    1
26.27/26.37	c ---[759982]---> BDD-cost:    1
26.27/26.37	c ---[759980]---> BDD-cost:    1
26.27/26.37	c ---[759978]---> BDD-cost:    1
26.27/26.37	c ---[759976]---> BDD-cost:    1
26.27/26.37	c ---[759974]---> BDD-cost:    1
26.27/26.37	c ---[759972]---> BDD-cost:    1
26.27/26.37	c ---[759970]---> BDD-cost:    1
26.27/26.37	c ---[759968]---> BDD-cost:    1
26.27/26.37	c ---[759966]---> BDD-cost:    1
26.27/26.37	c ---[759964]---> BDD-cost:    1
26.27/26.37	c ---[759962]---> BDD-cost:    1
26.27/26.37	c ---[759960]---> BDD-cost:    1
26.27/26.37	c ---[759958]---> BDD-cost:    1
26.27/26.37	c ---[759956]---> BDD-cost:    1
26.27/26.37	c ---[759954]---> BDD-cost:    1
26.27/26.37	c ---[759952]---> BDD-cost:    1
26.27/26.37	c ---[759950]---> BDD-cost:    1
26.27/26.37	c ---[759948]---> BDD-cost:    1
26.27/26.37	c ---[759946]---> BDD-cost:    1
26.27/26.37	c ---[759944]---> BDD-cost:    1
26.27/26.37	c ---[759942]---> BDD-cost:    1
26.27/26.37	c ---[759940]---> BDD-cost:    1
26.27/26.37	c ---[759938]---> BDD-cost:    1
26.27/26.37	c ---[759936]---> BDD-cost:    1
26.27/26.37	c ---[759934]---> BDD-cost:    1
26.27/26.37	c ---[759932]---> BDD-cost:    1
26.27/26.37	c ---[759930]---> BDD-cost:    1
26.27/26.37	c ---[759928]---> BDD-cost:    1
26.27/26.37	c ---[759926]---> BDD-cost:    1
26.27/26.37	c ---[759844]---> BDD-cost:    1
26.27/26.37	c ---[759595]---> BDD-cost:    1
26.27/26.37	c ---[759593]---> BDD-cost:    1
26.27/26.37	c ---[759591]---> BDD-cost:    1
26.27/26.37	c ---[759589]---> BDD-cost:    1
26.27/26.37	c ---[759587]---> BDD-cost:    1
26.27/26.37	c ---[759585]---> BDD-cost:    1
26.27/26.37	c ---[759583]---> BDD-cost:    1
26.27/26.37	c ---[759581]---> BDD-cost:    1
26.27/26.37	c ---[759579]---> BDD-cost:    1
26.27/26.37	c ---[759577]---> BDD-cost:    1
26.27/26.37	c ---[759575]---> BDD-cost:    1
26.27/26.37	c ---[759573]---> BDD-cost:    1
26.27/26.37	c ---[759571]---> BDD-cost:    1
26.27/26.37	c ---[759569]---> BDD-cost:    1
26.27/26.37	c ---[759567]---> BDD-cost:    1
26.27/26.37	c ---[759565]---> BDD-cost:    1
26.27/26.37	c ---[759563]---> BDD-cost:    1
26.27/26.37	c ---[759561]---> BDD-cost:    1
26.27/26.37	c ---[759559]---> BDD-cost:    1
26.27/26.37	c ---[759557]---> BDD-cost:    1
26.27/26.37	c ---[759555]---> BDD-cost:    1
26.27/26.37	c ---[759553]---> BDD-cost:    1
26.27/26.37	c ---[759551]---> BDD-cost:    1
26.27/26.37	c ---[759549]---> BDD-cost:    1
26.27/26.37	c ---[759547]---> BDD-cost:    1
26.27/26.37	c ---[759545]---> BDD-cost:    1
26.27/26.37	c ---[759543]---> BDD-cost:    1
26.27/26.37	c ---[759541]---> BDD-cost:    1
26.27/26.37	c ---[759539]---> BDD-cost:    1
26.27/26.37	c ---[759537]---> BDD-cost:    1
26.27/26.37	c ---[759535]---> BDD-cost:    1
26.27/26.37	c ---[759533]---> BDD-cost:    1
26.27/26.37	c ---[759531]---> BDD-cost:    1
26.27/26.37	c ---[759443]---> BDD-cost:    1
26.27/26.37	c ---[759164]---> BDD-cost:    1
26.27/26.37	c ---[759162]---> BDD-cost:    1
26.27/26.37	c ---[759160]---> BDD-cost:    1
26.27/26.37	c ---[759158]---> BDD-cost:    1
26.27/26.37	c ---[759156]---> BDD-cost:    1
26.27/26.37	c ---[759154]---> BDD-cost:    1
26.27/26.37	c ---[759152]---> BDD-cost:    1
26.27/26.37	c ---[759150]---> BDD-cost:    1
26.27/26.37	c ---[759148]---> BDD-cost:    1
26.27/26.37	c ---[759146]---> BDD-cost:    1
26.27/26.37	c ---[759144]---> BDD-cost:    1
26.27/26.37	c ---[759142]---> BDD-cost:    1
26.27/26.37	c ---[759140]---> BDD-cost:    1
26.27/26.37	c ---[759138]---> BDD-cost:    1
26.27/26.37	c ---[759136]---> BDD-cost:    1
26.27/26.37	c ---[759134]---> BDD-cost:    1
26.27/26.37	c ---[759132]---> BDD-cost:    1
26.27/26.37	c ---[759130]---> BDD-cost:    1
26.27/26.37	c ---[759128]---> BDD-cost:    1
26.27/26.37	c ---[759126]---> BDD-cost:    1
26.27/26.37	c ---[759124]---> BDD-cost:    1
26.27/26.37	c ---[759122]---> BDD-cost:    1
26.27/26.37	c ---[759120]---> BDD-cost:    1
26.27/26.37	c ---[759118]---> BDD-cost:    1
26.27/26.37	c ---[759116]---> BDD-cost:    1
26.27/26.37	c ---[759114]---> BDD-cost:    1
26.27/26.37	c ---[759112]---> BDD-cost:    1
26.27/26.37	c ---[759110]---> BDD-cost:    1
26.27/26.37	c ---[759108]---> BDD-cost:    1
26.27/26.37	c ---[759106]---> BDD-cost:    1
26.27/26.37	c ---[759104]---> BDD-cost:    1
26.27/26.37	c ---[759102]---> BDD-cost:    1
26.27/26.37	c ---[759100]---> BDD-cost:    1
26.27/26.37	c ---[758982]---> BDD-cost:    1
26.27/26.37	c ---[758700]---> BDD-cost:    1
26.27/26.37	c ---[758698]---> BDD-cost:    1
26.27/26.37	c ---[758696]---> BDD-cost:    1
26.27/26.37	c ---[758694]---> BDD-cost:    1
26.27/26.37	c ---[758692]---> BDD-cost:    1
26.27/26.37	c ---[758690]---> BDD-cost:    1
26.27/26.37	c ---[758688]---> BDD-cost:    1
26.27/26.37	c ---[758686]---> BDD-cost:    1
26.27/26.37	c ---[758684]---> BDD-cost:    1
26.27/26.37	c ---[758682]---> BDD-cost:    1
26.27/26.37	c ---[758680]---> BDD-cost:    1
26.27/26.37	c ---[758678]---> BDD-cost:    1
26.27/26.37	c ---[758676]---> BDD-cost:    1
26.27/26.37	c ---[758674]---> BDD-cost:    1
26.27/26.37	c ---[758672]---> BDD-cost:    1
26.27/26.37	c ---[758670]---> BDD-cost:    1
26.27/26.37	c ---[758668]---> BDD-cost:    1
26.27/26.37	c ---[758666]---> BDD-cost:    1
26.27/26.37	c ---[758664]---> BDD-cost:    1
26.27/26.37	c ---[758662]---> BDD-cost:    1
26.27/26.37	c ---[758660]---> BDD-cost:    1
26.27/26.37	c ---[758658]---> BDD-cost:    1
26.27/26.37	c ---[758656]---> BDD-cost:    1
26.27/26.37	c ---[758654]---> BDD-cost:    1
26.27/26.37	c ---[758652]---> BDD-cost:    1
26.27/26.37	c ---[758650]---> BDD-cost:    1
26.27/26.37	c ---[758648]---> BDD-cost:    1
26.27/26.37	c ---[758646]---> BDD-cost:    1
26.27/26.37	c ---[758644]---> BDD-cost:    1
26.27/26.37	c ---[758642]---> BDD-cost:    1
26.27/26.37	c ---[758640]---> BDD-cost:    1
26.27/26.37	c ---[758638]---> BDD-cost:    1
26.27/26.37	c ---[758636]---> BDD-cost:    1
26.27/26.37	c ---[758489]---> BDD-cost:    1
26.27/26.37	c ---[758201]---> BDD-cost:    1
26.27/26.37	c ---[758199]---> BDD-cost:    1
26.27/26.37	c ---[758197]---> BDD-cost:    1
26.27/26.37	c ---[758195]---> BDD-cost:    1
26.27/26.37	c ---[758193]---> BDD-cost:    1
26.27/26.37	c ---[758191]---> BDD-cost:    1
26.27/26.37	c ---[758189]---> BDD-cost:    1
26.27/26.37	c ---[758187]---> BDD-cost:    1
26.27/26.37	c ---[758185]---> BDD-cost:    1
26.27/26.37	c ---[758183]---> BDD-cost:    1
26.27/26.37	c ---[758181]---> BDD-cost:    1
26.27/26.37	c ---[758179]---> BDD-cost:    1
26.27/26.37	c ---[758177]---> BDD-cost:    1
26.27/26.37	c ---[758175]---> BDD-cost:    1
26.27/26.37	c ---[758173]---> BDD-cost:    1
26.27/26.37	c ---[758171]---> BDD-cost:    1
26.27/26.37	c ---[758169]---> BDD-cost:    1
26.27/26.37	c ---[758167]---> BDD-cost:    1
26.27/26.37	c ---[758165]---> BDD-cost:    1
26.27/26.37	c ---[758163]---> BDD-cost:    1
26.27/26.37	c ---[758161]---> BDD-cost:    1
26.27/26.38	c ---[758159]---> BDD-cost:    1
26.27/26.38	c ---[758157]---> BDD-cost:    1
26.27/26.38	c ---[758155]---> BDD-cost:    1
26.27/26.38	c ---[758153]---> BDD-cost:    1
26.27/26.38	c ---[758151]---> BDD-cost:    1
26.27/26.38	c ---[758149]---> BDD-cost:    1
26.27/26.38	c ---[758147]---> BDD-cost:    1
26.27/26.38	c ---[758145]---> BDD-cost:    1
26.27/26.38	c ---[758143]---> BDD-cost:    1
26.27/26.38	c ---[758141]---> BDD-cost:    1
26.27/26.38	c ---[758139]---> BDD-cost:    1
26.27/26.38	c ---[758137]---> BDD-cost:    1
26.27/26.38	c ---[757984]---> BDD-cost:    1
26.27/26.38	c ---[757658]---> BDD-cost:    1
26.27/26.38	c ---[757656]---> BDD-cost:    1
26.27/26.38	c ---[757654]---> BDD-cost:    1
26.27/26.38	c ---[757652]---> BDD-cost:    1
26.27/26.38	c ---[757650]---> BDD-cost:    1
26.27/26.38	c ---[757648]---> BDD-cost:    1
26.27/26.38	c ---[757646]---> BDD-cost:    1
26.27/26.38	c ---[757644]---> BDD-cost:    1
26.27/26.38	c ---[757642]---> BDD-cost:    1
26.27/26.38	c ---[757640]---> BDD-cost:    1
26.27/26.38	c ---[757638]---> BDD-cost:    1
26.27/26.38	c ---[757636]---> BDD-cost:    1
26.27/26.38	c ---[757634]---> BDD-cost:    1
26.27/26.38	c ---[757632]---> BDD-cost:    1
26.27/26.38	c ---[757630]---> BDD-cost:    1
26.27/26.38	c ---[757628]---> BDD-cost:    1
26.27/26.38	c ---[757626]---> BDD-cost:    1
26.27/26.38	c ---[757624]---> BDD-cost:    1
26.27/26.38	c ---[757622]---> BDD-cost:    1
26.27/26.38	c ---[757620]---> BDD-cost:    1
26.27/26.38	c ---[757618]---> BDD-cost:    1
26.27/26.38	c ---[757616]---> BDD-cost:    1
26.27/26.38	c ---[757614]---> BDD-cost:    1
26.27/26.38	c ---[757612]---> BDD-cost:    1
26.27/26.38	c ---[757610]---> BDD-cost:    1
26.27/26.38	c ---[757608]---> BDD-cost:    1
26.27/26.38	c ---[757606]---> BDD-cost:    1
26.27/26.38	c ---[757604]---> BDD-cost:    1
26.27/26.38	c ---[757602]---> BDD-cost:    1
26.27/26.38	c ---[757600]---> BDD-cost:    1
26.27/26.38	c ---[757598]---> BDD-cost:    1
26.27/26.38	c ---[757596]---> BDD-cost:    1
26.27/26.38	c ---[757594]---> BDD-cost:    1
26.27/26.38	c ---[757435]---> BDD-cost:    1
26.27/26.38	c ---[757072]---> BDD-cost:    1
26.27/26.38	c ---[757070]---> BDD-cost:    1
26.27/26.38	c ---[757068]---> BDD-cost:    1
26.27/26.38	c ---[757066]---> BDD-cost:    1
26.27/26.38	c ---[757064]---> BDD-cost:    1
26.27/26.38	c ---[757062]---> BDD-cost:    1
26.27/26.38	c ---[757060]---> BDD-cost:    1
26.27/26.38	c ---[757058]---> BDD-cost:    1
26.27/26.38	c ---[757056]---> BDD-cost:    1
26.27/26.38	c ---[757054]---> BDD-cost:    1
26.27/26.38	c ---[757052]---> BDD-cost:    1
26.27/26.38	c ---[757050]---> BDD-cost:    1
26.27/26.38	c ---[757048]---> BDD-cost:    1
26.27/26.38	c ---[757046]---> BDD-cost:    1
26.27/26.38	c ---[757044]---> BDD-cost:    1
26.27/26.38	c ---[757042]---> BDD-cost:    1
26.27/26.38	c ---[757040]---> BDD-cost:    1
26.27/26.38	c ---[757038]---> BDD-cost:    1
26.27/26.38	c ---[757036]---> BDD-cost:    1
26.27/26.38	c ---[757034]---> BDD-cost:    1
26.27/26.38	c ---[757032]---> BDD-cost:    1
26.27/26.38	c ---[757030]---> BDD-cost:    1
26.27/26.38	c ---[757028]---> BDD-cost:    1
26.27/26.38	c ---[757026]---> BDD-cost:    1
26.27/26.38	c ---[757024]---> BDD-cost:    1
26.27/26.38	c ---[757022]---> BDD-cost:    1
26.27/26.38	c ---[757020]---> BDD-cost:    1
26.27/26.38	c ---[757018]---> BDD-cost:    1
26.27/26.38	c ---[757016]---> BDD-cost:    1
26.27/26.38	c ---[757014]---> BDD-cost:    1
26.27/26.38	c ---[757012]---> BDD-cost:    1
26.27/26.38	c ---[757010]---> BDD-cost:    1
26.27/26.38	c ---[757008]---> BDD-cost:    1
26.27/26.38	c ---[756843]---> BDD-cost:    1
26.27/26.38	c ---[756444]---> BDD-cost:    1
26.27/26.38	c ---[756442]---> BDD-cost:    1
26.27/26.38	c ---[756440]---> BDD-cost:    1
26.27/26.38	c ---[756438]---> BDD-cost:    1
26.27/26.38	c ---[756436]---> BDD-cost:    1
26.27/26.38	c ---[756434]---> BDD-cost:    1
26.27/26.38	c ---[756432]---> BDD-cost:    1
26.27/26.38	c ---[756430]---> BDD-cost:    1
26.27/26.38	c ---[756428]---> BDD-cost:    1
26.27/26.38	c ---[756426]---> BDD-cost:    1
26.27/26.38	c ---[756424]---> BDD-cost:    1
26.27/26.38	c ---[756422]---> BDD-cost:    1
26.27/26.38	c ---[756420]---> BDD-cost:    1
26.27/26.38	c ---[756418]---> BDD-cost:    1
26.27/26.38	c ---[756416]---> BDD-cost:    1
26.27/26.38	c ---[756414]---> BDD-cost:    1
26.27/26.38	c ---[756412]---> BDD-cost:    1
26.27/26.38	c ---[756410]---> BDD-cost:    1
26.27/26.38	c ---[756408]---> BDD-cost:    1
26.27/26.38	c ---[756406]---> BDD-cost:    1
26.27/26.38	c ---[756404]---> BDD-cost:    1
26.27/26.38	c ---[756402]---> BDD-cost:    1
26.27/26.38	c ---[756400]---> BDD-cost:    1
26.27/26.38	c ---[756398]---> BDD-cost:    1
26.27/26.38	c ---[756396]---> BDD-cost:    1
26.27/26.38	c ---[756394]---> BDD-cost:    1
26.27/26.38	c ---[756392]---> BDD-cost:    1
26.27/26.38	c ---[756390]---> BDD-cost:    1
26.27/26.38	c ---[756388]---> BDD-cost:    1
26.27/26.38	c ---[756386]---> BDD-cost:    1
26.27/26.38	c ---[756384]---> BDD-cost:    1
26.27/26.38	c ---[756382]---> BDD-cost:    1
26.27/26.38	c ---[756380]---> BDD-cost:    1
26.27/26.38	c ---[756209]---> BDD-cost:    1
26.27/26.38	c ---[755288]---> BDD-cost:    1
26.27/26.38	c ---[755286]---> BDD-cost:    1
26.27/26.38	c ---[755284]---> BDD-cost:    1
26.27/26.38	c ---[755282]---> BDD-cost:    1
26.27/26.38	c ---[755280]---> BDD-cost:    1
26.27/26.38	c ---[755278]---> BDD-cost:    1
26.27/26.38	c ---[755276]---> BDD-cost:    1
26.27/26.38	c ---[755274]---> BDD-cost:    1
26.27/26.38	c ---[755272]---> BDD-cost:    1
26.27/26.38	c ---[755270]---> BDD-cost:    1
26.27/26.38	c ---[755268]---> BDD-cost:    1
26.27/26.38	c ---[755266]---> BDD-cost:    1
26.27/26.38	c ---[755264]---> BDD-cost:    1
26.27/26.38	c ---[755262]---> BDD-cost:    1
26.27/26.38	c ---[755260]---> BDD-cost:    1
26.27/26.38	c ---[755258]---> BDD-cost:    1
26.27/26.38	c ---[755256]---> BDD-cost:    1
26.27/26.38	c ---[755254]---> BDD-cost:    1
26.27/26.38	c ---[755252]---> BDD-cost:    1
26.27/26.38	c ---[755250]---> BDD-cost:    1
26.27/26.38	c ---[755248]---> BDD-cost:    1
26.27/26.38	c ---[755246]---> BDD-cost:    1
26.27/26.38	c ---[755244]---> BDD-cost:    1
26.27/26.38	c ---[755242]---> BDD-cost:    1
26.27/26.38	c ---[755240]---> BDD-cost:    1
26.27/26.38	c ---[755238]---> BDD-cost:    1
26.27/26.38	c ---[755236]---> BDD-cost:    1
26.27/26.38	c ---[755234]---> BDD-cost:    1
26.27/26.38	c ---[755232]---> BDD-cost:    1
26.27/26.38	c ---[755230]---> BDD-cost:    1
26.27/26.38	c ---[755228]---> BDD-cost:    1
26.27/26.38	c ---[755226]---> BDD-cost:    1
26.27/26.38	c ---[755224]---> BDD-cost:    1
26.27/26.38	c ---[755085]---> BDD-cost:    1
26.27/26.38	c ---[755083]---> BDD-cost:    1
26.27/26.38	c ---[755081]---> BDD-cost:    1
26.27/26.38	c ---[755079]---> BDD-cost:    1
26.27/26.38	c ---[755077]---> BDD-cost:    1
26.27/26.38	c ---[755075]---> BDD-cost:    1
26.27/26.38	c ---[755073]---> BDD-cost:    1
26.27/26.38	c ---[755071]---> BDD-cost:    1
26.27/26.38	c ---[755069]---> BDD-cost:    1
26.27/26.38	c ---[755067]---> BDD-cost:    1
26.27/26.38	c ---[755065]---> BDD-cost:    1
26.27/26.38	c ---[755063]---> BDD-cost:    1
26.27/26.38	c ---[755061]---> BDD-cost:    1
26.27/26.38	c ---[755059]---> BDD-cost:    1
26.27/26.38	c ---[755057]---> BDD-cost:    1
26.27/26.38	c ---[755055]---> BDD-cost:    1
26.27/26.38	c ---[755053]---> BDD-cost:    1
26.27/26.38	c ---[755051]---> BDD-cost:    1
26.27/26.38	c ---[755049]---> BDD-cost:    1
26.27/26.38	c ---[755047]---> BDD-cost:    1
26.27/26.38	c ---[755045]---> BDD-cost:    1
26.27/26.38	c ---[755043]---> BDD-cost:    1
26.27/26.38	c ---[755041]---> BDD-cost:    1
26.27/26.38	c ---[755039]---> BDD-cost:    1
26.27/26.38	c ---[755037]---> BDD-cost:    1
26.27/26.38	c ---[755035]---> BDD-cost:    1
26.27/26.38	c ---[755033]---> BDD-cost:    1
26.27/26.38	c ---[755031]---> BDD-cost:    1
26.27/26.38	c ---[755029]---> BDD-cost:    1
26.27/26.38	c ---[755027]---> BDD-cost:    1
26.27/26.38	c ---[755025]---> BDD-cost:    1
26.27/26.38	c ---[755023]---> BDD-cost:    1
26.27/26.38	c ---[755021]---> BDD-cost:    1
26.27/26.38	c ---[755019]---> BDD-cost:    1
26.27/26.38	c ---[755017]---> BDD-cost:    1
26.27/26.38	c ---[755015]---> BDD-cost:    1
26.27/26.38	c ---[755013]---> BDD-cost:    1
26.27/26.38	c ---[755011]---> BDD-cost:    1
26.27/26.38	c ---[755009]---> BDD-cost:    1
26.27/26.38	c ---[755007]---> BDD-cost:    1
26.27/26.38	c ---[755005]---> BDD-cost:    1
26.27/26.38	c ---[755003]---> BDD-cost:    1
26.27/26.38	c ---[755001]---> BDD-cost:    1
26.27/26.38	c ---[754999]---> BDD-cost:    1
26.27/26.38	c ---[754997]---> BDD-cost:    1
26.27/26.38	c ---[754995]---> BDD-cost:    1
26.27/26.38	c ---[754993]---> BDD-cost:    1
26.27/26.38	c ---[754991]---> BDD-cost:    1
26.27/26.38	c ---[754989]---> BDD-cost:    1
26.27/26.38	c ---[754987]---> BDD-cost:    1
26.27/26.38	c ---[754985]---> BDD-cost:    1
26.27/26.38	c ---[754983]---> BDD-cost:    1
26.27/26.38	c ---[754981]---> BDD-cost:    1
26.27/26.38	c ---[754979]---> BDD-cost:    1
26.27/26.38	c ---[754977]---> BDD-cost:    1
26.27/26.38	c ---[754975]---> BDD-cost:    1
26.27/26.38	c ---[754973]---> BDD-cost:    1
26.27/26.38	c ---[754971]---> BDD-cost:    1
26.27/26.38	c ---[754969]---> BDD-cost:    1
26.27/26.38	c ---[754967]---> BDD-cost:    1
26.27/26.38	c ---[754965]---> BDD-cost:    1
26.27/26.38	c ---[754963]---> BDD-cost:    1
26.27/26.38	c ---[754961]---> BDD-cost:    1
26.27/26.38	c ---[754959]---> BDD-cost:    1
26.27/26.38	c ---[754957]---> BDD-cost:    1
26.27/26.38	c ---[754955]---> BDD-cost:    1
26.27/26.38	c ---[754953]---> BDD-cost:    1
26.27/26.38	c ---[754951]---> BDD-cost:    1
26.27/26.38	c ---[754949]---> BDD-cost:    1
26.27/26.38	c ---[754947]---> BDD-cost:    1
26.27/26.38	c ---[754945]---> BDD-cost:    1
26.27/26.38	c ---[754943]---> BDD-cost:    1
26.27/26.38	c ---[754941]---> BDD-cost:    1
26.27/26.38	c ---[754939]---> BDD-cost:    1
26.27/26.38	c ---[754937]---> BDD-cost:    1
26.27/26.38	c ---[754935]---> BDD-cost:    1
26.27/26.38	c ---[754933]---> BDD-cost:    1
26.27/26.38	c ---[754931]---> BDD-cost:    1
26.27/26.38	c ---[754929]---> BDD-cost:    1
26.27/26.38	c ---[754927]---> BDD-cost:    1
26.27/26.38	c ---[754925]---> BDD-cost:    1
26.27/26.38	c ---[754923]---> BDD-cost:    1
26.27/26.38	c ---[754921]---> BDD-cost:    1
26.27/26.38	c ---[754919]---> BDD-cost:    1
26.27/26.38	c ---[754917]---> BDD-cost:    1
26.27/26.38	c ---[754915]---> BDD-cost:    1
26.27/26.38	c ---[754913]---> BDD-cost:    1
26.27/26.38	c ---[754911]---> BDD-cost:    1
26.27/26.38	c ---[754909]---> BDD-cost:    1
26.27/26.38	c ---[754907]---> BDD-cost:    1
26.27/26.38	c ---[754905]---> BDD-cost:    1
26.27/26.38	c ---[754903]---> BDD-cost:    1
26.27/26.38	c ---[754901]---> BDD-cost:    1
26.27/26.38	c ---[754899]---> BDD-cost:    1
26.27/26.38	c ---[754897]---> BDD-cost:    1
26.27/26.38	c ---[754895]---> BDD-cost:    1
26.27/26.38	c ---[754893]---> BDD-cost:    1
26.27/26.38	c ---[754891]---> BDD-cost:    1
26.27/26.38	c ---[754889]---> BDD-cost:    1
26.27/26.38	c ---[754887]---> BDD-cost:    1
26.27/26.38	c ---[754885]---> BDD-cost:    1
26.27/26.38	c ---[754883]---> BDD-cost:    1
26.27/26.38	c ---[754881]---> BDD-cost:    1
26.27/26.38	c ---[754879]---> BDD-cost:    1
26.27/26.38	c ---[754877]---> BDD-cost:    1
26.27/26.38	c ---[754875]---> BDD-cost:    1
26.27/26.38	c ---[754873]---> BDD-cost:    1
26.27/26.38	c ---[754871]---> BDD-cost:    1
26.27/26.38	c ---[754869]---> BDD-cost:    1
26.27/26.38	c ---[754867]---> BDD-cost:    1
26.27/26.38	c ---[754865]---> BDD-cost:    1
26.27/26.38	c ---[754863]---> BDD-cost:    1
26.27/26.38	c ---[754861]---> BDD-cost:    1
26.27/26.38	c ---[754859]---> BDD-cost:    1
26.27/26.38	c ---[754857]---> BDD-cost:    1
26.27/26.38	c ---[754855]---> BDD-cost:    1
26.27/26.38	c ---[754853]---> BDD-cost:    1
26.27/26.38	c ---[754851]---> BDD-cost:    1
26.27/26.38	c ---[754849]---> BDD-cost:    1
26.27/26.38	c ---[754847]---> BDD-cost:    1
26.27/26.38	c ---[754845]---> BDD-cost:    1
26.27/26.38	c ---[754843]---> BDD-cost:    1
26.27/26.38	c ---[754841]---> BDD-cost:    1
26.27/26.38	c ---[754839]---> BDD-cost:    1
26.27/26.38	c ---[754837]---> BDD-cost:    1
26.27/26.38	c ---[754835]---> BDD-cost:    1
26.27/26.38	c ---[754833]---> BDD-cost:    1
26.27/26.38	c ---[754831]---> BDD-cost:    1
26.27/26.38	c ---[754829]---> BDD-cost:    1
26.27/26.38	c ---[754827]---> BDD-cost:    1
26.27/26.38	c ---[754825]---> BDD-cost:    1
26.27/26.38	c ---[754823]---> BDD-cost:    1
26.27/26.38	c ---[754821]---> BDD-cost:    1
26.27/26.38	c ---[754819]---> BDD-cost:    1
26.27/26.38	c ---[754817]---> BDD-cost:    1
26.27/26.38	c ---[754815]---> BDD-cost:    1
26.27/26.38	c ---[754813]---> BDD-cost:    1
26.27/26.38	c ---[754811]---> BDD-cost:    1
26.27/26.38	c ---[754809]---> BDD-cost:    1
26.27/26.38	c ---[754807]---> BDD-cost:    1
26.27/26.38	c ---[754805]---> BDD-cost:    1
26.27/26.38	c ---[754803]---> BDD-cost:    1
26.27/26.38	c ---[754801]---> BDD-cost:    1
26.27/26.38	c ---[754799]---> BDD-cost:    1
26.27/26.38	c ---[754797]---> BDD-cost:    1
26.27/26.38	c ---[754795]---> BDD-cost:    1
26.27/26.38	c ---[754793]---> BDD-cost:    1
26.27/26.38	c ---[754791]---> BDD-cost:    1
26.27/26.39	c ---[754789]---> BDD-cost:    1
26.27/26.39	c ---[754787]---> BDD-cost:    1
26.27/26.39	c ---[754785]---> BDD-cost:    1
26.27/26.39	c ---[754783]---> BDD-cost:    1
26.27/26.39	c ---[754781]---> BDD-cost:    1
26.27/26.39	c ---[754779]---> BDD-cost:    1
26.27/26.39	c ---[754777]---> BDD-cost:    1
26.27/26.39	c ---[754775]---> BDD-cost:    1
26.27/26.39	c ---[754773]---> BDD-cost:    1
26.27/26.39	c ---[754771]---> BDD-cost:    1
26.27/26.39	c ---[754769]---> BDD-cost:    1
26.27/26.39	c ---[754767]---> BDD-cost:    1
26.27/26.39	c ---[754765]---> BDD-cost:    1
26.27/26.39	c ---[754763]---> BDD-cost:    1
26.27/26.39	c ---[754761]---> BDD-cost:    1
26.27/26.39	c ---[754759]---> BDD-cost:    1
26.27/26.39	c ---[754757]---> BDD-cost:    1
26.27/26.39	c ---[754755]---> BDD-cost:    1
26.27/26.39	c ---[754753]---> BDD-cost:    1
26.27/26.39	c ---[754751]---> BDD-cost:    1
26.27/26.39	c ---[754749]---> BDD-cost:    1
26.27/26.39	c ---[754747]---> BDD-cost:    1
26.27/26.39	c ---[754745]---> BDD-cost:    1
26.27/26.39	c ---[754743]---> BDD-cost:    1
26.27/26.39	c ---[754741]---> BDD-cost:    1
26.27/26.39	c ---[754739]---> BDD-cost:    1
26.27/26.39	c ---[754737]---> BDD-cost:    1
26.27/26.39	c ---[754735]---> BDD-cost:    1
26.27/26.39	c ---[754733]---> BDD-cost:    1
26.27/26.39	c ---[754731]---> BDD-cost:    1
26.27/26.39	c ---[754729]---> BDD-cost:    1
26.27/26.39	c ---[754727]---> BDD-cost:    1
26.27/26.39	c ---[754725]---> BDD-cost:    1
26.27/26.39	c ---[754723]---> BDD-cost:    1
26.27/26.39	c ---[754721]---> BDD-cost:    1
26.27/26.39	c ---[754719]---> BDD-cost:    1
26.27/26.39	c ---[754717]---> BDD-cost:    1
26.27/26.39	c ---[754715]---> BDD-cost:    1
26.27/26.39	c ---[754713]---> BDD-cost:    1
26.27/26.39	c ---[754711]---> BDD-cost:    1
26.27/26.39	c ---[754709]---> BDD-cost:    1
26.27/26.39	c ---[754707]---> BDD-cost:    1
26.27/26.39	c ---[754705]---> BDD-cost:    1
26.27/26.39	c ---[754703]---> BDD-cost:    1
26.27/26.39	c ---[754701]---> BDD-cost:    1
26.27/26.39	c ---[754699]---> BDD-cost:    1
26.27/26.39	c ---[754697]---> BDD-cost:    1
26.27/26.39	c ---[754695]---> BDD-cost:    1
26.27/26.39	c ---[754693]---> BDD-cost:    1
26.27/26.39	c ---[754691]---> BDD-cost:    1
26.27/26.39	c ---[754689]---> BDD-cost:    1
26.27/26.39	c ---[754687]---> BDD-cost:    1
26.27/26.39	c ---[754685]---> BDD-cost:    1
26.27/26.39	c ---[754683]---> BDD-cost:    1
26.27/26.39	c ---[754681]---> BDD-cost:    1
26.27/26.39	c ---[754679]---> BDD-cost:    1
26.27/26.39	c ---[754677]---> BDD-cost:    1
26.27/26.39	c ---[754675]---> BDD-cost:    1
26.27/26.39	c ---[754673]---> BDD-cost:    1
26.27/26.39	c ---[754671]---> BDD-cost:    1
26.27/26.39	c ---[754669]---> BDD-cost:    1
26.27/26.39	c ---[754667]---> BDD-cost:    1
26.27/26.39	c ---[754665]---> BDD-cost:    1
26.27/26.39	c ---[754663]---> BDD-cost:    1
26.27/26.39	c ---[754661]---> BDD-cost:    1
26.27/26.39	c ---[754659]---> BDD-cost:    1
26.27/26.39	c ---[754657]---> BDD-cost:    1
26.27/26.39	c ---[754655]---> BDD-cost:    1
26.27/26.39	c ---[754653]---> BDD-cost:    1
26.27/26.39	c ---[754651]---> BDD-cost:    1
26.27/26.39	c ---[754649]---> BDD-cost:    1
26.27/26.39	c ---[754647]---> BDD-cost:    1
26.27/26.39	c ---[754645]---> BDD-cost:    1
26.27/26.39	c ---[754643]---> BDD-cost:    1
26.27/26.39	c ---[754641]---> BDD-cost:    1
26.27/26.39	c ---[754639]---> BDD-cost:    1
26.27/26.39	c ---[754637]---> BDD-cost:    1
26.27/26.39	c ---[754635]---> BDD-cost:    1
26.27/26.39	c ---[754633]---> BDD-cost:    1
26.27/26.39	c ---[754631]---> BDD-cost:    1
26.27/26.39	c ---[754629]---> BDD-cost:    1
26.27/26.39	c ---[754627]---> BDD-cost:    1
26.27/26.39	c ---[754625]---> BDD-cost:    1
26.27/26.39	c ---[754623]---> BDD-cost:    1
26.27/26.39	c ---[754621]---> BDD-cost:    1
26.27/26.39	c ---[754619]---> BDD-cost:    1
26.27/26.39	c ---[754617]---> BDD-cost:    1
26.27/26.39	c ---[754615]---> BDD-cost:    1
26.27/26.39	c ---[754613]---> BDD-cost:    1
26.27/26.39	c ---[754611]---> BDD-cost:    1
26.27/26.39	c ---[754609]---> BDD-cost:    1
26.27/26.39	c ---[754607]---> BDD-cost:    1
26.27/26.39	c ---[754605]---> BDD-cost:    1
26.27/26.39	c ---[754603]---> BDD-cost:    1
26.27/26.39	c ---[754601]---> BDD-cost:    1
26.27/26.39	c ---[754599]---> BDD-cost:    1
26.27/26.39	c ---[754597]---> BDD-cost:    1
26.27/26.39	c ---[754595]---> BDD-cost:    1
26.27/26.39	c ---[754593]---> BDD-cost:    1
26.27/26.39	c ---[754591]---> BDD-cost:    1
26.27/26.39	c ---[754589]---> BDD-cost:    1
26.27/26.39	c ---[754587]---> BDD-cost:    1
26.27/26.39	c ---[754585]---> BDD-cost:    1
26.27/26.39	c ---[754583]---> BDD-cost:    1
26.27/26.39	c ---[754581]---> BDD-cost:    1
26.27/26.39	c ---[754579]---> BDD-cost:    1
26.27/26.39	c ---[754577]---> BDD-cost:    1
26.27/26.39	c ---[754575]---> BDD-cost:    1
26.27/26.39	c ---[754573]---> BDD-cost:    1
26.27/26.39	c ---[754571]---> BDD-cost:    1
26.27/26.39	c ---[754569]---> BDD-cost:    1
26.27/26.39	c ---[754567]---> BDD-cost:    1
26.27/26.39	c ---[754565]---> BDD-cost:    1
26.27/26.39	c ---[754563]---> BDD-cost:    1
26.27/26.39	c ---[754561]---> BDD-cost:    1
26.27/26.39	c ---[754559]---> BDD-cost:    1
26.27/26.39	c ---[754557]---> BDD-cost:    1
26.27/26.39	c ---[754555]---> BDD-cost:    1
26.27/26.39	c ---[754553]---> BDD-cost:    1
26.27/26.39	c ---[754551]---> BDD-cost:    1
26.27/26.39	c ---[754549]---> BDD-cost:    1
26.27/26.39	c ---[754547]---> BDD-cost:    1
26.27/26.39	c ---[754545]---> BDD-cost:    1
26.27/26.39	c ---[754543]---> BDD-cost:    1
26.27/26.39	c ---[754541]---> BDD-cost:    1
26.27/26.39	c ---[754539]---> BDD-cost:    1
26.27/26.39	c ---[754537]---> BDD-cost:    1
26.27/26.39	c ---[754535]---> BDD-cost:    1
26.27/26.39	c ---[754533]---> BDD-cost:    1
26.27/26.39	c ---[754531]---> BDD-cost:    1
26.27/26.39	c ---[754529]---> BDD-cost:    1
26.27/26.39	c ---[754527]---> BDD-cost:    1
26.27/26.39	c ---[754525]---> BDD-cost:    1
26.27/26.39	c ---[754523]---> BDD-cost:    1
26.27/26.39	c ---[754521]---> BDD-cost:    1
26.27/26.39	c ---[754519]---> BDD-cost:    1
26.27/26.39	c ---[754517]---> BDD-cost:    1
26.27/26.39	c ---[754515]---> BDD-cost:    1
26.27/26.39	c ---[754513]---> BDD-cost:    1
26.27/26.39	c ---[754511]---> BDD-cost:    1
26.27/26.39	c ---[754509]---> BDD-cost:    1
26.27/26.39	c ---[754507]---> BDD-cost:    1
26.27/26.39	c ---[754505]---> BDD-cost:    1
26.27/26.39	c ---[754503]---> BDD-cost:    1
26.27/26.39	c ---[754501]---> BDD-cost:    1
26.27/26.39	c ---[754499]---> BDD-cost:    1
26.27/26.39	c ---[754497]---> BDD-cost:    1
26.27/26.39	c ---[754495]---> BDD-cost:    1
26.27/26.39	c ---[754493]---> BDD-cost:    1
26.27/26.39	c ---[754491]---> BDD-cost:    1
26.27/26.39	c ---[754489]---> BDD-cost:    1
26.27/26.39	c ---[754487]---> BDD-cost:    1
26.27/26.39	c ---[754485]---> BDD-cost:    1
26.27/26.39	c ---[754483]---> BDD-cost:    1
26.27/26.39	c ---[754481]---> BDD-cost:    1
26.27/26.39	c ---[754479]---> BDD-cost:    1
26.27/26.39	c ---[754477]---> BDD-cost:    1
26.27/26.39	c ---[754475]---> BDD-cost:    1
26.27/26.39	c ---[754473]---> BDD-cost:    1
26.27/26.39	c ---[754471]---> BDD-cost:    1
26.27/26.39	c ---[754469]---> BDD-cost:    1
26.27/26.39	c ---[754467]---> BDD-cost:    1
26.27/26.39	c ---[754465]---> BDD-cost:    1
26.27/26.39	c ---[754463]---> BDD-cost:    1
26.27/26.39	c ---[754461]---> BDD-cost:    1
26.27/26.39	c ---[754459]---> BDD-cost:    1
26.27/26.39	c ---[754457]---> BDD-cost:    1
26.27/26.39	c ---[754455]---> BDD-cost:    1
26.27/26.39	c ---[754453]---> BDD-cost:    1
26.27/26.39	c ---[754451]---> BDD-cost:    1
26.27/26.39	c ---[754449]---> BDD-cost:    1
26.27/26.39	c ---[754447]---> BDD-cost:    1
26.27/26.39	c ---[754445]---> BDD-cost:    1
26.27/26.39	c ---[754443]---> BDD-cost:    1
26.27/26.39	c ---[754441]---> BDD-cost:    1
26.27/26.39	c ---[754439]---> BDD-cost:    1
26.27/26.39	c ---[754437]---> BDD-cost:    1
26.27/26.39	c ---[754435]---> BDD-cost:    1
26.27/26.39	c ---[754433]---> BDD-cost:    1
26.27/26.39	c ---[754431]---> BDD-cost:    1
26.27/26.39	c ---[754429]---> BDD-cost:    1
26.27/26.39	c ---[754427]---> BDD-cost:    1
26.27/26.39	c ---[754425]---> BDD-cost:    1
26.27/26.39	c ---[754423]---> BDD-cost:    1
26.27/26.39	c ---[754421]---> BDD-cost:    1
26.27/26.39	c ---[754419]---> BDD-cost:    1
26.27/26.39	c ---[754417]---> BDD-cost:    1
26.27/26.39	c ---[754415]---> BDD-cost:    1
26.27/26.39	c ---[754413]---> BDD-cost:    1
26.27/26.39	c ---[754411]---> BDD-cost:    1
26.27/26.39	c ---[754409]---> BDD-cost:    1
26.27/26.39	c ---[754407]---> BDD-cost:    1
26.27/26.39	c ---[754405]---> BDD-cost:    1
26.27/26.39	c ---[754403]---> BDD-cost:    1
26.27/26.39	c ---[754401]---> BDD-cost:    1
26.27/26.39	c ---[754399]---> BDD-cost:    1
26.27/26.39	c ---[754397]---> BDD-cost:    1
26.27/26.39	c ---[754395]---> BDD-cost:    1
26.27/26.39	c ---[754393]---> BDD-cost:    1
26.27/26.39	c ---[754391]---> BDD-cost:    1
26.27/26.39	c ---[754389]---> BDD-cost:    1
26.27/26.39	c ---[754387]---> BDD-cost:    1
26.27/26.39	c ---[754385]---> BDD-cost:    1
26.27/26.39	c ---[754383]---> BDD-cost:    1
26.27/26.39	c ---[754381]---> BDD-cost:    1
26.27/26.39	c ---[754379]---> BDD-cost:    1
26.27/26.39	c ---[754377]---> BDD-cost:    1
26.27/26.39	c ---[754375]---> BDD-cost:    1
26.27/26.39	c ---[754373]---> BDD-cost:    1
26.27/26.39	c ---[754371]---> BDD-cost:    1
26.27/26.39	c ---[754369]---> BDD-cost:    1
26.27/26.39	c ---[754367]---> BDD-cost:    1
26.27/26.39	c ---[754365]---> BDD-cost:    1
26.27/26.39	c ---[754363]---> BDD-cost:    1
26.27/26.39	c ---[754361]---> BDD-cost:    1
26.27/26.39	c ---[754359]---> BDD-cost:    1
26.27/26.39	c ---[754357]---> BDD-cost:    1
26.27/26.39	c ---[754355]---> BDD-cost:    1
26.27/26.39	c ---[754353]---> BDD-cost:    1
26.27/26.39	c ---[754351]---> BDD-cost:    1
26.27/26.39	c ---[754349]---> BDD-cost:    1
26.27/26.39	c ---[754347]---> BDD-cost:    1
26.27/26.39	c ---[754345]---> BDD-cost:    1
26.27/26.39	c ---[754343]---> BDD-cost:    1
26.27/26.39	c ---[754341]---> BDD-cost:    1
26.27/26.39	c ---[754339]---> BDD-cost:    1
26.27/26.39	c ---[754337]---> BDD-cost:    1
26.27/26.39	c ---[754335]---> BDD-cost:    1
26.27/26.39	c ---[754333]---> BDD-cost:    1
26.27/26.39	c ---[754331]---> BDD-cost:    1
26.27/26.39	c ---[754329]---> BDD-cost:    1
26.27/26.39	c ---[754327]---> BDD-cost:    1
26.27/26.39	c ---[754325]---> BDD-cost:    1
26.27/26.39	c ---[754323]---> BDD-cost:    1
26.27/26.39	c ---[754321]---> BDD-cost:    1
26.27/26.39	c ---[754319]---> BDD-cost:    1
26.27/26.39	c ---[754317]---> BDD-cost:    1
26.27/26.39	c ---[754315]---> BDD-cost:    1
26.27/26.39	c ---[754313]---> BDD-cost:    1
26.27/26.39	c ---[754311]---> BDD-cost:    1
26.27/26.39	c ---[754309]---> BDD-cost:    1
26.27/26.39	c ---[754307]---> BDD-cost:    1
26.27/26.39	c ---[754305]---> BDD-cost:    1
26.27/26.39	c ---[754303]---> BDD-cost:    1
26.27/26.39	c ---[754301]---> BDD-cost:    1
26.27/26.39	c ---[754299]---> BDD-cost:    1
26.27/26.39	c ---[754297]---> BDD-cost:    1
26.27/26.39	c ---[754295]---> BDD-cost:    1
26.27/26.39	c ---[754293]---> BDD-cost:    1
26.27/26.39	c ---[754291]---> BDD-cost:    1
26.27/26.39	c ---[754289]---> BDD-cost:    1
26.27/26.39	c ---[754287]---> BDD-cost:    1
26.27/26.39	c ---[754285]---> BDD-cost:    1
26.27/26.39	c ---[754283]---> BDD-cost:    1
26.27/26.39	c ---[754281]---> BDD-cost:    1
26.27/26.39	c ---[754279]---> BDD-cost:    1
26.27/26.39	c ---[754277]---> BDD-cost:    1
26.27/26.39	c ---[754275]---> BDD-cost:    1
26.27/26.39	c ---[754273]---> BDD-cost:    1
26.27/26.39	c ---[754271]---> BDD-cost:    1
26.27/26.39	c ---[754269]---> BDD-cost:    1
26.27/26.39	c ---[754267]---> BDD-cost:    1
26.27/26.39	c ---[754265]---> BDD-cost:    1
26.27/26.39	c ---[754263]---> BDD-cost:    1
26.27/26.39	c ---[754261]---> BDD-cost:    1
26.27/26.39	c ---[754259]---> BDD-cost:    1
26.27/26.39	c ---[754257]---> BDD-cost:    1
26.27/26.39	c ---[754255]---> BDD-cost:    1
26.27/26.39	c ---[754253]---> BDD-cost:    1
26.27/26.39	c ---[754251]---> BDD-cost:    1
26.27/26.39	c ---[754249]---> BDD-cost:    1
26.27/26.39	c ---[754247]---> BDD-cost:    1
26.27/26.39	c ---[754245]---> BDD-cost:    1
26.27/26.39	c ---[754243]---> BDD-cost:    1
26.27/26.39	c ---[754241]---> BDD-cost:    1
26.27/26.39	c ---[754239]---> BDD-cost:    1
26.27/26.39	c ---[754237]---> BDD-cost:    1
26.27/26.39	c ---[754235]---> BDD-cost:    1
26.27/26.39	c ---[754233]---> BDD-cost:    1
26.27/26.39	c ---[754231]---> BDD-cost:    1
26.27/26.39	c ---[754229]---> BDD-cost:    1
26.27/26.39	c ---[754227]---> BDD-cost:    1
26.27/26.39	c ---[754225]---> BDD-cost:    1
26.27/26.39	c ---[754223]---> BDD-cost:    1
26.27/26.39	c ---[754221]---> BDD-cost:    1
26.27/26.39	c ---[754219]---> BDD-cost:    1
26.27/26.39	c ---[754217]---> BDD-cost:    1
26.27/26.39	c ---[754215]---> BDD-cost:    1
26.27/26.39	c ---[754213]---> BDD-cost:    1
26.27/26.39	c ---[754211]---> BDD-cost:    1
26.27/26.39	c ---[754209]---> BDD-cost:    1
26.27/26.39	c ---[754207]---> BDD-cost:    1
26.27/26.39	c ---[754205]---> BDD-cost:    1
26.27/26.39	c ---[754203]---> BDD-cost:    1
26.27/26.39	c ---[754201]---> BDD-cost:    1
26.27/26.39	c ---[754199]---> BDD-cost:    1
26.27/26.39	c ---[754197]---> BDD-cost:    1
26.27/26.39	c ---[754195]---> BDD-cost:    1
26.27/26.39	c ---[754193]---> BDD-cost:    1
26.27/26.39	c ---[754191]---> BDD-cost:    1
26.27/26.39	c ---[754189]---> BDD-cost:    1
26.27/26.39	c ---[754187]---> BDD-cost:    1
26.27/26.39	c ---[754185]---> BDD-cost:    1
26.27/26.39	c ---[754183]---> BDD-cost:    1
26.27/26.39	c ---[754181]---> BDD-cost:    1
26.27/26.40	c ---[754179]---> BDD-cost:    1
26.27/26.40	c ---[754177]---> BDD-cost:    1
26.27/26.40	c ---[754175]---> BDD-cost:    1
26.27/26.40	c ---[754173]---> BDD-cost:    1
26.27/26.40	c ---[754171]---> BDD-cost:    1
26.27/26.40	c ---[754169]---> BDD-cost:    1
26.27/26.40	c ---[754167]---> BDD-cost:    1
26.27/26.40	c ---[754165]---> BDD-cost:    1
26.27/26.40	c ---[754163]---> BDD-cost:    1
26.27/26.40	c ---[754161]---> BDD-cost:    1
26.27/26.40	c ---[754159]---> BDD-cost:    1
26.27/26.40	c ---[754157]---> BDD-cost:    1
26.27/26.40	c ---[754155]---> BDD-cost:    1
26.27/26.40	c ---[754153]---> BDD-cost:    1
26.27/26.40	c ---[754151]---> BDD-cost:    1
26.27/26.40	c ---[754149]---> BDD-cost:    1
26.27/26.40	c ---[754147]---> BDD-cost:    1
26.27/26.40	c ---[754145]---> BDD-cost:    1
26.27/26.40	c ---[754143]---> BDD-cost:    1
26.27/26.40	c ---[754141]---> BDD-cost:    1
26.27/26.40	c ---[754104]---> BDD-cost:    1
26.27/26.40	c ---[753642]---> BDD-cost:    1
26.27/26.40	c ---[753640]---> BDD-cost:    1
26.27/26.40	c ---[753638]---> BDD-cost:    1
26.27/26.40	c ---[753636]---> BDD-cost:    1
26.27/26.40	c ---[753634]---> BDD-cost:    1
26.27/26.40	c ---[753632]---> BDD-cost:    1
26.27/26.40	c ---[753630]---> BDD-cost:    1
26.27/26.40	c ---[753628]---> BDD-cost:    1
26.27/26.40	c ---[753626]---> BDD-cost:    1
26.27/26.40	c ---[753624]---> BDD-cost:    1
26.27/26.40	c ---[753622]---> BDD-cost:    1
26.27/26.40	c ---[753620]---> BDD-cost:    1
26.27/26.40	c ---[753618]---> BDD-cost:    1
26.27/26.40	c ---[753616]---> BDD-cost:    1
26.27/26.40	c ---[753614]---> BDD-cost:    1
26.27/26.40	c ---[753612]---> BDD-cost:    1
26.27/26.40	c ---[753610]---> BDD-cost:    1
26.27/26.40	c ---[753608]---> BDD-cost:    1
26.27/26.40	c ---[753606]---> BDD-cost:    1
26.27/26.40	c ---[753604]---> BDD-cost:    1
26.27/26.40	c ---[753602]---> BDD-cost:    1
26.27/26.40	c ---[753600]---> BDD-cost:    1
26.27/26.40	c ---[753598]---> BDD-cost:    1
26.27/26.40	c ---[753596]---> BDD-cost:    1
26.27/26.40	c ---[753594]---> BDD-cost:    1
26.27/26.40	c ---[753592]---> BDD-cost:    1
26.27/26.40	c ---[753590]---> BDD-cost:    1
26.27/26.40	c ---[753588]---> BDD-cost:    1
26.27/26.40	c ---[753586]---> BDD-cost:    1
26.27/26.40	c ---[753584]---> BDD-cost:    1
26.27/26.40	c ---[753582]---> BDD-cost:    1
26.27/26.40	c ---[753580]---> BDD-cost:    1
26.27/26.40	c ---[753578]---> BDD-cost:    1
26.27/26.40	c ---[742017]---> BDD-cost:    1
26.27/26.40	c ---[712490]---> BDD-cost:    1
26.27/26.40	c ---[690419]---> BDD-cost:    1
26.27/26.40	c ---[660985]---> BDD-cost:    1
26.27/26.40	c ---[628943]---> BDD-cost:    1
26.27/26.40	c ---[611955]---> BDD-cost:    1
26.27/26.40	c ---[611953]---> BDD-cost:    1
26.27/26.40	c ---[611951]---> BDD-cost:    1
26.27/26.40	c ---[611949]---> BDD-cost:    1
26.27/26.40	c ---[611947]---> BDD-cost:    1
26.27/26.40	c ---[611945]---> BDD-cost:    1
26.27/26.40	c ---[611943]---> BDD-cost:    1
26.27/26.40	c ---[611941]---> BDD-cost:    1
26.27/26.40	c ---[611939]---> BDD-cost:    1
26.27/26.40	c ---[611937]---> BDD-cost:    1
26.36/26.44	c ==================================[MINISAT+]==================================
26.36/26.44	c | Conflicts | Original         | Learnt                           | Progress |
26.36/26.44	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
26.36/26.44	c ==============================================================================
26.36/26.44	c |         0 |  761606  1990582 |  253868       0        0     nan |  0.000 % |
26.66/26.70	c |       100 |  761606  1990582 |  279254     100     1050    10.5 |  0.710 % |
26.76/26.88	c |       250 |  761606  1990582 |  307180     250     4636    18.5 |  0.710 % |
27.26/27.34	c |       475 |  761606  1990582 |  337898     475    12117    25.5 |  0.710 % |
27.65/27.74	c |       812 |  761606  1990582 |  371688     812    21776    26.8 |  0.710 % |
28.75/28.82	c |      1318 |  761606  1990582 |  408856    1318    33099    25.1 |  0.710 % |
29.75/29.87	c |      2082 |  761606  1990582 |  449742    2082    64605    31.0 |  0.710 % |
32.54/32.66	c |      3221 |  761606  1990582 |  494716    3221   115625    35.9 |  0.710 % |
34.54/34.68	c |      4929 |  761606  1990582 |  544188    4929   184378    37.4 |  0.710 % |
48.74/48.88	c |      7491 |  761606  1990582 |  598607    7491   349641    46.7 |  0.710 % |
55.13/55.27	c |     11335 |  761254  1989769 |  658468   11332   507458    44.8 |  0.735 % |
72.91/73.03	c |     17101 |  760791  1988694 |  724315   17094   731468    42.8 |  0.772 % |
96.41/96.57	c |     25750 |  760599  1988253 |  796746   25739  1206319    46.9 |  0.787 % |
129.78/129.94	c |     38725 |  760599  1988253 |  876421   38714  2022655    52.2 |  0.787 % |
172.56/172.72	c |     58187 |  760495  1988039 |  964063   58174  2782204    47.8 |  0.791 % |
236.93/237.11	c |     87379 |  760495  1988039 | 1060469   87366  4330658    49.6 |  0.791 % |
348.01/348.20	c |    131168 |  760495  1988039 | 1166516  131155  6079190    46.4 |  0.791 % |
519.64/519.97	c |    196852 |  759812  1986494 | 1283168  196828  8755088    44.5 |  0.843 % |
746.88/747.25	c ==============================================================================
746.88/747.25	c UNSATISFIABLE
746.88/747.25	s UNSATISFIABLE
746.88/747.25	c _______________________________________________________________________________
746.88/747.25	c 
746.88/747.25	c restarts              : 18
746.88/747.25	c conflicts             : 274946         (369 /sec)
746.88/747.25	c decisions             : 461101         (618 /sec)
746.88/747.25	c propagations          : 0              (0 /sec)
746.88/747.25	c inspects              : 0              (0 /sec)
746.88/747.25	c CPU time              : 745.713 s
746.88/747.25	c _______________________________________________________________________________

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

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

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


[startup+0 s]
/proc/loadavg: 0.99 1.00 0.99 3/64 6774
/proc/meminfo: memFree=1900204/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=1048 CPUtime=0
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 110 0 0 0 0 0 0 0 18 0 1 0 217767367 1073152 96 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808947 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 262 96 75 215 0 44 0

[startup+0.016229 s]
/proc/loadavg: 0.99 1.00 0.99 3/64 6774
/proc/meminfo: memFree=1900204/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=1188 CPUtime=0.01
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 140 0 0 0 1 0 0 0 18 0 1 0 217767367 1216512 126 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 297 126 75 215 0 79 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1188

[startup+0.101243 s]
/proc/loadavg: 0.99 1.00 0.99 3/64 6774
/proc/meminfo: memFree=1900204/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=2016 CPUtime=0.1
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 348 0 0 0 10 0 0 0 18 0 1 0 217767367 2064384 334 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 504 334 75 215 0 286 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2016

[startup+0.301274 s]
/proc/loadavg: 0.99 1.00 0.99 3/64 6774
/proc/meminfo: memFree=1900204/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=4044 CPUtime=0.29
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 861 0 0 0 29 0 0 0 19 0 1 0 217767367 4141056 847 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808949 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 1011 847 75 215 0 793 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4044

[startup+0.701339 s]
/proc/loadavg: 0.99 1.00 0.99 3/64 6774
/proc/meminfo: memFree=1900204/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=7476 CPUtime=0.7
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 1688 0 0 0 69 1 0 0 22 0 1 0 217767367 7655424 1674 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 1869 1675 75 215 0 1651 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 7476

[startup+1.50147 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6775
/proc/meminfo: memFree=1891300/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=14156 CPUtime=1.49
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 3339 0 0 0 147 2 0 0 25 0 1 0 217767367 14495744 3325 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134651050 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 3539 3325 75 215 0 3321 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14156

[startup+3.10173 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6775
/proc/meminfo: memFree=1881508/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=27868 CPUtime=3.09
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 6683 0 0 0 304 5 0 0 25 0 1 0 217767367 28536832 6669 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 6967 6669 75 215 0 6749 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27868

[startup+6.30125 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6775
/proc/meminfo: memFree=1854116/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=55660 CPUtime=6.29
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 13532 0 0 0 620 9 0 0 25 0 1 0 217767367 56995840 13515 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 13915 13515 75 215 0 13697 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55660

[startup+12.7013 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6775
/proc/meminfo: memFree=1797604/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=111984 CPUtime=12.69
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 27336 0 0 0 1251 18 0 0 25 0 1 0 217767367 114671616 27236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006098 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 27996 27236 75 215 0 27778 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 111984

[startup+25.5016 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6775
/proc/meminfo: memFree=1673060/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=239984 CPUtime=25.47
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 59472 0 0 0 2469 78 0 0 18 0 1 0 217767367 245743616 58332 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031374 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 59996 58332 87 215 0 59778 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 239984

[startup+51.1017 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6775
/proc/meminfo: memFree=1647332/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=259156 CPUtime=51.04
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 64178 0 0 0 4984 120 0 0 25 0 1 0 217767367 265375744 63038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/6774/statm: 64789 63038 106 215 0 64571 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 259156

[startup+102.306 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6775
/proc/meminfo: memFree=1647332/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=259320 CPUtime=102.21
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 64224 0 0 0 10101 120 0 0 25 0 1 0 217767367 265543680 63084 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 0 0 0
/proc/6774/statm: 64830 63084 106 215 0 64612 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 259320

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6775
/proc/meminfo: memFree=1647076/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=259400 CPUtime=162.16
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 64287 0 0 0 16096 120 0 0 25 0 1 0 217767367 265625600 63147 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 64850 63147 106 215 0 64632 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 259400

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6775
/proc/meminfo: memFree=1646692/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=259520 CPUtime=222.14
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 64375 0 0 0 22094 120 0 0 25 0 1 0 217767367 265748480 63235 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 64880 63235 106 215 0 64662 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 259520

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6775
/proc/meminfo: memFree=1646372/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=259700 CPUtime=282.12
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 64459 0 0 0 28092 120 0 0 25 0 1 0 217767367 265932800 63319 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 64925 63319 106 215 0 64707 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 259700

[startup+342.303 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6775
/proc/meminfo: memFree=1646052/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=259700 CPUtime=342.11
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 64528 0 0 0 34090 121 0 0 25 0 1 0 217767367 265932800 63388 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581318 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 64925 63388 106 215 0 64707 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 259700

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6775
/proc/meminfo: memFree=1645732/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=259968 CPUtime=402.08
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 64588 0 0 0 40087 121 0 0 25 0 1 0 217767367 266207232 63448 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 64992 63448 106 215 0 64774 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 259968

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6775
/proc/meminfo: memFree=1645284/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=260296 CPUtime=462.06
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 64695 0 0 0 46085 121 0 0 25 0 1 0 217767367 266543104 63555 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 65074 63555 106 215 0 64856 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 260296

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6775
/proc/meminfo: memFree=1645092/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=260296 CPUtime=522.04
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 64748 0 0 0 52083 121 0 0 25 0 1 0 217767367 266543104 63608 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 65074 63608 106 215 0 64856 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 260296

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6775
/proc/meminfo: memFree=1644900/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=260780 CPUtime=582.02
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 64792 0 0 0 58081 121 0 0 25 0 1 0 217767367 267038720 63652 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 65195 63652 106 215 0 64977 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 260780

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6777
/proc/meminfo: memFree=1644452/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=261144 CPUtime=642.02
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 64901 0 0 0 64080 122 0 0 25 0 1 0 217767367 267411456 63761 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 65286 63761 106 215 0 65068 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 261144

[startup+702.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6777
/proc/meminfo: memFree=1643684/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=262052 CPUtime=701.99
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 65084 0 0 0 70077 122 0 0 25 0 1 0 217767367 268341248 63944 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006666 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 65513 63944 106 215 0 65295 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 262052

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

[startup+716.702 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6777
/proc/meminfo: memFree=1643684/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=262052 CPUtime=716.39
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 65084 0 0 0 71517 122 0 0 25 0 1 0 217767367 268341248 63944 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 65513 63944 106 215 0 65295 0
Current children cumulated CPU time (s) 716.39
Current children cumulated vsize (KiB) 262052

[startup+729.502 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6777
/proc/meminfo: memFree=1643684/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=262052 CPUtime=729.18
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 65084 0 0 0 72796 122 0 0 25 0 1 0 217767367 268341248 63944 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 65513 63944 106 215 0 65295 0
Current children cumulated CPU time (s) 729.18
Current children cumulated vsize (KiB) 262052

[startup+735.906 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6777
/proc/meminfo: memFree=1643684/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=262052 CPUtime=735.58
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 65084 0 0 0 73436 122 0 0 25 0 1 0 217767367 268341248 63944 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134585530 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 65513 63944 106 215 0 65295 0
Current children cumulated CPU time (s) 735.58
Current children cumulated vsize (KiB) 262052

[startup+742.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6777
/proc/meminfo: memFree=1643684/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=262052 CPUtime=741.98
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 65084 0 0 0 74076 122 0 0 25 0 1 0 217767367 268341248 63944 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 65513 63944 106 215 0 65295 0
Current children cumulated CPU time (s) 741.98
Current children cumulated vsize (KiB) 262052

[startup+745.501 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6777
/proc/meminfo: memFree=1643684/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=262052 CPUtime=745.18
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 65084 0 0 0 74396 122 0 0 25 0 1 0 217767367 268341248 63944 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 65513 63944 106 215 0 65295 0
Current children cumulated CPU time (s) 745.18
Current children cumulated vsize (KiB) 262052

[startup+746.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6777
/proc/meminfo: memFree=1643684/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=262052 CPUtime=745.98
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 65084 0 0 0 74476 122 0 0 25 0 1 0 217767367 268341248 63944 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580372 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 65513 63944 106 215 0 65295 0
Current children cumulated CPU time (s) 745.98
Current children cumulated vsize (KiB) 262052

[startup+746.702 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6777
/proc/meminfo: memFree=1643684/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=262052 CPUtime=746.38
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 65084 0 0 0 74516 122 0 0 25 0 1 0 217767367 268341248 63944 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569770 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 65513 63944 106 215 0 65295 0
Current children cumulated CPU time (s) 746.38
Current children cumulated vsize (KiB) 262052

[startup+747.102 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6777
/proc/meminfo: memFree=1643684/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=262052 CPUtime=746.78
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 65084 0 0 0 74556 122 0 0 25 0 1 0 217767367 268341248 63944 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569793 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 65513 63944 106 215 0 65295 0
Current children cumulated CPU time (s) 746.78
Current children cumulated vsize (KiB) 262052

[startup+747.202 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6777
/proc/meminfo: memFree=1643684/2055920 swapFree=4182892/4192956
[pid=6774] ppid=6772 vsize=262052 CPUtime=746.88
/proc/6774/stat : 6774 (minisat+) R 6772 6774 5894 0 -1 4194304 65084 0 0 0 74566 122 0 0 25 0 1 0 217767367 268341248 63944 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569775 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6774/statm: 65513 63944 106 215 0 65295 0
Current children cumulated CPU time (s) 746.88
Current children cumulated vsize (KiB) 262052

Child status: 20
Real time (s): 747.295
CPU time (s): 746.978
CPU user time (s): 745.713
CPU system time (s): 1.26581
CPU usage (%): 99.9576
Max. virtual memory (cumulated for all children) (KiB): 262052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 745.713
system time used= 1.26581
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65087
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3983
involuntary context switches= 2080

runsolver used 1.25581 second user time and 2.71959 second system time

The end

Launcher Data (download as text)

Begin job on node69 on Tue Apr 24 12:29:39 UTC 2007

IDJOB= 420055
IDBENCH= 47818
IDSOLVER= 156
FILE ID= node69/420055-1177417778

PBS_JOBID= 4675654

Free space on /tmp= 66470 MiB

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

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  0d091f79d4246db0b540f5fe1b3977af

RANDOM SEED= 517346979

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node69.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1900612 kB
Buffers:          5364 kB
Cached:          97200 kB
SwapCached:       3788 kB
Active:          67396 kB
Inactive:        45548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1900612 kB
SwapTotal:     4192956 kB
SwapFree:      4182892 kB
Dirty:           26648 kB
Writeback:           0 kB
Mapped:          16372 kB
Slab:            28296 kB
Committed_AS:  2250156 kB
PageTables:       1476 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66470 MiB

End job on node69 on Tue Apr 24 12:42:07 UTC 2007