Trace number 419999

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 251.569 251.652

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/
industrial/palacios/uts/uts-l06-ipc5-h29-unknown.opb
MD5SUM541cbd85a9623e398f36dc9d1dae3b17
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 benchmark251.569
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables125442
Total number of constraints687058
Number of constraints which are clauses687058
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...
21.98/22.03	c Converting 686758 PB-constraints to clauses...
22.08/22.14	c   -- Unit propagations: (none)
22.08/22.15	c   -- Detecting intervals from adjacent constraints: ####################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################
22.19/22.21	c   -- Clauses(.)/Splits(s): ..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
23.77/23.89	c ---[686711]---> BDD-cost:    1
23.77/23.89	c ---[686700]---> BDD-cost:    1
23.77/23.89	c ---[686698]---> BDD-cost:    1
23.77/23.89	c ---[686696]---> BDD-cost:    1
23.77/23.89	c ---[686694]---> BDD-cost:    1
23.77/23.89	c ---[686692]---> BDD-cost:    1
23.77/23.89	c ---[686690]---> BDD-cost:    1
23.77/23.89	c ---[686688]---> BDD-cost:    1
23.77/23.89	c ---[686686]---> BDD-cost:    1
23.77/23.89	c ---[686684]---> BDD-cost:    1
23.77/23.89	c ---[686682]---> BDD-cost:    1
23.77/23.89	c ---[686680]---> BDD-cost:    1
23.77/23.89	c ---[686678]---> BDD-cost:    1
23.77/23.89	c ---[686676]---> BDD-cost:    1
23.77/23.89	c ---[686674]---> BDD-cost:    1
23.77/23.89	c ---[686672]---> BDD-cost:    1
23.77/23.89	c ---[686670]---> BDD-cost:    1
23.77/23.89	c ---[686668]---> BDD-cost:    1
23.77/23.89	c ---[686666]---> BDD-cost:    1
23.77/23.89	c ---[686664]---> BDD-cost:    1
23.77/23.89	c ---[686662]---> BDD-cost:    1
23.77/23.89	c ---[686660]---> BDD-cost:    1
23.77/23.89	c ---[686658]---> BDD-cost:    1
23.77/23.89	c ---[686656]---> BDD-cost:    1
23.77/23.89	c ---[686654]---> BDD-cost:    1
23.77/23.89	c ---[686652]---> BDD-cost:    1
23.77/23.89	c ---[686650]---> BDD-cost:    1
23.77/23.89	c ---[686648]---> BDD-cost:    1
23.77/23.89	c ---[686646]---> BDD-cost:    1
23.77/23.89	c ---[686644]---> BDD-cost:    1
23.77/23.89	c ---[686642]---> BDD-cost:    1
23.77/23.89	c ---[686640]---> BDD-cost:    1
23.77/23.89	c ---[686638]---> BDD-cost:    1
23.77/23.89	c ---[686636]---> BDD-cost:    1
23.77/23.89	c ---[686590]---> BDD-cost:    1
23.77/23.89	c ---[686542]---> BDD-cost:    1
23.77/23.89	c ---[686540]---> BDD-cost:    1
23.77/23.89	c ---[686538]---> BDD-cost:    1
23.77/23.89	c ---[686536]---> BDD-cost:    1
23.77/23.89	c ---[686534]---> BDD-cost:    1
23.77/23.89	c ---[686532]---> BDD-cost:    1
23.77/23.89	c ---[686530]---> BDD-cost:    1
23.77/23.89	c ---[686528]---> BDD-cost:    1
23.77/23.89	c ---[686526]---> BDD-cost:    1
23.77/23.89	c ---[686524]---> BDD-cost:    1
23.77/23.89	c ---[686522]---> BDD-cost:    1
23.77/23.89	c ---[686520]---> BDD-cost:    1
23.77/23.89	c ---[686518]---> BDD-cost:    1
23.77/23.89	c ---[686516]---> BDD-cost:    1
23.77/23.89	c ---[686514]---> BDD-cost:    1
23.77/23.89	c ---[686512]---> BDD-cost:    1
23.77/23.89	c ---[686510]---> BDD-cost:    1
23.77/23.89	c ---[686508]---> BDD-cost:    1
23.77/23.89	c ---[686506]---> BDD-cost:    1
23.77/23.89	c ---[686504]---> BDD-cost:    1
23.77/23.89	c ---[686502]---> BDD-cost:    1
23.77/23.89	c ---[686500]---> BDD-cost:    1
23.77/23.89	c ---[686498]---> BDD-cost:    1
23.77/23.89	c ---[686496]---> BDD-cost:    1
23.77/23.89	c ---[686494]---> BDD-cost:    1
23.77/23.89	c ---[686492]---> BDD-cost:    1
23.77/23.89	c ---[686490]---> BDD-cost:    1
23.77/23.89	c ---[686488]---> BDD-cost:    1
23.77/23.89	c ---[686486]---> BDD-cost:    1
23.77/23.89	c ---[686484]---> BDD-cost:    1
23.77/23.89	c ---[686482]---> BDD-cost:    1
23.77/23.89	c ---[686480]---> BDD-cost:    1
23.77/23.89	c ---[686478]---> BDD-cost:    1
23.77/23.89	c ---[686426]---> BDD-cost:    1
23.77/23.89	c ---[686342]---> BDD-cost:    1
23.77/23.89	c ---[686340]---> BDD-cost:    1
23.77/23.89	c ---[686338]---> BDD-cost:    1
23.77/23.89	c ---[686336]---> BDD-cost:    1
23.77/23.89	c ---[686334]---> BDD-cost:    1
23.77/23.89	c ---[686332]---> BDD-cost:    1
23.77/23.89	c ---[686330]---> BDD-cost:    1
23.77/23.89	c ---[686328]---> BDD-cost:    1
23.77/23.89	c ---[686326]---> BDD-cost:    1
23.77/23.89	c ---[686324]---> BDD-cost:    1
23.77/23.89	c ---[686322]---> BDD-cost:    1
23.77/23.89	c ---[686320]---> BDD-cost:    1
23.77/23.89	c ---[686318]---> BDD-cost:    1
23.77/23.89	c ---[686316]---> BDD-cost:    1
23.77/23.89	c ---[686314]---> BDD-cost:    1
23.77/23.89	c ---[686312]---> BDD-cost:    1
23.77/23.89	c ---[686310]---> BDD-cost:    1
23.77/23.89	c ---[686308]---> BDD-cost:    1
23.77/23.89	c ---[686306]---> BDD-cost:    1
23.77/23.89	c ---[686304]---> BDD-cost:    1
23.77/23.89	c ---[686302]---> BDD-cost:    1
23.77/23.89	c ---[686300]---> BDD-cost:    1
23.77/23.89	c ---[686298]---> BDD-cost:    1
23.77/23.89	c ---[686296]---> BDD-cost:    1
23.77/23.89	c ---[686294]---> BDD-cost:    1
23.77/23.89	c ---[686292]---> BDD-cost:    1
23.77/23.89	c ---[686290]---> BDD-cost:    1
23.77/23.89	c ---[686288]---> BDD-cost:    1
23.77/23.89	c ---[686286]---> BDD-cost:    1
23.77/23.89	c ---[686284]---> BDD-cost:    1
23.77/23.89	c ---[686282]---> BDD-cost:    1
23.77/23.89	c ---[686280]---> BDD-cost:    1
23.77/23.89	c ---[686278]---> BDD-cost:    1
23.77/23.89	c ---[686220]---> BDD-cost:    1
23.77/23.89	c ---[686101]---> BDD-cost:    1
23.77/23.89	c ---[686099]---> BDD-cost:    1
23.77/23.89	c ---[686097]---> BDD-cost:    1
23.77/23.89	c ---[686095]---> BDD-cost:    1
23.77/23.89	c ---[686093]---> BDD-cost:    1
23.77/23.89	c ---[686091]---> BDD-cost:    1
23.77/23.89	c ---[686089]---> BDD-cost:    1
23.77/23.89	c ---[686087]---> BDD-cost:    1
23.77/23.89	c ---[686085]---> BDD-cost:    1
23.77/23.89	c ---[686083]---> BDD-cost:    1
23.77/23.89	c ---[686081]---> BDD-cost:    1
23.77/23.89	c ---[686079]---> BDD-cost:    1
23.77/23.89	c ---[686077]---> BDD-cost:    1
23.77/23.89	c ---[686075]---> BDD-cost:    1
23.77/23.89	c ---[686073]---> BDD-cost:    1
23.77/23.89	c ---[686071]---> BDD-cost:    1
23.77/23.89	c ---[686069]---> BDD-cost:    1
23.77/23.89	c ---[686067]---> BDD-cost:    1
23.77/23.89	c ---[686065]---> BDD-cost:    1
23.77/23.89	c ---[686063]---> BDD-cost:    1
23.77/23.89	c ---[686061]---> BDD-cost:    1
23.77/23.89	c ---[686059]---> BDD-cost:    1
23.77/23.89	c ---[686057]---> BDD-cost:    1
23.77/23.89	c ---[686055]---> BDD-cost:    1
23.77/23.89	c ---[686053]---> BDD-cost:    1
23.77/23.89	c ---[686051]---> BDD-cost:    1
23.77/23.89	c ---[686049]---> BDD-cost:    1
23.77/23.89	c ---[686047]---> BDD-cost:    1
23.77/23.89	c ---[686045]---> BDD-cost:    1
23.77/23.89	c ---[686043]---> BDD-cost:    1
23.77/23.89	c ---[686041]---> BDD-cost:    1
23.77/23.89	c ---[686039]---> BDD-cost:    1
23.77/23.89	c ---[686037]---> BDD-cost:    1
23.77/23.89	c ---[685973]---> BDD-cost:    1
23.77/23.89	c ---[685820]---> BDD-cost:    1
23.77/23.89	c ---[685818]---> BDD-cost:    1
23.77/23.89	c ---[685816]---> BDD-cost:    1
23.77/23.89	c ---[685814]---> BDD-cost:    1
23.77/23.89	c ---[685812]---> BDD-cost:    1
23.77/23.89	c ---[685810]---> BDD-cost:    1
23.77/23.89	c ---[685808]---> BDD-cost:    1
23.77/23.89	c ---[685806]---> BDD-cost:    1
23.77/23.89	c ---[685804]---> BDD-cost:    1
23.77/23.89	c ---[685802]---> BDD-cost:    1
23.77/23.89	c ---[685800]---> BDD-cost:    1
23.77/23.89	c ---[685798]---> BDD-cost:    1
23.77/23.89	c ---[685796]---> BDD-cost:    1
23.77/23.89	c ---[685794]---> BDD-cost:    1
23.77/23.90	c ---[685792]---> BDD-cost:    1
23.77/23.90	c ---[685790]---> BDD-cost:    1
23.77/23.90	c ---[685788]---> BDD-cost:    1
23.77/23.90	c ---[685786]---> BDD-cost:    1
23.77/23.90	c ---[685784]---> BDD-cost:    1
23.77/23.90	c ---[685782]---> BDD-cost:    1
23.77/23.90	c ---[685780]---> BDD-cost:    1
23.77/23.90	c ---[685778]---> BDD-cost:    1
23.77/23.90	c ---[685776]---> BDD-cost:    1
23.77/23.90	c ---[685774]---> BDD-cost:    1
23.77/23.90	c ---[685772]---> BDD-cost:    1
23.77/23.90	c ---[685770]---> BDD-cost:    1
23.77/23.90	c ---[685768]---> BDD-cost:    1
23.77/23.90	c ---[685766]---> BDD-cost:    1
23.77/23.90	c ---[685764]---> BDD-cost:    1
23.77/23.90	c ---[685762]---> BDD-cost:    1
23.77/23.90	c ---[685760]---> BDD-cost:    1
23.77/23.90	c ---[685758]---> BDD-cost:    1
23.77/23.90	c ---[685756]---> BDD-cost:    1
23.77/23.90	c ---[685686]---> BDD-cost:    1
23.77/23.90	c ---[685500]---> BDD-cost:    1
23.77/23.90	c ---[685498]---> BDD-cost:    1
23.77/23.90	c ---[685496]---> BDD-cost:    1
23.77/23.90	c ---[685494]---> BDD-cost:    1
23.77/23.90	c ---[685492]---> BDD-cost:    1
23.77/23.90	c ---[685490]---> BDD-cost:    1
23.77/23.90	c ---[685488]---> BDD-cost:    1
23.77/23.90	c ---[685486]---> BDD-cost:    1
23.77/23.90	c ---[685484]---> BDD-cost:    1
23.77/23.90	c ---[685482]---> BDD-cost:    1
23.77/23.90	c ---[685480]---> BDD-cost:    1
23.77/23.90	c ---[685478]---> BDD-cost:    1
23.77/23.90	c ---[685476]---> BDD-cost:    1
23.77/23.90	c ---[685474]---> BDD-cost:    1
23.77/23.90	c ---[685472]---> BDD-cost:    1
23.77/23.90	c ---[685470]---> BDD-cost:    1
23.77/23.90	c ---[685468]---> BDD-cost:    1
23.77/23.90	c ---[685466]---> BDD-cost:    1
23.77/23.90	c ---[685464]---> BDD-cost:    1
23.77/23.90	c ---[685462]---> BDD-cost:    1
23.77/23.90	c ---[685460]---> BDD-cost:    1
23.77/23.90	c ---[685458]---> BDD-cost:    1
23.77/23.90	c ---[685456]---> BDD-cost:    1
23.77/23.90	c ---[685454]---> BDD-cost:    1
23.77/23.90	c ---[685452]---> BDD-cost:    1
23.77/23.90	c ---[685450]---> BDD-cost:    1
23.77/23.90	c ---[685448]---> BDD-cost:    1
23.87/23.90	c ---[685446]---> BDD-cost:    1
23.87/23.90	c ---[685444]---> BDD-cost:    1
23.87/23.90	c ---[685442]---> BDD-cost:    1
23.87/23.90	c ---[685440]---> BDD-cost:    1
23.87/23.90	c ---[685438]---> BDD-cost:    1
23.87/23.90	c ---[685436]---> BDD-cost:    1
23.87/23.90	c ---[685360]---> BDD-cost:    1
23.87/23.90	c ---[685142]---> BDD-cost:    1
23.87/23.90	c ---[685140]---> BDD-cost:    1
23.87/23.90	c ---[685138]---> BDD-cost:    1
23.87/23.90	c ---[685136]---> BDD-cost:    1
23.87/23.90	c ---[685134]---> BDD-cost:    1
23.87/23.90	c ---[685132]---> BDD-cost:    1
23.87/23.90	c ---[685130]---> BDD-cost:    1
23.87/23.90	c ---[685128]---> BDD-cost:    1
23.87/23.90	c ---[685126]---> BDD-cost:    1
23.87/23.90	c ---[685124]---> BDD-cost:    1
23.87/23.90	c ---[685122]---> BDD-cost:    1
23.87/23.90	c ---[685120]---> BDD-cost:    1
23.87/23.90	c ---[685118]---> BDD-cost:    1
23.87/23.90	c ---[685116]---> BDD-cost:    1
23.87/23.90	c ---[685114]---> BDD-cost:    1
23.87/23.90	c ---[685112]---> BDD-cost:    1
23.87/23.90	c ---[685110]---> BDD-cost:    1
23.87/23.90	c ---[685108]---> BDD-cost:    1
23.87/23.90	c ---[685106]---> BDD-cost:    1
23.87/23.90	c ---[685104]---> BDD-cost:    1
23.87/23.90	c ---[685102]---> BDD-cost:    1
23.87/23.90	c ---[685100]---> BDD-cost:    1
23.87/23.90	c ---[685098]---> BDD-cost:    1
23.87/23.90	c ---[685096]---> BDD-cost:    1
23.87/23.90	c ---[685094]---> BDD-cost:    1
23.87/23.90	c ---[685092]---> BDD-cost:    1
23.87/23.90	c ---[685090]---> BDD-cost:    1
23.87/23.90	c ---[685088]---> BDD-cost:    1
23.87/23.90	c ---[685086]---> BDD-cost:    1
23.87/23.90	c ---[685084]---> BDD-cost:    1
23.87/23.90	c ---[685082]---> BDD-cost:    1
23.87/23.90	c ---[685080]---> BDD-cost:    1
23.87/23.90	c ---[685078]---> BDD-cost:    1
23.87/23.90	c ---[684996]---> BDD-cost:    1
23.87/23.90	c ---[684747]---> BDD-cost:    1
23.87/23.90	c ---[684745]---> BDD-cost:    1
23.87/23.90	c ---[684743]---> BDD-cost:    1
23.87/23.90	c ---[684741]---> BDD-cost:    1
23.87/23.90	c ---[684739]---> BDD-cost:    1
23.87/23.90	c ---[684737]---> BDD-cost:    1
23.87/23.90	c ---[684735]---> BDD-cost:    1
23.87/23.90	c ---[684733]---> BDD-cost:    1
23.87/23.90	c ---[684731]---> BDD-cost:    1
23.87/23.90	c ---[684729]---> BDD-cost:    1
23.87/23.90	c ---[684727]---> BDD-cost:    1
23.87/23.90	c ---[684725]---> BDD-cost:    1
23.87/23.90	c ---[684723]---> BDD-cost:    1
23.87/23.90	c ---[684721]---> BDD-cost:    1
23.87/23.90	c ---[684719]---> BDD-cost:    1
23.87/23.90	c ---[684717]---> BDD-cost:    1
23.87/23.90	c ---[684715]---> BDD-cost:    1
23.87/23.90	c ---[684713]---> BDD-cost:    1
23.87/23.90	c ---[684711]---> BDD-cost:    1
23.87/23.90	c ---[684709]---> BDD-cost:    1
23.87/23.90	c ---[684707]---> BDD-cost:    1
23.87/23.90	c ---[684705]---> BDD-cost:    1
23.87/23.90	c ---[684703]---> BDD-cost:    1
23.87/23.90	c ---[684701]---> BDD-cost:    1
23.87/23.90	c ---[684699]---> BDD-cost:    1
23.87/23.90	c ---[684697]---> BDD-cost:    1
23.87/23.90	c ---[684695]---> BDD-cost:    1
23.87/23.90	c ---[684693]---> BDD-cost:    1
23.87/23.90	c ---[684691]---> BDD-cost:    1
23.87/23.90	c ---[684689]---> BDD-cost:    1
23.87/23.90	c ---[684687]---> BDD-cost:    1
23.87/23.90	c ---[684685]---> BDD-cost:    1
23.87/23.90	c ---[684683]---> BDD-cost:    1
23.87/23.90	c ---[684595]---> BDD-cost:    1
23.87/23.90	c ---[684316]---> BDD-cost:    1
23.87/23.90	c ---[684314]---> BDD-cost:    1
23.87/23.90	c ---[684312]---> BDD-cost:    1
23.87/23.90	c ---[684310]---> BDD-cost:    1
23.87/23.90	c ---[684308]---> BDD-cost:    1
23.87/23.90	c ---[684306]---> BDD-cost:    1
23.87/23.90	c ---[684304]---> BDD-cost:    1
23.87/23.90	c ---[684302]---> BDD-cost:    1
23.87/23.90	c ---[684300]---> BDD-cost:    1
23.87/23.90	c ---[684298]---> BDD-cost:    1
23.87/23.90	c ---[684296]---> BDD-cost:    1
23.87/23.90	c ---[684294]---> BDD-cost:    1
23.87/23.90	c ---[684292]---> BDD-cost:    1
23.87/23.90	c ---[684290]---> BDD-cost:    1
23.87/23.90	c ---[684288]---> BDD-cost:    1
23.87/23.90	c ---[684286]---> BDD-cost:    1
23.87/23.90	c ---[684284]---> BDD-cost:    1
23.87/23.90	c ---[684282]---> BDD-cost:    1
23.87/23.90	c ---[684280]---> BDD-cost:    1
23.87/23.90	c ---[684278]---> BDD-cost:    1
23.87/23.90	c ---[684276]---> BDD-cost:    1
23.87/23.90	c ---[684274]---> BDD-cost:    1
23.87/23.90	c ---[684272]---> BDD-cost:    1
23.87/23.90	c ---[684270]---> BDD-cost:    1
23.87/23.90	c ---[684268]---> BDD-cost:    1
23.87/23.90	c ---[684266]---> BDD-cost:    1
23.87/23.90	c ---[684264]---> BDD-cost:    1
23.87/23.90	c ---[684262]---> BDD-cost:    1
23.87/23.90	c ---[684260]---> BDD-cost:    1
23.87/23.90	c ---[684258]---> BDD-cost:    1
23.87/23.90	c ---[684256]---> BDD-cost:    1
23.87/23.90	c ---[684254]---> BDD-cost:    1
23.87/23.90	c ---[684252]---> BDD-cost:    1
23.87/23.90	c ---[684134]---> BDD-cost:    1
23.87/23.90	c ---[683852]---> BDD-cost:    1
23.87/23.90	c ---[683850]---> BDD-cost:    1
23.87/23.90	c ---[683848]---> BDD-cost:    1
23.87/23.90	c ---[683846]---> BDD-cost:    1
23.87/23.90	c ---[683844]---> BDD-cost:    1
23.87/23.90	c ---[683842]---> BDD-cost:    1
23.87/23.90	c ---[683840]---> BDD-cost:    1
23.87/23.90	c ---[683838]---> BDD-cost:    1
23.87/23.90	c ---[683836]---> BDD-cost:    1
23.87/23.90	c ---[683834]---> BDD-cost:    1
23.87/23.90	c ---[683832]---> BDD-cost:    1
23.87/23.90	c ---[683830]---> BDD-cost:    1
23.87/23.90	c ---[683828]---> BDD-cost:    1
23.87/23.90	c ---[683826]---> BDD-cost:    1
23.87/23.90	c ---[683824]---> BDD-cost:    1
23.87/23.90	c ---[683822]---> BDD-cost:    1
23.87/23.90	c ---[683820]---> BDD-cost:    1
23.87/23.90	c ---[683818]---> BDD-cost:    1
23.87/23.90	c ---[683816]---> BDD-cost:    1
23.87/23.90	c ---[683814]---> BDD-cost:    1
23.87/23.90	c ---[683812]---> BDD-cost:    1
23.87/23.90	c ---[683810]---> BDD-cost:    1
23.87/23.90	c ---[683808]---> BDD-cost:    1
23.87/23.90	c ---[683806]---> BDD-cost:    1
23.87/23.90	c ---[683804]---> BDD-cost:    1
23.87/23.90	c ---[683802]---> BDD-cost:    1
23.87/23.90	c ---[683800]---> BDD-cost:    1
23.87/23.90	c ---[683798]---> BDD-cost:    1
23.87/23.90	c ---[683796]---> BDD-cost:    1
23.87/23.90	c ---[683794]---> BDD-cost:    1
23.87/23.90	c ---[683792]---> BDD-cost:    1
23.87/23.90	c ---[683790]---> BDD-cost:    1
23.87/23.90	c ---[683788]---> BDD-cost:    1
23.87/23.90	c ---[683641]---> BDD-cost:    1
23.87/23.90	c ---[683353]---> BDD-cost:    1
23.87/23.90	c ---[683351]---> BDD-cost:    1
23.87/23.90	c ---[683349]---> BDD-cost:    1
23.87/23.90	c ---[683347]---> BDD-cost:    1
23.87/23.90	c ---[683345]---> BDD-cost:    1
23.87/23.90	c ---[683343]---> BDD-cost:    1
23.87/23.90	c ---[683341]---> BDD-cost:    1
23.87/23.90	c ---[683339]---> BDD-cost:    1
23.87/23.90	c ---[683337]---> BDD-cost:    1
23.87/23.90	c ---[683335]---> BDD-cost:    1
23.87/23.90	c ---[683333]---> BDD-cost:    1
23.87/23.90	c ---[683331]---> BDD-cost:    1
23.87/23.90	c ---[683329]---> BDD-cost:    1
23.87/23.90	c ---[683327]---> BDD-cost:    1
23.87/23.90	c ---[683325]---> BDD-cost:    1
23.87/23.90	c ---[683323]---> BDD-cost:    1
23.87/23.90	c ---[683321]---> BDD-cost:    1
23.87/23.90	c ---[683319]---> BDD-cost:    1
23.87/23.90	c ---[683317]---> BDD-cost:    1
23.87/23.90	c ---[683315]---> BDD-cost:    1
23.87/23.90	c ---[683313]---> BDD-cost:    1
23.87/23.90	c ---[683311]---> BDD-cost:    1
23.87/23.90	c ---[683309]---> BDD-cost:    1
23.87/23.90	c ---[683307]---> BDD-cost:    1
23.87/23.90	c ---[683305]---> BDD-cost:    1
23.87/23.90	c ---[683303]---> BDD-cost:    1
23.87/23.90	c ---[683301]---> BDD-cost:    1
23.87/23.90	c ---[683299]---> BDD-cost:    1
23.87/23.90	c ---[683297]---> BDD-cost:    1
23.87/23.90	c ---[683295]---> BDD-cost:    1
23.87/23.90	c ---[683293]---> BDD-cost:    1
23.87/23.90	c ---[683291]---> BDD-cost:    1
23.87/23.90	c ---[683289]---> BDD-cost:    1
23.87/23.90	c ---[683136]---> BDD-cost:    1
23.87/23.90	c ---[682810]---> BDD-cost:    1
23.87/23.90	c ---[682808]---> BDD-cost:    1
23.87/23.90	c ---[682806]---> BDD-cost:    1
23.87/23.90	c ---[682804]---> BDD-cost:    1
23.87/23.90	c ---[682802]---> BDD-cost:    1
23.87/23.90	c ---[682800]---> BDD-cost:    1
23.87/23.90	c ---[682798]---> BDD-cost:    1
23.87/23.90	c ---[682796]---> BDD-cost:    1
23.87/23.90	c ---[682794]---> BDD-cost:    1
23.87/23.90	c ---[682792]---> BDD-cost:    1
23.87/23.90	c ---[682790]---> BDD-cost:    1
23.87/23.90	c ---[682788]---> BDD-cost:    1
23.87/23.90	c ---[682786]---> BDD-cost:    1
23.87/23.90	c ---[682784]---> BDD-cost:    1
23.87/23.90	c ---[682782]---> BDD-cost:    1
23.87/23.90	c ---[682780]---> BDD-cost:    1
23.87/23.90	c ---[682778]---> BDD-cost:    1
23.87/23.90	c ---[682776]---> BDD-cost:    1
23.87/23.90	c ---[682774]---> BDD-cost:    1
23.87/23.90	c ---[682772]---> BDD-cost:    1
23.87/23.90	c ---[682770]---> BDD-cost:    1
23.87/23.90	c ---[682768]---> BDD-cost:    1
23.87/23.90	c ---[682766]---> BDD-cost:    1
23.87/23.90	c ---[682764]---> BDD-cost:    1
23.87/23.90	c ---[682762]---> BDD-cost:    1
23.87/23.90	c ---[682760]---> BDD-cost:    1
23.87/23.90	c ---[682758]---> BDD-cost:    1
23.87/23.90	c ---[682756]---> BDD-cost:    1
23.87/23.90	c ---[682754]---> BDD-cost:    1
23.87/23.90	c ---[682752]---> BDD-cost:    1
23.87/23.90	c ---[682750]---> BDD-cost:    1
23.87/23.90	c ---[682748]---> BDD-cost:    1
23.87/23.90	c ---[682746]---> BDD-cost:    1
23.87/23.90	c ---[682587]---> BDD-cost:    1
23.87/23.90	c ---[681737]---> BDD-cost:    1
23.87/23.90	c ---[681735]---> BDD-cost:    1
23.87/23.90	c ---[681733]---> BDD-cost:    1
23.87/23.90	c ---[681731]---> BDD-cost:    1
23.87/23.90	c ---[681729]---> BDD-cost:    1
23.87/23.90	c ---[681727]---> BDD-cost:    1
23.87/23.90	c ---[681725]---> BDD-cost:    1
23.87/23.90	c ---[681723]---> BDD-cost:    1
23.87/23.90	c ---[681721]---> BDD-cost:    1
23.87/23.90	c ---[681719]---> BDD-cost:    1
23.87/23.90	c ---[681717]---> BDD-cost:    1
23.87/23.90	c ---[681715]---> BDD-cost:    1
23.87/23.90	c ---[681713]---> BDD-cost:    1
23.87/23.90	c ---[681711]---> BDD-cost:    1
23.87/23.90	c ---[681709]---> BDD-cost:    1
23.87/23.90	c ---[681707]---> BDD-cost:    1
23.87/23.90	c ---[681705]---> BDD-cost:    1
23.87/23.90	c ---[681703]---> BDD-cost:    1
23.87/23.90	c ---[681701]---> BDD-cost:    1
23.87/23.90	c ---[681699]---> BDD-cost:    1
23.87/23.90	c ---[681697]---> BDD-cost:    1
23.87/23.90	c ---[681695]---> BDD-cost:    1
23.87/23.90	c ---[681693]---> BDD-cost:    1
23.87/23.90	c ---[681691]---> BDD-cost:    1
23.87/23.90	c ---[681689]---> BDD-cost:    1
23.87/23.90	c ---[681687]---> BDD-cost:    1
23.87/23.90	c ---[681685]---> BDD-cost:    1
23.87/23.90	c ---[681683]---> BDD-cost:    1
23.87/23.90	c ---[681681]---> BDD-cost:    1
23.87/23.90	c ---[681679]---> BDD-cost:    1
23.87/23.90	c ---[681677]---> BDD-cost:    1
23.87/23.90	c ---[681675]---> BDD-cost:    1
23.87/23.90	c ---[681673]---> BDD-cost:    1
23.87/23.90	c ---[681546]---> BDD-cost:    1
23.87/23.90	c ---[681544]---> BDD-cost:    1
23.87/23.90	c ---[681542]---> BDD-cost:    1
23.87/23.90	c ---[681540]---> BDD-cost:    1
23.87/23.90	c ---[681538]---> BDD-cost:    1
23.87/23.90	c ---[681536]---> BDD-cost:    1
23.87/23.91	c ---[681534]---> BDD-cost:    1
23.87/23.91	c ---[681532]---> BDD-cost:    1
23.87/23.91	c ---[681530]---> BDD-cost:    1
23.87/23.91	c ---[681528]---> BDD-cost:    1
23.87/23.91	c ---[681526]---> BDD-cost:    1
23.87/23.91	c ---[681524]---> BDD-cost:    1
23.87/23.91	c ---[681522]---> BDD-cost:    1
23.87/23.91	c ---[681520]---> BDD-cost:    1
23.87/23.91	c ---[681518]---> BDD-cost:    1
23.87/23.91	c ---[681516]---> BDD-cost:    1
23.87/23.91	c ---[681514]---> BDD-cost:    1
23.87/23.91	c ---[681512]---> BDD-cost:    1
23.87/23.91	c ---[681510]---> BDD-cost:    1
23.87/23.91	c ---[681508]---> BDD-cost:    1
23.87/23.91	c ---[681506]---> BDD-cost:    1
23.87/23.91	c ---[681504]---> BDD-cost:    1
23.87/23.91	c ---[681502]---> BDD-cost:    1
23.87/23.91	c ---[681500]---> BDD-cost:    1
23.87/23.91	c ---[681498]---> BDD-cost:    1
23.87/23.91	c ---[681496]---> BDD-cost:    1
23.87/23.91	c ---[681494]---> BDD-cost:    1
23.87/23.91	c ---[681492]---> BDD-cost:    1
23.87/23.91	c ---[681490]---> BDD-cost:    1
23.87/23.91	c ---[681488]---> BDD-cost:    1
23.87/23.91	c ---[681486]---> BDD-cost:    1
23.87/23.91	c ---[681484]---> BDD-cost:    1
23.87/23.91	c ---[681482]---> BDD-cost:    1
23.87/23.91	c ---[681480]---> BDD-cost:    1
23.87/23.91	c ---[681478]---> BDD-cost:    1
23.87/23.91	c ---[681476]---> BDD-cost:    1
23.87/23.91	c ---[681474]---> BDD-cost:    1
23.87/23.91	c ---[681472]---> BDD-cost:    1
23.87/23.91	c ---[681470]---> BDD-cost:    1
23.87/23.91	c ---[681468]---> BDD-cost:    1
23.87/23.91	c ---[681466]---> BDD-cost:    1
23.87/23.91	c ---[681464]---> BDD-cost:    1
23.87/23.91	c ---[681462]---> BDD-cost:    1
23.87/23.91	c ---[681460]---> BDD-cost:    1
23.87/23.91	c ---[681458]---> BDD-cost:    1
23.87/23.91	c ---[681456]---> BDD-cost:    1
23.87/23.91	c ---[681454]---> BDD-cost:    1
23.87/23.91	c ---[681452]---> BDD-cost:    1
23.87/23.91	c ---[681450]---> BDD-cost:    1
23.87/23.91	c ---[681448]---> BDD-cost:    1
23.87/23.91	c ---[681446]---> BDD-cost:    1
23.87/23.91	c ---[681444]---> BDD-cost:    1
23.87/23.91	c ---[681442]---> BDD-cost:    1
23.87/23.91	c ---[681440]---> BDD-cost:    1
23.87/23.91	c ---[681438]---> BDD-cost:    1
23.87/23.91	c ---[681436]---> BDD-cost:    1
23.87/23.91	c ---[681434]---> BDD-cost:    1
23.87/23.91	c ---[681432]---> BDD-cost:    1
23.87/23.91	c ---[681430]---> BDD-cost:    1
23.87/23.91	c ---[681428]---> BDD-cost:    1
23.87/23.91	c ---[681426]---> BDD-cost:    1
23.87/23.91	c ---[681424]---> BDD-cost:    1
23.87/23.91	c ---[681422]---> BDD-cost:    1
23.87/23.91	c ---[681420]---> BDD-cost:    1
23.87/23.91	c ---[681418]---> BDD-cost:    1
23.87/23.91	c ---[681416]---> BDD-cost:    1
23.87/23.91	c ---[681414]---> BDD-cost:    1
23.87/23.91	c ---[681412]---> BDD-cost:    1
23.87/23.91	c ---[681410]---> BDD-cost:    1
23.87/23.91	c ---[681408]---> BDD-cost:    1
23.87/23.91	c ---[681406]---> BDD-cost:    1
23.87/23.91	c ---[681404]---> BDD-cost:    1
23.87/23.91	c ---[681402]---> BDD-cost:    1
23.87/23.91	c ---[681400]---> BDD-cost:    1
23.87/23.91	c ---[681398]---> BDD-cost:    1
23.87/23.91	c ---[681396]---> BDD-cost:    1
23.87/23.91	c ---[681394]---> BDD-cost:    1
23.87/23.91	c ---[681392]---> BDD-cost:    1
23.87/23.91	c ---[681390]---> BDD-cost:    1
23.87/23.91	c ---[681388]---> BDD-cost:    1
23.87/23.91	c ---[681386]---> BDD-cost:    1
23.87/23.91	c ---[681384]---> BDD-cost:    1
23.87/23.91	c ---[681382]---> BDD-cost:    1
23.87/23.91	c ---[681380]---> BDD-cost:    1
23.87/23.91	c ---[681378]---> BDD-cost:    1
23.87/23.91	c ---[681376]---> BDD-cost:    1
23.87/23.91	c ---[681374]---> BDD-cost:    1
23.87/23.91	c ---[681372]---> BDD-cost:    1
23.87/23.91	c ---[681370]---> BDD-cost:    1
23.87/23.91	c ---[681368]---> BDD-cost:    1
23.87/23.91	c ---[681366]---> BDD-cost:    1
23.87/23.91	c ---[681364]---> BDD-cost:    1
23.87/23.91	c ---[681362]---> BDD-cost:    1
23.87/23.91	c ---[681360]---> BDD-cost:    1
23.87/23.91	c ---[681358]---> BDD-cost:    1
23.87/23.91	c ---[681356]---> BDD-cost:    1
23.87/23.91	c ---[681354]---> BDD-cost:    1
23.87/23.91	c ---[681352]---> BDD-cost:    1
23.87/23.91	c ---[681350]---> BDD-cost:    1
23.87/23.91	c ---[681348]---> BDD-cost:    1
23.87/23.91	c ---[681346]---> BDD-cost:    1
23.87/23.91	c ---[681344]---> BDD-cost:    1
23.87/23.91	c ---[681342]---> BDD-cost:    1
23.87/23.91	c ---[681340]---> BDD-cost:    1
23.87/23.91	c ---[681338]---> BDD-cost:    1
23.87/23.91	c ---[681336]---> BDD-cost:    1
23.87/23.91	c ---[681334]---> BDD-cost:    1
23.87/23.91	c ---[681332]---> BDD-cost:    1
23.87/23.91	c ---[681330]---> BDD-cost:    1
23.87/23.91	c ---[681328]---> BDD-cost:    1
23.87/23.91	c ---[681326]---> BDD-cost:    1
23.87/23.91	c ---[681324]---> BDD-cost:    1
23.87/23.91	c ---[681322]---> BDD-cost:    1
23.87/23.91	c ---[681320]---> BDD-cost:    1
23.87/23.91	c ---[681318]---> BDD-cost:    1
23.87/23.91	c ---[681316]---> BDD-cost:    1
23.87/23.91	c ---[681314]---> BDD-cost:    1
23.87/23.91	c ---[681312]---> BDD-cost:    1
23.87/23.91	c ---[681310]---> BDD-cost:    1
23.87/23.91	c ---[681308]---> BDD-cost:    1
23.87/23.91	c ---[681306]---> BDD-cost:    1
23.87/23.91	c ---[681304]---> BDD-cost:    1
23.87/23.91	c ---[681302]---> BDD-cost:    1
23.87/23.91	c ---[681300]---> BDD-cost:    1
23.87/23.91	c ---[681298]---> BDD-cost:    1
23.87/23.91	c ---[681296]---> BDD-cost:    1
23.87/23.91	c ---[681294]---> BDD-cost:    1
23.87/23.91	c ---[681292]---> BDD-cost:    1
23.87/23.91	c ---[681290]---> BDD-cost:    1
23.87/23.91	c ---[681288]---> BDD-cost:    1
23.87/23.91	c ---[681286]---> BDD-cost:    1
23.87/23.91	c ---[681284]---> BDD-cost:    1
23.87/23.91	c ---[681282]---> BDD-cost:    1
23.87/23.91	c ---[681280]---> BDD-cost:    1
23.87/23.91	c ---[681278]---> BDD-cost:    1
23.87/23.91	c ---[681276]---> BDD-cost:    1
23.87/23.91	c ---[681274]---> BDD-cost:    1
23.87/23.91	c ---[681272]---> BDD-cost:    1
23.87/23.91	c ---[681270]---> BDD-cost:    1
23.87/23.91	c ---[681268]---> BDD-cost:    1
23.87/23.91	c ---[681266]---> BDD-cost:    1
23.87/23.91	c ---[681264]---> BDD-cost:    1
23.87/23.91	c ---[681262]---> BDD-cost:    1
23.87/23.91	c ---[681260]---> BDD-cost:    1
23.87/23.91	c ---[681258]---> BDD-cost:    1
23.87/23.91	c ---[681256]---> BDD-cost:    1
23.87/23.91	c ---[681254]---> BDD-cost:    1
23.87/23.91	c ---[681252]---> BDD-cost:    1
23.87/23.91	c ---[681250]---> BDD-cost:    1
23.87/23.91	c ---[681248]---> BDD-cost:    1
23.87/23.91	c ---[681246]---> BDD-cost:    1
23.87/23.91	c ---[681244]---> BDD-cost:    1
23.87/23.91	c ---[681242]---> BDD-cost:    1
23.87/23.91	c ---[681240]---> BDD-cost:    1
23.87/23.91	c ---[681238]---> BDD-cost:    1
23.87/23.91	c ---[681236]---> BDD-cost:    1
23.87/23.91	c ---[681234]---> BDD-cost:    1
23.87/23.91	c ---[681232]---> BDD-cost:    1
23.87/23.91	c ---[681230]---> BDD-cost:    1
23.87/23.91	c ---[681228]---> BDD-cost:    1
23.87/23.91	c ---[681226]---> BDD-cost:    1
23.87/23.91	c ---[681224]---> BDD-cost:    1
23.87/23.91	c ---[681222]---> BDD-cost:    1
23.87/23.91	c ---[681220]---> BDD-cost:    1
23.87/23.91	c ---[681218]---> BDD-cost:    1
23.87/23.91	c ---[681216]---> BDD-cost:    1
23.87/23.91	c ---[681214]---> BDD-cost:    1
23.87/23.91	c ---[681212]---> BDD-cost:    1
23.87/23.91	c ---[681210]---> BDD-cost:    1
23.87/23.91	c ---[681208]---> BDD-cost:    1
23.87/23.91	c ---[681206]---> BDD-cost:    1
23.87/23.91	c ---[681204]---> BDD-cost:    1
23.87/23.91	c ---[681202]---> BDD-cost:    1
23.87/23.91	c ---[681200]---> BDD-cost:    1
23.87/23.91	c ---[681198]---> BDD-cost:    1
23.87/23.91	c ---[681196]---> BDD-cost:    1
23.87/23.91	c ---[681194]---> BDD-cost:    1
23.87/23.91	c ---[681192]---> BDD-cost:    1
23.87/23.91	c ---[681190]---> BDD-cost:    1
23.87/23.91	c ---[681188]---> BDD-cost:    1
23.87/23.91	c ---[681186]---> BDD-cost:    1
23.87/23.91	c ---[681184]---> BDD-cost:    1
23.87/23.91	c ---[681182]---> BDD-cost:    1
23.87/23.91	c ---[681180]---> BDD-cost:    1
23.87/23.91	c ---[681178]---> BDD-cost:    1
23.87/23.91	c ---[681176]---> BDD-cost:    1
23.87/23.91	c ---[681174]---> BDD-cost:    1
23.87/23.91	c ---[681172]---> BDD-cost:    1
23.87/23.91	c ---[681170]---> BDD-cost:    1
23.87/23.91	c ---[681168]---> BDD-cost:    1
23.87/23.91	c ---[681166]---> BDD-cost:    1
23.87/23.91	c ---[681164]---> BDD-cost:    1
23.87/23.91	c ---[681162]---> BDD-cost:    1
23.87/23.91	c ---[681160]---> BDD-cost:    1
23.87/23.91	c ---[681158]---> BDD-cost:    1
23.87/23.91	c ---[681156]---> BDD-cost:    1
23.87/23.91	c ---[681154]---> BDD-cost:    1
23.87/23.91	c ---[681152]---> BDD-cost:    1
23.87/23.91	c ---[681150]---> BDD-cost:    1
23.87/23.91	c ---[681148]---> BDD-cost:    1
23.87/23.91	c ---[681146]---> BDD-cost:    1
23.87/23.91	c ---[681144]---> BDD-cost:    1
23.87/23.91	c ---[681142]---> BDD-cost:    1
23.87/23.91	c ---[681140]---> BDD-cost:    1
23.87/23.91	c ---[681138]---> BDD-cost:    1
23.87/23.91	c ---[681136]---> BDD-cost:    1
23.87/23.91	c ---[681134]---> BDD-cost:    1
23.87/23.91	c ---[681132]---> BDD-cost:    1
23.87/23.91	c ---[681130]---> BDD-cost:    1
23.87/23.91	c ---[681128]---> BDD-cost:    1
23.87/23.91	c ---[681126]---> BDD-cost:    1
23.87/23.91	c ---[681124]---> BDD-cost:    1
23.87/23.91	c ---[681122]---> BDD-cost:    1
23.87/23.91	c ---[681120]---> BDD-cost:    1
23.87/23.91	c ---[681118]---> BDD-cost:    1
23.87/23.91	c ---[681116]---> BDD-cost:    1
23.87/23.91	c ---[681114]---> BDD-cost:    1
23.87/23.91	c ---[681112]---> BDD-cost:    1
23.87/23.91	c ---[681110]---> BDD-cost:    1
23.87/23.91	c ---[681108]---> BDD-cost:    1
23.87/23.91	c ---[681106]---> BDD-cost:    1
23.87/23.91	c ---[681104]---> BDD-cost:    1
23.87/23.91	c ---[681102]---> BDD-cost:    1
23.87/23.91	c ---[681100]---> BDD-cost:    1
23.87/23.91	c ---[681098]---> BDD-cost:    1
23.87/23.91	c ---[681096]---> BDD-cost:    1
23.87/23.91	c ---[681094]---> BDD-cost:    1
23.87/23.91	c ---[681092]---> BDD-cost:    1
23.87/23.91	c ---[681090]---> BDD-cost:    1
23.87/23.91	c ---[681088]---> BDD-cost:    1
23.87/23.91	c ---[681086]---> BDD-cost:    1
23.87/23.91	c ---[681084]---> BDD-cost:    1
23.87/23.91	c ---[681082]---> BDD-cost:    1
23.87/23.91	c ---[681080]---> BDD-cost:    1
23.87/23.91	c ---[681078]---> BDD-cost:    1
23.87/23.91	c ---[681076]---> BDD-cost:    1
23.87/23.91	c ---[681074]---> BDD-cost:    1
23.87/23.91	c ---[681072]---> BDD-cost:    1
23.87/23.91	c ---[681070]---> BDD-cost:    1
23.87/23.91	c ---[681068]---> BDD-cost:    1
23.87/23.91	c ---[681066]---> BDD-cost:    1
23.87/23.91	c ---[681064]---> BDD-cost:    1
23.87/23.91	c ---[681062]---> BDD-cost:    1
23.87/23.91	c ---[681060]---> BDD-cost:    1
23.87/23.91	c ---[681058]---> BDD-cost:    1
23.87/23.91	c ---[681056]---> BDD-cost:    1
23.87/23.91	c ---[681054]---> BDD-cost:    1
23.87/23.91	c ---[681052]---> BDD-cost:    1
23.87/23.91	c ---[681050]---> BDD-cost:    1
23.87/23.91	c ---[681048]---> BDD-cost:    1
23.87/23.91	c ---[681046]---> BDD-cost:    1
23.87/23.91	c ---[681044]---> BDD-cost:    1
23.87/23.91	c ---[681042]---> BDD-cost:    1
23.87/23.91	c ---[681040]---> BDD-cost:    1
23.87/23.91	c ---[681038]---> BDD-cost:    1
23.87/23.91	c ---[681036]---> BDD-cost:    1
23.87/23.91	c ---[681034]---> BDD-cost:    1
23.87/23.91	c ---[681032]---> BDD-cost:    1
23.87/23.91	c ---[681030]---> BDD-cost:    1
23.87/23.91	c ---[681028]---> BDD-cost:    1
23.87/23.91	c ---[681026]---> BDD-cost:    1
23.87/23.91	c ---[681024]---> BDD-cost:    1
23.87/23.91	c ---[681022]---> BDD-cost:    1
23.87/23.91	c ---[681020]---> BDD-cost:    1
23.87/23.91	c ---[681018]---> BDD-cost:    1
23.87/23.91	c ---[681016]---> BDD-cost:    1
23.87/23.91	c ---[681014]---> BDD-cost:    1
23.87/23.91	c ---[681012]---> BDD-cost:    1
23.87/23.91	c ---[681010]---> BDD-cost:    1
23.87/23.91	c ---[681008]---> BDD-cost:    1
23.87/23.91	c ---[681006]---> BDD-cost:    1
23.87/23.91	c ---[681004]---> BDD-cost:    1
23.87/23.91	c ---[681002]---> BDD-cost:    1
23.87/23.91	c ---[681000]---> BDD-cost:    1
23.87/23.91	c ---[680998]---> BDD-cost:    1
23.87/23.91	c ---[680996]---> BDD-cost:    1
23.87/23.91	c ---[680994]---> BDD-cost:    1
23.87/23.91	c ---[680992]---> BDD-cost:    1
23.87/23.91	c ---[680990]---> BDD-cost:    1
23.87/23.91	c ---[680988]---> BDD-cost:    1
23.87/23.91	c ---[680986]---> BDD-cost:    1
23.87/23.91	c ---[680984]---> BDD-cost:    1
23.87/23.91	c ---[680982]---> BDD-cost:    1
23.87/23.91	c ---[680980]---> BDD-cost:    1
23.87/23.91	c ---[680978]---> BDD-cost:    1
23.87/23.91	c ---[680976]---> BDD-cost:    1
23.87/23.91	c ---[680974]---> BDD-cost:    1
23.87/23.91	c ---[680972]---> BDD-cost:    1
23.87/23.91	c ---[680970]---> BDD-cost:    1
23.87/23.91	c ---[680968]---> BDD-cost:    1
23.87/23.91	c ---[680966]---> BDD-cost:    1
23.87/23.91	c ---[680964]---> BDD-cost:    1
23.87/23.91	c ---[680962]---> BDD-cost:    1
23.87/23.91	c ---[680960]---> BDD-cost:    1
23.87/23.91	c ---[680958]---> BDD-cost:    1
23.87/23.91	c ---[680956]---> BDD-cost:    1
23.87/23.91	c ---[680954]---> BDD-cost:    1
23.87/23.91	c ---[680952]---> BDD-cost:    1
23.87/23.91	c ---[680950]---> BDD-cost:    1
23.87/23.92	c ---[680948]---> BDD-cost:    1
23.87/23.92	c ---[680946]---> BDD-cost:    1
23.87/23.92	c ---[680944]---> BDD-cost:    1
23.87/23.92	c ---[680942]---> BDD-cost:    1
23.87/23.92	c ---[680940]---> BDD-cost:    1
23.87/23.92	c ---[680938]---> BDD-cost:    1
23.87/23.92	c ---[680936]---> BDD-cost:    1
23.87/23.92	c ---[680934]---> BDD-cost:    1
23.87/23.92	c ---[680932]---> BDD-cost:    1
23.87/23.92	c ---[680930]---> BDD-cost:    1
23.87/23.92	c ---[680928]---> BDD-cost:    1
23.87/23.92	c ---[680926]---> BDD-cost:    1
23.87/23.92	c ---[680924]---> BDD-cost:    1
23.87/23.92	c ---[680922]---> BDD-cost:    1
23.87/23.92	c ---[680920]---> BDD-cost:    1
23.87/23.92	c ---[680918]---> BDD-cost:    1
23.87/23.92	c ---[680916]---> BDD-cost:    1
23.87/23.92	c ---[680914]---> BDD-cost:    1
23.87/23.92	c ---[680912]---> BDD-cost:    1
23.87/23.92	c ---[680910]---> BDD-cost:    1
23.87/23.92	c ---[680908]---> BDD-cost:    1
23.87/23.92	c ---[680906]---> BDD-cost:    1
23.87/23.92	c ---[680904]---> BDD-cost:    1
23.87/23.92	c ---[680902]---> BDD-cost:    1
23.87/23.92	c ---[680900]---> BDD-cost:    1
23.87/23.92	c ---[680898]---> BDD-cost:    1
23.87/23.92	c ---[680896]---> BDD-cost:    1
23.87/23.92	c ---[680894]---> BDD-cost:    1
23.87/23.92	c ---[680892]---> BDD-cost:    1
23.87/23.92	c ---[680890]---> BDD-cost:    1
23.87/23.92	c ---[680888]---> BDD-cost:    1
23.87/23.92	c ---[680886]---> BDD-cost:    1
23.87/23.92	c ---[680884]---> BDD-cost:    1
23.87/23.92	c ---[680882]---> BDD-cost:    1
23.87/23.92	c ---[680880]---> BDD-cost:    1
23.87/23.92	c ---[680878]---> BDD-cost:    1
23.87/23.92	c ---[680876]---> BDD-cost:    1
23.87/23.92	c ---[680874]---> BDD-cost:    1
23.87/23.92	c ---[680872]---> BDD-cost:    1
23.87/23.92	c ---[680870]---> BDD-cost:    1
23.87/23.92	c ---[680868]---> BDD-cost:    1
23.87/23.92	c ---[680866]---> BDD-cost:    1
23.87/23.92	c ---[680864]---> BDD-cost:    1
23.87/23.92	c ---[680862]---> BDD-cost:    1
23.87/23.92	c ---[680860]---> BDD-cost:    1
23.87/23.92	c ---[680858]---> BDD-cost:    1
23.87/23.92	c ---[680856]---> BDD-cost:    1
23.87/23.92	c ---[680854]---> BDD-cost:    1
23.87/23.92	c ---[680852]---> BDD-cost:    1
23.87/23.92	c ---[680850]---> BDD-cost:    1
23.87/23.92	c ---[680848]---> BDD-cost:    1
23.87/23.92	c ---[680846]---> BDD-cost:    1
23.87/23.92	c ---[680844]---> BDD-cost:    1
23.87/23.92	c ---[680842]---> BDD-cost:    1
23.87/23.92	c ---[680840]---> BDD-cost:    1
23.87/23.92	c ---[680838]---> BDD-cost:    1
23.87/23.92	c ---[680836]---> BDD-cost:    1
23.87/23.92	c ---[680834]---> BDD-cost:    1
23.87/23.92	c ---[680832]---> BDD-cost:    1
23.87/23.92	c ---[680830]---> BDD-cost:    1
23.87/23.92	c ---[680828]---> BDD-cost:    1
23.87/23.92	c ---[680826]---> BDD-cost:    1
23.87/23.92	c ---[680824]---> BDD-cost:    1
23.87/23.92	c ---[680822]---> BDD-cost:    1
23.87/23.92	c ---[680820]---> BDD-cost:    1
23.87/23.92	c ---[680818]---> BDD-cost:    1
23.87/23.92	c ---[680816]---> BDD-cost:    1
23.87/23.92	c ---[680814]---> BDD-cost:    1
23.87/23.92	c ---[680812]---> BDD-cost:    1
23.87/23.92	c ---[680810]---> BDD-cost:    1
23.87/23.92	c ---[680808]---> BDD-cost:    1
23.87/23.92	c ---[680806]---> BDD-cost:    1
23.87/23.92	c ---[680804]---> BDD-cost:    1
23.87/23.92	c ---[680802]---> BDD-cost:    1
23.87/23.92	c ---[680800]---> BDD-cost:    1
23.87/23.92	c ---[680798]---> BDD-cost:    1
23.87/23.92	c ---[680796]---> BDD-cost:    1
23.87/23.92	c ---[680794]---> BDD-cost:    1
23.87/23.92	c ---[680792]---> BDD-cost:    1
23.87/23.92	c ---[680790]---> BDD-cost:    1
23.87/23.92	c ---[680788]---> BDD-cost:    1
23.87/23.92	c ---[680786]---> BDD-cost:    1
23.87/23.92	c ---[680784]---> BDD-cost:    1
23.87/23.92	c ---[680782]---> BDD-cost:    1
23.87/23.92	c ---[680780]---> BDD-cost:    1
23.87/23.92	c ---[680778]---> BDD-cost:    1
23.87/23.92	c ---[680776]---> BDD-cost:    1
23.87/23.92	c ---[680774]---> BDD-cost:    1
23.87/23.92	c ---[680772]---> BDD-cost:    1
23.87/23.92	c ---[680770]---> BDD-cost:    1
23.87/23.92	c ---[680768]---> BDD-cost:    1
23.87/23.92	c ---[680766]---> BDD-cost:    1
23.87/23.92	c ---[680764]---> BDD-cost:    1
23.87/23.92	c ---[680762]---> BDD-cost:    1
23.87/23.92	c ---[680760]---> BDD-cost:    1
23.87/23.92	c ---[680758]---> BDD-cost:    1
23.87/23.92	c ---[680756]---> BDD-cost:    1
23.87/23.92	c ---[680754]---> BDD-cost:    1
23.87/23.92	c ---[680752]---> BDD-cost:    1
23.87/23.92	c ---[680750]---> BDD-cost:    1
23.87/23.92	c ---[680748]---> BDD-cost:    1
23.87/23.92	c ---[680746]---> BDD-cost:    1
23.87/23.92	c ---[680744]---> BDD-cost:    1
23.87/23.92	c ---[680742]---> BDD-cost:    1
23.87/23.92	c ---[680740]---> BDD-cost:    1
23.87/23.92	c ---[680738]---> BDD-cost:    1
23.87/23.92	c ---[680736]---> BDD-cost:    1
23.87/23.92	c ---[680734]---> BDD-cost:    1
23.87/23.92	c ---[680732]---> BDD-cost:    1
23.87/23.92	c ---[680730]---> BDD-cost:    1
23.87/23.92	c ---[680728]---> BDD-cost:    1
23.87/23.92	c ---[680726]---> BDD-cost:    1
23.87/23.92	c ---[680724]---> BDD-cost:    1
23.87/23.92	c ---[680722]---> BDD-cost:    1
23.87/23.92	c ---[680720]---> BDD-cost:    1
23.87/23.92	c ---[680718]---> BDD-cost:    1
23.87/23.92	c ---[680716]---> BDD-cost:    1
23.87/23.92	c ---[680714]---> BDD-cost:    1
23.87/23.92	c ---[680712]---> BDD-cost:    1
23.87/23.92	c ---[680710]---> BDD-cost:    1
23.87/23.92	c ---[680708]---> BDD-cost:    1
23.87/23.92	c ---[680706]---> BDD-cost:    1
23.87/23.92	c ---[680704]---> BDD-cost:    1
23.87/23.92	c ---[680702]---> BDD-cost:    1
23.87/23.92	c ---[680700]---> BDD-cost:    1
23.87/23.92	c ---[680698]---> BDD-cost:    1
23.87/23.92	c ---[680696]---> BDD-cost:    1
23.87/23.92	c ---[680694]---> BDD-cost:    1
23.87/23.92	c ---[680692]---> BDD-cost:    1
23.87/23.92	c ---[680690]---> BDD-cost:    1
23.87/23.92	c ---[680688]---> BDD-cost:    1
23.87/23.92	c ---[680686]---> BDD-cost:    1
23.87/23.92	c ---[680684]---> BDD-cost:    1
23.87/23.92	c ---[680682]---> BDD-cost:    1
23.87/23.92	c ---[680680]---> BDD-cost:    1
23.87/23.92	c ---[680678]---> BDD-cost:    1
23.87/23.92	c ---[680676]---> BDD-cost:    1
23.87/23.92	c ---[680674]---> BDD-cost:    1
23.87/23.92	c ---[680672]---> BDD-cost:    1
23.87/23.92	c ---[680670]---> BDD-cost:    1
23.87/23.92	c ---[680668]---> BDD-cost:    1
23.87/23.92	c ---[680666]---> BDD-cost:    1
23.87/23.92	c ---[680664]---> BDD-cost:    1
23.87/23.92	c ---[680662]---> BDD-cost:    1
23.87/23.92	c ---[680660]---> BDD-cost:    1
23.87/23.92	c ---[680658]---> BDD-cost:    1
23.87/23.92	c ---[680656]---> BDD-cost:    1
23.87/23.92	c ---[680654]---> BDD-cost:    1
23.87/23.92	c ---[680652]---> BDD-cost:    1
23.87/23.92	c ---[680650]---> BDD-cost:    1
23.87/23.92	c ---[680648]---> BDD-cost:    1
23.87/23.92	c ---[680646]---> BDD-cost:    1
23.87/23.92	c ---[680644]---> BDD-cost:    1
23.87/23.92	c ---[680642]---> BDD-cost:    1
23.87/23.92	c ---[680640]---> BDD-cost:    1
23.87/23.92	c ---[680638]---> BDD-cost:    1
23.87/23.92	c ---[680636]---> BDD-cost:    1
23.87/23.92	c ---[680634]---> BDD-cost:    1
23.87/23.92	c ---[680632]---> BDD-cost:    1
23.87/23.92	c ---[680630]---> BDD-cost:    1
23.87/23.92	c ---[680628]---> BDD-cost:    1
23.87/23.92	c ---[680626]---> BDD-cost:    1
23.87/23.92	c ---[680624]---> BDD-cost:    1
23.87/23.92	c ---[680622]---> BDD-cost:    1
23.87/23.92	c ---[680620]---> BDD-cost:    1
23.87/23.92	c ---[680618]---> BDD-cost:    1
23.87/23.92	c ---[680616]---> BDD-cost:    1
23.87/23.92	c ---[680614]---> BDD-cost:    1
23.87/23.92	c ---[680612]---> BDD-cost:    1
23.87/23.92	c ---[680610]---> BDD-cost:    1
23.87/23.92	c ---[680608]---> BDD-cost:    1
23.87/23.92	c ---[680606]---> BDD-cost:    1
23.87/23.92	c ---[680604]---> BDD-cost:    1
23.87/23.92	c ---[680602]---> BDD-cost:    1
23.87/23.92	c ---[680565]---> BDD-cost:    1
23.87/23.92	c ---[680172]---> BDD-cost:    1
23.87/23.92	c ---[680170]---> BDD-cost:    1
23.87/23.92	c ---[680168]---> BDD-cost:    1
23.87/23.92	c ---[680166]---> BDD-cost:    1
23.87/23.92	c ---[680164]---> BDD-cost:    1
23.87/23.92	c ---[680162]---> BDD-cost:    1
23.87/23.92	c ---[680160]---> BDD-cost:    1
23.87/23.92	c ---[680158]---> BDD-cost:    1
23.87/23.92	c ---[680156]---> BDD-cost:    1
23.87/23.92	c ---[680154]---> BDD-cost:    1
23.87/23.92	c ---[680152]---> BDD-cost:    1
23.87/23.92	c ---[680150]---> BDD-cost:    1
23.87/23.92	c ---[680148]---> BDD-cost:    1
23.87/23.92	c ---[680146]---> BDD-cost:    1
23.87/23.92	c ---[680144]---> BDD-cost:    1
23.87/23.92	c ---[680142]---> BDD-cost:    1
23.87/23.92	c ---[680140]---> BDD-cost:    1
23.87/23.92	c ---[680138]---> BDD-cost:    1
23.87/23.92	c ---[680136]---> BDD-cost:    1
23.87/23.92	c ---[680134]---> BDD-cost:    1
23.87/23.92	c ---[680132]---> BDD-cost:    1
23.87/23.92	c ---[680130]---> BDD-cost:    1
23.87/23.92	c ---[680128]---> BDD-cost:    1
23.87/23.92	c ---[680126]---> BDD-cost:    1
23.87/23.92	c ---[680124]---> BDD-cost:    1
23.87/23.92	c ---[680122]---> BDD-cost:    1
23.87/23.92	c ---[680120]---> BDD-cost:    1
23.87/23.92	c ---[680118]---> BDD-cost:    1
23.87/23.92	c ---[680116]---> BDD-cost:    1
23.87/23.92	c ---[680114]---> BDD-cost:    1
23.87/23.92	c ---[680112]---> BDD-cost:    1
23.87/23.92	c ---[680110]---> BDD-cost:    1
23.87/23.92	c ---[680108]---> BDD-cost:    1
23.87/23.92	c ---[669253]---> BDD-cost:    1
23.87/23.92	c ---[641297]---> BDD-cost:    1
23.87/23.92	c ---[620393]---> BDD-cost:    1
23.87/23.92	c ---[592962]---> BDD-cost:    1
23.87/23.92	c ---[563316]---> BDD-cost:    1
23.87/23.92	c ---[547586]---> BDD-cost:    1
23.87/23.92	c ---[547584]---> BDD-cost:    1
23.87/23.92	c ---[547582]---> BDD-cost:    1
23.87/23.92	c ---[547580]---> BDD-cost:    1
23.87/23.92	c ---[547578]---> BDD-cost:    1
23.87/23.92	c ---[547576]---> BDD-cost:    1
23.87/23.92	c ---[547574]---> BDD-cost:    1
23.87/23.92	c ---[547572]---> BDD-cost:    1
23.87/23.92	c ---[547570]---> BDD-cost:    1
23.87/23.92	c ---[547568]---> BDD-cost:    1
23.87/23.96	c ==================================[MINISAT+]==================================
23.87/23.96	c | Conflicts | Original         | Learnt                           | Progress |
23.87/23.96	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
23.87/23.96	c ==============================================================================
23.87/23.96	c |         0 |  686758  1813302 |  228919       0        0     nan |  0.000 % |
24.07/24.17	c |       100 |  686758  1813302 |  251810     100     1035    10.3 |  0.790 % |
24.57/24.63	c |       251 |  686575  1812856 |  276991     250     3484    13.9 |  0.801 % |
24.97/25.09	c |       476 |  686374  1812426 |  304691     474    11381    24.0 |  0.820 % |
25.77/25.86	c |       813 |  686374  1812426 |  335160     811    20159    24.9 |  0.820 % |
26.47/26.57	c |      1319 |  686374  1812426 |  368676    1317    30364    23.1 |  0.820 % |
28.47/28.51	c |      2078 |  686374  1812426 |  405543    2076    54888    26.4 |  0.820 % |
29.67/29.75	c |      3218 |  686374  1812426 |  446098    3216    94696    29.4 |  0.820 % |
37.27/37.38	c |      4926 |  686374  1812426 |  490708    4924   146667    29.8 |  0.820 % |
42.77/42.84	c |      7489 |  685981  1811521 |  539779    7485   361199    48.3 |  0.858 % |
55.16/55.29	c |     11333 |  685981  1811521 |  593756   11329   462553    40.8 |  0.858 % |
63.46/63.58	c |     17100 |  685981  1811521 |  653132   17096   595480    34.8 |  0.858 % |
76.35/76.44	c |     25749 |  685981  1811521 |  718445   25745   902808    35.1 |  0.858 % |
97.15/97.26	c |     38724 |  685981  1811521 |  790290   38720  1318468    34.1 |  0.858 % |
132.55/132.67	c |     58185 |  685981  1811521 |  869319   58181  1732665    29.8 |  0.858 % |
186.43/186.56	c |     87377 |  685981  1811521 |  956251   87373  2544583    29.1 |  0.858 % |
251.51/251.61	c ==============================================================================
251.51/251.61	c UNSATISFIABLE
251.51/251.61	s UNSATISFIABLE
251.51/251.61	c _______________________________________________________________________________
251.51/251.61	c 
251.51/251.61	c restarts              : 16
251.51/251.61	c conflicts             : 123584         (493 /sec)
251.51/251.61	c decisions             : 226139         (903 /sec)
251.51/251.61	c propagations          : 0              (0 /sec)
251.51/251.61	c inspects              : 0              (0 /sec)
251.51/251.61	c CPU time              : 250.495 s
251.51/251.61	c _______________________________________________________________________________

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/419999-1177416841/instance-419999-1177416841.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/node51/watcher-419999-1177416841 -o ROOT/results/node51/solver-419999-1177416841 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/419999-1177416841/minisat+ /tmp/evaluation/419999-1177416841/instance-419999-1177416841.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.85 0.97 0.99 3/64 30317
/proc/meminfo: memFree=1850296/2055920 swapFree=4183264/4192956
[pid=30317] ppid=30315 vsize=1048 CPUtime=0
/proc/30317/stat : 30317 (minisat+) R 30315 30317 29461 0 -1 4194304 110 0 0 0 0 0 0 0 18 0 1 0 96529413 1073152 96 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005330 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30317/statm: 262 96 75 215 0 44 0

