Trace number 420069

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 1227.89 1228.3

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/
industrial/palacios/uts/uts-l06-ipc5-h32-unknown.opb
MD5SUM1d8b4bc6cd59d6ee3856cf9cca980ee0
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 benchmark1227.89
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables161116
Total number of constraints800163
Number of constraints which are clauses800163
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...
25.39/25.48	c Converting 799863 PB-constraints to clauses...
25.58/25.61	c   -- Unit propagations: (none)
25.58/25.62	c   -- Detecting intervals from adjacent constraints: ##########################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################
25.58/25.69	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
27.54/27.70	c ---[799816]---> BDD-cost:    1
27.54/27.70	c ---[799805]---> BDD-cost:    1
27.54/27.70	c ---[799803]---> BDD-cost:    1
27.54/27.70	c ---[799801]---> BDD-cost:    1
27.64/27.70	c ---[799799]---> BDD-cost:    1
27.64/27.70	c ---[799797]---> BDD-cost:    1
27.64/27.70	c ---[799795]---> BDD-cost:    1
27.64/27.70	c ---[799793]---> BDD-cost:    1
27.64/27.70	c ---[799791]---> BDD-cost:    1
27.64/27.70	c ---[799789]---> BDD-cost:    1
27.64/27.70	c ---[799787]---> BDD-cost:    1
27.64/27.70	c ---[799785]---> BDD-cost:    1
27.64/27.70	c ---[799783]---> BDD-cost:    1
27.64/27.70	c ---[799781]---> BDD-cost:    1
27.64/27.70	c ---[799779]---> BDD-cost:    1
27.64/27.70	c ---[799777]---> BDD-cost:    1
27.64/27.70	c ---[799775]---> BDD-cost:    1
27.64/27.70	c ---[799773]---> BDD-cost:    1
27.64/27.70	c ---[799771]---> BDD-cost:    1
27.64/27.70	c ---[799769]---> BDD-cost:    1
27.64/27.70	c ---[799767]---> BDD-cost:    1
27.64/27.70	c ---[799765]---> BDD-cost:    1
27.64/27.70	c ---[799763]---> BDD-cost:    1
27.64/27.70	c ---[799761]---> BDD-cost:    1
27.64/27.70	c ---[799759]---> BDD-cost:    1
27.64/27.70	c ---[799757]---> BDD-cost:    1
27.64/27.70	c ---[799755]---> BDD-cost:    1
27.64/27.70	c ---[799753]---> BDD-cost:    1
27.64/27.70	c ---[799751]---> BDD-cost:    1
27.64/27.70	c ---[799749]---> BDD-cost:    1
27.64/27.70	c ---[799747]---> BDD-cost:    1
27.64/27.70	c ---[799745]---> BDD-cost:    1
27.64/27.70	c ---[799743]---> BDD-cost:    1
27.64/27.70	c ---[799741]---> BDD-cost:    1
27.64/27.70	c ---[799695]---> BDD-cost:    1
27.64/27.70	c ---[799647]---> BDD-cost:    1
27.64/27.70	c ---[799645]---> BDD-cost:    1
27.64/27.70	c ---[799643]---> BDD-cost:    1
27.64/27.70	c ---[799641]---> BDD-cost:    1
27.64/27.70	c ---[799639]---> BDD-cost:    1
27.64/27.70	c ---[799637]---> BDD-cost:    1
27.64/27.70	c ---[799635]---> BDD-cost:    1
27.64/27.70	c ---[799633]---> BDD-cost:    1
27.64/27.70	c ---[799631]---> BDD-cost:    1
27.64/27.70	c ---[799629]---> BDD-cost:    1
27.64/27.70	c ---[799627]---> BDD-cost:    1
27.64/27.70	c ---[799625]---> BDD-cost:    1
27.64/27.70	c ---[799623]---> BDD-cost:    1
27.64/27.70	c ---[799621]---> BDD-cost:    1
27.64/27.70	c ---[799619]---> BDD-cost:    1
27.64/27.70	c ---[799617]---> BDD-cost:    1
27.64/27.70	c ---[799615]---> BDD-cost:    1
27.64/27.70	c ---[799613]---> BDD-cost:    1
27.64/27.70	c ---[799611]---> BDD-cost:    1
27.64/27.70	c ---[799609]---> BDD-cost:    1
27.64/27.70	c ---[799607]---> BDD-cost:    1
27.64/27.70	c ---[799605]---> BDD-cost:    1
27.64/27.70	c ---[799603]---> BDD-cost:    1
27.64/27.70	c ---[799601]---> BDD-cost:    1
27.64/27.70	c ---[799599]---> BDD-cost:    1
27.64/27.70	c ---[799597]---> BDD-cost:    1
27.64/27.70	c ---[799595]---> BDD-cost:    1
27.64/27.70	c ---[799593]---> BDD-cost:    1
27.64/27.70	c ---[799591]---> BDD-cost:    1
27.64/27.70	c ---[799589]---> BDD-cost:    1
27.64/27.70	c ---[799587]---> BDD-cost:    1
27.64/27.70	c ---[799585]---> BDD-cost:    1
27.64/27.70	c ---[799583]---> BDD-cost:    1
27.64/27.70	c ---[799531]---> BDD-cost:    1
27.64/27.70	c ---[799447]---> BDD-cost:    1
27.64/27.70	c ---[799445]---> BDD-cost:    1
27.64/27.70	c ---[799443]---> BDD-cost:    1
27.64/27.70	c ---[799441]---> BDD-cost:    1
27.64/27.70	c ---[799439]---> BDD-cost:    1
27.64/27.70	c ---[799437]---> BDD-cost:    1
27.64/27.70	c ---[799435]---> BDD-cost:    1
27.64/27.70	c ---[799433]---> BDD-cost:    1
27.64/27.70	c ---[799431]---> BDD-cost:    1
27.64/27.70	c ---[799429]---> BDD-cost:    1
27.64/27.70	c ---[799427]---> BDD-cost:    1
27.64/27.70	c ---[799425]---> BDD-cost:    1
27.64/27.70	c ---[799423]---> BDD-cost:    1
27.64/27.70	c ---[799421]---> BDD-cost:    1
27.64/27.70	c ---[799419]---> BDD-cost:    1
27.64/27.70	c ---[799417]---> BDD-cost:    1
27.64/27.70	c ---[799415]---> BDD-cost:    1
27.64/27.70	c ---[799413]---> BDD-cost:    1
27.64/27.70	c ---[799411]---> BDD-cost:    1
27.64/27.70	c ---[799409]---> BDD-cost:    1
27.64/27.70	c ---[799407]---> BDD-cost:    1
27.64/27.70	c ---[799405]---> BDD-cost:    1
27.64/27.70	c ---[799403]---> BDD-cost:    1
27.64/27.70	c ---[799401]---> BDD-cost:    1
27.64/27.70	c ---[799399]---> BDD-cost:    1
27.64/27.70	c ---[799397]---> BDD-cost:    1
27.64/27.70	c ---[799395]---> BDD-cost:    1
27.64/27.70	c ---[799393]---> BDD-cost:    1
27.64/27.70	c ---[799391]---> BDD-cost:    1
27.64/27.70	c ---[799389]---> BDD-cost:    1
27.64/27.70	c ---[799387]---> BDD-cost:    1
27.64/27.70	c ---[799385]---> BDD-cost:    1
27.64/27.70	c ---[799383]---> BDD-cost:    1
27.64/27.70	c ---[799325]---> BDD-cost:    1
27.64/27.70	c ---[799206]---> BDD-cost:    1
27.64/27.70	c ---[799204]---> BDD-cost:    1
27.64/27.70	c ---[799202]---> BDD-cost:    1
27.64/27.70	c ---[799200]---> BDD-cost:    1
27.64/27.70	c ---[799198]---> BDD-cost:    1
27.64/27.70	c ---[799196]---> BDD-cost:    1
27.64/27.70	c ---[799194]---> BDD-cost:    1
27.64/27.70	c ---[799192]---> BDD-cost:    1
27.64/27.70	c ---[799190]---> BDD-cost:    1
27.64/27.70	c ---[799188]---> BDD-cost:    1
27.64/27.70	c ---[799186]---> BDD-cost:    1
27.64/27.70	c ---[799184]---> BDD-cost:    1
27.64/27.70	c ---[799182]---> BDD-cost:    1
27.64/27.70	c ---[799180]---> BDD-cost:    1
27.64/27.70	c ---[799178]---> BDD-cost:    1
27.64/27.70	c ---[799176]---> BDD-cost:    1
27.64/27.70	c ---[799174]---> BDD-cost:    1
27.64/27.70	c ---[799172]---> BDD-cost:    1
27.64/27.70	c ---[799170]---> BDD-cost:    1
27.64/27.70	c ---[799168]---> BDD-cost:    1
27.64/27.70	c ---[799166]---> BDD-cost:    1
27.64/27.70	c ---[799164]---> BDD-cost:    1
27.64/27.70	c ---[799162]---> BDD-cost:    1
27.64/27.70	c ---[799160]---> BDD-cost:    1
27.64/27.70	c ---[799158]---> BDD-cost:    1
27.64/27.70	c ---[799156]---> BDD-cost:    1
27.64/27.70	c ---[799154]---> BDD-cost:    1
27.64/27.70	c ---[799152]---> BDD-cost:    1
27.64/27.70	c ---[799150]---> BDD-cost:    1
27.64/27.70	c ---[799148]---> BDD-cost:    1
27.64/27.70	c ---[799146]---> BDD-cost:    1
27.64/27.70	c ---[799144]---> BDD-cost:    1
27.64/27.70	c ---[799142]---> BDD-cost:    1
27.64/27.70	c ---[799078]---> BDD-cost:    1
27.64/27.70	c ---[798925]---> BDD-cost:    1
27.64/27.70	c ---[798923]---> BDD-cost:    1
27.64/27.70	c ---[798921]---> BDD-cost:    1
27.64/27.70	c ---[798919]---> BDD-cost:    1
27.64/27.70	c ---[798917]---> BDD-cost:    1
27.64/27.70	c ---[798915]---> BDD-cost:    1
27.64/27.70	c ---[798913]---> BDD-cost:    1
27.64/27.70	c ---[798911]---> BDD-cost:    1
27.64/27.70	c ---[798909]---> BDD-cost:    1
27.64/27.70	c ---[798907]---> BDD-cost:    1
27.64/27.70	c ---[798905]---> BDD-cost:    1
27.64/27.70	c ---[798903]---> BDD-cost:    1
27.64/27.70	c ---[798901]---> BDD-cost:    1
27.64/27.70	c ---[798899]---> BDD-cost:    1
27.64/27.70	c ---[798897]---> BDD-cost:    1
27.64/27.70	c ---[798895]---> BDD-cost:    1
27.64/27.70	c ---[798893]---> BDD-cost:    1
27.64/27.70	c ---[798891]---> BDD-cost:    1
27.64/27.70	c ---[798889]---> BDD-cost:    1
27.64/27.70	c ---[798887]---> BDD-cost:    1
27.64/27.70	c ---[798885]---> BDD-cost:    1
27.64/27.70	c ---[798883]---> BDD-cost:    1
27.64/27.70	c ---[798881]---> BDD-cost:    1
27.64/27.70	c ---[798879]---> BDD-cost:    1
27.64/27.70	c ---[798877]---> BDD-cost:    1
27.64/27.70	c ---[798875]---> BDD-cost:    1
27.64/27.70	c ---[798873]---> BDD-cost:    1
27.64/27.70	c ---[798871]---> BDD-cost:    1
27.64/27.70	c ---[798869]---> BDD-cost:    1
27.64/27.70	c ---[798867]---> BDD-cost:    1
27.64/27.70	c ---[798865]---> BDD-cost:    1
27.64/27.70	c ---[798863]---> BDD-cost:    1
27.64/27.70	c ---[798861]---> BDD-cost:    1
27.64/27.70	c ---[798791]---> BDD-cost:    1
27.64/27.70	c ---[798605]---> BDD-cost:    1
27.64/27.70	c ---[798603]---> BDD-cost:    1
27.64/27.70	c ---[798601]---> BDD-cost:    1
27.64/27.70	c ---[798599]---> BDD-cost:    1
27.64/27.70	c ---[798597]---> BDD-cost:    1
27.64/27.70	c ---[798595]---> BDD-cost:    1
27.64/27.70	c ---[798593]---> BDD-cost:    1
27.64/27.70	c ---[798591]---> BDD-cost:    1
27.64/27.70	c ---[798589]---> BDD-cost:    1
27.64/27.70	c ---[798587]---> BDD-cost:    1
27.64/27.70	c ---[798585]---> BDD-cost:    1
27.64/27.70	c ---[798583]---> BDD-cost:    1
27.64/27.70	c ---[798581]---> BDD-cost:    1
27.64/27.70	c ---[798579]---> BDD-cost:    1
27.64/27.70	c ---[798577]---> BDD-cost:    1
27.64/27.70	c ---[798575]---> BDD-cost:    1
27.64/27.70	c ---[798573]---> BDD-cost:    1
27.64/27.70	c ---[798571]---> BDD-cost:    1
27.64/27.70	c ---[798569]---> BDD-cost:    1
27.64/27.70	c ---[798567]---> BDD-cost:    1
27.64/27.70	c ---[798565]---> BDD-cost:    1
27.64/27.70	c ---[798563]---> BDD-cost:    1
27.64/27.70	c ---[798561]---> BDD-cost:    1
27.64/27.70	c ---[798559]---> BDD-cost:    1
27.64/27.70	c ---[798557]---> BDD-cost:    1
27.64/27.70	c ---[798555]---> BDD-cost:    1
27.64/27.70	c ---[798553]---> BDD-cost:    1
27.64/27.70	c ---[798551]---> BDD-cost:    1
27.64/27.70	c ---[798549]---> BDD-cost:    1
27.64/27.70	c ---[798547]---> BDD-cost:    1
27.64/27.70	c ---[798545]---> BDD-cost:    1
27.64/27.70	c ---[798543]---> BDD-cost:    1
27.64/27.70	c ---[798541]---> BDD-cost:    1
27.64/27.70	c ---[798465]---> BDD-cost:    1
27.64/27.70	c ---[798247]---> BDD-cost:    1
27.64/27.70	c ---[798245]---> BDD-cost:    1
27.64/27.70	c ---[798243]---> BDD-cost:    1
27.64/27.70	c ---[798241]---> BDD-cost:    1
27.64/27.70	c ---[798239]---> BDD-cost:    1
27.64/27.70	c ---[798237]---> BDD-cost:    1
27.64/27.70	c ---[798235]---> BDD-cost:    1
27.64/27.70	c ---[798233]---> BDD-cost:    1
27.64/27.70	c ---[798231]---> BDD-cost:    1
27.64/27.70	c ---[798229]---> BDD-cost:    1
27.64/27.70	c ---[798227]---> BDD-cost:    1
27.64/27.70	c ---[798225]---> BDD-cost:    1
27.64/27.70	c ---[798223]---> BDD-cost:    1
27.64/27.70	c ---[798221]---> BDD-cost:    1
27.64/27.70	c ---[798219]---> BDD-cost:    1
27.64/27.70	c ---[798217]---> BDD-cost:    1
27.64/27.70	c ---[798215]---> BDD-cost:    1
27.64/27.70	c ---[798213]---> BDD-cost:    1
27.64/27.70	c ---[798211]---> BDD-cost:    1
27.64/27.70	c ---[798209]---> BDD-cost:    1
27.64/27.70	c ---[798207]---> BDD-cost:    1
27.64/27.70	c ---[798205]---> BDD-cost:    1
27.64/27.70	c ---[798203]---> BDD-cost:    1
27.64/27.70	c ---[798201]---> BDD-cost:    1
27.64/27.70	c ---[798199]---> BDD-cost:    1
27.64/27.70	c ---[798197]---> BDD-cost:    1
27.64/27.70	c ---[798195]---> BDD-cost:    1
27.64/27.70	c ---[798193]---> BDD-cost:    1
27.64/27.70	c ---[798191]---> BDD-cost:    1
27.64/27.70	c ---[798189]---> BDD-cost:    1
27.64/27.70	c ---[798187]---> BDD-cost:    1
27.64/27.70	c ---[798185]---> BDD-cost:    1
27.64/27.70	c ---[798183]---> BDD-cost:    1
27.64/27.70	c ---[798101]---> BDD-cost:    1
27.64/27.70	c ---[797852]---> BDD-cost:    1
27.64/27.70	c ---[797850]---> BDD-cost:    1
27.64/27.70	c ---[797848]---> BDD-cost:    1
27.64/27.70	c ---[797846]---> BDD-cost:    1
27.64/27.70	c ---[797844]---> BDD-cost:    1
27.64/27.70	c ---[797842]---> BDD-cost:    1
27.64/27.71	c ---[797840]---> BDD-cost:    1
27.64/27.71	c ---[797838]---> BDD-cost:    1
27.64/27.71	c ---[797836]---> BDD-cost:    1
27.64/27.71	c ---[797834]---> BDD-cost:    1
27.64/27.71	c ---[797832]---> BDD-cost:    1
27.64/27.71	c ---[797830]---> BDD-cost:    1
27.64/27.71	c ---[797828]---> BDD-cost:    1
27.64/27.71	c ---[797826]---> BDD-cost:    1
27.64/27.71	c ---[797824]---> BDD-cost:    1
27.64/27.71	c ---[797822]---> BDD-cost:    1
27.64/27.71	c ---[797820]---> BDD-cost:    1
27.64/27.71	c ---[797818]---> BDD-cost:    1
27.64/27.71	c ---[797816]---> BDD-cost:    1
27.64/27.71	c ---[797814]---> BDD-cost:    1
27.64/27.71	c ---[797812]---> BDD-cost:    1
27.64/27.71	c ---[797810]---> BDD-cost:    1
27.64/27.71	c ---[797808]---> BDD-cost:    1
27.64/27.71	c ---[797806]---> BDD-cost:    1
27.64/27.71	c ---[797804]---> BDD-cost:    1
27.64/27.71	c ---[797802]---> BDD-cost:    1
27.64/27.71	c ---[797800]---> BDD-cost:    1
27.64/27.71	c ---[797798]---> BDD-cost:    1
27.64/27.71	c ---[797796]---> BDD-cost:    1
27.64/27.71	c ---[797794]---> BDD-cost:    1
27.64/27.71	c ---[797792]---> BDD-cost:    1
27.64/27.71	c ---[797790]---> BDD-cost:    1
27.64/27.71	c ---[797788]---> BDD-cost:    1
27.64/27.71	c ---[797700]---> BDD-cost:    1
27.64/27.71	c ---[797421]---> BDD-cost:    1
27.64/27.71	c ---[797419]---> BDD-cost:    1
27.64/27.71	c ---[797417]---> BDD-cost:    1
27.64/27.71	c ---[797415]---> BDD-cost:    1
27.64/27.71	c ---[797413]---> BDD-cost:    1
27.64/27.71	c ---[797411]---> BDD-cost:    1
27.64/27.71	c ---[797409]---> BDD-cost:    1
27.64/27.71	c ---[797407]---> BDD-cost:    1
27.64/27.71	c ---[797405]---> BDD-cost:    1
27.64/27.71	c ---[797403]---> BDD-cost:    1
27.64/27.71	c ---[797401]---> BDD-cost:    1
27.64/27.71	c ---[797399]---> BDD-cost:    1
27.64/27.71	c ---[797397]---> BDD-cost:    1
27.64/27.71	c ---[797395]---> BDD-cost:    1
27.64/27.71	c ---[797393]---> BDD-cost:    1
27.64/27.71	c ---[797391]---> BDD-cost:    1
27.64/27.71	c ---[797389]---> BDD-cost:    1
27.64/27.71	c ---[797387]---> BDD-cost:    1
27.64/27.71	c ---[797385]---> BDD-cost:    1
27.64/27.71	c ---[797383]---> BDD-cost:    1
27.64/27.71	c ---[797381]---> BDD-cost:    1
27.64/27.71	c ---[797379]---> BDD-cost:    1
27.64/27.71	c ---[797377]---> BDD-cost:    1
27.64/27.71	c ---[797375]---> BDD-cost:    1
27.64/27.71	c ---[797373]---> BDD-cost:    1
27.64/27.71	c ---[797371]---> BDD-cost:    1
27.64/27.71	c ---[797369]---> BDD-cost:    1
27.64/27.71	c ---[797367]---> BDD-cost:    1
27.64/27.71	c ---[797365]---> BDD-cost:    1
27.64/27.71	c ---[797363]---> BDD-cost:    1
27.64/27.71	c ---[797361]---> BDD-cost:    1
27.64/27.71	c ---[797359]---> BDD-cost:    1
27.64/27.71	c ---[797357]---> BDD-cost:    1
27.64/27.71	c ---[797239]---> BDD-cost:    1
27.64/27.71	c ---[796957]---> BDD-cost:    1
27.64/27.71	c ---[796955]---> BDD-cost:    1
27.64/27.71	c ---[796953]---> BDD-cost:    1
27.64/27.71	c ---[796951]---> BDD-cost:    1
27.64/27.71	c ---[796949]---> BDD-cost:    1
27.64/27.71	c ---[796947]---> BDD-cost:    1
27.64/27.71	c ---[796945]---> BDD-cost:    1
27.64/27.71	c ---[796943]---> BDD-cost:    1
27.64/27.71	c ---[796941]---> BDD-cost:    1
27.64/27.71	c ---[796939]---> BDD-cost:    1
27.64/27.71	c ---[796937]---> BDD-cost:    1
27.64/27.71	c ---[796935]---> BDD-cost:    1
27.64/27.71	c ---[796933]---> BDD-cost:    1
27.64/27.71	c ---[796931]---> BDD-cost:    1
27.64/27.71	c ---[796929]---> BDD-cost:    1
27.64/27.71	c ---[796927]---> BDD-cost:    1
27.64/27.71	c ---[796925]---> BDD-cost:    1
27.64/27.71	c ---[796923]---> BDD-cost:    1
27.64/27.71	c ---[796921]---> BDD-cost:    1
27.64/27.71	c ---[796919]---> BDD-cost:    1
27.64/27.71	c ---[796917]---> BDD-cost:    1
27.64/27.71	c ---[796915]---> BDD-cost:    1
27.64/27.71	c ---[796913]---> BDD-cost:    1
27.64/27.71	c ---[796911]---> BDD-cost:    1
27.64/27.71	c ---[796909]---> BDD-cost:    1
27.64/27.71	c ---[796907]---> BDD-cost:    1
27.64/27.71	c ---[796905]---> BDD-cost:    1
27.64/27.71	c ---[796903]---> BDD-cost:    1
27.64/27.71	c ---[796901]---> BDD-cost:    1
27.64/27.71	c ---[796899]---> BDD-cost:    1
27.64/27.71	c ---[796897]---> BDD-cost:    1
27.64/27.71	c ---[796895]---> BDD-cost:    1
27.64/27.71	c ---[796893]---> BDD-cost:    1
27.64/27.71	c ---[796746]---> BDD-cost:    1
27.64/27.71	c ---[796458]---> BDD-cost:    1
27.64/27.71	c ---[796456]---> BDD-cost:    1
27.64/27.71	c ---[796454]---> BDD-cost:    1
27.64/27.71	c ---[796452]---> BDD-cost:    1
27.64/27.71	c ---[796450]---> BDD-cost:    1
27.64/27.71	c ---[796448]---> BDD-cost:    1
27.64/27.71	c ---[796446]---> BDD-cost:    1
27.64/27.71	c ---[796444]---> BDD-cost:    1
27.64/27.71	c ---[796442]---> BDD-cost:    1
27.64/27.71	c ---[796440]---> BDD-cost:    1
27.64/27.71	c ---[796438]---> BDD-cost:    1
27.64/27.71	c ---[796436]---> BDD-cost:    1
27.64/27.71	c ---[796434]---> BDD-cost:    1
27.64/27.71	c ---[796432]---> BDD-cost:    1
27.64/27.71	c ---[796430]---> BDD-cost:    1
27.64/27.71	c ---[796428]---> BDD-cost:    1
27.64/27.71	c ---[796426]---> BDD-cost:    1
27.64/27.71	c ---[796424]---> BDD-cost:    1
27.64/27.71	c ---[796422]---> BDD-cost:    1
27.64/27.71	c ---[796420]---> BDD-cost:    1
27.64/27.71	c ---[796418]---> BDD-cost:    1
27.64/27.71	c ---[796416]---> BDD-cost:    1
27.64/27.71	c ---[796414]---> BDD-cost:    1
27.64/27.71	c ---[796412]---> BDD-cost:    1
27.64/27.71	c ---[796410]---> BDD-cost:    1
27.64/27.71	c ---[796408]---> BDD-cost:    1
27.64/27.71	c ---[796406]---> BDD-cost:    1
27.64/27.71	c ---[796404]---> BDD-cost:    1
27.64/27.71	c ---[796402]---> BDD-cost:    1
27.64/27.71	c ---[796400]---> BDD-cost:    1
27.64/27.71	c ---[796398]---> BDD-cost:    1
27.64/27.71	c ---[796396]---> BDD-cost:    1
27.64/27.71	c ---[796394]---> BDD-cost:    1
27.64/27.71	c ---[796241]---> BDD-cost:    1
27.64/27.71	c ---[795915]---> BDD-cost:    1
27.64/27.71	c ---[795913]---> BDD-cost:    1
27.64/27.71	c ---[795911]---> BDD-cost:    1
27.64/27.71	c ---[795909]---> BDD-cost:    1
27.64/27.71	c ---[795907]---> BDD-cost:    1
27.64/27.71	c ---[795905]---> BDD-cost:    1
27.64/27.71	c ---[795903]---> BDD-cost:    1
27.64/27.71	c ---[795901]---> BDD-cost:    1
27.64/27.71	c ---[795899]---> BDD-cost:    1
27.64/27.71	c ---[795897]---> BDD-cost:    1
27.64/27.71	c ---[795895]---> BDD-cost:    1
27.64/27.71	c ---[795893]---> BDD-cost:    1
27.64/27.71	c ---[795891]---> BDD-cost:    1
27.64/27.71	c ---[795889]---> BDD-cost:    1
27.64/27.71	c ---[795887]---> BDD-cost:    1
27.64/27.71	c ---[795885]---> BDD-cost:    1
27.64/27.71	c ---[795883]---> BDD-cost:    1
27.64/27.71	c ---[795881]---> BDD-cost:    1
27.64/27.71	c ---[795879]---> BDD-cost:    1
27.64/27.71	c ---[795877]---> BDD-cost:    1
27.64/27.71	c ---[795875]---> BDD-cost:    1
27.64/27.71	c ---[795873]---> BDD-cost:    1
27.64/27.71	c ---[795871]---> BDD-cost:    1
27.64/27.71	c ---[795869]---> BDD-cost:    1
27.64/27.71	c ---[795867]---> BDD-cost:    1
27.64/27.71	c ---[795865]---> BDD-cost:    1
27.64/27.71	c ---[795863]---> BDD-cost:    1
27.64/27.71	c ---[795861]---> BDD-cost:    1
27.64/27.71	c ---[795859]---> BDD-cost:    1
27.64/27.71	c ---[795857]---> BDD-cost:    1
27.64/27.71	c ---[795855]---> BDD-cost:    1
27.64/27.71	c ---[795853]---> BDD-cost:    1
27.64/27.71	c ---[795851]---> BDD-cost:    1
27.64/27.71	c ---[795692]---> BDD-cost:    1
27.64/27.71	c ---[795329]---> BDD-cost:    1
27.64/27.71	c ---[795327]---> BDD-cost:    1
27.64/27.71	c ---[795325]---> BDD-cost:    1
27.64/27.71	c ---[795323]---> BDD-cost:    1
27.64/27.71	c ---[795321]---> BDD-cost:    1
27.64/27.71	c ---[795319]---> BDD-cost:    1
27.64/27.71	c ---[795317]---> BDD-cost:    1
27.64/27.71	c ---[795315]---> BDD-cost:    1
27.64/27.71	c ---[795313]---> BDD-cost:    1
27.64/27.71	c ---[795311]---> BDD-cost:    1
27.64/27.71	c ---[795309]---> BDD-cost:    1
27.64/27.71	c ---[795307]---> BDD-cost:    1
27.64/27.71	c ---[795305]---> BDD-cost:    1
27.64/27.71	c ---[795303]---> BDD-cost:    1
27.64/27.71	c ---[795301]---> BDD-cost:    1
27.64/27.71	c ---[795299]---> BDD-cost:    1
27.64/27.71	c ---[795297]---> BDD-cost:    1
27.64/27.71	c ---[795295]---> BDD-cost:    1
27.64/27.71	c ---[795293]---> BDD-cost:    1
27.64/27.71	c ---[795291]---> BDD-cost:    1
27.64/27.71	c ---[795289]---> BDD-cost:    1
27.64/27.71	c ---[795287]---> BDD-cost:    1
27.64/27.71	c ---[795285]---> BDD-cost:    1
27.64/27.71	c ---[795283]---> BDD-cost:    1
27.64/27.71	c ---[795281]---> BDD-cost:    1
27.64/27.71	c ---[795279]---> BDD-cost:    1
27.64/27.71	c ---[795277]---> BDD-cost:    1
27.64/27.71	c ---[795275]---> BDD-cost:    1
27.64/27.71	c ---[795273]---> BDD-cost:    1
27.64/27.71	c ---[795271]---> BDD-cost:    1
27.64/27.71	c ---[795269]---> BDD-cost:    1
27.64/27.71	c ---[795267]---> BDD-cost:    1
27.64/27.71	c ---[795265]---> BDD-cost:    1
27.64/27.71	c ---[795100]---> BDD-cost:    1
27.64/27.71	c ---[794701]---> BDD-cost:    1
27.64/27.71	c ---[794699]---> BDD-cost:    1
27.64/27.71	c ---[794697]---> BDD-cost:    1
27.64/27.71	c ---[794695]---> BDD-cost:    1
27.64/27.71	c ---[794693]---> BDD-cost:    1
27.64/27.71	c ---[794691]---> BDD-cost:    1
27.64/27.71	c ---[794689]---> BDD-cost:    1
27.64/27.71	c ---[794687]---> BDD-cost:    1
27.64/27.71	c ---[794685]---> BDD-cost:    1
27.64/27.71	c ---[794683]---> BDD-cost:    1
27.64/27.71	c ---[794681]---> BDD-cost:    1
27.64/27.71	c ---[794679]---> BDD-cost:    1
27.64/27.71	c ---[794677]---> BDD-cost:    1
27.64/27.71	c ---[794675]---> BDD-cost:    1
27.64/27.71	c ---[794673]---> BDD-cost:    1
27.64/27.71	c ---[794671]---> BDD-cost:    1
27.64/27.71	c ---[794669]---> BDD-cost:    1
27.64/27.71	c ---[794667]---> BDD-cost:    1
27.64/27.71	c ---[794665]---> BDD-cost:    1
27.64/27.71	c ---[794663]---> BDD-cost:    1
27.64/27.71	c ---[794661]---> BDD-cost:    1
27.64/27.71	c ---[794659]---> BDD-cost:    1
27.64/27.71	c ---[794657]---> BDD-cost:    1
27.64/27.71	c ---[794655]---> BDD-cost:    1
27.64/27.71	c ---[794653]---> BDD-cost:    1
27.64/27.71	c ---[794651]---> BDD-cost:    1
27.64/27.71	c ---[794649]---> BDD-cost:    1
27.64/27.71	c ---[794647]---> BDD-cost:    1
27.64/27.71	c ---[794645]---> BDD-cost:    1
27.64/27.71	c ---[794643]---> BDD-cost:    1
27.64/27.71	c ---[794641]---> BDD-cost:    1
27.64/27.71	c ---[794639]---> BDD-cost:    1
27.64/27.71	c ---[794637]---> BDD-cost:    1
27.64/27.71	c ---[794466]---> BDD-cost:    1
27.64/27.71	c ---[794032]---> BDD-cost:    1
27.64/27.71	c ---[794030]---> BDD-cost:    1
27.64/27.71	c ---[794028]---> BDD-cost:    1
27.64/27.71	c ---[794026]---> BDD-cost:    1
27.64/27.71	c ---[794024]---> BDD-cost:    1
27.64/27.71	c ---[794022]---> BDD-cost:    1
27.64/27.71	c ---[794020]---> BDD-cost:    1
27.64/27.71	c ---[794018]---> BDD-cost:    1
27.64/27.71	c ---[794016]---> BDD-cost:    1
27.64/27.71	c ---[794014]---> BDD-cost:    1
27.64/27.71	c ---[794012]---> BDD-cost:    1
27.64/27.71	c ---[794010]---> BDD-cost:    1
27.64/27.71	c ---[794008]---> BDD-cost:    1
27.64/27.71	c ---[794006]---> BDD-cost:    1
27.64/27.71	c ---[794004]---> BDD-cost:    1
27.64/27.71	c ---[794002]---> BDD-cost:    1
27.64/27.71	c ---[794000]---> BDD-cost:    1
27.64/27.71	c ---[793998]---> BDD-cost:    1
27.64/27.71	c ---[793996]---> BDD-cost:    1
27.64/27.71	c ---[793994]---> BDD-cost:    1
27.64/27.71	c ---[793992]---> BDD-cost:    1
27.64/27.71	c ---[793990]---> BDD-cost:    1
27.64/27.71	c ---[793988]---> BDD-cost:    1
27.64/27.71	c ---[793986]---> BDD-cost:    1
27.64/27.71	c ---[793984]---> BDD-cost:    1
27.64/27.71	c ---[793982]---> BDD-cost:    1
27.64/27.71	c ---[793980]---> BDD-cost:    1
27.64/27.71	c ---[793978]---> BDD-cost:    1
27.64/27.71	c ---[793976]---> BDD-cost:    1
27.64/27.71	c ---[793974]---> BDD-cost:    1
27.64/27.71	c ---[793972]---> BDD-cost:    1
27.64/27.71	c ---[793970]---> BDD-cost:    1
27.64/27.71	c ---[793968]---> BDD-cost:    1
27.64/27.71	c ---[793791]---> BDD-cost:    1
27.64/27.71	c ---[792836]---> BDD-cost:    1
27.64/27.71	c ---[792834]---> BDD-cost:    1
27.64/27.71	c ---[792832]---> BDD-cost:    1
27.64/27.71	c ---[792830]---> BDD-cost:    1
27.64/27.71	c ---[792828]---> BDD-cost:    1
27.64/27.71	c ---[792826]---> BDD-cost:    1
27.64/27.71	c ---[792824]---> BDD-cost:    1
27.64/27.71	c ---[792822]---> BDD-cost:    1
27.64/27.71	c ---[792820]---> BDD-cost:    1
27.64/27.71	c ---[792818]---> BDD-cost:    1
27.64/27.71	c ---[792816]---> BDD-cost:    1
27.64/27.71	c ---[792814]---> BDD-cost:    1
27.64/27.71	c ---[792812]---> BDD-cost:    1
27.64/27.71	c ---[792810]---> BDD-cost:    1
27.64/27.71	c ---[792808]---> BDD-cost:    1
27.64/27.71	c ---[792806]---> BDD-cost:    1
27.64/27.71	c ---[792804]---> BDD-cost:    1
27.64/27.71	c ---[792802]---> BDD-cost:    1
27.64/27.71	c ---[792800]---> BDD-cost:    1
27.64/27.71	c ---[792798]---> BDD-cost:    1
27.64/27.71	c ---[792796]---> BDD-cost:    1
27.64/27.71	c ---[792794]---> BDD-cost:    1
27.64/27.71	c ---[792792]---> BDD-cost:    1
27.64/27.71	c ---[792790]---> BDD-cost:    1
27.64/27.71	c ---[792788]---> BDD-cost:    1
27.64/27.71	c ---[792786]---> BDD-cost:    1
27.64/27.71	c ---[792784]---> BDD-cost:    1
27.64/27.71	c ---[792782]---> BDD-cost:    1
27.64/27.71	c ---[792780]---> BDD-cost:    1
27.64/27.71	c ---[792778]---> BDD-cost:    1
27.64/27.71	c ---[792776]---> BDD-cost:    1
27.64/27.71	c ---[792774]---> BDD-cost:    1
27.64/27.71	c ---[792772]---> BDD-cost:    1
27.64/27.71	c ---[792627]---> BDD-cost:    1
27.64/27.72	c ---[792625]---> BDD-cost:    1
27.64/27.72	c ---[792623]---> BDD-cost:    1
27.64/27.72	c ---[792621]---> BDD-cost:    1
27.64/27.72	c ---[792619]---> BDD-cost:    1
27.64/27.72	c ---[792617]---> BDD-cost:    1
27.64/27.72	c ---[792615]---> BDD-cost:    1
27.64/27.72	c ---[792613]---> BDD-cost:    1
27.64/27.72	c ---[792611]---> BDD-cost:    1
27.64/27.72	c ---[792609]---> BDD-cost:    1
27.64/27.72	c ---[792607]---> BDD-cost:    1
27.64/27.72	c ---[792605]---> BDD-cost:    1
27.64/27.72	c ---[792603]---> BDD-cost:    1
27.64/27.72	c ---[792601]---> BDD-cost:    1
27.64/27.72	c ---[792599]---> BDD-cost:    1
27.64/27.72	c ---[792597]---> BDD-cost:    1
27.64/27.72	c ---[792595]---> BDD-cost:    1
27.64/27.72	c ---[792593]---> BDD-cost:    1
27.64/27.72	c ---[792591]---> BDD-cost:    1
27.64/27.72	c ---[792589]---> BDD-cost:    1
27.64/27.72	c ---[792587]---> BDD-cost:    1
27.64/27.72	c ---[792585]---> BDD-cost:    1
27.64/27.72	c ---[792583]---> BDD-cost:    1
27.64/27.72	c ---[792581]---> BDD-cost:    1
27.64/27.72	c ---[792579]---> BDD-cost:    1
27.64/27.72	c ---[792577]---> BDD-cost:    1
27.64/27.72	c ---[792575]---> BDD-cost:    1
27.64/27.72	c ---[792573]---> BDD-cost:    1
27.64/27.72	c ---[792571]---> BDD-cost:    1
27.64/27.72	c ---[792569]---> BDD-cost:    1
27.64/27.72	c ---[792567]---> BDD-cost:    1
27.64/27.72	c ---[792565]---> BDD-cost:    1
27.64/27.72	c ---[792563]---> BDD-cost:    1
27.64/27.72	c ---[792561]---> BDD-cost:    1
27.64/27.72	c ---[792559]---> BDD-cost:    1
27.64/27.72	c ---[792557]---> BDD-cost:    1
27.64/27.72	c ---[792555]---> BDD-cost:    1
27.64/27.72	c ---[792553]---> BDD-cost:    1
27.64/27.72	c ---[792551]---> BDD-cost:    1
27.64/27.72	c ---[792549]---> BDD-cost:    1
27.64/27.72	c ---[792547]---> BDD-cost:    1
27.64/27.72	c ---[792545]---> BDD-cost:    1
27.64/27.72	c ---[792543]---> BDD-cost:    1
27.64/27.72	c ---[792541]---> BDD-cost:    1
27.64/27.72	c ---[792539]---> BDD-cost:    1
27.64/27.72	c ---[792537]---> BDD-cost:    1
27.64/27.72	c ---[792535]---> BDD-cost:    1
27.64/27.72	c ---[792533]---> BDD-cost:    1
27.64/27.72	c ---[792531]---> BDD-cost:    1
27.64/27.72	c ---[792529]---> BDD-cost:    1
27.64/27.72	c ---[792527]---> BDD-cost:    1
27.64/27.72	c ---[792525]---> BDD-cost:    1
27.64/27.72	c ---[792523]---> BDD-cost:    1
27.64/27.72	c ---[792521]---> BDD-cost:    1
27.64/27.72	c ---[792519]---> BDD-cost:    1
27.64/27.72	c ---[792517]---> BDD-cost:    1
27.64/27.72	c ---[792515]---> BDD-cost:    1
27.64/27.72	c ---[792513]---> BDD-cost:    1
27.64/27.72	c ---[792511]---> BDD-cost:    1
27.64/27.72	c ---[792509]---> BDD-cost:    1
27.64/27.72	c ---[792507]---> BDD-cost:    1
27.64/27.72	c ---[792505]---> BDD-cost:    1
27.64/27.72	c ---[792503]---> BDD-cost:    1
27.64/27.72	c ---[792501]---> BDD-cost:    1
27.64/27.72	c ---[792499]---> BDD-cost:    1
27.64/27.72	c ---[792497]---> BDD-cost:    1
27.64/27.72	c ---[792495]---> BDD-cost:    1
27.64/27.72	c ---[792493]---> BDD-cost:    1
27.64/27.72	c ---[792491]---> BDD-cost:    1
27.64/27.72	c ---[792489]---> BDD-cost:    1
27.64/27.72	c ---[792487]---> BDD-cost:    1
27.64/27.72	c ---[792485]---> BDD-cost:    1
27.64/27.72	c ---[792483]---> BDD-cost:    1
27.64/27.72	c ---[792481]---> BDD-cost:    1
27.64/27.72	c ---[792479]---> BDD-cost:    1
27.64/27.72	c ---[792477]---> BDD-cost:    1
27.64/27.72	c ---[792475]---> BDD-cost:    1
27.64/27.72	c ---[792473]---> BDD-cost:    1
27.64/27.72	c ---[792471]---> BDD-cost:    1
27.64/27.72	c ---[792469]---> BDD-cost:    1
27.64/27.72	c ---[792467]---> BDD-cost:    1
27.64/27.72	c ---[792465]---> BDD-cost:    1
27.64/27.72	c ---[792463]---> BDD-cost:    1
27.64/27.72	c ---[792461]---> BDD-cost:    1
27.64/27.72	c ---[792459]---> BDD-cost:    1
27.64/27.72	c ---[792457]---> BDD-cost:    1
27.64/27.72	c ---[792455]---> BDD-cost:    1
27.64/27.72	c ---[792453]---> BDD-cost:    1
27.64/27.72	c ---[792451]---> BDD-cost:    1
27.64/27.72	c ---[792449]---> BDD-cost:    1
27.64/27.72	c ---[792447]---> BDD-cost:    1
27.64/27.72	c ---[792445]---> BDD-cost:    1
27.64/27.72	c ---[792443]---> BDD-cost:    1
27.64/27.72	c ---[792441]---> BDD-cost:    1
27.64/27.72	c ---[792439]---> BDD-cost:    1
27.64/27.72	c ---[792437]---> BDD-cost:    1
27.64/27.72	c ---[792435]---> BDD-cost:    1
27.64/27.72	c ---[792433]---> BDD-cost:    1
27.64/27.72	c ---[792431]---> BDD-cost:    1
27.64/27.72	c ---[792429]---> BDD-cost:    1
27.64/27.72	c ---[792427]---> BDD-cost:    1
27.64/27.72	c ---[792425]---> BDD-cost:    1
27.64/27.72	c ---[792423]---> BDD-cost:    1
27.64/27.72	c ---[792421]---> BDD-cost:    1
27.64/27.72	c ---[792419]---> BDD-cost:    1
27.64/27.72	c ---[792417]---> BDD-cost:    1
27.64/27.72	c ---[792415]---> BDD-cost:    1
27.64/27.72	c ---[792413]---> BDD-cost:    1
27.64/27.72	c ---[792411]---> BDD-cost:    1
27.64/27.72	c ---[792409]---> BDD-cost:    1
27.64/27.72	c ---[792407]---> BDD-cost:    1
27.64/27.72	c ---[792405]---> BDD-cost:    1
27.64/27.72	c ---[792403]---> BDD-cost:    1
27.64/27.72	c ---[792401]---> BDD-cost:    1
27.64/27.72	c ---[792399]---> BDD-cost:    1
27.64/27.72	c ---[792397]---> BDD-cost:    1
27.64/27.72	c ---[792395]---> BDD-cost:    1
27.64/27.72	c ---[792393]---> BDD-cost:    1
27.64/27.72	c ---[792391]---> BDD-cost:    1
27.64/27.72	c ---[792389]---> BDD-cost:    1
27.64/27.72	c ---[792387]---> BDD-cost:    1
27.64/27.72	c ---[792385]---> BDD-cost:    1
27.64/27.72	c ---[792383]---> BDD-cost:    1
27.64/27.72	c ---[792381]---> BDD-cost:    1
27.64/27.72	c ---[792379]---> BDD-cost:    1
27.64/27.72	c ---[792377]---> BDD-cost:    1
27.64/27.72	c ---[792375]---> BDD-cost:    1
27.64/27.72	c ---[792373]---> BDD-cost:    1
27.64/27.72	c ---[792371]---> BDD-cost:    1
27.64/27.72	c ---[792369]---> BDD-cost:    1
27.64/27.72	c ---[792367]---> BDD-cost:    1
27.64/27.72	c ---[792365]---> BDD-cost:    1
27.64/27.72	c ---[792363]---> BDD-cost:    1
27.64/27.72	c ---[792361]---> BDD-cost:    1
27.64/27.72	c ---[792359]---> BDD-cost:    1
27.64/27.72	c ---[792357]---> BDD-cost:    1
27.64/27.72	c ---[792355]---> BDD-cost:    1
27.64/27.72	c ---[792353]---> BDD-cost:    1
27.64/27.72	c ---[792351]---> BDD-cost:    1
27.64/27.72	c ---[792349]---> BDD-cost:    1
27.64/27.72	c ---[792347]---> BDD-cost:    1
27.64/27.72	c ---[792345]---> BDD-cost:    1
27.64/27.72	c ---[792343]---> BDD-cost:    1
27.64/27.72	c ---[792341]---> BDD-cost:    1
27.64/27.72	c ---[792339]---> BDD-cost:    1
27.64/27.72	c ---[792337]---> BDD-cost:    1
27.64/27.72	c ---[792335]---> BDD-cost:    1
27.64/27.72	c ---[792333]---> BDD-cost:    1
27.64/27.72	c ---[792331]---> BDD-cost:    1
27.64/27.72	c ---[792329]---> BDD-cost:    1
27.64/27.72	c ---[792327]---> BDD-cost:    1
27.64/27.72	c ---[792325]---> BDD-cost:    1
27.64/27.72	c ---[792323]---> BDD-cost:    1
27.64/27.72	c ---[792321]---> BDD-cost:    1
27.64/27.72	c ---[792319]---> BDD-cost:    1
27.64/27.72	c ---[792317]---> BDD-cost:    1
27.64/27.72	c ---[792315]---> BDD-cost:    1
27.64/27.72	c ---[792313]---> BDD-cost:    1
27.64/27.72	c ---[792311]---> BDD-cost:    1
27.64/27.72	c ---[792309]---> BDD-cost:    1
27.64/27.72	c ---[792307]---> BDD-cost:    1
27.64/27.72	c ---[792305]---> BDD-cost:    1
27.64/27.72	c ---[792303]---> BDD-cost:    1
27.64/27.72	c ---[792301]---> BDD-cost:    1
27.64/27.72	c ---[792299]---> BDD-cost:    1
27.64/27.72	c ---[792297]---> BDD-cost:    1
27.64/27.72	c ---[792295]---> BDD-cost:    1
27.64/27.72	c ---[792293]---> BDD-cost:    1
27.64/27.72	c ---[792291]---> BDD-cost:    1
27.64/27.72	c ---[792289]---> BDD-cost:    1
27.64/27.72	c ---[792287]---> BDD-cost:    1
27.64/27.72	c ---[792285]---> BDD-cost:    1
27.64/27.72	c ---[792283]---> BDD-cost:    1
27.64/27.72	c ---[792281]---> BDD-cost:    1
27.64/27.72	c ---[792279]---> BDD-cost:    1
27.64/27.72	c ---[792277]---> BDD-cost:    1
27.64/27.72	c ---[792275]---> BDD-cost:    1
27.64/27.72	c ---[792273]---> BDD-cost:    1
27.64/27.72	c ---[792271]---> BDD-cost:    1
27.64/27.72	c ---[792269]---> BDD-cost:    1
27.64/27.72	c ---[792267]---> BDD-cost:    1
27.64/27.72	c ---[792265]---> BDD-cost:    1
27.64/27.72	c ---[792263]---> BDD-cost:    1
27.64/27.72	c ---[792261]---> BDD-cost:    1
27.64/27.72	c ---[792259]---> BDD-cost:    1
27.64/27.72	c ---[792257]---> BDD-cost:    1
27.64/27.72	c ---[792255]---> BDD-cost:    1
27.64/27.72	c ---[792253]---> BDD-cost:    1
27.64/27.72	c ---[792251]---> BDD-cost:    1
27.64/27.72	c ---[792249]---> BDD-cost:    1
27.64/27.72	c ---[792247]---> BDD-cost:    1
27.64/27.72	c ---[792245]---> BDD-cost:    1
27.64/27.72	c ---[792243]---> BDD-cost:    1
27.64/27.72	c ---[792241]---> BDD-cost:    1
27.64/27.72	c ---[792239]---> BDD-cost:    1
27.64/27.72	c ---[792237]---> BDD-cost:    1
27.64/27.72	c ---[792235]---> BDD-cost:    1
27.64/27.72	c ---[792233]---> BDD-cost:    1
27.64/27.72	c ---[792231]---> BDD-cost:    1
27.64/27.72	c ---[792229]---> BDD-cost:    1
27.64/27.72	c ---[792227]---> BDD-cost:    1
27.64/27.72	c ---[792225]---> BDD-cost:    1
27.64/27.72	c ---[792223]---> BDD-cost:    1
27.64/27.72	c ---[792221]---> BDD-cost:    1
27.64/27.72	c ---[792219]---> BDD-cost:    1
27.64/27.72	c ---[792217]---> BDD-cost:    1
27.64/27.72	c ---[792215]---> BDD-cost:    1
27.64/27.72	c ---[792213]---> BDD-cost:    1
27.64/27.72	c ---[792211]---> BDD-cost:    1
27.64/27.72	c ---[792209]---> BDD-cost:    1
27.64/27.72	c ---[792207]---> BDD-cost:    1
27.64/27.72	c ---[792205]---> BDD-cost:    1
27.64/27.72	c ---[792203]---> BDD-cost:    1
27.64/27.72	c ---[792201]---> BDD-cost:    1
27.64/27.72	c ---[792199]---> BDD-cost:    1
27.64/27.72	c ---[792197]---> BDD-cost:    1
27.64/27.72	c ---[792195]---> BDD-cost:    1
27.64/27.72	c ---[792193]---> BDD-cost:    1
27.64/27.72	c ---[792191]---> BDD-cost:    1
27.64/27.72	c ---[792189]---> BDD-cost:    1
27.64/27.72	c ---[792187]---> BDD-cost:    1
27.64/27.72	c ---[792185]---> BDD-cost:    1
27.64/27.72	c ---[792183]---> BDD-cost:    1
27.64/27.72	c ---[792181]---> BDD-cost:    1
27.64/27.72	c ---[792179]---> BDD-cost:    1
27.64/27.72	c ---[792177]---> BDD-cost:    1
27.64/27.72	c ---[792175]---> BDD-cost:    1
27.64/27.72	c ---[792173]---> BDD-cost:    1
27.64/27.72	c ---[792171]---> BDD-cost:    1
27.64/27.72	c ---[792169]---> BDD-cost:    1
27.64/27.72	c ---[792167]---> BDD-cost:    1
27.64/27.72	c ---[792165]---> BDD-cost:    1
27.64/27.72	c ---[792163]---> BDD-cost:    1
27.64/27.72	c ---[792161]---> BDD-cost:    1
27.64/27.72	c ---[792159]---> BDD-cost:    1
27.64/27.72	c ---[792157]---> BDD-cost:    1
27.64/27.72	c ---[792155]---> BDD-cost:    1
27.64/27.72	c ---[792153]---> BDD-cost:    1
27.64/27.72	c ---[792151]---> BDD-cost:    1
27.64/27.72	c ---[792149]---> BDD-cost:    1
27.64/27.72	c ---[792147]---> BDD-cost:    1
27.64/27.72	c ---[792145]---> BDD-cost:    1
27.64/27.72	c ---[792143]---> BDD-cost:    1
27.64/27.72	c ---[792141]---> BDD-cost:    1
27.64/27.72	c ---[792139]---> BDD-cost:    1
27.64/27.72	c ---[792137]---> BDD-cost:    1
27.64/27.72	c ---[792135]---> BDD-cost:    1
27.64/27.72	c ---[792133]---> BDD-cost:    1
27.64/27.72	c ---[792131]---> BDD-cost:    1
27.64/27.72	c ---[792129]---> BDD-cost:    1
27.64/27.72	c ---[792127]---> BDD-cost:    1
27.64/27.72	c ---[792125]---> BDD-cost:    1
27.64/27.72	c ---[792123]---> BDD-cost:    1
27.64/27.72	c ---[792121]---> BDD-cost:    1
27.64/27.72	c ---[792119]---> BDD-cost:    1
27.64/27.72	c ---[792117]---> BDD-cost:    1
27.64/27.72	c ---[792115]---> BDD-cost:    1
27.64/27.72	c ---[792113]---> BDD-cost:    1
27.64/27.72	c ---[792111]---> BDD-cost:    1
27.64/27.72	c ---[792109]---> BDD-cost:    1
27.64/27.72	c ---[792107]---> BDD-cost:    1
27.64/27.72	c ---[792105]---> BDD-cost:    1
27.64/27.72	c ---[792103]---> BDD-cost:    1
27.64/27.72	c ---[792101]---> BDD-cost:    1
27.64/27.72	c ---[792099]---> BDD-cost:    1
27.64/27.72	c ---[792097]---> BDD-cost:    1
27.64/27.72	c ---[792095]---> BDD-cost:    1
27.64/27.72	c ---[792093]---> BDD-cost:    1
27.64/27.72	c ---[792091]---> BDD-cost:    1
27.64/27.72	c ---[792089]---> BDD-cost:    1
27.64/27.72	c ---[792087]---> BDD-cost:    1
27.64/27.72	c ---[792085]---> BDD-cost:    1
27.64/27.72	c ---[792083]---> BDD-cost:    1
27.64/27.72	c ---[792081]---> BDD-cost:    1
27.64/27.72	c ---[792079]---> BDD-cost:    1
27.64/27.72	c ---[792077]---> BDD-cost:    1
27.64/27.72	c ---[792075]---> BDD-cost:    1
27.64/27.72	c ---[792073]---> BDD-cost:    1
27.64/27.72	c ---[792071]---> BDD-cost:    1
27.64/27.72	c ---[792069]---> BDD-cost:    1
27.64/27.72	c ---[792067]---> BDD-cost:    1
27.64/27.72	c ---[792065]---> BDD-cost:    1
27.64/27.72	c ---[792063]---> BDD-cost:    1
27.64/27.72	c ---[792061]---> BDD-cost:    1
27.64/27.72	c ---[792059]---> BDD-cost:    1
27.64/27.72	c ---[792057]---> BDD-cost:    1
27.64/27.72	c ---[792055]---> BDD-cost:    1
27.64/27.72	c ---[792053]---> BDD-cost:    1
27.64/27.72	c ---[792051]---> BDD-cost:    1
27.64/27.72	c ---[792049]---> BDD-cost:    1
27.64/27.73	c ---[792047]---> BDD-cost:    1
27.64/27.73	c ---[792045]---> BDD-cost:    1
27.64/27.73	c ---[792043]---> BDD-cost:    1
27.64/27.73	c ---[792041]---> BDD-cost:    1
27.64/27.73	c ---[792039]---> BDD-cost:    1
27.64/27.73	c ---[792037]---> BDD-cost:    1
27.64/27.73	c ---[792035]---> BDD-cost:    1
27.64/27.73	c ---[792033]---> BDD-cost:    1
27.64/27.73	c ---[792031]---> BDD-cost:    1
27.64/27.73	c ---[792029]---> BDD-cost:    1
27.64/27.73	c ---[792027]---> BDD-cost:    1
27.64/27.73	c ---[792025]---> BDD-cost:    1
27.64/27.73	c ---[792023]---> BDD-cost:    1
27.64/27.73	c ---[792021]---> BDD-cost:    1
27.64/27.73	c ---[792019]---> BDD-cost:    1
27.64/27.73	c ---[792017]---> BDD-cost:    1
27.64/27.73	c ---[792015]---> BDD-cost:    1
27.64/27.73	c ---[792013]---> BDD-cost:    1
27.64/27.73	c ---[792011]---> BDD-cost:    1
27.64/27.73	c ---[792009]---> BDD-cost:    1
27.64/27.73	c ---[792007]---> BDD-cost:    1
27.64/27.73	c ---[792005]---> BDD-cost:    1
27.64/27.73	c ---[792003]---> BDD-cost:    1
27.64/27.73	c ---[792001]---> BDD-cost:    1
27.64/27.73	c ---[791999]---> BDD-cost:    1
27.64/27.73	c ---[791997]---> BDD-cost:    1
27.64/27.73	c ---[791995]---> BDD-cost:    1
27.64/27.73	c ---[791993]---> BDD-cost:    1
27.64/27.73	c ---[791991]---> BDD-cost:    1
27.64/27.73	c ---[791989]---> BDD-cost:    1
27.64/27.73	c ---[791987]---> BDD-cost:    1
27.64/27.73	c ---[791985]---> BDD-cost:    1
27.64/27.73	c ---[791983]---> BDD-cost:    1
27.64/27.73	c ---[791981]---> BDD-cost:    1
27.64/27.73	c ---[791979]---> BDD-cost:    1
27.64/27.73	c ---[791977]---> BDD-cost:    1
27.64/27.73	c ---[791975]---> BDD-cost:    1
27.64/27.73	c ---[791973]---> BDD-cost:    1
27.64/27.73	c ---[791971]---> BDD-cost:    1
27.64/27.73	c ---[791969]---> BDD-cost:    1
27.64/27.73	c ---[791967]---> BDD-cost:    1
27.64/27.73	c ---[791965]---> BDD-cost:    1
27.64/27.73	c ---[791963]---> BDD-cost:    1
27.64/27.73	c ---[791961]---> BDD-cost:    1
27.64/27.73	c ---[791959]---> BDD-cost:    1
27.64/27.73	c ---[791957]---> BDD-cost:    1
27.64/27.73	c ---[791955]---> BDD-cost:    1
27.64/27.73	c ---[791953]---> BDD-cost:    1
27.64/27.73	c ---[791951]---> BDD-cost:    1
27.64/27.73	c ---[791949]---> BDD-cost:    1
27.64/27.73	c ---[791947]---> BDD-cost:    1
27.64/27.73	c ---[791945]---> BDD-cost:    1
27.64/27.73	c ---[791943]---> BDD-cost:    1
27.64/27.73	c ---[791941]---> BDD-cost:    1
27.64/27.73	c ---[791939]---> BDD-cost:    1
27.64/27.73	c ---[791937]---> BDD-cost:    1
27.64/27.73	c ---[791935]---> BDD-cost:    1
27.64/27.73	c ---[791933]---> BDD-cost:    1
27.64/27.73	c ---[791931]---> BDD-cost:    1
27.64/27.73	c ---[791929]---> BDD-cost:    1
27.64/27.73	c ---[791927]---> BDD-cost:    1
27.64/27.73	c ---[791925]---> BDD-cost:    1
27.64/27.73	c ---[791923]---> BDD-cost:    1
27.64/27.73	c ---[791921]---> BDD-cost:    1
27.64/27.73	c ---[791919]---> BDD-cost:    1
27.64/27.73	c ---[791917]---> BDD-cost:    1
27.64/27.73	c ---[791915]---> BDD-cost:    1
27.64/27.73	c ---[791913]---> BDD-cost:    1
27.64/27.73	c ---[791911]---> BDD-cost:    1
27.64/27.73	c ---[791909]---> BDD-cost:    1
27.64/27.73	c ---[791907]---> BDD-cost:    1
27.64/27.73	c ---[791905]---> BDD-cost:    1
27.64/27.73	c ---[791903]---> BDD-cost:    1
27.64/27.73	c ---[791901]---> BDD-cost:    1
27.64/27.73	c ---[791899]---> BDD-cost:    1
27.64/27.73	c ---[791897]---> BDD-cost:    1
27.64/27.73	c ---[791895]---> BDD-cost:    1
27.64/27.73	c ---[791893]---> BDD-cost:    1
27.64/27.73	c ---[791891]---> BDD-cost:    1
27.64/27.73	c ---[791889]---> BDD-cost:    1
27.64/27.73	c ---[791887]---> BDD-cost:    1
27.64/27.73	c ---[791885]---> BDD-cost:    1
27.64/27.73	c ---[791883]---> BDD-cost:    1
27.64/27.73	c ---[791881]---> BDD-cost:    1
27.64/27.73	c ---[791879]---> BDD-cost:    1
27.64/27.73	c ---[791877]---> BDD-cost:    1
27.64/27.73	c ---[791875]---> BDD-cost:    1
27.64/27.73	c ---[791873]---> BDD-cost:    1
27.64/27.73	c ---[791871]---> BDD-cost:    1
27.64/27.73	c ---[791869]---> BDD-cost:    1
27.64/27.73	c ---[791867]---> BDD-cost:    1
27.64/27.73	c ---[791865]---> BDD-cost:    1
27.64/27.73	c ---[791863]---> BDD-cost:    1
27.64/27.73	c ---[791861]---> BDD-cost:    1
27.64/27.73	c ---[791859]---> BDD-cost:    1
27.64/27.73	c ---[791857]---> BDD-cost:    1
27.64/27.73	c ---[791855]---> BDD-cost:    1
27.64/27.73	c ---[791853]---> BDD-cost:    1
27.64/27.73	c ---[791851]---> BDD-cost:    1
27.64/27.73	c ---[791849]---> BDD-cost:    1
27.64/27.73	c ---[791847]---> BDD-cost:    1
27.64/27.73	c ---[791845]---> BDD-cost:    1
27.64/27.73	c ---[791843]---> BDD-cost:    1
27.64/27.73	c ---[791841]---> BDD-cost:    1
27.64/27.73	c ---[791839]---> BDD-cost:    1
27.64/27.73	c ---[791837]---> BDD-cost:    1
27.64/27.73	c ---[791835]---> BDD-cost:    1
27.64/27.73	c ---[791833]---> BDD-cost:    1
27.64/27.73	c ---[791831]---> BDD-cost:    1
27.64/27.73	c ---[791829]---> BDD-cost:    1
27.64/27.73	c ---[791827]---> BDD-cost:    1
27.64/27.73	c ---[791825]---> BDD-cost:    1
27.64/27.73	c ---[791823]---> BDD-cost:    1
27.64/27.73	c ---[791821]---> BDD-cost:    1
27.64/27.73	c ---[791819]---> BDD-cost:    1
27.64/27.73	c ---[791817]---> BDD-cost:    1
27.64/27.73	c ---[791815]---> BDD-cost:    1
27.64/27.73	c ---[791813]---> BDD-cost:    1
27.64/27.73	c ---[791811]---> BDD-cost:    1
27.64/27.73	c ---[791809]---> BDD-cost:    1
27.64/27.73	c ---[791807]---> BDD-cost:    1
27.64/27.73	c ---[791805]---> BDD-cost:    1
27.64/27.73	c ---[791803]---> BDD-cost:    1
27.64/27.73	c ---[791801]---> BDD-cost:    1
27.64/27.73	c ---[791799]---> BDD-cost:    1
27.64/27.73	c ---[791797]---> BDD-cost:    1
27.64/27.73	c ---[791795]---> BDD-cost:    1
27.64/27.73	c ---[791793]---> BDD-cost:    1
27.64/27.73	c ---[791791]---> BDD-cost:    1
27.64/27.73	c ---[791789]---> BDD-cost:    1
27.64/27.73	c ---[791787]---> BDD-cost:    1
27.64/27.73	c ---[791785]---> BDD-cost:    1
27.64/27.73	c ---[791783]---> BDD-cost:    1
27.64/27.73	c ---[791781]---> BDD-cost:    1
27.64/27.73	c ---[791779]---> BDD-cost:    1
27.64/27.73	c ---[791777]---> BDD-cost:    1
27.64/27.73	c ---[791775]---> BDD-cost:    1
27.64/27.73	c ---[791773]---> BDD-cost:    1
27.64/27.73	c ---[791771]---> BDD-cost:    1
27.64/27.73	c ---[791769]---> BDD-cost:    1
27.64/27.73	c ---[791767]---> BDD-cost:    1
27.64/27.73	c ---[791765]---> BDD-cost:    1
27.64/27.73	c ---[791763]---> BDD-cost:    1
27.64/27.73	c ---[791761]---> BDD-cost:    1
27.64/27.73	c ---[791759]---> BDD-cost:    1
27.64/27.73	c ---[791757]---> BDD-cost:    1
27.64/27.73	c ---[791755]---> BDD-cost:    1
27.64/27.73	c ---[791753]---> BDD-cost:    1
27.64/27.73	c ---[791751]---> BDD-cost:    1
27.64/27.73	c ---[791749]---> BDD-cost:    1
27.64/27.73	c ---[791747]---> BDD-cost:    1
27.64/27.73	c ---[791745]---> BDD-cost:    1
27.64/27.73	c ---[791743]---> BDD-cost:    1
27.64/27.73	c ---[791741]---> BDD-cost:    1
27.64/27.73	c ---[791739]---> BDD-cost:    1
27.64/27.73	c ---[791737]---> BDD-cost:    1
27.64/27.73	c ---[791735]---> BDD-cost:    1
27.64/27.73	c ---[791733]---> BDD-cost:    1
27.64/27.73	c ---[791731]---> BDD-cost:    1
27.64/27.73	c ---[791729]---> BDD-cost:    1
27.64/27.73	c ---[791727]---> BDD-cost:    1
27.64/27.73	c ---[791725]---> BDD-cost:    1
27.64/27.73	c ---[791723]---> BDD-cost:    1
27.64/27.73	c ---[791721]---> BDD-cost:    1
27.64/27.73	c ---[791719]---> BDD-cost:    1
27.64/27.73	c ---[791717]---> BDD-cost:    1
27.64/27.73	c ---[791715]---> BDD-cost:    1
27.64/27.73	c ---[791713]---> BDD-cost:    1
27.64/27.73	c ---[791711]---> BDD-cost:    1
27.64/27.73	c ---[791709]---> BDD-cost:    1
27.64/27.73	c ---[791707]---> BDD-cost:    1
27.64/27.73	c ---[791705]---> BDD-cost:    1
27.64/27.73	c ---[791703]---> BDD-cost:    1
27.64/27.73	c ---[791701]---> BDD-cost:    1
27.64/27.73	c ---[791699]---> BDD-cost:    1
27.64/27.73	c ---[791697]---> BDD-cost:    1
27.64/27.73	c ---[791695]---> BDD-cost:    1
27.64/27.73	c ---[791693]---> BDD-cost:    1
27.64/27.73	c ---[791691]---> BDD-cost:    1
27.64/27.73	c ---[791689]---> BDD-cost:    1
27.64/27.73	c ---[791687]---> BDD-cost:    1
27.64/27.73	c ---[791685]---> BDD-cost:    1
27.64/27.73	c ---[791683]---> BDD-cost:    1
27.64/27.73	c ---[791646]---> BDD-cost:    1
27.64/27.73	c ---[791151]---> BDD-cost:    1
27.64/27.73	c ---[791149]---> BDD-cost:    1
27.64/27.73	c ---[791147]---> BDD-cost:    1
27.64/27.73	c ---[791145]---> BDD-cost:    1
27.64/27.73	c ---[791143]---> BDD-cost:    1
27.64/27.73	c ---[791141]---> BDD-cost:    1
27.64/27.73	c ---[791139]---> BDD-cost:    1
27.64/27.73	c ---[791137]---> BDD-cost:    1
27.64/27.73	c ---[791135]---> BDD-cost:    1
27.64/27.73	c ---[791133]---> BDD-cost:    1
27.64/27.73	c ---[791131]---> BDD-cost:    1
27.64/27.73	c ---[791129]---> BDD-cost:    1
27.64/27.73	c ---[791127]---> BDD-cost:    1
27.64/27.73	c ---[791125]---> BDD-cost:    1
27.64/27.73	c ---[791123]---> BDD-cost:    1
27.64/27.73	c ---[791121]---> BDD-cost:    1
27.64/27.73	c ---[791119]---> BDD-cost:    1
27.64/27.73	c ---[791117]---> BDD-cost:    1
27.64/27.73	c ---[791115]---> BDD-cost:    1
27.64/27.73	c ---[791113]---> BDD-cost:    1
27.64/27.73	c ---[791111]---> BDD-cost:    1
27.64/27.73	c ---[791109]---> BDD-cost:    1
27.64/27.73	c ---[791107]---> BDD-cost:    1
27.64/27.73	c ---[791105]---> BDD-cost:    1
27.64/27.73	c ---[791103]---> BDD-cost:    1
27.64/27.73	c ---[791101]---> BDD-cost:    1
27.64/27.73	c ---[791099]---> BDD-cost:    1
27.64/27.73	c ---[791097]---> BDD-cost:    1
27.64/27.73	c ---[791095]---> BDD-cost:    1
27.64/27.73	c ---[791093]---> BDD-cost:    1
27.64/27.73	c ---[791091]---> BDD-cost:    1
27.64/27.73	c ---[791089]---> BDD-cost:    1
27.64/27.73	c ---[791087]---> BDD-cost:    1
27.64/27.73	c ---[779193]---> BDD-cost:    1
27.64/27.73	c ---[748468]---> BDD-cost:    1
27.64/27.73	c ---[725617]---> BDD-cost:    1
27.64/27.73	c ---[694831]---> BDD-cost:    1
27.64/27.73	c ---[661305]---> BDD-cost:    1
27.64/27.73	c ---[643722]---> BDD-cost:    1
27.64/27.73	c ---[643720]---> BDD-cost:    1
27.64/27.73	c ---[643718]---> BDD-cost:    1
27.64/27.73	c ---[643716]---> BDD-cost:    1
27.64/27.73	c ---[643714]---> BDD-cost:    1
27.64/27.73	c ---[643712]---> BDD-cost:    1
27.64/27.73	c ---[643710]---> BDD-cost:    1
27.64/27.73	c ---[643708]---> BDD-cost:    1
27.64/27.73	c ---[643706]---> BDD-cost:    1
27.64/27.73	c ---[643704]---> BDD-cost:    1
27.64/27.78	c ==================================[MINISAT+]==================================
27.64/27.78	c | Conflicts | Original         | Learnt                           | Progress |
27.64/27.78	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
27.64/27.78	c ==============================================================================
27.64/27.78	c |         0 |  799863  2081677 |  266621       0        0     nan |  0.000 % |
28.04/28.19	c |       100 |  799863  2081677 |  293283     100     2466    24.7 |  0.678 % |
28.64/28.76	c |       250 |  799863  2081677 |  322611     250    18522    74.1 |  0.678 % |
29.03/29.17	c |       475 |  799863  2081677 |  354872     475    28087    59.1 |  0.678 % |
29.53/29.66	c |       812 |  799708  2081319 |  390359     811    41049    50.6 |  0.687 % |
30.92/31.05	c |      1318 |  799708  2081319 |  429395    1317    55271    42.0 |  0.687 % |
31.83/31.95	c |      2077 |  799708  2081319 |  472335    2076    86069    41.5 |  0.687 % |
38.43/38.51	c |      3216 |  799708  2081319 |  519568    3215   125950    39.2 |  0.687 % |
40.82/40.97	c |      4924 |  799708  2081319 |  571525    4923   199748    40.6 |  0.687 % |
47.22/47.35	c |      7486 |  799708  2081319 |  628678    7485   381615    51.0 |  0.687 % |
61.22/61.37	c |     11331 |  799708  2081319 |  691546   11330   582068    51.4 |  0.687 % |
69.71/69.82	c |     17097 |  799708  2081319 |  760700   17096   814005    47.6 |  0.687 % |
112.60/112.71	c |     25747 |  799708  2081319 |  836770   25746  1240453    48.2 |  0.687 % |
152.79/152.91	c |     38721 |  799313  2080444 |  920448   38714  1928601    49.8 |  0.716 % |
193.38/193.54	c |     58184 |  798929  2079614 | 1012492   58172  3079819    52.9 |  0.745 % |
329.34/329.59	c |     87376 |  796666  2074470 | 1113742   84664  4670393    55.2 |  0.903 % |
412.32/412.51	c |    131165 |  795612  2072132 | 1225116  128439  6339306    49.4 |  0.979 % |
563.08/563.35	c |    196850 |  793162  2066624 | 1347627  193728  8058581    41.6 |  1.174 % |
965.37/965.72	c |    295377 |  792562  2065275 | 1482390  292236 11775872    40.3 |  1.223 % |
1227.79/1228.24	c ==============================================================================
1227.79/1228.24	c UNSATISFIABLE
1227.79/1228.24	s UNSATISFIABLE
1227.79/1228.24	c _______________________________________________________________________________
1227.79/1228.24	c 
1227.79/1228.24	c restarts              : 19
1227.79/1228.24	c conflicts             : 374073         (305 /sec)
1227.79/1228.24	c decisions             : 669387         (546 /sec)
1227.79/1228.24	c propagations          : 0              (0 /sec)
1227.79/1228.24	c inspects              : 0              (0 /sec)
1227.79/1228.24	c CPU time              : 1226.57 s
1227.79/1228.24	c _______________________________________________________________________________

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9978
/proc/meminfo: memFree=1867840/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=1048 CPUtime=0
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 110 0 0 0 0 0 0 0 18 0 1 0 96660079 1073152 96 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005847 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9978/statm: 262 96 75 215 0 44 0

