MCC'2021- Execution of r061-tall-162038393100361

About the Execution of LoLA for DLCround-PT-08b

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
16244.968	722328.00	1500422.00	3016.60	??????????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 DLCround-PT-08b,
Time confinement
Memory confinement is
Number of cores is 4
Run identifier is r061-tall-16
==================================

--------------------
preparation of the directory
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 13K May
-rw-r--r-- 1 mcc users 120K
-rw-r--r-- 1 mcc users 9.4K May
-rw-r--r-- 1 mcc users 79K
-rw-r--r-- 1 mcc users 4.2K May
-rw-r--r-- 1 mcc users 6.4K May
-rw-r--r-- 1 mcc users 3.2K
-rw-r--r-- 1 mcc users 23K
-rw-r--r-- 1 mcc users 2.0K
-rw-r--r-- 1 mcc users 17K
-rw-r--r-- 1 mcc users 3.2K
-rw-r--r-- 1 mcc users 16K
-rw-r--r-- 1 mcc users 2.6K
-rw-r--r-- 1 mcc users 15K
-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 1.1M May

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

=== Data for post analysis

The expected result is a
BOOL_VECTOR

here is the order used to
FORMULA_NAME DLCround-PT-08b-CTLCa
FORMULA_NAME DLCround-PT-08b-CTLCa
FORMULA_NAME DLCround-PT-08b-CTLCa
FORMULA_NAME DLCround-PT-08b-CTLCa
FORMULA_NAME DLCround-PT-08b-CTLCa
FORMULA_NAME DLCround-PT-08b-CTLCa
FORMULA_NAME DLCround-PT-08b-CTLCa
FORMULA_NAME DLCround-PT-08b-CTLCa
FORMULA_NAME DLCround-PT-08b-CTLCa
FORMULA_NAME DLCround-PT-08b-CTLCa
FORMULA_NAME DLCround-PT-08b-CTLCa
FORMULA_NAME DLCround-PT-08b-CTLCa
FORMULA_NAME DLCround-PT-08b-CTLCa
FORMULA_NAME DLCround-PT-08b-CTLCa
FORMULA_NAME DLCround-PT-08b-CTLCa
FORMULA_NAME DLCround-PT-08b-CTLCa

=== Now, execution of the

BK_START 1620822680676

starting LoLA
BK_INPUT DLCround-PT-08b
BK_EXAMINATION: CTLCardinality
bin directory: /home/mcc/BenchKit/
current directory: /home/mcc/execu

FORMULA DLCround-PT-08b-CTLCardinality-10

BK_STOP 1620823403004

--------------------
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 /home/mcc/
lola: Reading formula.
lola: Using XML format
lola: reading XML formula
lola: reading formula from
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: RELEASE
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: RELEASE
lola: RELEASE
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Rule S: 0 transitions
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-10:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 108 secs.
# running tasks: 0 of 4 Visible:
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-10:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 113 secs.
# running tasks: 0 of 4 Visible:
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-10:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 118 secs.
# running tasks: 0 of 4 Visible:
lola: Created skeleton
lola: Created skeleton
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-10:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 123 secs.
# running tasks: 0 of 4 Visible:
lola: Created skeleton
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-10:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 128 secs.
# running tasks: 0 of 4 Visible:
lola: Created skeleton
lola: Created skeleton
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-10:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 133 secs.
# running tasks: 0 of 4 Visible:
lola: LAUNCH task # 5 (type
lola: time limit : 157 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-10:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 3/157

Time elapsed: 138 secs.
# running tasks: 1 of 4 Visible:
lola: Created skeleton
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-10:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 8/165

Time elapsed: 143 secs.
# running tasks: 1 of 4 Visible:
lola: Created skeleton
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-10:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 13/173

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

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-10:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 18/173

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

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-10:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 23/173

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

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-10:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 28/173

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

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-10:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 33/173

Time elapsed: 168 secs.
# running tasks: 1 of 4 Visible:
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-10:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 47/182

Time elapsed: 182 secs.
# running tasks: 1 of 4 Visible:
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-10:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 53/182