[startup+0.099263 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 30317
/proc/meminfo: memFree=1850296/2055920 swapFree=4183264/4192956
[pid=30317] ppid=30315 vsize=2016 CPUtime=0.09
/proc/30317/stat : 30317 (minisat+) R 30315 30317 29461 0 -1 4194304 344 0 0 0 9 0 0 0 18 0 1 0 96529413 2064384 330 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30317/statm: 504 330 75 215 0 286 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2016

[startup+0.101263 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 30317
/proc/meminfo: memFree=1850296/2055920 swapFree=4183264/4192956
[pid=30317] ppid=30315 vsize=2016 CPUtime=0.1
/proc/30317/stat : 30317 (minisat+) R 30315 30317 29461 0 -1 4194304 348 0 0 0 10 0 0 0 18 0 1 0 96529413 2064384 334 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30317/statm: 504 334 75 215 0 286 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2016

[startup+0.301281 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 30317
/proc/meminfo: memFree=1850296/2055920 swapFree=4183264/4192956
[pid=30317] ppid=30315 vsize=3892 CPUtime=0.29
/proc/30317/stat : 30317 (minisat+) R 30315 30317 29461 0 -1 4194304 824 0 0 0 29 0 0 0 19 0 1 0 96529413 3985408 810 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135002787 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30317/statm: 973 810 75 215 0 755 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3892

[startup+0.701317 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 30317
/proc/meminfo: memFree=1850296/2055920 swapFree=4183264/4192956
[pid=30317] ppid=30315 vsize=7360 CPUtime=0.69
/proc/30317/stat : 30317 (minisat+) R 30315 30317 29461 0 -1 4194304 1665 0 0 0 68 1 0 0 22 0 1 0 96529413 7536640 1651 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530449 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30317/statm: 1840 1651 75 215 0 1622 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7360

[startup+1.50139 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 30318
/proc/meminfo: memFree=1841392/2055920 swapFree=4183264/4192956
[pid=30317] ppid=30315 vsize=14252 CPUtime=1.49
/proc/30317/stat : 30317 (minisat+) R 30315 30317 29461 0 -1 4194304 3324 0 0 0 147 2 0 0 25 0 1 0 96529413 14594048 3310 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003912 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30317/statm: 3563 3310 75 215 0 3345 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14252

[startup+3.10153 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 30318
/proc/meminfo: memFree=1832304/2055920 swapFree=4183264/4192956
[pid=30317] ppid=30315 vsize=28060 CPUtime=3.09
/proc/30317/stat : 30317 (minisat+) R 30315 30317 29461 0 -1 4194304 6661 0 0 0 305 4 0 0 25 0 1 0 96529413 28733440 6647 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30317/statm: 7015 6647 75 215 0 6797 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28060

[startup+6.30182 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 30318
/proc/meminfo: memFree=1804472/2055920 swapFree=4183264/4192956
[pid=30317] ppid=30315 vsize=55680 CPUtime=6.29
/proc/30317/stat : 30317 (minisat+) R 30315 30317 29461 0 -1 4194304 13413 0 0 0 622 7 0 0 25 0 1 0 96529413 57016320 13399 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134624124 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30317/statm: 13920 13399 75 215 0 13702 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55680

[startup+12.7014 s]
/proc/loadavg: 0.87 0.97 0.99 2/65 30318
/proc/meminfo: memFree=1748280/2055920 swapFree=4183264/4192956
[pid=30317] ppid=30315 vsize=112004 CPUtime=12.68
/proc/30317/stat : 30317 (minisat+) R 30315 30317 29461 0 -1 4194304 27191 0 0 0 1254 14 0 0 25 0 1 0 96529413 114692096 27094 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30317/statm: 28001 27094 75 215 0 27783 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 112004

[startup+25.5015 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 30318
/proc/meminfo: memFree=1622712/2055920 swapFree=4183264/4192956
[pid=30317] ppid=30315 vsize=231352 CPUtime=25.47
/proc/30317/stat : 30317 (minisat+) R 30315 30317 29461 0 -1 4194304 57809 0 0 0 2445 102 0 0 25 0 1 0 96529413 236904448 56811 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580418 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30317/statm: 57838 56811 106 215 0 57620 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 231352

[startup+51.1018 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 30318
/proc/meminfo: memFree=1622456/2055920 swapFree=4183264/4192956
[pid=30317] ppid=30315 vsize=231352 CPUtime=51.06
/proc/30317/stat : 30317 (minisat+) R 30315 30317 29461 0 -1 4194304 57828 0 0 0 5004 102 0 0 25 0 1 0 96529413 236904448 56830 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580297 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30317/statm: 57838 56830 106 215 0 57620 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 231352

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 30318
/proc/meminfo: memFree=1622072/2055920 swapFree=4183264/4192956
[pid=30317] ppid=30315 vsize=231596 CPUtime=102.26
/proc/30317/stat : 30317 (minisat+) R 30315 30317 29461 0 -1 4194304 57939 0 0 0 10123 103 0 0 25 0 1 0 96529413 237154304 56941 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573382 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30317/statm: 57899 56941 106 215 0 57681 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 231596

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 30318
/proc/meminfo: memFree=1621816/2055920 swapFree=4183264/4192956
[pid=30317] ppid=30315 vsize=231716 CPUtime=162.24
/proc/30317/stat : 30317 (minisat+) R 30315 30317 29461 0 -1 4194304 58006 0 0 0 16121 103 0 0 25 0 1 0 96529413 237277184 57008 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30317/statm: 57929 57008 106 215 0 57711 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 231716

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 30318
/proc/meminfo: memFree=1621176/2055920 swapFree=4183264/4192956
[pid=30317] ppid=30315 vsize=232224 CPUtime=222.21
/proc/30317/stat : 30317 (minisat+) R 30315 30317 29461 0 -1 4194304 58160 0 0 0 22118 103 0 0 25 0 1 0 96529413 237797376 57162 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30317/statm: 58056 57162 106 215 0 57838 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 232224

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

[startup+230.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 30318
/proc/meminfo: memFree=1621112/2055920 swapFree=4183264/4192956
[pid=30317] ppid=30315 vsize=232304 CPUtime=230.21
/proc/30317/stat : 30317 (minisat+) R 30315 30317 29461 0 -1 4194304 58179 0 0 0 22918 103 0 0 25 0 1 0 96529413 237879296 57181 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30317/statm: 58076 57181 106 215 0 57858 0
Current children cumulated CPU time (s) 230.21
Current children cumulated vsize (KiB) 232304

[startup+243.105 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 30318
/proc/meminfo: memFree=1621048/2055920 swapFree=4183264/4192956
[pid=30317] ppid=30315 vsize=232304 CPUtime=243.01
/proc/30317/stat : 30317 (minisat+) R 30315 30317 29461 0 -1 4194304 58186 0 0 0 24198 103 0 0 25 0 1 0 96529413 237879296 57188 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580825 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30317/statm: 58076 57188 106 215 0 57858 0
Current children cumulated CPU time (s) 243.01
Current children cumulated vsize (KiB) 232304

[startup+246.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 30318
/proc/meminfo: memFree=1621048/2055920 swapFree=4183264/4192956
[pid=30317] ppid=30315 vsize=232304 CPUtime=246.21
/proc/30317/stat : 30317 (minisat+) R 30315 30317 29461 0 -1 4194304 58186 0 0 0 24518 103 0 0 25 0 1 0 96529413 237879296 57188 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580297 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30317/statm: 58076 57188 106 215 0 57858 0
Current children cumulated CPU time (s) 246.21
Current children cumulated vsize (KiB) 232304

[startup+249.502 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 30318
/proc/meminfo: memFree=1621048/2055920 swapFree=4183264/4192956
[pid=30317] ppid=30315 vsize=232304 CPUtime=249.41
/proc/30317/stat : 30317 (minisat+) R 30315 30317 29461 0 -1 4194304 58186 0 0 0 24838 103 0 0 25 0 1 0 96529413 237879296 57188 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30317/statm: 58076 57188 106 215 0 57858 0
Current children cumulated CPU time (s) 249.41
Current children cumulated vsize (KiB) 232304

[startup+250.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 30318
/proc/meminfo: memFree=1621048/2055920 swapFree=4183264/4192956
[pid=30317] ppid=30315 vsize=232304 CPUtime=250.21
/proc/30317/stat : 30317 (minisat+) R 30315 30317 29461 0 -1 4194304 58186 0 0 0 24918 103 0 0 25 0 1 0 96529413 237879296 57188 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30317/statm: 58076 57188 106 215 0 57858 0
Current children cumulated CPU time (s) 250.21
Current children cumulated vsize (KiB) 232304

[startup+251.102 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 30318
/proc/meminfo: memFree=1621048/2055920 swapFree=4183264/4192956
[pid=30317] ppid=30315 vsize=232304 CPUtime=251.01
/proc/30317/stat : 30317 (minisat+) R 30315 30317 29461 0 -1 4194304 58186 0 0 0 24998 103 0 0 25 0 1 0 96529413 237879296 57188 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30317/statm: 58076 57188 106 215 0 57858 0
Current children cumulated CPU time (s) 251.01
Current children cumulated vsize (KiB) 232304

[startup+251.502 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 30318
/proc/meminfo: memFree=1621048/2055920 swapFree=4183264/4192956
[pid=30317] ppid=30315 vsize=232304 CPUtime=251.41
/proc/30317/stat : 30317 (minisat+) R 30315 30317 29461 0 -1 4194304 58186 0 0 0 25038 103 0 0 25 0 1 0 96529413 237879296 57188 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30317/statm: 58076 57188 106 215 0 57858 0
Current children cumulated CPU time (s) 251.41
Current children cumulated vsize (KiB) 232304

[startup+251.602 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 30318
/proc/meminfo: memFree=1621048/2055920 swapFree=4183264/4192956
[pid=30317] ppid=30315 vsize=232304 CPUtime=251.51
/proc/30317/stat : 30317 (minisat+) R 30315 30317 29461 0 -1 4194304 58186 0 0 0 25048 103 0 0 25 0 1 0 96529413 237879296 57188 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569822 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30317/statm: 58076 57188 106 215 0 57858 0
Current children cumulated CPU time (s) 251.51
Current children cumulated vsize (KiB) 232304

Child status: 20
Real time (s): 251.652
CPU time (s): 251.569
CPU user time (s): 250.495
CPU system time (s): 1.07384
CPU usage (%): 99.967
Max. virtual memory (cumulated for all children) (KiB): 232304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.495
system time used= 1.07384
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58189
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= 4412
involuntary context switches= 626

runsolver used 0.78788 second user time and 1.57476 second system time

The end

Launcher Data (download as text)

Begin job on node51 on Tue Apr 24 12:14:03 UTC 2007

IDJOB= 419999
IDBENCH= 47814
IDSOLVER= 156
FILE ID= node51/419999-1177416841

PBS_JOBID= 4675647

Free space on /tmp= 66438 MiB

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

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  541cbd85a9623e398f36dc9d1dae3b17

RANDOM SEED= 373131929

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node51.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.223
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.223
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:       1850704 kB
Buffers:          4644 kB
Cached:         135864 kB
SwapCached:       3856 kB
Active:          45124 kB
Inactive:       105796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1850704 kB
SwapTotal:     4192956 kB
SwapFree:      4183264 kB
Dirty:           24164 kB
Writeback:           0 kB
Mapped:          15884 kB
Slab:            40344 kB
Committed_AS:  3756196 kB
PageTables:       1412 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= 66438 MiB

End job on node51 on Tue Apr 24 12:18:15 UTC 2007