MCC'2021- Execution of r080-tall-162048871200642

About the Execution of LoLA for Echo-PT-d03r05

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
12425.968	3600000.00	7957372.00	7753.90	??????????F??T??	normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2021-input
Waiting for the VM to be
.................................
...........
.................................
.................................
.................................
.................................
.................................
=================================
Generated by BenchKit 2-4028
Executing tool lola
Input is Echo-PT-d03r05,
Time confinement
Memory confinement is
Number of cores is 4
Run identifier is r080-tall-1
=================================

--------------------
preparation of the directory
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 15K May
-rw-r--r-- 1 mcc users 135K
-rw-r--r-- 1 mcc users 12K May
-rw-r--r-- 1 mcc users 101K
-rw-r--r-- 1 mcc users 4.2K May
-rw-r--r-- 1 mcc users 5.9K May
-rw-r--r-- 1 mcc users 3.3K
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 1.9K
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 3.5K
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 2.8K
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 1.6K
-rw-r--r-- 1 mcc users 3.6K
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 716K May

--------------------
content from stdout:

=== Data for post analysis

The expected result is a
BOOL_VECTOR

here is the order used to
FORMULA_NAME Echo-PT-d03r05-CTLFi
FORMULA_NAME Echo-PT-d03r05-CTLFi
FORMULA_NAME Echo-PT-d03r05-CTLFi
FORMULA_NAME Echo-PT-d03r05-CTLFi
FORMULA_NAME Echo-PT-d03r05-CTLFi
FORMULA_NAME Echo-PT-d03r05-CTLFi
FORMULA_NAME Echo-PT-d03r05-CTLFi
FORMULA_NAME Echo-PT-d03r05-CTLFi
FORMULA_NAME Echo-PT-d03r05-CTLFi
FORMULA_NAME Echo-PT-d03r05-CTLFi
FORMULA_NAME Echo-PT-d03r05-CTLFi
FORMULA_NAME Echo-PT-d03r05-CTLFi
FORMULA_NAME Echo-PT-d03r05-CTLFi
FORMULA_NAME Echo-PT-d03r05-CTLFi
FORMULA_NAME Echo-PT-d03r05-CTLFi
FORMULA_NAME Echo-PT-d03r05-CTLFi

=== Now, execution of the

BK_START 1620823829592

starting LoLA
BK_INPUT Echo-PT-d03r05
BK_EXAMINATION: CTLFireability
bin directory: /home/mcc/BenchKit
current directory: /home/mcc/exec
CTLFireability

FORMULA Echo-PT-d03r05-CTLFireability-13

FORMULA Echo-PT-d03r05-CTLFireability-10

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file
lola: reading net from
lola: reading pnml
lola: PNML file contains
lola: finished parsing
lola: closed net file
lola: Reading formula.
lola: Using XML format
lola: reading XML formula
lola: reading formula
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: RELEASE
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: RELEASE
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: RELEASE
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: Created skeleton
lola: Created skeleton
lola: Rule S: 0 transitions
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 174 secs.
# running tasks: 0 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 179 secs.
# running tasks: 0 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 184 secs.
# running tasks: 0 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 189 secs.
# running tasks: 0 of 4
lola: rewrite Frontend/Parser/f
lola: LAUNCH task # 54
lola: time limit : 170 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 62
lola: time limit : 189 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 3/189

Time elapsed: 194 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 8/189

Time elapsed: 199 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 13/189

Time elapsed: 204 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 18/189

Time elapsed: 209 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 23/189

Time elapsed: 214 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 28/189

Time elapsed: 219 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 33/189

Time elapsed: 224 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 38/189

Time elapsed: 229 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 43/189

Time elapsed: 234 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 48/189

Time elapsed: 239 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 53/189

Time elapsed: 244 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 58/189

Time elapsed: 249 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 63/189

Time elapsed: 254 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 68/189

Time elapsed: 259 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 73/189

Time elapsed: 264 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 78/189

Time elapsed: 269 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 83/189

Time elapsed: 274 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 88/189

Time elapsed: 279 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 93/189

Time elapsed: 284 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 98/189

Time elapsed: 289 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 103/189

Time elapsed: 294 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 108/189

Time elapsed: 299 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 113/189

Time elapsed: 304 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 118/189

Time elapsed: 309 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 123/189