Time elapsed: 188 secs.
# running tasks: 1 of 4 Visible:
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: LAUNCH task # 65
lola: time limit : 32000000
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/fo
lola: LAUNCH task # 66
lola: time limit : 32000000
lola: memory limit: 5 pages
lola: LAUNCH task # 68
lola: time limit : 32000000
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: FINISHED task # 65
lola: result
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: CANCELED task # 66
lola: CANCELED task # 68
lola: FINISHED task # 68
lola: result
lola: time used :
lola: memory pages used :
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
sara: try reading problem
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 58/192

Time elapsed: 193 secs.
# running tasks: 1 of 4 Visible:
sara: place or transition

lola: FINISHED task # 66
lola: result
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 63/192

Time elapsed: 198 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 68/192

Time elapsed: 203 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 73/192

Time elapsed: 208 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 78/192

Time elapsed: 213 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 83/192

Time elapsed: 218 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 88/192

Time elapsed: 223 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 93/192

Time elapsed: 228 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 98/192

Time elapsed: 233 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 103/192

Time elapsed: 238 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 108/192

Time elapsed: 243 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 113/192

Time elapsed: 248 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 118/192

Time elapsed: 253 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 123/192

Time elapsed: 258 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 128/192

Time elapsed: 263 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 133/192

Time elapsed: 268 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 138/192

Time elapsed: 273 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 143/192

Time elapsed: 278 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 148/192

Time elapsed: 283 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 153/192

Time elapsed: 288 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 158/192

Time elapsed: 293 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 163/192

Time elapsed: 298 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 168/192

Time elapsed: 303 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 173/192

Time elapsed: 308 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 178/192

Time elapsed: 313 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 183/192

Time elapsed: 318 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 188/192