[startup+0.103968 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9978
/proc/meminfo: memFree=1867840/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=2016 CPUtime=0.1
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 352 0 0 0 10 0 0 0 18 0 1 0 96660079 2064384 338 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9978/statm: 504 338 75 215 0 286 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2016

[startup+0.201976 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9978
/proc/meminfo: memFree=1867840/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=2912 CPUtime=0.19
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 588 0 0 0 19 0 0 0 18 0 1 0 96660079 2981888 574 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9978/statm: 728 574 75 215 0 510 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 2912

[startup+0.301985 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9978
/proc/meminfo: memFree=1867840/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=4032 CPUtime=0.29
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 839 0 0 0 29 0 0 0 19 0 1 0 96660079 4128768 825 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134596997 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9978/statm: 1008 825 75 215 0 790 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4032

[startup+0.70202 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9978
/proc/meminfo: memFree=1867840/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=7196 CPUtime=0.69
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 1650 0 0 0 68 1 0 0 23 0 1 0 96660079 7368704 1636 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9978/statm: 1799 1636 75 215 0 1581 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7196

[startup+1.50109 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9979
/proc/meminfo: memFree=1858168/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=14100 CPUtime=1.49
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 3328 0 0 0 148 1 0 0 25 0 1 0 96660079 14438400 3314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9978/statm: 3525 3314 75 215 0 3307 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14100

[startup+3.10123 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9979
/proc/meminfo: memFree=1848312/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=27856 CPUtime=3.09
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 6652 0 0 0 306 3 0 0 25 0 1 0 96660079 28524544 6637 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9978/statm: 6964 6637 75 215 0 6746 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27856

[startup+6.30151 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9979
/proc/meminfo: memFree=1820984/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=55488 CPUtime=6.28
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 13522 0 0 0 621 7 0 0 25 0 1 0 96660079 56819712 13465 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9978/statm: 13872 13465 75 215 0 13654 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 55488

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9979
/proc/meminfo: memFree=1763640/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=112608 CPUtime=12.69
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 27568 0 0 0 1253 16 0 0 25 0 1 0 96660079 115310592 27420 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9978/statm: 28152 27420 75 215 0 27934 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 112608

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9979
/proc/meminfo: memFree=1646008/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=240776 CPUtime=25.49
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 58507 0 0 0 2516 33 0 0 25 0 1 0 96660079 246554624 58194 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9978/statm: 60194 58196 82 215 0 59976 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 240776

[startup+51.1016 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 9979
/proc/meminfo: memFree=1602552/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=273044 CPUtime=51.02
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 67371 0 0 0 4977 125 0 0 25 0 1 0 96660079 279597056 66113 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 68261 66113 106 215 0 68043 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 273044

[startup+102.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 9979
/proc/meminfo: memFree=1602552/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=273044 CPUtime=102.21
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 67395 0 0 0 10096 125 0 0 25 0 1 0 96660079 279597056 66137 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577059 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 68261 66137 106 215 0 68043 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 273044

[startup+162.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 9979
/proc/meminfo: memFree=1602296/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=273288 CPUtime=162.19
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 67487 0 0 0 16094 125 0 0 25 0 1 0 96660079 279846912 66229 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580297 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 68322 66229 106 215 0 68104 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 273288

[startup+222.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9979
/proc/meminfo: memFree=1601976/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=273408 CPUtime=222.17
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 67566 0 0 0 22092 125 0 0 25 0 1 0 96660079 279969792 66308 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576132 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 68352 66308 106 215 0 68134 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 273408

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9979
/proc/meminfo: memFree=1601784/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=273408 CPUtime=282.15
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 67612 0 0 0 28090 125 0 0 25 0 1 0 96660079 279969792 66354 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 68352 66354 106 215 0 68134 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 273408

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9979
/proc/meminfo: memFree=1601592/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=273408 CPUtime=342.14
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 67675 0 0 0 34089 125 0 0 25 0 1 0 96660079 279969792 66417 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 68352 66417 106 215 0 68134 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 273408

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9979
/proc/meminfo: memFree=1601144/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=273588 CPUtime=402.12
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 67782 0 0 0 40087 125 0 0 25 0 1 0 96660079 280154112 66524 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581082 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 68397 66524 106 215 0 68179 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 273588

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9979
/proc/meminfo: memFree=1600888/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=273856 CPUtime=462.1
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 67840 0 0 0 46085 125 0 0 25 0 1 0 96660079 280428544 66582 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 68464 66582 106 215 0 68246 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 273856

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9979
/proc/meminfo: memFree=1600056/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=274672 CPUtime=522.08
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68050 0 0 0 52083 125 0 0 25 0 1 0 96660079 281264128 66792 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569815 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 68668 66792 106 215 0 68450 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 274672

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9979
/proc/meminfo: memFree=1599928/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=274672 CPUtime=582.07
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68081 0 0 0 58082 125 0 0 25 0 1 0 96660079 281264128 66823 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 68668 66823 106 215 0 68450 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 274672

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9979
/proc/meminfo: memFree=1599480/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=275404 CPUtime=642.06
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68174 0 0 0 64080 126 0 0 25 0 1 0 96660079 282013696 66916 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 68851 66916 106 215 0 68633 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 275404

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9979
/proc/meminfo: memFree=1599352/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=275404 CPUtime=702.04
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68191 0 0 0 70078 126 0 0 25 0 1 0 96660079 282013696 66933 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 68851 66933 106 215 0 68633 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 275404

[startup+762.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9979
/proc/meminfo: memFree=1599288/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=275404 CPUtime=762.02
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68205 0 0 0 76076 126 0 0 25 0 1 0 96660079 282013696 66947 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 68851 66947 106 215 0 68633 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 275404

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9979
/proc/meminfo: memFree=1599224/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=275404 CPUtime=822
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68234 0 0 0 82074 126 0 0 25 0 1 0 96660079 282013696 66976 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 68851 66976 106 215 0 68633 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 275404

[startup+882.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9979
/proc/meminfo: memFree=1599096/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=275404 CPUtime=881.99
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68262 0 0 0 88073 126 0 0 25 0 1 0 96660079 282013696 67004 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581319 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 68851 67004 106 215 0 68633 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 275404

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9979
/proc/meminfo: memFree=1598968/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=275484 CPUtime=941.97
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68285 0 0 0 94070 127 0 0 25 0 1 0 96660079 282095616 67027 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 68871 67027 106 215 0 68653 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 275484

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9979
/proc/meminfo: memFree=1598968/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=275484 CPUtime=1001.95
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68306 0 0 0 100068 127 0 0 25 0 1 0 96660079 282095616 67048 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 68871 67048 106 215 0 68653 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 275484

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9979
/proc/meminfo: memFree=1598712/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=276256 CPUtime=1061.94
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68351 0 0 0 106067 127 0 0 25 0 1 0 96660079 282886144 67093 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 69064 67093 106 215 0 68846 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 276256

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9979
/proc/meminfo: memFree=1598392/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=276580 CPUtime=1121.92
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68433 0 0 0 112065 127 0 0 25 0 1 0 96660079 283217920 67175 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 69145 67175 106 215 0 68927 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 276580

[startup+1182.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 9979
/proc/meminfo: memFree=1598264/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=276700 CPUtime=1181.9
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68454 0 0 0 118063 127 0 0 25 0 1 0 96660079 283340800 67196 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568479 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 69175 67196 106 215 0 68957 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 276700

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

[startup+1203.2 s]
/proc/loadavg: 1.11 1.03 1.01 2/65 9979
/proc/meminfo: memFree=1598264/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=276700 CPUtime=1202.8
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68454 0 0 0 120153 127 0 0 25 0 1 0 96660079 283340800 67196 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 69175 67196 106 215 0 68957 0
Current children cumulated CPU time (s) 1202.8
Current children cumulated vsize (KiB) 276700

[startup+1216 s]
/proc/loadavg: 1.09 1.03 1.00 2/65 9979
/proc/meminfo: memFree=1598136/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=276700 CPUtime=1215.59
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68454 0 0 0 121432 127 0 0 25 0 1 0 96660079 283340800 67196 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 69175 67196 106 215 0 68957 0
Current children cumulated CPU time (s) 1215.59
Current children cumulated vsize (KiB) 276700

[startup+1222.4 s]
/proc/loadavg: 1.08 1.03 1.00 2/65 9979
/proc/meminfo: memFree=1598136/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=276700 CPUtime=1221.99
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68454 0 0 0 122072 127 0 0 25 0 1 0 96660079 283340800 67196 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 69175 67196 106 215 0 68957 0
Current children cumulated CPU time (s) 1221.99
Current children cumulated vsize (KiB) 276700

[startup+1225.6 s]
/proc/loadavg: 1.08 1.03 1.00 2/65 9979
/proc/meminfo: memFree=1598136/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=276700 CPUtime=1225.19
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68454 0 0 0 122392 127 0 0 25 0 1 0 96660079 283340800 67196 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581426 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 69175 67196 106 215 0 68957 0
Current children cumulated CPU time (s) 1225.19
Current children cumulated vsize (KiB) 276700

[startup+1227.2 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 9979
/proc/meminfo: memFree=1598072/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=276700 CPUtime=1226.79
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68454 0 0 0 122552 127 0 0 25 0 1 0 96660079 283340800 67196 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580327 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 69175 67196 106 215 0 68957 0
Current children cumulated CPU time (s) 1226.79
Current children cumulated vsize (KiB) 276700

[startup+1228 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 9979
/proc/meminfo: memFree=1598072/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=276700 CPUtime=1227.59
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68454 0 0 0 122632 127 0 0 25 0 1 0 96660079 283340800 67196 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 69175 67196 106 215 0 68957 0
Current children cumulated CPU time (s) 1227.59
Current children cumulated vsize (KiB) 276700

[startup+1228.2 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 9979
/proc/meminfo: memFree=1598072/2055920 swapFree=4183592/4192956
[pid=9978] ppid=9976 vsize=276700 CPUtime=1227.79
/proc/9978/stat : 9978 (minisat+) R 9976 9978 9338 0 -1 4194304 68454 0 0 0 122652 127 0 0 25 0 1 0 96660079 283340800 67196 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568543 0 0 4096 16386 0 0 0 17 0 0 0
/proc/9978/statm: 69175 67196 106 215 0 68957 0
Current children cumulated CPU time (s) 1227.79
Current children cumulated vsize (KiB) 276700

Child status: 20
Real time (s): 1228.3
CPU time (s): 1227.89
CPU user time (s): 1226.58
CPU system time (s): 1.3158
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (KiB): 276700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1226.58
system time used= 1.3158
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68457
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= 9778
involuntary context switches= 1816

runsolver used 1.9707 second user time and 4.31734 second system time

The end

Launcher Data (download as text)

Begin job on node50 on Tue Apr 24 12:35:49 UTC 2007

IDJOB= 420069
IDBENCH= 47819
IDSOLVER= 156
FILE ID= node50/420069-1177418147

PBS_JOBID= 4675700

Free space on /tmp= 66481 MiB

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

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  1d8b4bc6cd59d6ee3856cf9cca980ee0

RANDOM SEED= 219467600

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node50.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.232
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.232
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:       1868184 kB
Buffers:          5600 kB
Cached:         138760 kB
SwapCached:       4152 kB
Active:          85324 kB
Inactive:        70484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1868184 kB
SwapTotal:     4192956 kB
SwapFree:      4183592 kB
Dirty:           27872 kB
Writeback:           0 kB
Mapped:          16076 kB
Slab:            17908 kB
Committed_AS:  2916896 kB
PageTables:       1464 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= 66481 MiB

End job on node50 on Tue Apr 24 12:56:18 UTC 2007