Time elapsed: 314 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 128/189

Time elapsed: 319 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 133/189

Time elapsed: 324 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 138/189

Time elapsed: 329 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 143/189

Time elapsed: 334 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 148/189

Time elapsed: 339 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 153/189

Time elapsed: 344 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 158/189

Time elapsed: 349 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 163/189

Time elapsed: 354 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 168/189

Time elapsed: 359 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 173/189

Time elapsed: 364 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 178/189

Time elapsed: 369 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 183/189

Time elapsed: 374 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 188/189

Time elapsed: 379 secs.
# running tasks: 1 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 384 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 60
lola: time limit : 189 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 62
lola: time limit : 3216 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 5/189
62 CTL EXCL 5/3216

Time elapsed: 389 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 10/189
62 CTL EXCL 10/178

Time elapsed: 394 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 15/189
62 CTL EXCL 15/178

Time elapsed: 399 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 20/189
62 CTL EXCL 20/178

Time elapsed: 404 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 25/189
62 CTL EXCL 25/178

Time elapsed: 409 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 30/189
62 CTL EXCL 30/178

Time elapsed: 414 secs.
# running tasks: 2 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 35/189

Time elapsed: 419 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 40/189

Time elapsed: 424 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 45/189

Time elapsed: 429 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 50/189

Time elapsed: 434 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 55/189

Time elapsed: 439 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 60/189

Time elapsed: 444 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 65/189

Time elapsed: 449 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 70/189

Time elapsed: 454 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 75/189

Time elapsed: 459 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 80/189

Time elapsed: 464 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 85/189

Time elapsed: 469 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 90/189

Time elapsed: 474 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 95/189

Time elapsed: 479 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 100/189

Time elapsed: 484 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 105/189

Time elapsed: 489 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 110/189

Time elapsed: 494 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 115/189

Time elapsed: 499 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 120/189

Time elapsed: 504 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 125/189

Time elapsed: 509 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 130/189

Time elapsed: 514 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 135/189

Time elapsed: 519 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 140/189

Time elapsed: 524 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 145/189

Time elapsed: 529 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 150/189

Time elapsed: 534 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 155/189

Time elapsed: 539 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 160/189

Time elapsed: 544 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 165/189

Time elapsed: 549 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 170/189

Time elapsed: 554 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 175/189

Time elapsed: 559 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 180/189

Time elapsed: 564 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 CTL EXCL 185/189

Time elapsed: 569 secs.
# running tasks: 1 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 574 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 58
lola: time limit : 189 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 60
lola: time limit : 3026 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r05-CTLFireability-00:
Echo-PT-d03r05-CTLFireability-01:
Echo-PT-d03r05-CTLFireability-02:
Echo-PT-d03r05-CTLFireability-03:
Echo-PT-d03r05-CTLFireability-04:
Echo-PT-d03r05-CTLFireability-05:
Echo-PT-d03r05-CTLFireability-06:
Echo-PT-d03r05-CTLFireability-07:
Echo-PT-d03r05-CTLFireability-08:
Echo-PT-d03r05-CTLFireability-09:
Echo-PT-d03r05-CTLFireability-10:
Echo-PT-d03r05-CTLFireability-11:
Echo-PT-d03r05-CTLFireability-12:
Echo-PT-d03r05-CTLFireability-13:
Echo-PT-d03r05-CTLFireability-14:
Echo-PT-d03r05-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 5/189
60 CTL EXCL 5/3026

Time elapsed: 579 secs.
# running tasks: 2 of 4