Time elapsed: 323 secs.
# running tasks: 1 of 4 Visible:
lola: CANCELED task # 5
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 328 secs.
# running tasks: 1 of 4 Visible:
lola: LAUNCH task # 62
lola: time limit : 192 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 5 (type
lola: time limit : 3272 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 5/3272
62 CTL EXCL 5/192

Time elapsed: 333 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 10/3272
62 CTL EXCL 10/181

Time elapsed: 338 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 15/3272
62 CTL EXCL 15/181

Time elapsed: 343 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 20/3272
62 CTL EXCL 20/181

Time elapsed: 348 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 25/3272
62 CTL EXCL 25/181

Time elapsed: 353 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 30/3272
62 CTL EXCL 30/181

Time elapsed: 358 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 35/3272
62 CTL EXCL 35/181

Time elapsed: 363 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 40/3272
62 CTL EXCL 40/181

Time elapsed: 368 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 45/3272
62 CTL EXCL 45/181

Time elapsed: 373 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 50/3272
62 CTL EXCL 50/181

Time elapsed: 378 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 55/3272
62 CTL EXCL 55/181

Time elapsed: 383 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 60/3272
62 CTL EXCL 60/181

Time elapsed: 388 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 65/3272
62 CTL EXCL 65/181

Time elapsed: 393 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 70/3272
62 CTL EXCL 70/181

Time elapsed: 398 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
5 CTL EXCL 75/3272
62 CTL EXCL 75/181

Time elapsed: 403 secs.
# running tasks: 2 of 4 Visible:
lola: CANCELED task # 5
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 80/181

Time elapsed: 408 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 85/192

Time elapsed: 413 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 90/192

Time elapsed: 418 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 95/192

Time elapsed: 423 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 100/192

Time elapsed: 428 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 105/192

Time elapsed: 433 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 110/192

Time elapsed: 438 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 115/192

Time elapsed: 443 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 120/192

Time elapsed: 448 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 125/192

Time elapsed: 453 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 130/192

Time elapsed: 458 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 135/192

Time elapsed: 463 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 140/192

Time elapsed: 468 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 145/192

Time elapsed: 473 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 150/192

Time elapsed: 478 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 155/192

Time elapsed: 483 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 160/192

Time elapsed: 488 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 165/192

Time elapsed: 493 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 170/192

Time elapsed: 498 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 175/192

Time elapsed: 503 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 180/192

Time elapsed: 508 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 185/192

Time elapsed: 513 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 190/192

Time elapsed: 518 secs.
# running tasks: 1 of 4 Visible:
lola: CANCELED task # 62
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 523 secs.
# running tasks: 1 of 4 Visible:
lola: LAUNCH task # 56
lola: time limit : 192 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 62
lola: time limit : 3077 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
56 CTL EXCL 5/192
62 CTL EXCL 3/3077

Time elapsed: 528 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
56 CTL EXCL 10/192
62 CTL EXCL 8/180

Time elapsed: 533 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
56 CTL EXCL 15/192
62 CTL EXCL 13/180

Time elapsed: 538 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
56 CTL EXCL 20/192
62 CTL EXCL 18/180

Time elapsed: 543 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-08b-CTLCardinality-10:

PENDING FORMULAS: CATEGORY
DLCround-PT-08b-CTLCardinality-00:
DLCround-PT-08b-CTLCardinality-01:
DLCround-PT-08b-CTLCardinality-02:
DLCround-PT-08b-CTLCardinality-03:
DLCround-PT-08b-CTLCardinality-04:
DLCround-PT-08b-CTLCardinality-05:
DLCround-PT-08b-CTLCardinality-06:
DLCround-PT-08b-CTLCardinality-07:
DLCround-PT-08b-CTLCardinality-08:
DLCround-PT-08b-CTLCardinality-09:
DLCround-PT-08b-CTLCardinality-11:
DLCround-PT-08b-CTLCardinality-12:
DLCround-PT-08b-CTLCardinality-13:
DLCround-PT-08b-CTLCardinality-14:
DLCround-PT-08b-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT

========== file over 1MB
retrieve it from the run
r061-tall-162038393100361.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 CTLCardinality is 3600 seconds 16384 MBytes 2038393100361 =================================== to be used: 5 16:58 CTLCardinality.txt May 10 09:42 CTLCardinality.xml 5 16:58 CTLFireability.txt May 10 09:42 CTLFireability.xml 6 14:48 GenericPropertiesDefinition.xml 6 14:48 GenericPropertiesVerdict.xml Mar 28 15:58 LTLCardinality.txt Mar 28 15:58 LTLCardinality.xml Mar 28 15:58 LTLFireability.txt Mar 28 15:58 LTLFireability.xml Mar 23 08:10 ReachabilityCardinality.txt Mar 23 08:10 ReachabilityCardinality.xml Mar 22 15:42 ReachabilityFireability.txt Mar 22 15:42 ReachabilityFireability.xml Mar 22 09:10 UpperBounds.txt Mar 22 09:10 UpperBounds.xml 6 May 5 16:51 equiv_col 4 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) rdinality-00 rdinality-01 rdinality-02 rdinality-03 rdinality-04 rdinality-05 rdinality-06 rdinality-07 rdinality-08 rdinality-09 rdinality-10 rdinality-11 rdinality-12 rdinality-13 rdinality-14 rdinality-15 tool begins bin tion TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT (--pnmlnet) /home/mcc/execution/model.pnml place/transition net execution/model.pnml (--xmlformula) /home/mcc/execution/CTLCardinality.xml rmula_rewrite.k:250 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:299 rmula_rewrite.k:469 rmula_rewrite.k:325 rmula_rewrite.k:328 rmula_rewrite.k:317 rmula_rewrite.k:322 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:322 rmula_rewrite.k:331 rmula_rewrite.k:314 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:299 rmula_rewrite.k:299 rmula_rewrite.k:317 rmula_rewrite.k:314 rmula_rewrite.k:325 rmula_rewrite.k:337 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:296 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:317 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:451 rmula_rewrite.k:448 rmula_rewrite.k:544 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:400 rmula_rewrite.k:472 rmula_rewrite.k:317 rmula_rewrite.k:322 rmula_rewrite.k:334 rmula_rewrite.k:317 rmula_rewrite.k:296 rmula_rewrite.k:317 rmula_rewrite.k:296 rmula_rewrite.k:317 rmula_rewrite.k:322 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:322 rmula_rewrite.k:331 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:296 rmula_rewrite.k:544 rmula_rewrite.k:388 rmula_rewrite.k:314 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:317 rmula_rewrite.k:325 rmula_rewrite.k:337 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:475 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:296 rmula_rewrite.k:250 rmula_rewrite.k:250 rmula_rewrite.k:250 rmula_rewrite.k:253 rmula_rewrite.k:317 rmula_rewrite.k:314 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:550 rmula_rewrite.k:253 rmula_rewrite.k:547 rmula_rewrite.k:547 rmula_rewrite.k:397 rmula_rewrite.k:325 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:460 rmula_rewrite.k:325 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:547 rmula_rewrite.k:454 rmula_rewrite.k:317 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:299 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:314 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:299 rmula_rewrite.k:314 rmula_rewrite.k:317 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:317 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:553 rmula_rewrite.k:322 rmula_rewrite.k:331 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:322 rmula_rewrite.k:337 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:328 rmula_rewrite.k:322 rmula_rewrite.k:334 rmula_rewrite.k:325 rmula_rewrite.k:340 rmula_rewrite.k:299 rmula_rewrite.k:299 rmula_rewrite.k:325 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:322 rmula_rewrite.k:331 rmula_rewrite.k:299 rmula_rewrite.k:325 rmula_rewrite.k:337 rmula_rewrite.k:322 rmula_rewrite.k:331 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:322 rmula_rewrite.k:331 rmula_rewrite.k:296 rmula_rewrite.k:317 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:314 rmula_rewrite.k:296 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:322 rmula_rewrite.k:331 rmula_rewrite.k:325 rmula_rewrite.k:337 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:296 rmula_rewrite.k:296 in 0.000000 secs. in 0.000000 secs. in 1.000000 secs. in 1.000000 secs. removed,0 places removed VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 DISJ 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 0 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 16 in 1.000000 secs. in 1.000000 secs. in 1.000000 secs. in 1.000000 secs. in 1.000000 secs. in 1.000000 secs. VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 0 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 0 0 0 0 CTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 DISJ 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 0 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 16 in 1.000000 secs. in 1.000000 secs. in 1.000000 secs. VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 0 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 0 0 0 0 CTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 DISJ 0 0 0 0 2 0 0 0 DISJ 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 0 0 0 0 CTL 0 0 0 0 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 16 in 1.000000 secs. in 1.000000 secs. VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 0 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 0 0 0 0 CTL 0 0 0 0 1 0 0 0 CONJ 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 DISJ 0 0 0 0 2 0 0 0 DISJ 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 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 16 in 5.000000 secs. VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 0 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 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 DISJ 0 0 0 0 2 0 0 0 DISJ 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 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 16 in 3.000000 secs. in 4.000000 secs. rmula_rewrite.k:813 rmula_rewrite.k:811 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 1 0 0 0 2 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 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 DISJ 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 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 16 EXCL) for 0 DLCround-PT-08b-CTLCardinality-00 rmula_rewrite.k:813 rmula_rewrite.k:806 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 0 1 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 1 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 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 DISJ 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 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 DLCround-PT-08b-CTLCardinality-00 2053 m, 410 m/sec, 7092 t fired, . Pages in use: 1 16 in 4.000000 secs. VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 0 1 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 1 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 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 2 0 0 0 DISJ 0 0 0 0 2 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 0 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 DLCround-PT-08b-CTLCardinality-00 9294 m, 1448 m/sec, 32829 t fired, . Pages in use: 1 16 in 3.000000 secs. rmula_rewrite.k:812 rmula_rewrite.k:806 rmula_rewrite.k:726 rmula_rewrite.k:787 rmula_rewrite.k:813 rmula_rewrite.k:811 rmula_rewrite.k:809 rmula_rewrite.k:811 rmula_rewrite.k:811 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 1 0 0 0 1 0 0 0 CTL 0 1 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 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 1 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 DLCround-PT-08b-CTLCardinality-00 13900 m, 921 m/sec, 49692 t fired, . Pages in use: 1 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 1 0 0 0 1 0 0 0 CTL 0 1 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 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 1 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 DLCround-PT-08b-CTLCardinality-00 17204 m, 660 m/sec, 62069 t fired, . Pages in use: 1 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 1 0 0 0 1 0 0 0 CTL 0 1 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 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 1 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 DLCround-PT-08b-CTLCardinality-00 20043 m, 567 m/sec, 72134 t fired, . Pages in use: 1 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 1 0 0 0 1 0 0 0 CTL 0 1 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 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 1 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 DLCround-PT-08b-CTLCardinality-00 22017 m, 394 m/sec, 79111 t fired, . Pages in use: 1 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 1 0 0 0 1 0 0 0 CTL 0 1 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 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 0 0 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 1 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 DLCround-PT-08b-CTLCardinality-00 24753 m, 547 m/sec, 89040 t fired, . Pages in use: 1 16 rmula_rewrite.k:812 rmula_rewrite.k:808 rmula_rewrite.k:809 rmula_rewrite.k:812 rmula_rewrite.k:811 rmula_rewrite.k:806 rmula_rewrite.k:812 rmula_rewrite.k:811 rmula_rewrite.k:807 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 1 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 0 1 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 0 0 DISJ 1 0 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 DLCround-PT-08b-CTLCardinality-00 43478 m, 3745 m/sec, 155634 t fired, . Pages in use: 1 16 rmula_rewrite.k:808 rmula_rewrite.k:812 rmula_rewrite.k:811 rmula_rewrite.k:808 rmula_rewrite.k:812 rmula_rewrite.k:809 rmula_rewrite.k:808 rmula_rewrite.k:811 rmula_rewrite.k:815 rmula_rewrite.k:808 rmula_rewrite.k:809 rmula_rewrite.k:807 rmula_rewrite.k:814 rmula_rewrite.k:806 rmula_rewrite.k:812 rmula_rewrite.k:813 rmula_rewrite.k:815 rmula_rewrite.k:808 rmula_rewrite.k:809 rmula_rewrite.k:809 rmula_rewrite.k:813 rmula_rewrite.k:811 rmula_rewrite.k:808 rmula_rewrite.k:812 rmula_rewrite.k:806 rmula_rewrite.k:808 rmula_rewrite.k:806 rmula_rewrite.k:806 rmula_rewrite.k:811 rmula_rewrite.k:808 rmula_rewrite.k:807 rmula_rewrite.k:808 rmula_rewrite.k:807 rmula_rewrite.k:813 rmula_rewrite.k:806 rmula_rewrite.k:815 rmula_rewrite.k:811 rmula_rewrite.k:806 rmula_rewrite.k:814 rmula_rewrite.k:813 rmula_rewrite.k:806 rmula_rewrite.k:807 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 1 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 0 0 DISJ 0 1 0 0 2 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 DLCround-PT-08b-CTLCardinality-00 96183 m, 10541 m/sec, 344887 t fired, . Pages in use: 1 16 rmula_rewrite.k:807 rmula_rewrite.k:813 rmula_rewrite.k:812 rmula_rewrite.k:813 rmula_rewrite.k:813 rmula_rewrite.k:809 rmula_rewrite.k:813 rmula_rewrite.k:811 rmula_rewrite.k:807 rmula_rewrite.k:807 rmula_rewrite.k:809 rmula_rewrite.k:808 rmula_rewrite.k:808 rmula_rewrite.k:806 rmula_rewrite.k:806 rmula_rewrite.k:814 rmula_rewrite.k:814 rmula_rewrite.k:711 rmula_rewrite.k:711 rmula_rewrite.k:711 rmula_rewrite.k:807 rmula_rewrite.k:809 rmula_rewrite.k:813 rmula_rewrite.k:813 rmula_rewrite.k:807 rmula_rewrite.k:808 rmula_rewrite.k:807 rmula_rewrite.k:812 rmula_rewrite.k:814 rmula_rewrite.k:807 rmula_rewrite.k:811 rmula_rewrite.k:813 (type FNDP) for 38 DLCround-PT-08b-CTLCardinality-10 sec rmula_rewrite.k:711 (type EQUN) for 38 DLCround-PT-08b-CTLCardinality-10 sec (type SRCH) for 38 DLCround-PT-08b-CTLCardinality-10 sec rmula_rewrite.k:812 rmula_rewrite.k:812 rmula_rewrite.k:807 (type FNDP) for DLCround-PT-08b-CTLCardinality-10 : true 1 0.000000 0 (type EQUN) for DLCround-PT-08b-CTLCardinality-10 (obsolete) (type SRCH) for DLCround-PT-08b-CTLCardinality-10 (obsolete) (type SRCH) for DLCround-PT-08b-CTLCardinality-10 : unknown 0.000000 1 rmula_rewrite.k:813 rmula_rewrite.k:812 rmula_rewrite.k:811 rmula_rewrite.k:809 rmula_rewrite.k:807 rmula_rewrite.k:806 rmula_rewrite.k:809 rmula_rewrite.k:811 file /home/mcc/execution/CTLCardinality-66.sara. VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 DLCround-PT-08b-CTLCardinality-00 162946 m, 13352 m/sec, 587295 t fired, . Pages in use: 2 16 ordering is non-deterministic (type EQUN) for DLCround-PT-08b-CTLCardinality-10 : true VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 DLCround-PT-08b-CTLCardinality-00 238856 m, 15182 m/sec, 862658 t fired, . Pages in use: 2 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 DLCround-PT-08b-CTLCardinality-00 322196 m, 16668 m/sec, 1162395 t fired, . Pages in use: 2 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 DLCround-PT-08b-CTLCardinality-00 408010 m, 17162 m/sec, 1472889 t fired, . Pages in use: 2 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 DLCround-PT-08b-CTLCardinality-00 489752 m, 16348 m/sec, 1770435 t fired, . Pages in use: 3 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 DLCround-PT-08b-CTLCardinality-00 575889 m, 17227 m/sec, 2078337 t fired, . Pages in use: 3 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 DLCround-PT-08b-CTLCardinality-00 658085 m, 16439 m/sec, 2375544 t fired, . Pages in use: 3 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 DLCround-PT-08b-CTLCardinality-00 741696 m, 16722 m/sec, 2679131 t fired, . Pages in use: 4 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 DLCround-PT-08b-CTLCardinality-00 825176 m, 16696 m/sec, 2982761 t fired, . Pages in use: 4 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 DLCround-PT-08b-CTLCardinality-00 908862 m, 16737 m/sec, 3284024 t fired, . Pages in use: 5 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 DLCround-PT-08b-CTLCardinality-00 991915 m, 16610 m/sec, 3582104 t fired, . Pages in use: 5 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 DLCround-PT-08b-CTLCardinality-00 1072807 m, 16178 m/sec, 3879676 t fired, . Pages in use: 5 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 DLCround-PT-08b-CTLCardinality-00 1153669 m, 16172 m/sec, 4171539 t fired, . Pages in use: 6 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 DLCround-PT-08b-CTLCardinality-00 1237588 m, 16783 m/sec, 4474139 t fired, . Pages in use: 6 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 DLCround-PT-08b-CTLCardinality-00 1319787 m, 16439 m/sec, 4768403 t fired, . Pages in use: 6 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 DLCround-PT-08b-CTLCardinality-00 1401690 m, 16380 m/sec, 5060965 t fired, . Pages in use: 7 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 DLCround-PT-08b-CTLCardinality-00 1478142 m, 15290 m/sec, 5339560 t fired, . Pages in use: 7 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 DLCround-PT-08b-CTLCardinality-00 1555792 m, 15530 m/sec, 5619756 t fired, . Pages in use: 7 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 DLCround-PT-08b-CTLCardinality-00 1633510 m, 15543 m/sec, 5904091 t fired, . Pages in use: 8 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 DLCround-PT-08b-CTLCardinality-00 1710751 m, 15448 m/sec, 6183611 t fired, . Pages in use: 8 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 DLCround-PT-08b-CTLCardinality-00 1793767 m, 16603 m/sec, 6482644 t fired, . Pages in use: 8 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 DLCround-PT-08b-CTLCardinality-00 1878276 m, 16901 m/sec, 6783265 t fired, . Pages in use: 9 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 DLCround-PT-08b-CTLCardinality-00 1957899 m, 15924 m/sec, 7069795 t fired, . Pages in use: 9 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 DLCround-PT-08b-CTLCardinality-00 2038559 m, 16132 m/sec, 7363735 t fired, . Pages in use: 9 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 DLCround-PT-08b-CTLCardinality-00 2119158 m, 16119 m/sec, 7655883 t fired, . Pages in use: 10 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 DLCround-PT-08b-CTLCardinality-00 2201927 m, 16553 m/sec, 7952917 t fired, . Pages in use: 10 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 DLCround-PT-08b-CTLCardinality-00 2282999 m, 16214 m/sec, 8244352 t fired, . Pages in use: 10 16 (type EXCL) for DLCround-PT-08b-CTLCardinality-00 (local timeout) VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 1 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 11 16 (type EXCL) for 61 DLCround-PT-08b-CTLCardinality-15 EXCL) for 0 DLCround-PT-08b-CTLCardinality-00 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/5 DLCround-PT-08b-CTLCardinality-00 73731 m, -441853 m/sec, 263034 t fired, . 1/32 DLCround-PT-08b-CTLCardinality-15 43999 m, 8799 m/sec, 79072 t fired, . Pages in use: 14 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/5 DLCround-PT-08b-CTLCardinality-00 145585 m, 14370 m/sec, 523758 t fired, . 2/32 DLCround-PT-08b-CTLCardinality-15 88667 m, 8933 m/sec, 154571 t fired, . Pages in use: 15 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/5 DLCround-PT-08b-CTLCardinality-00 219547 m, 14792 m/sec, 792071 t fired, . 3/32 DLCround-PT-08b-CTLCardinality-15 136387 m, 9544 m/sec, 232574 t fired, . Pages in use: 17 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/5 DLCround-PT-08b-CTLCardinality-00 296753 m, 15441 m/sec, 1071933 t fired, . 3/32 DLCround-PT-08b-CTLCardinality-15 199901 m, 12702 m/sec, 305569 t fired, . Pages in use: 18 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/5 DLCround-PT-08b-CTLCardinality-00 374094 m, 15468 m/sec, 1350347 t fired, . 4/32 DLCround-PT-08b-CTLCardinality-15 260088 m, 12037 m/sec, 375447 t fired, . Pages in use: 19 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/5 DLCround-PT-08b-CTLCardinality-00 444378 m, 14056 m/sec, 1605433 t fired, . 5/32 DLCround-PT-08b-CTLCardinality-15 317081 m, 11398 m/sec, 441785 t fired, . Pages in use: 21 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/5 DLCround-PT-08b-CTLCardinality-00 517233 m, 14571 m/sec, 1869306 t fired, . 6/32 DLCround-PT-08b-CTLCardinality-15 374449 m, 11473 m/sec, 509046 t fired, . Pages in use: 23 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/5 DLCround-PT-08b-CTLCardinality-00 590420 m, 14637 m/sec, 2131810 t fired, . 6/32 DLCround-PT-08b-CTLCardinality-15 432934 m, 11697 m/sec, 576887 t fired, . Pages in use: 23 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/5 DLCround-PT-08b-CTLCardinality-00 664279 m, 14771 m/sec, 2398582 t fired, . 7/32 DLCround-PT-08b-CTLCardinality-15 492179 m, 11849 m/sec, 645928 t fired, . Pages in use: 24 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/5 DLCround-PT-08b-CTLCardinality-00 738498 m, 14843 m/sec, 2668150 t fired, . 8/32 DLCround-PT-08b-CTLCardinality-15 549306 m, 11425 m/sec, 713043 t fired, . Pages in use: 27 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/5 DLCround-PT-08b-CTLCardinality-00 808589 m, 14018 m/sec, 2921088 t fired, . 9/32 DLCround-PT-08b-CTLCardinality-15 603737 m, 10886 m/sec, 777131 t fired, . Pages in use: 28 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/5 DLCround-PT-08b-CTLCardinality-00 880907 m, 14463 m/sec, 3183644 t fired, . 9/32 DLCround-PT-08b-CTLCardinality-15 662805 m, 11813 m/sec, 846735 t fired, . Pages in use: 28 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/5 DLCround-PT-08b-CTLCardinality-00 955370 m, 14892 m/sec, 3448933 t fired, . 10/32 DLCround-PT-08b-CTLCardinality-15 720348 m, 11508 m/sec, 914919 t fired, . Pages in use: 31 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/5 DLCround-PT-08b-CTLCardinality-00 1030148 m, 14955 m/sec, 3722631 t fired, . 11/32 DLCround-PT-08b-CTLCardinality-15 779355 m, 11801 m/sec, 984835 t fired, . Pages in use: 32 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/5 DLCround-PT-08b-CTLCardinality-00 1099276 m, 13825 m/sec, 3974431 t fired, . 12/32 DLCround-PT-08b-CTLCardinality-15 834107 m, 10950 m/sec, 1049681 t fired, . Pages in use: 33 16 (type EXCL) for DLCround-PT-08b-CTLCardinality-00 (memory limit exceeded) VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 DLCround-PT-08b-CTLCardinality-15 890921 m, 11362 m/sec, 1116684 t fired, . Pages in use: 33 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 DLCround-PT-08b-CTLCardinality-15 954564 m, 12728 m/sec, 1190970 t fired, . Pages in use: 33 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 DLCround-PT-08b-CTLCardinality-15 1017375 m, 12562 m/sec, 1264548 t fired, . Pages in use: 33 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 DLCround-PT-08b-CTLCardinality-15 1080645 m, 12654 m/sec, 1338962 t fired, . Pages in use: 33 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 DLCround-PT-08b-CTLCardinality-15 1144992 m, 12869 m/sec, 1414150 t fired, . Pages in use: 34 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 DLCround-PT-08b-CTLCardinality-15 1210883 m, 13178 m/sec, 1490884 t fired, . Pages in use: 35 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 DLCround-PT-08b-CTLCardinality-15 1276961 m, 13215 m/sec, 1568147 t fired, . Pages in use: 37 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 DLCround-PT-08b-CTLCardinality-15 1340894 m, 12786 m/sec, 1643102 t fired, . Pages in use: 37 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 DLCround-PT-08b-CTLCardinality-15 1404550 m, 12731 m/sec, 1718230 t fired, . Pages in use: 38 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 DLCround-PT-08b-CTLCardinality-15 1463158 m, 11721 m/sec, 1787858 t fired, . Pages in use: 40 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 DLCround-PT-08b-CTLCardinality-15 1524299 m, 12228 m/sec, 1860574 t fired, . Pages in use: 41 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 DLCround-PT-08b-CTLCardinality-15 1583460 m, 11832 m/sec, 1931256 t fired, . Pages in use: 42 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 DLCround-PT-08b-CTLCardinality-15 1642423 m, 11792 m/sec, 2001651 t fired, . Pages in use: 43 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 DLCround-PT-08b-CTLCardinality-15 1703963 m, 12308 m/sec, 2074031 t fired, . Pages in use: 44 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 DLCround-PT-08b-CTLCardinality-15 1764467 m, 12100 m/sec, 2145324 t fired, . Pages in use: 46 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 DLCround-PT-08b-CTLCardinality-15 1822009 m, 11508 m/sec, 2214335 t fired, . Pages in use: 47 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 DLCround-PT-08b-CTLCardinality-15 1885582 m, 12714 m/sec, 2290001 t fired, . Pages in use: 47 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 DLCround-PT-08b-CTLCardinality-15 1943307 m, 11545 m/sec, 2358925 t fired, . Pages in use: 49 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 DLCround-PT-08b-CTLCardinality-15 2006382 m, 12615 m/sec, 2433518 t fired, . Pages in use: 50 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 DLCround-PT-08b-CTLCardinality-15 2066787 m, 12081 m/sec, 2505032 t fired, . Pages in use: 51 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 DLCround-PT-08b-CTLCardinality-15 2127024 m, 12047 m/sec, 2576702 t fired, . Pages in use: 52 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 DLCround-PT-08b-CTLCardinality-15 2186404 m, 11876 m/sec, 2647307 t fired, . Pages in use: 53 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 DLCround-PT-08b-CTLCardinality-15 2249763 m, 12671 m/sec, 2720786 t fired, . Pages in use: 54 16 (type EXCL) for DLCround-PT-08b-CTLCardinality-15 (local timeout) VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 1 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 56 16 (type EXCL) for 55 DLCround-PT-08b-CTLCardinality-13 (type EXCL) for 61 DLCround-PT-08b-CTLCardinality-15 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 DLCround-PT-08b-CTLCardinality-13 40257 m, 8051 m/sec, 45184 t fired, . 1/5 DLCround-PT-08b-CTLCardinality-15 28656 m, -444221 m/sec, 49175 t fired, . Pages in use: 59 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 DLCround-PT-08b-CTLCardinality-13 103124 m, 12573 m/sec, 116645 t fired, . 2/5 DLCround-PT-08b-CTLCardinality-15 73825 m, 9033 m/sec, 130369 t fired, . Pages in use: 62 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 DLCround-PT-08b-CTLCardinality-13 165329 m, 12441 m/sec, 188622 t fired, . 2/5 DLCround-PT-08b-CTLCardinality-15 122118 m, 9658 m/sec, 211368 t fired, . Pages in use: 65 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 DLCround-PT-08b-CTLCardinality-13 220766 m, 11087 m/sec, 253243 t fired, . 3/5 DLCround-PT-08b-CTLCardinality-15 179882 m, 11552 m/sec, 282523 t fired, . Pages in use: 67 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 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="DLCround-PT-08b"
export BK_EXAMINATION="CTLCardinality"
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 DLCround-PT-08b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r061-tall-162038393100361"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-08b.tgz
mv DLCround-PT-08b execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;