========== file over 1MB
retrieve it from the run
.r080-tall-162048871200642.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off ready (probing ssh) ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ==================================== examination is CTLFireability is 3600 seconds 16384 MBytes 62048871200642 ==================================== to be used: 5 16:58 CTLCardinality.txt May 10 09:43 CTLCardinality.xml 5 16:58 CTLFireability.txt May 10 09:43 CTLFireability.xml 6 14:48 GenericPropertiesDefinition.xml 6 14:48 GenericPropertiesVerdict.xml Mar 28 16:07 LTLCardinality.txt 25K Mar 28 16:07 LTLCardinality.xml Mar 28 16:07 LTLFireability.txt 16K Mar 28 16:07 LTLFireability.xml Mar 23 10:41 ReachabilityCardinality.txt 18K Mar 23 10:41 ReachabilityCardinality.xml Mar 22 18:43 ReachabilityFireability.txt 18K Mar 22 18:43 ReachabilityFireability.xml Mar 22 09:11 UpperBounds.txt Mar 22 09:11 UpperBounds.xml 6 May 5 16:51 equiv_col 7 May 5 16:51 instance 6 May 5 16:51 iscolored 5 16:51 model.pnml generated by BenchKit (invocation template) vector of booleans build the result vector(from text file) reability-00 reability-01 reability-02 reability-03 reability-04 reability-05 reability-06 reability-07 reability-08 reability-09 reability-10 reability-11 reability-12 reability-13 reability-14 reability-15 tool begins /bin ution TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT (--pnmlnet) /home/mcc/execution/model.pnml place/transition net /home/mcc/execution/model.pnml (--xmlformula) from /home/mcc/execution/CTLFireability.xml ormula_rewrite.k:250 ormula_rewrite.k:322 ormula_rewrite.k:331 ormula_rewrite.k:314 ormula_rewrite.k:322 ormula_rewrite.k:334 ormula_rewrite.k:296 ormula_rewrite.k:314 ormula_rewrite.k:296 ormula_rewrite.k:296 ormula_rewrite.k:325 ormula_rewrite.k:328 ormula_rewrite.k:317 ormula_rewrite.k:325 ormula_rewrite.k:334 ormula_rewrite.k:299 ormula_rewrite.k:317 ormula_rewrite.k:299 ormula_rewrite.k:299 ormula_rewrite.k:322 ormula_rewrite.k:328 ormula_rewrite.k:296 ormula_rewrite.k:250 ormula_rewrite.k:314 ormula_rewrite.k:325 ormula_rewrite.k:331 ormula_rewrite.k:299 ormula_rewrite.k:325 ormula_rewrite.k:337 ormula_rewrite.k:325 ormula_rewrite.k:328 ormula_rewrite.k:314 ormula_rewrite.k:296 ormula_rewrite.k:314 ormula_rewrite.k:322 ormula_rewrite.k:337 ormula_rewrite.k:296 ormula_rewrite.k:296 ormula_rewrite.k:296 ormula_rewrite.k:322 ormula_rewrite.k:331 ormula_rewrite.k:314 ormula_rewrite.k:325 ormula_rewrite.k:328 ormula_rewrite.k:296 ormula_rewrite.k:322 ormula_rewrite.k:331 ormula_rewrite.k:296 ormula_rewrite.k:445 ormula_rewrite.k:448 ormula_rewrite.k:454 ormula_rewrite.k:253 ormula_rewrite.k:314 ormula_rewrite.k:317 ormula_rewrite.k:322 ormula_rewrite.k:337 ormula_rewrite.k:296 ormula_rewrite.k:296 ormula_rewrite.k:296 ormula_rewrite.k:317 ormula_rewrite.k:296 ormula_rewrite.k:325 ormula_rewrite.k:337 ormula_rewrite.k:296 ormula_rewrite.k:296 ormula_rewrite.k:317 ormula_rewrite.k:325 ormula_rewrite.k:328 ormula_rewrite.k:322 ormula_rewrite.k:334 ormula_rewrite.k:296 ormula_rewrite.k:314 ormula_rewrite.k:317 ormula_rewrite.k:314 ormula_rewrite.k:322 ormula_rewrite.k:328 ormula_rewrite.k:296 ormula_rewrite.k:322 ormula_rewrite.k:331 ormula_rewrite.k:296 ormula_rewrite.k:296 ormula_rewrite.k:317 ormula_rewrite.k:314 ormula_rewrite.k:325 ormula_rewrite.k:340 ormula_rewrite.k:299 ormula_rewrite.k:299 ormula_rewrite.k:299 ormula_rewrite.k:314 ormula_rewrite.k:299 ormula_rewrite.k:322 ormula_rewrite.k:340 ormula_rewrite.k:299 ormula_rewrite.k:299 ormula_rewrite.k:253 ormula_rewrite.k:317 ormula_rewrite.k:314 ormula_rewrite.k:296 ormula_rewrite.k:322 ormula_rewrite.k:337 ormula_rewrite.k:296 ormula_rewrite.k:296 ormula_rewrite.k:317 ormula_rewrite.k:296 ormula_rewrite.k:296 ormula_rewrite.k:250 ormula_rewrite.k:400 ormula_rewrite.k:325 ormula_rewrite.k:334 ormula_rewrite.k:296 ormula_rewrite.k:397 ormula_rewrite.k:325 ormula_rewrite.k:334 ormula_rewrite.k:325 ormula_rewrite.k:328 ormula_rewrite.k:296 ormula_rewrite.k:322 ormula_rewrite.k:334 ormula_rewrite.k:322 ormula_rewrite.k:331 ormula_rewrite.k:299 ormula_rewrite.k:454 ormula_rewrite.k:394 ormula_rewrite.k:322 ormula_rewrite.k:337 ormula_rewrite.k:325 ormula_rewrite.k:337 ormula_rewrite.k:296 ormula_rewrite.k:325 ormula_rewrite.k:334 ormula_rewrite.k:296 ormula_rewrite.k:296 ormula_rewrite.k:322 ormula_rewrite.k:337 ormula_rewrite.k:296 ormula_rewrite.k:322 ormula_rewrite.k:334 ormula_rewrite.k:296 ormula_rewrite.k:317 ormula_rewrite.k:322 ormula_rewrite.k:334 ormula_rewrite.k:317 ormula_rewrite.k:322 ormula_rewrite.k:334 ormula_rewrite.k:296 ormula_rewrite.k:325 ormula_rewrite.k:331 ormula_rewrite.k:296 ormula_rewrite.k:325 ormula_rewrite.k:340 ormula_rewrite.k:299 ormula_rewrite.k:325 ormula_rewrite.k:334 ormula_rewrite.k:299 ormula_rewrite.k:317 ormula_rewrite.k:314 ormula_rewrite.k:322 ormula_rewrite.k:331 ormula_rewrite.k:296 ormula_rewrite.k:296 ormula_rewrite.k:317 ormula_rewrite.k:322 ormula_rewrite.k:337 ormula_rewrite.k:296 ormula_rewrite.k:296 ormula_rewrite.k:296 ormula_rewrite.k:553 ormula_rewrite.k:325 ormula_rewrite.k:334 ormula_rewrite.k:296 ormula_rewrite.k:547 ormula_rewrite.k:314 ormula_rewrite.k:317 ormula_rewrite.k:325 ormula_rewrite.k:331 ormula_rewrite.k:322 ormula_rewrite.k:337 ormula_rewrite.k:296 ormula_rewrite.k:296 ormula_rewrite.k:325 ormula_rewrite.k:331 ormula_rewrite.k:296 ormula_rewrite.k:317 ormula_rewrite.k:296 ormula_rewrite.k:325 ormula_rewrite.k:331 ormula_rewrite.k:296 ormula_rewrite.k:250 ormula_rewrite.k:250 ormula_rewrite.k:250 ormula_rewrite.k:322 ormula_rewrite.k:334 ormula_rewrite.k:296 ormula_rewrite.k:325 ormula_rewrite.k:334 ormula_rewrite.k:299 ormula_rewrite.k:250 ormula_rewrite.k:550 ormula_rewrite.k:317 ormula_rewrite.k:314 ormula_rewrite.k:322 ormula_rewrite.k:334 ormula_rewrite.k:322 ormula_rewrite.k:331 ormula_rewrite.k:296 ormula_rewrite.k:322 ormula_rewrite.k:334 ormula_rewrite.k:296 ormula_rewrite.k:322 ormula_rewrite.k:331 ormula_rewrite.k:317 ormula_rewrite.k:296 ormula_rewrite.k:317 ormula_rewrite.k:322 ormula_rewrite.k:337 ormula_rewrite.k:296 ormula_rewrite.k:296 ormula_rewrite.k:322 ormula_rewrite.k:334 ormula_rewrite.k:296 ormula_rewrite.k:325 ormula_rewrite.k:328 ormula_rewrite.k:296 ormula_rewrite.k:253 ormula_rewrite.k:397 in 0.000000 secs. in 0.000000 secs. removed,0 places removed in 0.000000 secs. in 0.000000 secs. in 1.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 1.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 1.000000 secs. in 0.000000 secs. in 1.000000 secs. ormula_rewrite.k:811 ormula_rewrite.k:808 ormula_rewrite.k:809 ormula_rewrite.k:813 ormula_rewrite.k:812 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CONJ 1 0 0 0 5 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CONJ 1 0 0 0 5 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CONJ 1 0 0 0 5 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CONJ 1 0 0 0 5 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 ormula_rewrite.k:715 (type EXCL) for 45 Echo-PT-d03r05-CTLFireability-15 ormula_rewrite.k:808 ormula_rewrite.k:806 ormula_rewrite.k:807 ormula_rewrite.k:810 ormula_rewrite.k:807 ormula_rewrite.k:808 ormula_rewrite.k:812 ormula_rewrite.k:814 ormula_rewrite.k:808 ormula_rewrite.k:810 ormula_rewrite.k:813 ormula_rewrite.k:813 ormula_rewrite.k:813 ormula_rewrite.k:809 54 (type EXCL) for Echo-PT-d03r05-CTLFireability-15 : true 250 249 0.000000 1 (type EXCL) for 45 Echo-PT-d03r05-CTLFireability-15 ormula_rewrite.k:813 ormula_rewrite.k:812 ormula_rewrite.k:806 ormula_rewrite.k:808 ormula_rewrite.k:813 ormula_rewrite.k:808 ormula_rewrite.k:807 ormula_rewrite.k:811 ormula_rewrite.k:807 ormula_rewrite.k:806 ormula_rewrite.k:813 ormula_rewrite.k:810 ormula_rewrite.k:806 ormula_rewrite.k:811 ormula_rewrite.k:812 ormula_rewrite.k:812 ormula_rewrite.k:811 ormula_rewrite.k:814 ormula_rewrite.k:814 ormula_rewrite.k:807 ormula_rewrite.k:811 ormula_rewrite.k:806 ormula_rewrite.k:808 ormula_rewrite.k:814 ormula_rewrite.k:809 ormula_rewrite.k:813 ormula_rewrite.k:807 ormula_rewrite.k:812 ormula_rewrite.k:814 ormula_rewrite.k:812 ormula_rewrite.k:808 ormula_rewrite.k:806 ormula_rewrite.k:812 ormula_rewrite.k:809 ormula_rewrite.k:806 ormula_rewrite.k:812 ormula_rewrite.k:811 ormula_rewrite.k:808 ormula_rewrite.k:807 ormula_rewrite.k:808 ormula_rewrite.k:810 ormula_rewrite.k:807 ormula_rewrite.k:808 ormula_rewrite.k:808 ormula_rewrite.k:813 ormula_rewrite.k:812 ormula_rewrite.k:808 ormula_rewrite.k:814 ormula_rewrite.k:813 ormula_rewrite.k:810 ormula_rewrite.k:811 ormula_rewrite.k:811 ormula_rewrite.k:808 ormula_rewrite.k:808 ormula_rewrite.k:815 ormula_rewrite.k:808 ormula_rewrite.k:808 ormula_rewrite.k:812 ormula_rewrite.k:813 ormula_rewrite.k:812 ormula_rewrite.k:807 ormula_rewrite.k:806 ormula_rewrite.k:811 ormula_rewrite.k:806 ormula_rewrite.k:809 ormula_rewrite.k:814 ormula_rewrite.k:806 ormula_rewrite.k:814 ormula_rewrite.k:813 ormula_rewrite.k:812 ormula_rewrite.k:815 ormula_rewrite.k:810 ormula_rewrite.k:807 ormula_rewrite.k:813 ormula_rewrite.k:807 ormula_rewrite.k:812 ormula_rewrite.k:814 ormula_rewrite.k:813 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 1/32 Echo-PT-d03r05-CTLFireability-15 93969 m, 18793 m/sec, 167459 t fired, . Pages in use: 1 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 2/32 Echo-PT-d03r05-CTLFireability-15 279010 m, 37008 m/sec, 528866 t fired, . Pages in use: 2 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 3/32 Echo-PT-d03r05-CTLFireability-15 459419 m, 36081 m/sec, 888975 t fired, . Pages in use: 3 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 3/32 Echo-PT-d03r05-CTLFireability-15 634587 m, 35033 m/sec, 1261189 t fired, . Pages in use: 3 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 4/32 Echo-PT-d03r05-CTLFireability-15 820306 m, 37143 m/sec, 1644525 t fired, . Pages in use: 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 5/32 Echo-PT-d03r05-CTLFireability-15 1000036 m, 35946 m/sec, 2025839 t fired, . Pages in use: 5 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 6/32 Echo-PT-d03r05-CTLFireability-15 1182947 m, 36582 m/sec, 2399777 t fired, . Pages in use: 6 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 7/32 Echo-PT-d03r05-CTLFireability-15 1360138 m, 35438 m/sec, 2770498 t fired, . Pages in use: 7 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 7/32 Echo-PT-d03r05-CTLFireability-15 1530211 m, 34014 m/sec, 3123339 t fired, . Pages in use: 7 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 8/32 Echo-PT-d03r05-CTLFireability-15 1700703 m, 34098 m/sec, 3485766 t fired, . Pages in use: 8 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 9/32 Echo-PT-d03r05-CTLFireability-15 1856849 m, 31229 m/sec, 3836776 t fired, . Pages in use: 9 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 10/32 Echo-PT-d03r05-CTLFireability-15 2033177 m, 35265 m/sec, 4233509 t fired, . Pages in use: 10 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 11/32 Echo-PT-d03r05-CTLFireability-15 2202570 m, 33878 m/sec, 4614484 t fired, . Pages in use: 11 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 11/32 Echo-PT-d03r05-CTLFireability-15 2365194 m, 32524 m/sec, 4980469 t fired, . Pages in use: 11 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 12/32 Echo-PT-d03r05-CTLFireability-15 2533169 m, 33595 m/sec, 5358399 t fired, . Pages in use: 12 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 13/32 Echo-PT-d03r05-CTLFireability-15 2689823 m, 31330 m/sec, 5706196 t fired, . Pages in use: 13 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 14/32 Echo-PT-d03r05-CTLFireability-15 2861054 m, 34246 m/sec, 6062024 t fired, . Pages in use: 14 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 14/32 Echo-PT-d03r05-CTLFireability-15 3044248 m, 36638 m/sec, 6451058 t fired, . Pages in use: 14 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 15/32 Echo-PT-d03r05-CTLFireability-15 3206268 m, 32404 m/sec, 6818024 t fired, . Pages in use: 15 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 16/32 Echo-PT-d03r05-CTLFireability-15 3365671 m, 31880 m/sec, 7175103 t fired, . Pages in use: 16 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 17/32 Echo-PT-d03r05-CTLFireability-15 3533826 m, 33631 m/sec, 7554732 t fired, . Pages in use: 17 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 17/32 Echo-PT-d03r05-CTLFireability-15 3705666 m, 34368 m/sec, 7939403 t fired, . Pages in use: 17 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 18/32 Echo-PT-d03r05-CTLFireability-15 3867181 m, 32303 m/sec, 8304827 t fired, . Pages in use: 18 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 19/32 Echo-PT-d03r05-CTLFireability-15 4048686 m, 36301 m/sec, 8700139 t fired, . Pages in use: 19 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 20/32 Echo-PT-d03r05-CTLFireability-15 4222050 m, 34672 m/sec, 9066914 t fired, . Pages in use: 20 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 21/32 Echo-PT-d03r05-CTLFireability-15 4394856 m, 34561 m/sec, 9435096 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 21/32 Echo-PT-d03r05-CTLFireability-15 4567510 m, 34530 m/sec, 9829269 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 22/32 Echo-PT-d03r05-CTLFireability-15 4732582 m, 33014 m/sec, 10193958 t fired, . Pages in use: 22 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 23/32 Echo-PT-d03r05-CTLFireability-15 4888139 m, 31111 m/sec, 10550838 t fired, . Pages in use: 23 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 24/32 Echo-PT-d03r05-CTLFireability-15 5066656 m, 35703 m/sec, 10945270 t fired, . Pages in use: 24 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 24/32 Echo-PT-d03r05-CTLFireability-15 5227204 m, 32109 m/sec, 11314455 t fired, . Pages in use: 24 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 25/32 Echo-PT-d03r05-CTLFireability-15 5400346 m, 34628 m/sec, 11695954 t fired, . Pages in use: 25 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 26/32 Echo-PT-d03r05-CTLFireability-15 5553598 m, 30650 m/sec, 12048353 t fired, . Pages in use: 26 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 27/32 Echo-PT-d03r05-CTLFireability-15 5714910 m, 32262 m/sec, 12417523 t fired, . Pages in use: 27 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 27/32 Echo-PT-d03r05-CTLFireability-15 5871947 m, 31407 m/sec, 12800793 t fired, . Pages in use: 27 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 28/32 Echo-PT-d03r05-CTLFireability-15 6028373 m, 31285 m/sec, 13174795 t fired, . Pages in use: 28 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 29/32 Echo-PT-d03r05-CTLFireability-15 6171647 m, 28654 m/sec, 13523106 t fired, . Pages in use: 29 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 1 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 29/32 Echo-PT-d03r05-CTLFireability-15 6321843 m, 30039 m/sec, 13889694 t fired, . Pages in use: 29 Visible: 16 62 (type EXCL) for Echo-PT-d03r05-CTLFireability-15 (local timeout) VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 6 1 0 1 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 30 Visible: 16 (type EXCL) for 45 Echo-PT-d03r05-CTLFireability-15 (type EXCL) for 45 Echo-PT-d03r05-CTLFireability-15 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 2 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 1/32 Echo-PT-d03r05-CTLFireability-15 100837 m, 20167 m/sec, 328846 t fired, . 1/5 Echo-PT-d03r05-CTLFireability-15 158391 m, -1232690 m/sec, 294844 t fired, . Pages in use: 33 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 2 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 1/32 Echo-PT-d03r05-CTLFireability-15 195240 m, 18880 m/sec, 697550 t fired, . 2/5 Echo-PT-d03r05-CTLFireability-15 334601 m, 35242 m/sec, 640261 t fired, . Pages in use: 35 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 2 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 2/32 Echo-PT-d03r05-CTLFireability-15 288907 m, 18733 m/sec, 1059169 t fired, . 3/5 Echo-PT-d03r05-CTLFireability-15 495772 m, 32234 m/sec, 969768 t fired, . Pages in use: 37 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 2 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 2/32 Echo-PT-d03r05-CTLFireability-15 366654 m, 15549 m/sec, 1383243 t fired, . 3/5 Echo-PT-d03r05-CTLFireability-15 633184 m, 27482 m/sec, 1258106 t fired, . Pages in use: 38 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 2 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 3/32 Echo-PT-d03r05-CTLFireability-15 458220 m, 18313 m/sec, 1761286 t fired, . 4/5 Echo-PT-d03r05-CTLFireability-15 803697 m, 34102 m/sec, 1606863 t fired, . Pages in use: 41 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 2 0 6 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 3/32 Echo-PT-d03r05-CTLFireability-15 544071 m, 17170 m/sec, 2136728 t fired, . 5/5 Echo-PT-d03r05-CTLFireability-15 968159 m, 32892 m/sec, 1956346 t fired, . Pages in use: 42 Visible: 16 62 (type EXCL) for Echo-PT-d03r05-CTLFireability-15 (memory limit exceeded) VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 3/32 Echo-PT-d03r05-CTLFireability-15 634861 m, 18158 m/sec, 2506559 t fired, . Pages in use: 43 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 4/32 Echo-PT-d03r05-CTLFireability-15 725300 m, 18087 m/sec, 2883583 t fired, . Pages in use: 43 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 4/32 Echo-PT-d03r05-CTLFireability-15 814338 m, 17807 m/sec, 3268065 t fired, . Pages in use: 43 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 5/32 Echo-PT-d03r05-CTLFireability-15 916511 m, 20434 m/sec, 3663738 t fired, . Pages in use: 43 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 5/32 Echo-PT-d03r05-CTLFireability-15 1003777 m, 17453 m/sec, 4042004 t fired, . Pages in use: 43 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 5/32 Echo-PT-d03r05-CTLFireability-15 1087667 m, 16778 m/sec, 4413589 t fired, . Pages in use: 43 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 6/32 Echo-PT-d03r05-CTLFireability-15 1171186 m, 16703 m/sec, 4788047 t fired, . Pages in use: 45 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 6/32 Echo-PT-d03r05-CTLFireability-15 1250081 m, 15779 m/sec, 5165641 t fired, . Pages in use: 46 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 7/32 Echo-PT-d03r05-CTLFireability-15 1329598 m, 15903 m/sec, 5541419 t fired, . Pages in use: 48 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 7/32 Echo-PT-d03r05-CTLFireability-15 1411448 m, 16370 m/sec, 5916578 t fired, . Pages in use: 48 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 7/32 Echo-PT-d03r05-CTLFireability-15 1494098 m, 16530 m/sec, 6313957 t fired, . Pages in use: 49 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 8/32 Echo-PT-d03r05-CTLFireability-15 1582764 m, 17733 m/sec, 6719079 t fired, . Pages in use: 51 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 8/32 Echo-PT-d03r05-CTLFireability-15 1667363 m, 16919 m/sec, 7107833 t fired, . Pages in use: 52 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 8/32 Echo-PT-d03r05-CTLFireability-15 1757140 m, 17955 m/sec, 7481138 t fired, . Pages in use: 52 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 9/32 Echo-PT-d03r05-CTLFireability-15 1843530 m, 17278 m/sec, 7865413 t fired, . Pages in use: 54 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 9/32 Echo-PT-d03r05-CTLFireability-15 1927553 m, 16804 m/sec, 8229043 t fired, . Pages in use: 55 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 10/32 Echo-PT-d03r05-CTLFireability-15 2005805 m, 15650 m/sec, 8600706 t fired, . Pages in use: 56 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 10/32 Echo-PT-d03r05-CTLFireability-15 2088939 m, 16626 m/sec, 9010374 t fired, . Pages in use: 57 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 10/32 Echo-PT-d03r05-CTLFireability-15 2175531 m, 17318 m/sec, 9384988 t fired, . Pages in use: 58 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 11/32 Echo-PT-d03r05-CTLFireability-15 2267595 m, 18412 m/sec, 9779268 t fired, . Pages in use: 60 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 11/32 Echo-PT-d03r05-CTLFireability-15 2355819 m, 17644 m/sec, 10169021 t fired, . Pages in use: 60 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 12/32 Echo-PT-d03r05-CTLFireability-15 2446779 m, 18192 m/sec, 10570357 t fired, . Pages in use: 62 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 12/32 Echo-PT-d03r05-CTLFireability-15 2524273 m, 15498 m/sec, 10945940 t fired, . Pages in use: 63 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 12/32 Echo-PT-d03r05-CTLFireability-15 2604704 m, 16086 m/sec, 11341566 t fired, . Pages in use: 63 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 13/32 Echo-PT-d03r05-CTLFireability-15 2695123 m, 18083 m/sec, 11714530 t fired, . Pages in use: 65 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 13/32 Echo-PT-d03r05-CTLFireability-15 2783886 m, 17752 m/sec, 12108137 t fired, . Pages in use: 66 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 13/32 Echo-PT-d03r05-CTLFireability-15 2871212 m, 17465 m/sec, 12489645 t fired, . Pages in use: 66 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 14/32 Echo-PT-d03r05-CTLFireability-15 2957966 m, 17350 m/sec, 12878555 t fired, . Pages in use: 68 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 14/32 Echo-PT-d03r05-CTLFireability-15 3037733 m, 15953 m/sec, 13271100 t fired, . Pages in use: 69 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 15/32 Echo-PT-d03r05-CTLFireability-15 3127937 m, 18040 m/sec, 13689936 t fired, . Pages in use: 70 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 1 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 15/32 Echo-PT-d03r05-CTLFireability-15 3223198 m, 19052 m/sec, 14068311 t fired, . Pages in use: 71 Visible: 16 60 (type EXCL) for Echo-PT-d03r05-CTLFireability-15 (local timeout) VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 6 1 1 1 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 72 Visible: 16 (type EXCL) for 45 Echo-PT-d03r05-CTLFireability-15 (type EXCL) for 45 Echo-PT-d03r05-CTLFireability-15 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 2 0 6 0 1 1 MEM PG/PGLIMIT FORMULA STATUS 1/32 Echo-PT-d03r05-CTLFireability-15 77931 m, 15586 m/sec, 254697 t fired, . 1/5 Echo-PT-d03r05-CTLFireability-15 92452 m, -626149 m/sec, 298266 t fired, . Pages in use: 76 Visible: 16 has been truncated ====== archives if needed

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Echo-PT-d03r05"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool lola"
echo " Input is Echo-PT-d03r05, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r080-tall-162048871200642"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Echo-PT-d03r05.tgz
mv Echo-PT-d03r05 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;