About the Execution of 2018-Gold for DatabaseWithMutex-PT-40
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 13247.760 | 3570632.00 | 3748653.00 | 496.50 | 40 ? 40 ? 40 40 40 ? 1 1 1 1 1 1 1 1 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2019-input.r055-oct2-155234418800280.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is DatabaseWithMutex-PT-40, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r055-oct2-155234418800280
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 37M
-rw-r--r-- 1 mcc users 691K Feb 10 20:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.9M Feb 10 20:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 814K Feb 6 16:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 2.8M Feb 6 16:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 110 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 348 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 439K Feb 4 23:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 1.1M Feb 4 23:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 238K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 763K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 726K Feb 3 06:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 2.0M Feb 3 06:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 619K Jan 30 23:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.1M Jan 30 23:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 119K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 249K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 23M Mar 10 17:31 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-00
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-01
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-02
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-03
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-04
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-05
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-06
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-07
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-08
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-09
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-10
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-11
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-12
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-13
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-14
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1554384837837
info: Time: 3600 - MCC
===========================================================================================
prep: translating DatabaseWithMutex-PT-40 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DatabaseWithMutex-PT-40 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ DatabaseWithMutex-PT-40 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 25720/65536 symbol table entries, 4149 collisions
lola: preprocessing...
lola: Size of bit vector: 413440
lola: finding significant places
lola: 12920 places, 12800 transitions, 11200 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 16160 transition conflict sets
lola: TASK
lola: reading formula from DatabaseWithMutex-PT-40-UpperBounds.task
lola: MAX(all_active_10 + all_active_11 + all_active_12 + all_active_13 + all_active_14 + all_active_15 + all_active_16 + all_active_17 + all_active_18 + all_active_19 + all_active_20 + all_active_21 + all_active_22 + all_active_23 + all_active_24 + all_active_25 + all_active_26 + all_active_27 + all_active_28 + all_active_29 + all_active_30 + all_active_31 + all_active_32 + all_active_33 + all_active_34 + all_active_35 + all_active_36 + all_active_37 + all_active_38 + all_active_39 + all_active_40 + all_active_1 + all_active_2 + all_active_4 + all_active_5 + all_active_6 + all_active_8 + all_active_9 + all_active_7 + all_active_3) : MAX(RecBuff_20_10 + RecBuff_20_11 + RecBuff_20_12 + RecBuff_20_13 + RecBuff_20_14 + RecBuff_20_15 + RecBuff_20_16 + RecBuff_20_17 + RecBuff_20_18 + RecBuff_20_19 + RecBuff_20_20 + RecBuff_20_21 + RecBuff_20_22 + RecBuff_20_23 + RecBuff_20_24 + RecBuff_20_25 + RecBuff_20_26 + RecBuff_20_27 + RecBuff_20_28 + RecBuff_20_29 + RecBuff_20_30 + RecBuff_32_10 + RecBuff_20_31 + RecBuff_32_11 + RecBuff_20_32 + RecBuff_32_12 + RecBuff_20_33 + RecBuff_32_13 + RecBuff_20_34 + RecBuff_20_35 + RecBuff_32_14 + RecBuff_20_36 + RecBuff_32_15 + RecBuff_20_37 + RecBuff_32_16 + RecBuff_20_38 + RecBuff_32_17 + RecBuff_20_39 + RecBuff_32_18 + RecBuff_32_19 + RecBuff_20_40 + RecBuff_32_20 + RecBuff_32_21 + RecBuff_32_22 + RecBuff_32_23 + RecBuff_32_24 + RecBuff_32_25 + RecBuff_32_26 + RecBuff_32_27 + RecBuff_32_28 + RecBuff_32_29 + RecBuff_32_30 + RecBuff_32_31 + RecBuff_32_32 + RecBuff_32_33 + RecBuff_32_34 + RecBuff_32_35 + RecBuff_32_36 + RecBuff_32_37 + RecBuff_32_38 + RecBuff_32_39 + RecBuff_3_1 + RecBuff_3_2 + RecBuff_3_3 + RecBuff_3_4 + RecBuff_3_5 + RecBuff_3_6 + RecBuff_3_7 + RecBuff_3_8 + RecBuff_3_9 + RecBuff_32_40 + RecBuff_2_10 + RecBuff_2_11 + RecBuff_2_12 + RecBuff_2_13 + RecBuff_2_14 + RecBuff_2_15 + RecBuff_2_16 + RecBuff_2_17 + RecBuff_2_18 + RecBuff_2_19 + RecBuff_2_20 + RecBuff_2_21 + RecBuff_2_22 + RecBuff_2_23 + RecBuff_2_24 + RecBuff_2_25 + RecBuff_2_26 + RecBuff_2_27 + RecBuff_2_28 + RecBuff_2_29 + RecBuff_2_30 + RecBuff_2_31 + RecBuff_2_32 + RecBuff_2_33 + RecBuff_2_34 + RecBuff_2_35 + RecBuff_2_36 + RecBuff_2_37 + RecBuff_2_38 + RecBuff_2_39 + RecBuff_2_40 + RecBuff_30_1 + RecBuff_30_2 + RecBuff_30_3 + RecBuff_30_4 + RecBuff_30_5 + RecBuff_30_6 + RecBuff_30_7 + RecBuff_30_8 + RecBuff_30_9 + RecBuff_4_1 + RecBuff_4_2 + RecBuff_4_3 + RecBuff_4_4 + RecBuff_4_5 + RecBuff_4_6 + RecBuff_4_7 + RecBuff_4_8 + RecBuff_4_9 + RecBuff_13_10 + RecBuff_13_11 + RecBuff_13_12 + RecBuff_13_13 + RecBuff_13_14 + RecBuff_13_15 + RecBuff_13_16 + RecBuff_13_17 + RecBuff_13_18 + RecBuff_13_19 + RecBuff_13_20 + RecBuff_13_21 + RecBuff_13_22 + RecBuff_13_23 + RecBuff_13_24 + RecBuff_13_25 + RecBuff_13_26 + RecBuff_13_27 + RecBuff_13_28 + RecBuff_13_29 + RecBuff_13_30 + RecBuff_13_31 + RecBuff_25_10 + RecBuff_13_32 + RecBuff_25_11 + RecBuff_13_33 + RecBuff_25_12 + RecBuff_25_13 + RecBuff_13_34 + RecBuff_13_35 + RecBuff_25_14 + RecBuff_25_15 + RecBuff_13_36 + RecBuff_13_37 + RecBuff_25_16 + RecBuff_13_38 + RecBuff_25_17 + RecBuff_25_18 + RecBuff_13_39 + RecBuff_25_19 + RecBuff_13_40 + RecBuff_25_20 + RecBuff_25_21 + RecBuff_25_22 + RecBuff_25_23 + RecBuff_25_24 + RecBuff_25_25 + RecBuff_25_26 + RecBuff_25_27 + RecBuff_25_28 + RecBuff_25_29 + RecBuff_25_30 + RecBuff_25_31 + RecBuff_37_10 + RecBuff_25_32 + RecBuff_37_11 + RecBuff_37_12 + RecBuff_25_33 + RecBuff_25_34 + RecBuff_37_13 + RecBuff_37_14 + RecBuff_25_35 + RecBuff_37_15 + RecBuff_25_36 + RecBuff_25_37 + RecBuff_37_16 + RecBuff_37_17 + RecBuff_25_38 + RecBuff_37_18 + RecBuff_25_39 + RecBuff_37_19 + RecBuff_25_40 + RecBuff_37_20 + RecBuff_37_21 + RecBuff_37_22 + RecBuff_37_23 + RecBuff_37_24 + RecBuff_37_25 + RecBuff_37_26 + RecBuff_37_27 + RecBuff_37_28 + RecBuff_37_29 + RecBuff_37_30 + RecBuff_37_31 + RecBuff_37_32 + RecBuff_37_33 + RecBuff_37_34 + RecBuff_37_35 + RecBuff_37_36 + RecBuff_37_37 + RecBuff_37_38 + RecBuff_37_39 + RecBuff_37_40 + RecBuff_31_1 + RecBuff_31_2 + RecBuff_31_3 + RecBuff_31_4 + RecBuff_31_5 + RecBuff_31_6 + RecBuff_31_7 + RecBuff_31_8 + RecBuff_31_9 + RecBuff_7_10 + RecBuff_7_11 + RecBuff_7_12 + RecBuff_7_13 + RecBuff_7_14 + RecBuff_7_15 + RecBuff_7_16 + RecBuff_7_17 + RecBuff_7_18 + RecBuff_7_19 + RecBuff_7_20 + RecBuff_7_21 + RecBuff_7_22 + RecBuff_7_23 + RecBuff_7_24 + RecBuff_7_25 + RecBuff_7_26 + RecBuff_7_27 + RecBuff_7_28 + RecBuff_7_29 + RecBuff_7_30 + RecBuff_7_31 + RecBuff_7_32 + RecBuff_7_33 + RecBuff_7_34 + RecBuff_7_35 + RecBuff_7_36 + RecBuff_7_37 + RecBuff_7_38 + RecBuff_7_39 + RecBuff_7_40 + RecBuff_5_1 + RecBuff_5_2 + RecBuff_5_3 + RecBuff_5_4 + RecBuff_5_5 + RecBuff_5_6 + RecBuff_5_7 + RecBuff_5_8 + RecBuff_5_9 + RecBuff_32_1 + RecBuff_32_2 + RecBuff_32_3 + RecBuff_32_4 + RecBuff_32_5 + RecBuff_32_6 + RecBuff_32_7 + RecBuff_32_8 + RecBuff_32_9 + RecBuff_18_10 + RecBuff_18_11 + RecBuff_18_12 + RecBuff_18_13 + RecBuff_18_14 + RecBuff_18_15 + RecBuff_18_16 + RecBuff_18_17 + RecBuff_18_18 + RecBuff_18_19 + RecBuff_18_20 + RecBuff_18_21 + RecBuff_18_22 + RecBuff_18_23 + RecBuff_18_24 + RecBuff_18_25 + RecBuff_18_26 + RecBuff_18_27 + RecBuff_18_28 + RecBuff_18_29 + RecBuff_18_30 + RecBuff_18_31 + RecBuff_18_32 + RecBuff_18_33 + RecBuff_18_34 + RecBuff_18_35 + RecBuff_18_36 + RecBuff_18_37 + RecBuff_18_38 + RecBuff_18_39 + RecBuff_18_40 + RecBuff_6_1 + RecBuff_6_2 + RecBuff_6_3 + RecBuff_6_4 + RecBuff_6_5 + RecBuff_6_6 + RecBuff_6_7 + RecBuff_6_8 + RecBuff_6_9 + RecBuff_31_10 + RecBuff_31_11 + RecBuff_31_12 + RecBuff_31_13 + RecBuff_31_14 + RecBuff_31_15 + RecBuff_31_16 + RecBuff_31_17 + RecBuff_31_18 + RecBuff_31_19 + RecBuff_31_20 + RecBuff_31_21 + RecBuff_31_22 + RecBuff_31_23 + RecBuff_31_24 + RecBuff_31_25 + RecBuff_31_26 + RecBuff_31_27 + RecBuff_31_28 + RecBuff_31_29 + RecBuff_31_30 + RecBuff_31_31 + RecBuff_31_32 + RecBuff_31_33 + RecBuff_31_34 + RecBuff_31_35 + RecBuff_31_36 + RecBuff_31_37 + RecBuff_31_38 + RecBuff_31_39 + RecBuff_31_40 + RecBuff_1_10 + RecBuff_1_11 + RecBuff_1_12 + RecBuff_1_13 + RecBuff_1_14 + RecBuff_1_15 + RecBuff_1_16 + RecBuff_1_17 + RecBuff_1_18 + RecBuff_1_19 + RecBuff_1_20 + RecBuff_1_21 + RecBuff_1_22 + RecBuff_1_23 + RecBuff_1_24 + RecBuff_1_25 + RecBuff_1_26 + RecBuff_1_27 + RecBuff_1_28 + RecBuff_1_29 + RecBuff_1_30 + RecBuff_1_31 + RecBuff_1_32 + RecBuff_1_33 + RecBuff_1_34 + RecBuff_1_35 + RecBuff_1_36 + RecBuff_1_37 + RecBuff_1_38 + RecBuff_1_39 + RecBuff_1_40 + RecBuff_33_1 + RecBuff_33_2 + RecBuff_33_3 + RecBuff_33_4 + RecBuff_33_5 + RecBuff_33_6 + RecBuff_33_7 + RecBuff_33_8 + RecBuff_33_9 + RecBuff_20_1 + RecBuff_20_2 + RecBuff_20_3 + RecBuff_20_4 + RecBuff_20_5 + RecBuff_20_6 + RecBuff_20_7 + RecBuff_20_8 + RecBuff_20_9 + RecBuff_7_1 + RecBuff_7_2 + RecBuff_7_3 + RecBuff_7_4 + RecBuff_7_5 + RecBuff_7_6 + RecBuff_7_7 + RecBuff_7_8 + RecBuff_7_9 + RecBuff_12_10 + RecBuff_12_11 + RecBuff_12_12 + RecBuff_12_13 + RecBuff_12_14 + RecBuff_12_15 + RecBuff_12_16 + RecBuff_12_17 + RecBuff_12_18 + RecBuff_12_19 + RecBuff_12_20 + RecBuff_12_21 + RecBuff_12_22 + RecBuff_12_23 + RecBuff_12_24 + RecBuff_12_25 + RecBuff_12_26 + RecBuff_12_27 + RecBuff_12_28 + RecBuff_12_29 + RecBuff_12_30 + RecBuff_24_10 + RecBuff_12_31 + RecBuff_24_11 + RecBuff_12_32 + RecBuff_12_33 + RecBuff_24_12 + RecBuff_12_34 + RecBuff_24_13 + RecBuff_12_35 + RecBuff_24_14 + RecBuff_12_36 + RecBuff_24_15 + RecBuff_12_37 + RecBuff_24_16 + RecBuff_12_38 + RecBuff_24_17 + RecBuff_24_18 + RecBuff_12_39 + RecBuff_24_19 + RecBuff_12_40 + RecBuff_24_20 + RecBuff_24_21 + RecBuff_24_22 + RecBuff_24_23 + RecBuff_24_24 + RecBuff_24_25 + RecBuff_24_26 + RecBuff_24_27 + RecBuff_24_28 + RecBuff_24_29 + RecBuff_24_30 + RecBuff_36_10 + RecBuff_24_31 + RecBuff_36_11 + RecBuff_24_32 + RecBuff_24_33 + RecBuff_36_12 + RecBuff_24_34 + RecBuff_36_13 + RecBuff_24_35 + RecBuff_36_14 + RecBuff_36_15 + RecBuff_24_36 + RecBuff_36_16 + RecBuff_24_37 + RecBuff_36_17 + RecBuff_24_38 + RecBuff_24_39 + RecBuff_36_18 + RecBuff_36_19 + RecBuff_24_40 + RecBuff_36_20 + RecBuff_36_21 + RecBuff_36_22 + RecBuff_36_23 + RecBuff_36_24 + RecBuff_36_25 + RecBuff_36_26 + RecBuff_36_27 + RecBuff_36_28 + RecBuff_36_29 + RecBuff_36_30 + RecBuff_36_31 + RecBuff_36_32 + RecBuff_36_33 + RecBuff_36_34 + RecBuff_36_35 + RecBuff_36_36 + RecBuff_36_37 + RecBuff_36_38 + RecBuff_36_39 + RecBuff_36_40 + RecBuff_34_1 + RecBuff_34_2 + RecBuff_34_3 + RecBuff_34_4 + RecBuff_34_5 + RecBuff_34_6 + RecBuff_34_7 + RecBuff_34_8 + RecBuff_34_9 + RecBuff_21_1 + RecBuff_21_2 + RecBuff_21_3 + RecBuff_21_4 + RecBuff_21_5 + RecBuff_21_6 + RecBuff_21_7 + RecBuff_21_8 + RecBuff_21_9 + RecBuff_6_10 + RecBuff_6_11 + RecBuff_6_12 + RecBuff_6_13 + RecBuff_6_14 + RecBuff_6_15 + RecBuff_6_16 + RecBuff_6_17 + RecBuff_6_18 + RecBuff_6_19 + RecBuff_6_20 + RecBuff_6_21 + RecBuff_6_22 + RecBuff_6_23 + RecBuff_6_24 + RecBuff_6_25 + RecBuff_6_26 + RecBuff_6_27 + RecBuff_6_28 + RecBuff_6_29 + RecBuff_6_30 + RecBuff_6_31 + RecBuff_6_32 + RecBuff_6_33 + RecBuff_6_34 + RecBuff_6_35 + RecBuff_6_36 + RecBuff_6_37 + RecBuff_6_38 + RecBuff_6_39 + RecBuff_6_40 + RecBuff_8_1 + RecBuff_8_2 + RecBuff_8_3 + RecBuff_8_4 + RecBuff_8_5 + RecBuff_8_6 + RecBuff_8_7 + RecBuff_8_8 + RecBuff_8_9 + RecBuff_35_1 + RecBuff_35_2 + RecBuff_35_3 + RecBuff_35_4 + RecBuff_35_5 + RecBuff_35_6 + RecBuff_35_7 + RecBuff_35_8 + RecBuff_35_9 + RecBuff_22_1 + RecBuff_22_2 + RecBuff_22_3 + RecBuff_22_4 + RecBuff_22_5 + RecBuff_22_6 + RecBuff_22_7 + RecBuff_22_8 + RecBuff_22_9 + RecBuff_17_10 + RecBuff_17_11 + RecBuff_17_12 + RecBuff_17_13 + RecBuff_17_14 + RecBuff_17_15 + RecBuff_17_16 + RecBuff_17_17 + RecBuff_17_18 + RecBuff_17_19 + RecBuff_17_20 + RecBuff_17_21 + RecBuff_17_22 + RecBuff_17_23 + RecBuff_17_24 + RecBuff_17_25 + RecBuff_17_26 + RecBuff_17_27 + RecBuff_17_28 + RecBuff_17_29 + RecBuff_17_30 + RecBuff_29_10 + RecBuff_17_31 + RecBuff_29_11 + RecBuff_17_32 + RecBuff_17_33 + RecBuff_29_12 + RecBuff_17_34 + RecBuff_29_13 + RecBuff_29_14 + RecBuff_17_35 + RecBuff_29_15 + RecBuff_17_36 + RecBuff_29_16 + RecBuff_17_37 + RecBuff_17_38 + RecBuff_29_17 + RecBuff_17_39 + RecBuff_29_18 + RecBuff_29_19 + RecBuff_17_40 + RecBuff_29_20 + RecBuff_29_21 + RecBuff_29_22 + RecBuff_29_23 + RecBuff_29_24 + RecBuff_29_25 + RecBuff_29_26 + RecBuff_29_27 + RecBuff_29_28 + RecBuff_29_29 + RecBuff_29_30 + RecBuff_29_31 + RecBuff_29_32 + RecBuff_29_33 + RecBuff_29_34 + RecBuff_29_35 + RecBuff_29_36 + RecBuff_29_37 + RecBuff_29_38 + RecBuff_29_39 + RecBuff_29_40 + RecBuff_19_19 + RecBuff_9_1 + RecBuff_9_2 + RecBuff_9_3 + RecBuff_9_4 + RecBuff_9_5 + RecBuff_9_6 + RecBuff_9_7 + RecBuff_9_8 + RecBuff_9_9 + RecBuff_30_10 + RecBuff_30_11 + RecBuff_30_12 + RecBuff_30_13 + RecBuff_30_14 + RecBuff_30_15 + RecBuff_30_16 + RecBuff_30_17 + RecBuff_30_18 + RecBuff_30_19 + RecBuff_30_20 + RecBuff_30_21 + RecBuff_30_22 + RecBuff_30_23 + RecBuff_30_24 + RecBuff_30_25 + RecBuff_30_26 + RecBuff_30_27 + RecBuff_30_28 + RecBuff_30_29 + RecBuff_30_30 + RecBuff_30_31 + RecBuff_30_32 + RecBuff_30_33 + RecBuff_30_34 + RecBuff_30_35 + RecBuff_30_36 + RecBuff_30_37 + RecBuff_30_38 + RecBuff_30_39 + RecBuff_30_40 + RecBuff_36_1 + RecBuff_36_2 + RecBuff_36_3 + RecBuff_36_4 + RecBuff_36_5 + RecBuff_36_6 + RecBuff_36_7 + RecBuff_36_8 + RecBuff_36_9 + RecBuff_23_1 + RecBuff_23_2 + RecBuff_23_3 + RecBuff_23_4 + RecBuff_23_5 + RecBuff_23_6 + RecBuff_23_7 + RecBuff_23_8 + RecBuff_23_9 + RecBuff_10_1 + RecBuff_10_2 + RecBuff_10_3 + RecBuff_10_4 + RecBuff_10_5 + RecBuff_10_6 + RecBuff_10_7 + RecBuff_10_8 + RecBuff_10_9 + RecBuff_11_10 + RecBuff_11_11 + RecBuff_11_12 + RecBuff_11_13 + RecBuff_11_14 + RecBuff_11_15 + RecBuff_11_16 + RecBuff_11_17 + RecBuff_11_18 + RecBuff_11_19 + RecBuff_11_20 + RecBuff_11_21 + RecBuff_11_22 + RecBuff_11_23 + RecBuff_11_24 + RecBuff_11_25 + RecBuff_11_26 + RecBuff_11_27 + RecBuff_11_28 + RecBuff_11_29 + RecBuff_11_30 + RecBuff_23_10 + RecBuff_11_31 + RecBuff_11_32 + RecBuff_23_11 + RecBuff_23_12 + RecBuff_11_33 + RecBuff_11_34 + RecBuff_23_13 + RecBuff_11_35 + RecBuff_23_14 + RecBuff_11_36 + RecBuff_23_15 + RecBuff_23_16 + RecBuff_11_37 + RecBuff_11_38 + RecBuff_23_17 + RecBuff_11_39 + RecBuff_23_18 + RecBuff_23_19 + RecBuff_11_40 + RecBuff_23_20 + RecBuff_23_21 + RecBuff_23_22 + RecBuff_23_23 + RecBuff_23_24 + RecBuff_23_25 + RecBuff_23_26 + RecBuff_23_27 + RecBuff_23_28 + RecBuff_23_29 + RecBuff_23_30 + RecBuff_35_10 + RecBuff_23_31 + RecBuff_23_32 + RecBuff_35_11 + RecBuff_23_33 + RecBuff_35_12 + RecBuff_35_13 + RecBuff_23_34 + RecBuff_23_35 + RecBuff_35_14 + RecBuff_35_15 + RecBuff_23_36 + RecBuff_35_16 + RecBuff_23_37 + RecBuff_23_38 + RecBuff_35_17 + RecBuff_35_18 + RecBuff_23_39 + RecBuff_35_19 + RecBuff_23_40 + RecBuff_35_20 + RecBuff_35_21 + RecBuff_35_22 + RecBuff_35_23 + RecBuff_35_24 + RecBuff_35_25 + RecBuff_35_26 + RecBuff_35_27 + RecBuff_35_28 + RecBuff_35_29 + RecBuff_35_30 + RecBuff_35_31 + RecBuff_35_32 + RecBuff_35_33 + RecBuff_35_34 + RecBuff_35_35 + RecBuff_35_36 + RecBuff_35_37 + RecBuff_35_38 + RecBuff_35_39 + RecBuff_35_40 + RecBuff_37_1 + RecBuff_37_2 + RecBuff_37_3 + RecBuff_37_4 + RecBuff_37_5 + RecBuff_37_6 + RecBuff_37_7 + RecBuff_37_8 + RecBuff_37_9 + RecBuff_24_1 + RecBuff_24_2 + RecBuff_24_3 + RecBuff_24_4 + RecBuff_24_5 + RecBuff_24_6 + RecBuff_24_7 + RecBuff_24_8 + RecBuff_24_9 + RecBuff_11_1 + RecBuff_11_2 + RecBuff_11_3 + RecBuff_11_4 + RecBuff_11_5 + RecBuff_11_6 + RecBuff_11_7 + RecBuff_11_8 + RecBuff_11_9 + RecBuff_5_10 + RecBuff_5_11 + RecBuff_5_12 + RecBuff_5_13 + RecBuff_5_14 + RecBuff_5_15 + RecBuff_5_16 + RecBuff_5_17 + RecBuff_5_18 + RecBuff_5_19 + RecBuff_5_20 + RecBuff_5_21 + RecBuff_5_22 + RecBuff_5_23 + RecBuff_5_24 + RecBuff_5_25 + RecBuff_5_26 + RecBuff_5_27 + RecBuff_5_28 + RecBuff_5_29 + RecBuff_5_30 + RecBuff_5_31 + RecBuff_5_32 + RecBuff_5_33 + RecBuff_5_34 + RecBuff_5_35 + RecBuff_5_36 + RecBuff_5_37 + RecBuff_5_38 + RecBuff_5_39 + RecBuff_5_40 + RecBuff_19_18 + RecBuff_38_1 + RecBuff_38_2 + RecBuff_38_3 + RecBuff_38_4 + RecBuff_38_5 + RecBuff_38_6 + RecBuff_38_7 + RecBuff_38_8 + RecBuff_38_9 + RecBuff_25_1 + RecBuff_25_2 + RecBuff_25_3 + RecBuff_25_4 + RecBuff_25_5 + RecBuff_25_6 + RecBuff_25_7 + RecBuff_25_8 + RecBuff_25_9 + RecBuff_12_1 + RecBuff_12_2 + RecBuff_12_3 + RecBuff_12_4 + RecBuff_12_5 + RecBuff_12_6 + RecBuff_12_7 + RecBuff_12_8 + RecBuff_12_9 + RecBuff_16_10 + RecBuff_16_11 + RecBuff_16_12 + RecBuff_16_13 + RecBuff_16_14 + RecBuff_16_15 + RecBuff_16_16 + RecBuff_16_17 + RecBuff_16_18 + RecBuff_16_19 + RecBuff_16_20 + RecBuff_16_21 + RecBuff_16_22 + RecBuff_16_23 + RecBuff_16_24 + RecBuff_16_25 + RecBuff_16_26 + RecBuff_16_27 + RecBuff_16_28 + RecBuff_16_29 + RecBuff_16_30 + RecBuff_16_31 + RecBuff_28_10 + RecBuff_28_11 + RecBuff_16_32 + RecBuff_28_12 + RecBuff_16_33 + RecBuff_16_34 + RecBuff_28_13 + RecBuff_28_14 + RecBuff_16_35 + RecBuff_28_15 + RecBuff_16_36 + RecBuff_28_16 + RecBuff_16_37 + RecBuff_28_17 + RecBuff_16_38 + RecBuff_28_18 + RecBuff_16_39 + RecBuff_28_19 + RecBuff_16_40 + RecBuff_28_20 + RecBuff_28_21 + RecBuff_28_22 + RecBuff_28_23 + RecBuff_28_24 + RecBuff_28_25 + RecBuff_28_26 + RecBuff_28_27 + RecBuff_28_28 + RecBuff_28_29 + RecBuff_28_30 + RecBuff_28_31 + RecBuff_28_32 + RecBuff_28_33 + RecBuff_28_34 + RecBuff_28_35 + RecBuff_28_36 + RecBuff_28_37 + RecBuff_28_38 + RecBuff_28_39 + RecBuff_28_40 + RecBuff_19_17 + RecBuff_19_16 + RecBuff_19_15 + RecBuff_19_14 + RecBuff_19_13 + RecBuff_19_12 + RecBuff_19_11 + RecBuff_19_10 + RecBuff_39_1 + RecBuff_39_2 + RecBuff_39_3 + RecBuff_39_4 + RecBuff_39_5 + RecBuff_39_6 + RecBuff_39_7 + RecBuff_39_8 + RecBuff_39_9 + RecBuff_26_1 + RecBuff_26_2 + RecBuff_26_3 + RecBuff_26_4 + RecBuff_26_5 + RecBuff_26_6 + RecBuff_26_7 + RecBuff_26_8 + RecBuff_26_9 + RecBuff_13_1 + RecBuff_13_2 + RecBuff_13_3 + RecBuff_13_4 + RecBuff_13_5 + RecBuff_13_6 + RecBuff_13_7 + RecBuff_13_8 + RecBuff_13_9 + RecBuff_10_10 + RecBuff_10_11 + RecBuff_10_12 + RecBuff_10_13 + RecBuff_10_14 + RecBuff_10_15 + RecBuff_10_16 + RecBuff_10_17 + RecBuff_10_18 + RecBuff_10_19 + RecBuff_10_20 + RecBuff_10_21 + RecBuff_10_22 + RecBuff_10_23 + RecBuff_10_24 + RecBuff_10_25 + RecBuff_10_26 + RecBuff_10_27 + RecBuff_10_28 + RecBuff_10_29 + RecBuff_10_30 + RecBuff_10_31 + RecBuff_22_10 + RecBuff_10_32 + RecBuff_22_11 + RecBuff_10_33 + RecBuff_22_12 + RecBuff_22_13 + RecBuff_10_34 + RecBuff_10_35 + RecBuff_22_14 + RecBuff_10_36 + RecBuff_22_15 + RecBuff_22_16 + RecBuff_10_37 + RecBuff_22_17 + RecBuff_10_38 + RecBuff_10_39 + RecBuff_22_18 + RecBuff_22_19 + RecBuff_10_40 + RecBuff_22_20 + RecBuff_22_21 + RecBuff_22_22 + RecBuff_22_23 + RecBuff_22_24 + RecBuff_22_25 + RecBuff_22_26 + RecBuff_22_27 + RecBuff_22_28 + RecBuff_22_29 + RecBuff_22_30 + RecBuff_22_31 + RecBuff_34_10 + RecBuff_22_32 + RecBuff_34_11 + RecBuff_34_12 + RecBuff_22_33 + RecBuff_22_34 + RecBuff_34_13 + RecBuff_34_14 + RecBuff_22_35 + RecBuff_34_15 + RecBuff_22_36 + RecBuff_34_16 + RecBuff_22_37 + RecBuff_22_38 + RecBuff_34_17 + RecBuff_34_18 + RecBuff_22_39 + RecBuff_34_19 + RecBuff_22_40 + RecBuff_34_20 + RecBuff_34_21 + RecBuff_34_22 + RecBuff_34_23 + RecBuff_34_24 + RecBuff_34_25 + RecBuff_34_26 + RecBuff_34_27 + RecBuff_34_28 + RecBuff_34_29 + RecBuff_34_30 + RecBuff_34_31 + RecBuff_34_32 + RecBuff_34_33 + RecBuff_34_34 + RecBuff_34_35 + RecBuff_34_36 + RecBuff_34_37 + RecBuff_34_38 + RecBuff_34_39 + RecBuff_34_40 + RecBuff_27_1 + RecBuff_27_2 + RecBuff_27_3 + RecBuff_27_4 + RecBuff_27_5 + RecBuff_27_6 + RecBuff_27_7 + RecBuff_27_8 + RecBuff_27_9 + RecBuff_38_40 + RecBuff_14_1 + RecBuff_14_2 + RecBuff_14_3 + RecBuff_14_4 + RecBuff_14_5 + RecBuff_14_6 + RecBuff_14_7 + RecBuff_14_8 + RecBuff_14_9 + RecBuff_38_39 + RecBuff_38_38 + RecBuff_38_37 + RecBuff_38_36 + RecBuff_38_35 + RecBuff_38_34 + RecBuff_38_33 + RecBuff_38_32 + RecBuff_38_31 + RecBuff_38_30 + RecBuff_38_29 + RecBuff_38_28 + RecBuff_38_27 + RecBuff_38_26 + RecBuff_4_10 + RecBuff_4_11 + RecBuff_4_12 + RecBuff_4_13 + RecBuff_4_14 + RecBuff_4_15 + RecBuff_4_16 + RecBuff_4_17 + RecBuff_4_18 + RecBuff_4_19 + RecBuff_4_20 + RecBuff_4_21 + RecBuff_4_22 + RecBuff_4_23 + RecBuff_4_24 + RecBuff_4_25 + RecBuff_4_26 + RecBuff_4_27 + RecBuff_4_28 + RecBuff_4_29 + RecBuff_4_30 + RecBuff_4_31 + RecBuff_4_32 + RecBuff_4_33 + RecBuff_4_34 + RecBuff_4_35 + RecBuff_4_36 + RecBuff_4_37 + RecBuff_4_38 + RecBuff_4_39 + RecBuff_4_40 + RecBuff_38_25 + RecBuff_38_24 + RecBuff_38_23 + RecBuff_38_22 + RecBuff_28_1 + RecBuff_28_2 + RecBuff_28_3 + RecBuff_28_4 + RecBuff_28_5 + RecBuff_28_6 + RecBuff_28_7 + RecBuff_28_8 + RecBuff_38_21 + RecBuff_38_20 + RecBuff_26_40 + RecBuff_38_19 + RecBuff_26_39 + RecBuff_38_18 + RecBuff_15_10 + RecBuff_15_11 + RecBuff_15_12 + RecBuff_15_13 + RecBuff_15_14 + RecBuff_15_15 + RecBuff_15_16 + RecBuff_15_17 + RecBuff_15_18 + RecBuff_15_19 + RecBuff_15_20 + RecBuff_15_21 + RecBuff_15_22 + RecBuff_15_23 + RecBuff_15_24 + RecBuff_15_25 + RecBuff_15_26 + RecBuff_15_27 + RecBuff_15_28 + RecBuff_15_29 + RecBuff_15_30 + RecBuff_27_10 + RecBuff_15_31 + RecBuff_15_32 + RecBuff_27_11 + RecBuff_15_33 + RecBuff_27_12 + RecBuff_27_13 + RecBuff_15_34 + RecBuff_27_14 + RecBuff_15_35 + RecBuff_27_15 + RecBuff_15_36 + RecBuff_27_16 + RecBuff_15_37 + RecBuff_27_17 + RecBuff_15_38 + RecBuff_27_18 + RecBuff_15_39 + RecBuff_27_19 + RecBuff_15_40 + RecBuff_27_20 + RecBuff_27_21 + RecBuff_27_22 + RecBuff_27_23 + RecBuff_27_24 + RecBuff_27_25 + RecBuff_27_26 + RecBuff_27_27 + RecBuff_27_28 + RecBuff_27_29 + RecBuff_27_30 + RecBuff_39_10 + RecBuff_27_31 + RecBuff_27_32 + RecBuff_39_11 + RecBuff_39_12 + RecBuff_27_33 + RecBuff_39_13 + RecBuff_27_34 + RecBuff_39_14 + RecBuff_27_35 + RecBuff_39_15 + RecBuff_27_36 + RecBuff_39_16 + RecBuff_27_37 + RecBuff_39_17 + RecBuff_27_38 + RecBuff_27_39 + RecBuff_39_18 + RecBuff_39_19 + RecBuff_27_40 + RecBuff_39_20 + RecBuff_39_21 + RecBuff_39_22 + RecBuff_39_23 + RecBuff_39_24 + RecBuff_39_25 + RecBuff_39_26 + RecBuff_39_27 + RecBuff_39_28 + RecBuff_39_29 + RecBuff_39_30 + RecBuff_39_31 + RecBuff_39_32 + RecBuff_39_33 + RecBuff_39_34 + RecBuff_39_35 + RecBuff_39_36 + RecBuff_39_37 + RecBuff_39_38 + RecBuff_39_39 + RecBuff_39_40 + RecBuff_38_17 + RecBuff_26_38 + RecBuff_38_16 + RecBuff_26_37 + RecBuff_38_15 + RecBuff_26_36 + RecBuff_38_14 + RecBuff_26_35 + RecBuff_26_34 + RecBuff_38_13 + RecBuff_38_12 + RecBuff_26_33 + RecBuff_38_11 + RecBuff_26_32 + RecBuff_38_10 + RecBuff_26_31 + RecBuff_26_30 + RecBuff_26_29 + RecBuff_26_28 + RecBuff_26_27 + RecBuff_26_26 + RecBuff_26_25 + RecBuff_26_24 + RecBuff_26_23 + RecBuff_26_22 + RecBuff_26_21 + RecBuff_26_20 + RecBuff_14_40 + RecBuff_26_19 + RecBuff_14_39 + RecBuff_26_18 + RecBuff_26_17 + RecBuff_14_38 + RecBuff_14_37 + RecBuff_26_16 + RecBuff_26_15 + RecBuff_14_36 + RecBuff_14_35 + RecBuff_26_14 + RecBuff_26_13 + RecBuff_14_34 + RecBuff_14_33 + RecBuff_26_12 + RecBuff_14_32 + RecBuff_26_11 + RecBuff_14_31 + RecBuff_26_10 + RecBuff_14_30 + RecBuff_14_29 + RecBuff_14_28 + RecBuff_14_27 + RecBuff_14_26 + RecBuff_14_25 + RecBuff_14_24 + RecBuff_14_23 + RecBuff_14_22 + RecBuff_14_21 + RecBuff_14_20 + RecBuff_40_10 + RecBuff_40_11 + RecBuff_40_12 + RecBuff_40_13 + RecBuff_40_14 + RecBuff_40_15 + RecBuff_40_16 + RecBuff_40_17 + RecBuff_40_18 + RecBuff_40_19 + RecBuff_40_20 + RecBuff_40_21 + RecBuff_40_22 + RecBuff_40_23 + RecBuff_40_24 + RecBuff_40_25 + RecBuff_40_26 + RecBuff_40_27 + RecBuff_40_28 + RecBuff_40_29 + RecBuff_40_30 + RecBuff_40_31 + RecBuff_40_32 + RecBuff_40_33 + RecBuff_40_34 + RecBuff_40_35 + RecBuff_40_36 + RecBuff_40_37 + RecBuff_40_38 + RecBuff_40_39 + RecBuff_40_40 + RecBuff_14_19 + RecBuff_14_18 + RecBuff_14_17 + RecBuff_14_16 + RecBuff_14_15 + RecBuff_14_14 + RecBuff_14_13 + RecBuff_14_12 + RecBuff_14_11 + RecBuff_14_10 + RecBuff_1_8 + RecBuff_1_7 + RecBuff_1_6 + RecBuff_1_5 + RecBuff_1_4 + RecBuff_1_3 + RecBuff_1_2 + RecBuff_1_1 + RecBuff_21_10 + RecBuff_21_11 + RecBuff_21_12 + RecBuff_21_13 + RecBuff_21_14 + RecBuff_21_15 + RecBuff_21_16 + RecBuff_21_17 + RecBuff_21_18 + RecBuff_21_19 + RecBuff_21_20 + RecBuff_21_21 + RecBuff_21_22 + RecBuff_21_23 + RecBuff_21_24 + RecBuff_21_25 + RecBuff_21_26 + RecBuff_21_27 + RecBuff_21_28 + RecBuff_21_29 + RecBuff_21_30 + RecBuff_21_31 + RecBuff_33_10 + RecBuff_33_11 + RecBuff_21_32 + RecBuff_21_33 + RecBuff_33_12 + RecBuff_33_13 + RecBuff_21_34 + RecBuff_21_35 + RecBuff_33_14 + RecBuff_33_15 + RecBuff_21_36 + RecBuff_21_37 + RecBuff_33_16 + RecBuff_33_17 + RecBuff_21_38 + RecBuff_33_18 + RecBuff_21_39 + RecBuff_33_19 + RecBuff_21_40 + RecBuff_33_20 + RecBuff_33_21 + RecBuff_33_22 + RecBuff_33_23 + RecBuff_33_24 + RecBuff_33_25 + RecBuff_33_26 + RecBuff_33_27 + RecBuff_33_28 + RecBuff_33_29 + RecBuff_33_30 + RecBuff_33_31 + RecBuff_33_32 + RecBuff_33_33 + RecBuff_33_34 + RecBuff_33_35 + RecBuff_33_36 + RecBuff_33_37 + RecBuff_33_38 + RecBuff_33_39 + RecBuff_33_40 + RecBuff_3_38 + RecBuff_3_39 + RecBuff_3_40 + RecBuff_3_37 + RecBuff_3_36 + RecBuff_3_35 + RecBuff_3_34 + RecBuff_3_33 + RecBuff_3_32 + RecBuff_3_31 + RecBuff_3_30 + RecBuff_3_29 + RecBuff_3_28 + RecBuff_3_27 + RecBuff_3_26 + RecBuff_3_25 + RecBuff_3_24 + RecBuff_3_23 + RecBuff_3_22 + RecBuff_3_21 + RecBuff_3_20 + RecBuff_3_19 + RecBuff_3_18 + RecBuff_3_17 + RecBuff_3_16 + RecBuff_3_15 + RecBuff_3_14 + RecBuff_3_13 + RecBuff_3_12 + RecBuff_3_11 + RecBuff_3_10 + RecBuff_40_1 + RecBuff_40_2 + RecBuff_40_3 + RecBuff_40_4 + RecBuff_40_5 + RecBuff_40_6 + RecBuff_40_7 + RecBuff_40_8 + RecBuff_40_9 + RecBuff_17_9 + RecBuff_17_8 + RecBuff_17_7 + RecBuff_17_6 + RecBuff_17_5 + RecBuff_17_4 + RecBuff_17_3 + RecBuff_17_2 + RecBuff_17_1 + RecBuff_18_1 + RecBuff_18_2 + RecBuff_18_3 + RecBuff_18_4 + RecBuff_18_5 + RecBuff_18_6 + RecBuff_18_7 + RecBuff_18_8 + RecBuff_18_9 + RecBuff_1_9 + RecBuff_16_9 + RecBuff_16_8 + RecBuff_16_7 + RecBuff_16_6 + RecBuff_16_5 + RecBuff_16_4 + RecBuff_16_3 + RecBuff_16_2 + RecBuff_16_1 + RecBuff_29_9 + RecBuff_29_8 + RecBuff_29_7 + RecBuff_29_6 + RecBuff_29_5 + RecBuff_29_4 + RecBuff_29_3 + RecBuff_29_2 + RecBuff_29_1 + RecBuff_9_40 + RecBuff_9_39 + RecBuff_9_38 + RecBuff_9_37 + RecBuff_9_36 + RecBuff_9_35 + RecBuff_9_34 + RecBuff_9_33 + RecBuff_9_32 + RecBuff_9_31 + RecBuff_9_30 + RecBuff_9_29 + RecBuff_9_28 + RecBuff_9_27 + RecBuff_9_26 + RecBuff_9_25 + RecBuff_9_24 + RecBuff_9_23 + RecBuff_9_22 + RecBuff_9_21 + RecBuff_9_20 + RecBuff_9_19 + RecBuff_9_18 + RecBuff_9_17 + RecBuff_9_16 + RecBuff_9_15 + RecBuff_9_14 + RecBuff_9_13 + RecBuff_9_12 + RecBuff_9_11 + RecBuff_9_10 + RecBuff_15_9 + RecBuff_15_8 + RecBuff_15_7 + RecBuff_15_6 + RecBuff_15_5 + RecBuff_15_4 + RecBuff_15_3 + RecBuff_15_2 + RecBuff_15_1 + RecBuff_28_9 + RecBuff_8_10 + RecBuff_8_11 + RecBuff_8_12 + RecBuff_8_13 + RecBuff_8_14 + RecBuff_8_15 + RecBuff_8_16 + RecBuff_8_17 + RecBuff_8_18 + RecBuff_8_19 + RecBuff_8_20 + RecBuff_8_21 + RecBuff_8_22 + RecBuff_8_23 + RecBuff_8_24 + RecBuff_8_25 + RecBuff_8_26 + RecBuff_8_27 + RecBuff_8_28 + RecBuff_8_29 + RecBuff_8_30 + RecBuff_8_31 + RecBuff_8_32 + RecBuff_8_33 + RecBuff_8_34 + RecBuff_8_35 + RecBuff_8_36 + RecBuff_8_37 + RecBuff_8_38 + RecBuff_8_39 + RecBuff_8_40 + RecBuff_19_1 + RecBuff_19_2 + RecBuff_19_3 + RecBuff_19_4 + RecBuff_19_5 + RecBuff_19_6 + RecBuff_19_7 + RecBuff_19_8 + RecBuff_19_9 + RecBuff_2_1 + RecBuff_2_2 + RecBuff_2_3 + RecBuff_2_4 + RecBuff_2_5 + RecBuff_2_6 + RecBuff_2_7 + RecBuff_2_8 + RecBuff_2_9 + RecBuff_19_20 + RecBuff_19_21 + RecBuff_19_22 + RecBuff_19_23 + RecBuff_19_24 + RecBuff_19_25 + RecBuff_19_26 + RecBuff_19_27 + RecBuff_19_28 + RecBuff_19_29 + RecBuff_19_30 + RecBuff_19_31 + RecBuff_19_32 + RecBuff_19_33 + RecBuff_19_34 + RecBuff_19_35 + RecBuff_19_36 + RecBuff_19_37 + RecBuff_19_38 + RecBuff_19_39 + RecBuff_19_40) : MAX(all_passive_1 + all_passive_2 + all_passive_3 + all_passive_4 + all_passive_5 + all_passive_7 + all_passive_8 + all_passive_9 + all_passive_14 + all_passive_15 + all_passive_17 + all_passive_18 + all_passive_19 + all_passive_20 + all_passive_21 + all_passive_26 + all_passive_27 + all_passive_30 + all_passive_31 + all_passive_32 + all_passive_33 + all_passive_38 + all_passive_39 + all_passive_40 + all_passive_37 + all_passive_36 + all_passive_35 + all_passive_34 + all_passive_29 + all_passive_28 + all_passive_25 + all_passive_24 + all_passive_23 + all_passive_22 + all_passive_16 + all_passive_13 + all_passive_12 + all_passive_11 + all_passive_10 + all_passive_6) : MAX(Acknowledge_19_20 + Acknowledge_19_21 + Acknowledge_19_22 + Acknowledge_19_23 + Acknowledge_19_24 + Acknowledge_19_25 + Acknowledge_19_26 + Acknowledge_19_27 + Acknowledge_19_28 + Acknowledge_19_29 + Acknowledge_19_30 + Acknowledge_19_31 + Acknowledge_19_32 + Acknowledge_19_33 + Acknowledge_19_34 + Acknowledge_19_35 + Acknowledge_19_36 + Acknowledge_19_37 + Acknowledge_19_38 + Acknowledge_19_39 + Acknowledge_19_40 + Acknowledge_8_1 + Acknowledge_8_2 + Acknowledge_8_3 + Acknowledge_8_4 + Acknowledge_8_5 + Acknowledge_8_6 + Acknowledge_8_7 + Acknowledge_8_8 + Acknowledge_8_9 + Acknowledge_31_1 + Acknowledge_31_2 + Acknowledge_31_3 + Acknowledge_31_4 + Acknowledge_31_5 + Acknowledge_31_6 + Acknowledge_31_7 + Acknowledge_31_8 + Acknowledge_31_9 + Acknowledge_7_10 + Acknowledge_7_11 + Acknowledge_7_12 + Acknowledge_7_13 + Acknowledge_7_14 + Acknowledge_7_15 + Acknowledge_7_16 + Acknowledge_7_17 + Acknowledge_7_18 + Acknowledge_7_19 + Acknowledge_7_20 + Acknowledge_7_21 + Acknowledge_7_22 + Acknowledge_7_23 + Acknowledge_7_24 + Acknowledge_7_25 + Acknowledge_7_26 + Acknowledge_7_27 + Acknowledge_7_28 + Acknowledge_7_29 + Acknowledge_7_30 + Acknowledge_7_31 + Acknowledge_7_32 + Acknowledge_7_33 + Acknowledge_7_34 + Acknowledge_7_35 + Acknowledge_7_36 + Acknowledge_7_37 + Acknowledge_7_38 + Acknowledge_7_39 + Acknowledge_7_40 + Acknowledge_20_10 + Acknowledge_20_11 + Acknowledge_20_12 + Acknowledge_20_13 + Acknowledge_20_14 + Acknowledge_20_15 + Acknowledge_20_16 + Acknowledge_20_17 + Acknowledge_20_18 + Acknowledge_20_19 + Acknowledge_20_20 + Acknowledge_20_21 + Acknowledge_20_22 + Acknowledge_20_23 + Acknowledge_20_24 + Acknowledge_20_25 + Acknowledge_20_26 + Acknowledge_20_27 + Acknowledge_20_28 + Acknowledge_20_29 + Acknowledge_20_30 + Acknowledge_32_10 + Acknowledge_20_31 + Acknowledge_20_32 + Acknowledge_32_11 + Acknowledge_20_33 + Acknowledge_32_12 + Acknowledge_32_13 + Acknowledge_20_34 + Acknowledge_20_35 + Acknowledge_32_14 + Acknowledge_20_36 + Acknowledge_32_15 + Acknowledge_20_37 + Acknowledge_32_16 + Acknowledge_20_38 + Acknowledge_32_17 + Acknowledge_20_39 + Acknowledge_32_18 + Acknowledge_32_19 + Acknowledge_20_40 + Acknowledge_32_20 + Acknowledge_32_21 + Acknowledge_32_22 + Acknowledge_32_23 + Acknowledge_32_24 + Acknowledge_32_25 + Acknowledge_32_26 + Acknowledge_32_27 + Acknowledge_32_28 + Acknowledge_32_29 + Acknowledge_32_30 + Acknowledge_32_31 + Acknowledge_32_32 + Acknowledge_32_33 + Acknowledge_32_34 + Acknowledge_32_35 + Acknowledge_32_36 + Acknowledge_32_37 + Acknowledge_32_38 + Acknowledge_32_39 + Acknowledge_32_40 + Acknowledge_9_1 + Acknowledge_9_2 + Acknowledge_9_3 + Acknowledge_9_4 + Acknowledge_9_5 + Acknowledge_9_6 + Acknowledge_9_7 + Acknowledge_9_8 + Acknowledge_9_9 + Acknowledge_32_1 + Acknowledge_32_2 + Acknowledge_32_3 + Acknowledge_32_4 + Acknowledge_32_5 + Acknowledge_32_6 + Acknowledge_32_7 + Acknowledge_32_8 + Acknowledge_32_9 + Acknowledge_13_10 + Acknowledge_13_11 + Acknowledge_13_12 + Acknowledge_13_13 + Acknowledge_13_14 + Acknowledge_13_15 + Acknowledge_13_16 + Acknowledge_13_17 + Acknowledge_13_18 + Acknowledge_13_19 + Acknowledge_13_20 + Acknowledge_13_21 + Acknowledge_13_22 + Acknowledge_13_23 + Acknowledge_13_24 + Acknowledge_13_25 + Acknowledge_13_26 + Acknowledge_13_27 + Acknowledge_13_28 + Acknowledge_13_29 + Acknowledge_13_30 + Acknowledge_25_10 + Acknowledge_13_31 + Acknowledge_13_32 + Acknowledge_25_11 + Acknowledge_13_33 + Acknowledge_25_12 + Acknowledge_25_13 + Acknowledge_13_34 + Acknowledge_25_14 + Acknowledge_13_35 + Acknowledge_25_15 + Acknowledge_13_36 + Acknowledge_13_37 + Acknowledge_25_16 + Acknowledge_25_17 + Acknowledge_13_38 + Acknowledge_13_39 + Acknowledge_25_18 + Acknowledge_25_19 + Acknowledge_13_40 + Acknowledge_25_20 + Acknowledge_25_21 + Acknowledge_25_22 + Acknowledge_25_23 + Acknowledge_25_24 + Acknowledge_25_25 + Acknowledge_25_26 + Acknowledge_25_27 + Acknowledge_25_28 + Acknowledge_25_29 + Acknowledge_25_30 + Acknowledge_25_31 + Acknowledge_37_10 + Acknowledge_37_11 + Acknowledge_25_32 + Acknowledge_37_12 + Acknowledge_25_33 + Acknowledge_25_34 + Acknowledge_37_13 + Acknowledge_37_14 + Acknowledge_25_35 + Acknowledge_25_36 + Acknowledge_37_15 + Acknowledge_25_37 + Acknowledge_37_16 + Acknowledge_25_38 + Acknowledge_37_17 + Acknowledge_37_18 + Acknowledge_25_39 + Acknowledge_37_19 + Acknowledge_25_40 + Acknowledge_37_20 + Acknowledge_37_21 + Acknowledge_37_22 + Acknowledge_37_23 + Acknowledge_37_24 + Acknowledge_37_25 + Acknowledge_37_26 + Acknowledge_37_27 + Acknowledge_37_28 + Acknowledge_37_29 + Acknowledge_37_30 + Acknowledge_37_31 + Acknowledge_37_32 + Acknowledge_37_33 + Acknowledge_37_34 + Acknowledge_37_35 + Acknowledge_37_36 + Acknowledge_37_37 + Acknowledge_37_38 + Acknowledge_37_39 + Acknowledge_37_40 + Acknowledge_1_10 + Acknowledge_1_11 + Acknowledge_1_12 + Acknowledge_1_13 + Acknowledge_1_14 + Acknowledge_1_15 + Acknowledge_1_16 + Acknowledge_1_17 + Acknowledge_1_18 + Acknowledge_1_19 + Acknowledge_1_20 + Acknowledge_1_21 + Acknowledge_1_22 + Acknowledge_1_23 + Acknowledge_1_24 + Acknowledge_1_25 + Acknowledge_1_26 + Acknowledge_1_27 + Acknowledge_1_28 + Acknowledge_1_29 + Acknowledge_1_30 + Acknowledge_1_31 + Acknowledge_1_32 + Acknowledge_1_33 + Acknowledge_1_34 + Acknowledge_1_35 + Acknowledge_1_36 + Acknowledge_1_37 + Acknowledge_1_38 + Acknowledge_1_39 + Acknowledge_1_40 + Acknowledge_33_1 + Acknowledge_33_2 + Acknowledge_33_3 + Acknowledge_33_4 + Acknowledge_33_5 + Acknowledge_33_6 + Acknowledge_33_7 + Acknowledge_33_8 + Acknowledge_33_9 + Acknowledge_20_1 + Acknowledge_20_2 + Acknowledge_20_3 + Acknowledge_20_4 + Acknowledge_20_5 + Acknowledge_20_6 + Acknowledge_20_7 + Acknowledge_20_8 + Acknowledge_20_9 + Acknowledge_18_10 + Acknowledge_18_11 + Acknowledge_18_12 + Acknowledge_18_13 + Acknowledge_18_14 + Acknowledge_18_15 + Acknowledge_18_16 + Acknowledge_18_17 + Acknowledge_18_18 + Acknowledge_18_19 + Acknowledge_18_20 + Acknowledge_18_21 + Acknowledge_18_22 + Acknowledge_18_23 + Acknowledge_18_24 + Acknowledge_18_25 + Acknowledge_18_26 + Acknowledge_18_27 + Acknowledge_18_28 + Acknowledge_18_29 + Acknowledge_18_30 + Acknowledge_18_31 + Acknowledge_18_32 + Acknowledge_18_33 + Acknowledge_18_34 + Acknowledge_18_35 + Acknowledge_18_36 + Acknowledge_18_37 + Acknowledge_18_38 + Acknowledge_18_39 + Acknowledge_18_40 + Acknowledge_34_1 + Acknowledge_34_2 + Acknowledge_34_3 + Acknowledge_34_4 + Acknowledge_34_5 + Acknowledge_34_6 + Acknowledge_34_7 + Acknowledge_34_8 + Acknowledge_34_9 + Acknowledge_21_1 + Acknowledge_21_2 + Acknowledge_21_3 + Acknowledge_21_4 + Acknowledge_21_5 + Acknowledge_21_6 + Acknowledge_21_7 + Acknowledge_21_8 + Acknowledge_21_9 + Acknowledge_6_10 + Acknowledge_6_11 + Acknowledge_6_12 + Acknowledge_6_13 + Acknowledge_6_14 + Acknowledge_6_15 + Acknowledge_6_16 + Acknowledge_6_17 + Acknowledge_6_18 + Acknowledge_6_19 + Acknowledge_6_20 + Acknowledge_6_21 + Acknowledge_6_22 + Acknowledge_6_23 + Acknowledge_6_24 + Acknowledge_6_25 + Acknowledge_6_26 + Acknowledge_6_27 + Acknowledge_6_28 + Acknowledge_6_29 + Acknowledge_6_30 + Acknowledge_6_31 + Acknowledge_6_32 + Acknowledge_6_33 + Acknowledge_6_34 + Acknowledge_6_35 + Acknowledge_6_36 + Acknowledge_6_37 + Acknowledge_6_38 + Acknowledge_6_39 + Acknowledge_6_40 + Acknowledge_31_10 + Acknowledge_31_11 + Acknowledge_31_12 + Acknowledge_31_13 + Acknowledge_31_14 + Acknowledge_31_15 + Acknowledge_31_16 + Acknowledge_31_17 + Acknowledge_31_18 + Acknowledge_31_19 + Acknowledge_31_20 + Acknowledge_31_21 + Acknowledge_31_22 + Acknowledge_31_23 + Acknowledge_31_24 + Acknowledge_31_25 + Acknowledge_31_26 + Acknowledge_31_27 + Acknowledge_31_28 + Acknowledge_31_29 + Acknowledge_31_30 + Acknowledge_31_31 + Acknowledge_31_32 + Acknowledge_31_33 + Acknowledge_31_34 + Acknowledge_31_35 + Acknowledge_31_36 + Acknowledge_31_37 + Acknowledge_31_38 + Acknowledge_31_39 + Acknowledge_31_40 + Acknowledge_35_1 + Acknowledge_35_2 + Acknowledge_35_3 + Acknowledge_35_4 + Acknowledge_35_5 + Acknowledge_35_6 + Acknowledge_35_7 + Acknowledge_35_8 + Acknowledge_35_9 + Acknowledge_22_1 + Acknowledge_22_2 + Acknowledge_22_3 + Acknowledge_22_4 + Acknowledge_22_5 + Acknowledge_22_6 + Acknowledge_22_7 + Acknowledge_22_8 + Acknowledge_22_9 + Acknowledge_12_10 + Acknowledge_12_11 + Acknowledge_12_12 + Acknowledge_12_13 + Acknowledge_12_14 + Acknowledge_12_15 + Acknowledge_12_16 + Acknowledge_12_17 + Acknowledge_12_18 + Acknowledge_12_19 + Acknowledge_12_20 + Acknowledge_12_21 + Acknowledge_12_22 + Acknowledge_12_23 + Acknowledge_12_24 + Acknowledge_12_25 + Acknowledge_12_26 + Acknowledge_12_27 + Acknowledge_12_28 + Acknowledge_12_29 + Acknowledge_12_30 + Acknowledge_24_10 + Acknowledge_12_31 + Acknowledge_12_32 + Acknowledge_24_11 + Acknowledge_12_33 + Acknowledge_24_12 + Acknowledge_24_13 + Acknowledge_12_34 + Acknowledge_12_35 + Acknowledge_24_14 + Acknowledge_24_15 + Acknowledge_12_36 + Acknowledge_24_16 + Acknowledge_12_37 + Acknowledge_24_17 + Acknowledge_12_38 + Acknowledge_24_18 + Acknowledge_12_39 + Acknowledge_24_19 + Acknowledge_12_40 + Acknowledge_24_20 + Acknowledge_24_21 + Acknowledge_24_22 + Acknowledge_24_23 + Acknowledge_24_24 + Acknowledge_24_25 + Acknowledge_24_26 + Acknowledge_24_27 + Acknowledge_24_28 + Acknowledge_24_29 + Acknowledge_24_30 + Acknowledge_36_10 + Acknowledge_24_31 + Acknowledge_36_11 + Acknowledge_24_32 + Acknowledge_36_12 + Acknowledge_24_33 + Acknowledge_36_13 + Acknowledge_24_34 + Acknowledge_36_14 + Acknowledge_24_35 + Acknowledge_36_15 + Acknowledge_24_36 + Acknowledge_36_16 + Acknowledge_24_37 + Acknowledge_24_38 + Acknowledge_36_17 + Acknowledge_24_39 + Acknowledge_36_18 + Acknowledge_36_19 + Acknowledge_24_40 + Acknowledge_36_20 + Acknowledge_36_21 + Acknowledge_36_22 + Acknowledge_36_23 + Acknowledge_36_24 + Acknowledge_36_25 + Acknowledge_36_26 + Acknowledge_36_27 + Acknowledge_36_28 + Acknowledge_36_29 + Acknowledge_36_30 + Acknowledge_36_31 + Acknowledge_36_32 + Acknowledge_36_33 + Acknowledge_36_34 + Acknowledge_36_35 + Acknowledge_36_36 + Acknowledge_36_37 + Acknowledge_36_38 + Acknowledge_36_39 + Acknowledge_36_40 + Acknowledge_36_1 + Acknowledge_36_2 + Acknowledge_36_3 + Acknowledge_36_4 + Acknowledge_36_5 + Acknowledge_36_6 + Acknowledge_36_7 + Acknowledge_36_8 + Acknowledge_36_9 + Acknowledge_23_1 + Acknowledge_23_2 + Acknowledge_23_3 + Acknowledge_23_4 + Acknowledge_23_5 + Acknowledge_23_6 + Acknowledge_23_7 + Acknowledge_23_8 + Acknowledge_23_9 + Acknowledge_10_1 + Acknowledge_10_2 + Acknowledge_10_3 + Acknowledge_10_4 + Acknowledge_10_5 + Acknowledge_10_6 + Acknowledge_10_7 + Acknowledge_10_8 + Acknowledge_10_9 + Acknowledge_17_10 + Acknowledge_17_11 + Acknowledge_17_12 + Acknowledge_17_13 + Acknowledge_17_14 + Acknowledge_17_15 + Acknowledge_17_16 + Acknowledge_17_17 + Acknowledge_17_18 + Acknowledge_17_19 + Acknowledge_17_20 + Acknowledge_17_21 + Acknowledge_17_22 + Acknowledge_17_23 + Acknowledge_17_24 + Acknowledge_17_25 + Acknowledge_17_26 + Acknowledge_17_27 + Acknowledge_17_28 + Acknowledge_17_29 + Acknowledge_17_30 + Acknowledge_29_10 + Acknowledge_17_31 + Acknowledge_17_32 + Acknowledge_29_11 + Acknowledge_29_12 + Acknowledge_17_33 + Acknowledge_29_13 + Acknowledge_17_34 + Acknowledge_29_14 + Acknowledge_17_35 + Acknowledge_29_15 + Acknowledge_17_36 + Acknowledge_17_37 + Acknowledge_29_16 + Acknowledge_17_38 + Acknowledge_29_17 + Acknowledge_17_39 + Acknowledge_29_18 + Acknowledge_29_19 + Acknowledge_17_40 + Acknowledge_29_20 + Acknowledge_29_21 + Acknowledge_29_22 + Acknowledge_29_23 + Acknowledge_29_24 + Acknowledge_29_25 + Acknowledge_29_26 + Acknowledge_29_27 + Acknowledge_29_28 + Acknowledge_29_29 + Acknowledge_29_30 + Acknowledge_29_31 + Acknowledge_29_32 + Acknowledge_29_33 + Acknowledge_29_34 + Acknowledge_29_35 + Acknowledge_29_36 + Acknowledge_29_37 + Acknowledge_29_38 + Acknowledge_29_39 + Acknowledge_29_40 + Acknowledge_37_1 + Acknowledge_37_2 + Acknowledge_37_3 + Acknowledge_37_4 + Acknowledge_37_5 + Acknowledge_37_6 + Acknowledge_37_7 + Acknowledge_37_8 + Acknowledge_37_9 + Acknowledge_24_1 + Acknowledge_24_2 + Acknowledge_24_3 + Acknowledge_24_4 + Acknowledge_24_5 + Acknowledge_24_6 + Acknowledge_24_7 + Acknowledge_24_8 + Acknowledge_24_9 + Acknowledge_11_1 + Acknowledge_11_2 + Acknowledge_11_3 + Acknowledge_11_4 + Acknowledge_11_5 + Acknowledge_11_6 + Acknowledge_11_7 + Acknowledge_11_8 + Acknowledge_11_9 + Acknowledge_5_10 + Acknowledge_5_11 + Acknowledge_5_12 + Acknowledge_5_13 + Acknowledge_5_14 + Acknowledge_5_15 + Acknowledge_5_16 + Acknowledge_5_17 + Acknowledge_5_18 + Acknowledge_5_19 + Acknowledge_5_20 + Acknowledge_5_21 + Acknowledge_5_22 + Acknowledge_5_23 + Acknowledge_5_24 + Acknowledge_5_25 + Acknowledge_5_26 + Acknowledge_5_27 + Acknowledge_5_28 + Acknowledge_5_29 + Acknowledge_5_30 + Acknowledge_5_31 + Acknowledge_5_32 + Acknowledge_5_33 + Acknowledge_5_34 + Acknowledge_5_35 + Acknowledge_5_36 + Acknowledge_5_37 + Acknowledge_5_38 + Acknowledge_5_39 + Acknowledge_5_40 + Acknowledge_30_10 + Acknowledge_30_11 + Acknowledge_30_12 + Acknowledge_30_13 + Acknowledge_30_14 + Acknowledge_30_15 + Acknowledge_30_16 + Acknowledge_30_17 + Acknowledge_30_18 + Acknowledge_30_19 + Acknowledge_30_20 + Acknowledge_30_21 + Acknowledge_30_22 + Acknowledge_30_23 + Acknowledge_30_24 + Acknowledge_30_25 + Acknowledge_30_26 + Acknowledge_30_27 + Acknowledge_30_28 + Acknowledge_30_29 + Acknowledge_30_30 + Acknowledge_30_31 + Acknowledge_30_32 + Acknowledge_30_33 + Acknowledge_30_34 + Acknowledge_30_35 + Acknowledge_30_36 + Acknowledge_30_37 + Acknowledge_30_38 + Acknowledge_30_39 + Acknowledge_30_40 + Acknowledge_38_1 + Acknowledge_38_2 + Acknowledge_38_3 + Acknowledge_38_4 + Acknowledge_38_5 + Acknowledge_38_6 + Acknowledge_38_7 + Acknowledge_38_8 + Acknowledge_38_9 + Acknowledge_25_1 + Acknowledge_25_2 + Acknowledge_25_3 + Acknowledge_25_4 + Acknowledge_25_5 + Acknowledge_25_6 + Acknowledge_25_7 + Acknowledge_25_8 + Acknowledge_25_9 + Acknowledge_12_1 + Acknowledge_12_2 + Acknowledge_12_3 + Acknowledge_12_4 + Acknowledge_12_5 + Acknowledge_12_6 + Acknowledge_12_7 + Acknowledge_12_8 + Acknowledge_12_9 + Acknowledge_11_10 + Acknowledge_11_11 + Acknowledge_11_12 + Acknowledge_11_13 + Acknowledge_11_14 + Acknowledge_11_15 + Acknowledge_11_16 + Acknowledge_11_17 + Acknowledge_11_18 + Acknowledge_11_19 + Acknowledge_11_20 + Acknowledge_11_21 + Acknowledge_11_22 + Acknowledge_11_23 + Acknowledge_11_24 + Acknowledge_11_25 + Acknowledge_11_26 + Acknowledge_11_27 + Acknowledge_11_28 + Acknowledge_11_29 + Acknowledge_11_30 + Acknowledge_23_10 + Acknowledge_11_31 + Acknowledge_23_11 + Acknowledge_11_32 + Acknowledge_23_12 + Acknowledge_11_33 + Acknowledge_23_13 + Acknowledge_11_34 + Acknowledge_23_14 + Acknowledge_11_35 + Acknowledge_23_15 + Acknowledge_11_36 + Acknowledge_23_16 + Acknowledge_11_37 + Acknowledge_11_38 + Acknowledge_23_17 + Acknowledge_11_39 + Acknowledge_23_18 + Acknowledge_23_19 + Acknowledge_11_40 + Acknowledge_23_20 + Acknowledge_23_21 + Acknowledge_23_22 + Acknowledge_23_23 + Acknowledge_23_24 + Acknowledge_23_25 + Acknowledge_23_26 + Acknowledge_23_27 + Acknowledge_23_28 + Acknowledge_23_29 + Acknowledge_23_30 + Acknowledge_35_10 + Acknowledge_23_31 + Acknowledge_35_11 + Acknowledge_23_32 + Acknowledge_35_12 + Acknowledge_23_33 + Acknowledge_23_34 + Acknowledge_35_13 + Acknowledge_23_35 + Acknowledge_35_14 + Acknowledge_23_36 + Acknowledge_35_15 + Acknowledge_35_16 + Acknowledge_23_37 + Acknowledge_35_17 + Acknowledge_23_38 + Acknowledge_23_39 + Acknowledge_35_18 + Acknowledge_35_19 + Acknowledge_23_40 + Acknowledge_35_20 + Acknowledge_35_21 + Acknowledge_35_22 + Acknowledge_35_23 + Acknowledge_35_24 + Acknowledge_35_25 + Acknowledge_35_26 + Acknowledge_35_27 + Acknowledge_35_28 + Acknowledge_35_29 + Acknowledge_35_30 + Acknowledge_35_31 + Acknowledge_35_32 + Acknowledge_35_33 + Acknowledge_35_34 + Acknowledge_35_35 + Acknowledge_35_36 + Acknowledge_35_37 + Acknowledge_35_38 + Acknowledge_35_39 + Acknowledge_35_40 + Acknowledge_39_1 + Acknowledge_39_2 + Acknowledge_39_3 + Acknowledge_39_4 + Acknowledge_39_5 + Acknowledge_39_6 + Acknowledge_39_7 + Acknowledge_39_8 + Acknowledge_39_9 + Acknowledge_26_1 + Acknowledge_26_2 + Acknowledge_26_3 + Acknowledge_26_4 + Acknowledge_26_5 + Acknowledge_26_6 + Acknowledge_26_7 + Acknowledge_26_8 + Acknowledge_26_9 + Acknowledge_13_1 + Acknowledge_13_2 + Acknowledge_13_3 + Acknowledge_13_4 + Acknowledge_13_5 + Acknowledge_13_6 + Acknowledge_13_7 + Acknowledge_13_8 + Acknowledge_13_9 + Acknowledge_16_10 + Acknowledge_16_11 + Acknowledge_16_12 + Acknowledge_16_13 + Acknowledge_16_14 + Acknowledge_16_15 + Acknowledge_16_16 + Acknowledge_16_17 + Acknowledge_16_18 + Acknowledge_16_19 + Acknowledge_16_20 + Acknowledge_16_21 + Acknowledge_16_22 + Acknowledge_16_23 + Acknowledge_16_24 + Acknowledge_16_25 + Acknowledge_16_26 + Acknowledge_16_27 + Acknowledge_16_28 + Acknowledge_16_29 + Acknowledge_16_30 + Acknowledge_16_31 + Acknowledge_28_10 + Acknowledge_16_32 + Acknowledge_28_11 + Acknowledge_28_12 + Acknowledge_16_33 + Acknowledge_16_34 + Acknowledge_28_13 + Acknowledge_28_14 + Acknowledge_16_35 + Acknowledge_28_15 + Acknowledge_16_36 + Acknowledge_28_16 + Acknowledge_16_37 + Acknowledge_16_38 + Acknowledge_28_17 + Acknowledge_28_18 + Acknowledge_16_39 + Acknowledge_28_19 + Acknowledge_16_40 + Acknowledge_28_20 + Acknowledge_28_21 + Acknowledge_28_22 + Acknowledge_28_23 + Acknowledge_28_24 + Acknowledge_28_25 + Acknowledge_28_26 + Acknowledge_28_27 + Acknowledge_28_28 + Acknowledge_28_29 + Acknowledge_28_30 + Acknowledge_28_31 + Acknowledge_28_32 + Acknowledge_28_33 + Acknowledge_28_34 + Acknowledge_28_35 + Acknowledge_28_36 + Acknowledge_28_37 + Acknowledge_28_38 + Acknowledge_28_39 + Acknowledge_28_40 + Acknowledge_27_1 + Acknowledge_27_2 + Acknowledge_27_3 + Acknowledge_27_4 + Acknowledge_27_5 + Acknowledge_27_6 + Acknowledge_27_7 + Acknowledge_27_8 + Acknowledge_27_9 + Acknowledge_14_1 + Acknowledge_14_2 + Acknowledge_14_3 + Acknowledge_14_4 + Acknowledge_14_5 + Acknowledge_14_6 + Acknowledge_14_7 + Acknowledge_14_8 + Acknowledge_14_9 + Acknowledge_4_10 + Acknowledge_4_11 + Acknowledge_4_12 + Acknowledge_4_13 + Acknowledge_4_14 + Acknowledge_4_15 + Acknowledge_4_16 + Acknowledge_4_17 + Acknowledge_4_18 + Acknowledge_4_19 + Acknowledge_4_20 + Acknowledge_4_21 + Acknowledge_4_22 + Acknowledge_4_23 + Acknowledge_4_24 + Acknowledge_4_25 + Acknowledge_4_26 + Acknowledge_4_27 + Acknowledge_4_28 + Acknowledge_4_29 + Acknowledge_4_30 + Acknowledge_4_31 + Acknowledge_4_32 + Acknowledge_4_33 + Acknowledge_4_34 + Acknowledge_4_35 + Acknowledge_4_36 + Acknowledge_4_37 + Acknowledge_4_38 + Acknowledge_4_39 + Acknowledge_4_40 + Acknowledge_1_1 + Acknowledge_1_2 + Acknowledge_1_3 + Acknowledge_1_4 + Acknowledge_1_5 + Acknowledge_1_6 + Acknowledge_1_7 + Acknowledge_1_8 + Acknowledge_1_9 + Acknowledge_28_1 + Acknowledge_28_2 + Acknowledge_28_3 + Acknowledge_28_4 + Acknowledge_28_5 + Acknowledge_28_6 + Acknowledge_28_7 + Acknowledge_28_8 + Acknowledge_28_9 + Acknowledge_15_1 + Acknowledge_15_2 + Acknowledge_15_3 + Acknowledge_15_4 + Acknowledge_15_5 + Acknowledge_15_6 + Acknowledge_15_7 + Acknowledge_15_8 + Acknowledge_15_9 + Acknowledge_2_1 + Acknowledge_2_2 + Acknowledge_2_3 + Acknowledge_2_4 + Acknowledge_2_5 + Acknowledge_2_6 + Acknowledge_2_7 + Acknowledge_2_8 + Acknowledge_2_9 + Acknowledge_9_10 + Acknowledge_9_11 + Acknowledge_9_12 + Acknowledge_9_13 + Acknowledge_9_14 + Acknowledge_9_15 + Acknowledge_9_16 + Acknowledge_9_17 + Acknowledge_9_18 + Acknowledge_9_19 + Acknowledge_9_20 + Acknowledge_9_21 + Acknowledge_9_22 + Acknowledge_9_23 + Acknowledge_9_24 + Acknowledge_9_25 + Acknowledge_9_26 + Acknowledge_9_27 + Acknowledge_9_28 + Acknowledge_9_29 + Acknowledge_9_30 + Acknowledge_9_31 + Acknowledge_9_32 + Acknowledge_9_33 + Acknowledge_9_34 + Acknowledge_9_35 + Acknowledge_9_36 + Acknowledge_9_37 + Acknowledge_9_38 + Acknowledge_9_39 + Acknowledge_9_40 + Acknowledge_10_10 + Acknowledge_10_11 + Acknowledge_10_12 + Acknowledge_10_13 + Acknowledge_10_14 + Acknowledge_10_15 + Acknowledge_10_16 + Acknowledge_10_17 + Acknowledge_10_18 + Acknowledge_10_19 + Acknowledge_10_20 + Acknowledge_10_21 + Acknowledge_10_22 + Acknowledge_10_23 + Acknowledge_10_24 + Acknowledge_10_25 + Acknowledge_10_26 + Acknowledge_10_27 + Acknowledge_10_28 + Acknowledge_10_29 + Acknowledge_10_30 + Acknowledge_22_10 + Acknowledge_10_31 + Acknowledge_22_11 + Acknowledge_10_32 + Acknowledge_10_33 + Acknowledge_22_12 + Acknowledge_10_34 + Acknowledge_22_13 + Acknowledge_10_35 + Acknowledge_22_14 + Acknowledge_22_15 + Acknowledge_10_36 + Acknowledge_10_37 + Acknowledge_22_16 + Acknowledge_10_38 + Acknowledge_22_17 + Acknowledge_10_39 + Acknowledge_22_18 + Acknowledge_22_19 + Acknowledge_10_40 + Acknowledge_22_20 + Acknowledge_22_21 + Acknowledge_22_22 + Acknowledge_22_23 + Acknowledge_22_24 + Acknowledge_22_25 + Acknowledge_22_26 + Acknowledge_22_27 + Acknowledge_22_28 + Acknowledge_22_29 + Acknowledge_22_30 + Acknowledge_34_10 + Acknowledge_22_31 + Acknowledge_22_32 + Acknowledge_34_11 + Acknowledge_34_12 + Acknowledge_22_33 + Acknowledge_34_13 + Acknowledge_22_34 + Acknowledge_34_14 + Acknowledge_22_35 + Acknowledge_22_36 + Acknowledge_34_15 + Acknowledge_22_37 + Acknowledge_34_16 + Acknowledge_22_38 + Acknowledge_34_17 + Acknowledge_22_39 + Acknowledge_34_18 + Acknowledge_34_19 + Acknowledge_22_40 + Acknowledge_34_20 + Acknowledge_34_21 + Acknowledge_34_22 + Acknowledge_34_23 + Acknowledge_34_24 + Acknowledge_34_25 + Acknowledge_34_26 + Acknowledge_34_27 + Acknowledge_34_28 + Acknowledge_34_29 + Acknowledge_34_30 + Acknowledge_34_31 + Acknowledge_34_32 + Acknowledge_34_33 + Acknowledge_34_34 + Acknowledge_34_35 + Acknowledge_34_36 + Acknowledge_34_37 + Acknowledge_34_38 + Acknowledge_34_39 + Acknowledge_34_40 + Acknowledge_29_1 + Acknowledge_29_2 + Acknowledge_29_3 + Acknowledge_29_4 + Acknowledge_29_5 + Acknowledge_29_6 + Acknowledge_29_7 + Acknowledge_29_8 + Acknowledge_29_9 + Acknowledge_16_1 + Acknowledge_16_2 + Acknowledge_16_3 + Acknowledge_16_4 + Acknowledge_16_5 + Acknowledge_16_6 + Acknowledge_16_7 + Acknowledge_16_8 + Acknowledge_16_9 + Acknowledge_3_1 + Acknowledge_3_2 + Acknowledge_3_3 + Acknowledge_3_4 + Acknowledge_3_5 + Acknowledge_3_6 + Acknowledge_3_7 + Acknowledge_3_8 + Acknowledge_15_10 + Acknowledge_15_11 + Acknowledge_15_12 + Acknowledge_15_13 + Acknowledge_15_14 + Acknowledge_15_15 + Acknowledge_15_16 + Acknowledge_15_17 + Acknowledge_15_18 + Acknowledge_15_19 + Acknowledge_15_20 + Acknowledge_15_21 + Acknowledge_15_22 + Acknowledge_15_23 + Acknowledge_15_24 + Acknowledge_15_25 + Acknowledge_15_26 + Acknowledge_15_27 + Acknowledge_15_28 + Acknowledge_15_29 + Acknowledge_15_30 + Acknowledge_15_31 + Acknowledge_27_10 + Acknowledge_27_11 + Acknowledge_15_32 + Acknowledge_15_33 + Acknowledge_27_12 + Acknowledge_27_13 + Acknowledge_15_34 + Acknowledge_27_14 + Acknowledge_15_35 + Acknowledge_27_15 + Acknowledge_15_36 + Acknowledge_27_16 + Acknowledge_15_37 + Acknowledge_27_17 + Acknowledge_15_38 + Acknowledge_27_18 + Acknowledge_15_39 + Acknowledge_27_19 + Acknowledge_15_40 + Acknowledge_27_20 + Acknowledge_27_21 + Acknowledge_27_22 + Acknowledge_27_23 + Acknowledge_27_24 + Acknowledge_27_25 + Acknowledge_27_26 + Acknowledge_27_27 + Acknowledge_27_28 + Acknowledge_27_29 + Acknowledge_27_30 + Acknowledge_39_10 + Acknowledge_27_31 + Acknowledge_39_11 + Acknowledge_27_32 + Acknowledge_39_12 + Acknowledge_27_33 + Acknowledge_39_13 + Acknowledge_27_34 + Acknowledge_27_35 + Acknowledge_39_14 + Acknowledge_39_15 + Acknowledge_27_36 + Acknowledge_39_16 + Acknowledge_27_37 + Acknowledge_39_17 + Acknowledge_27_38 + Acknowledge_39_18 + Acknowledge_27_39 + Acknowledge_39_19 + Acknowledge_27_40 + Acknowledge_39_20 + Acknowledge_39_21 + Acknowledge_39_22 + Acknowledge_39_23 + Acknowledge_39_24 + Acknowledge_39_25 + Acknowledge_39_26 + Acknowledge_39_27 + Acknowledge_39_28 + Acknowledge_39_29 + Acknowledge_39_30 + Acknowledge_39_31 + Acknowledge_39_32 + Acknowledge_39_33 + Acknowledge_39_34 + Acknowledge_39_35 + Acknowledge_39_36 + Acknowledge_39_37 + Acknowledge_39_38 + Acknowledge_39_39 + Acknowledge_39_40 + Acknowledge_17_1 + Acknowledge_17_2 + Acknowledge_17_3 + Acknowledge_17_4 + Acknowledge_17_5 + Acknowledge_17_6 + Acknowledge_17_7 + Acknowledge_17_8 + Acknowledge_17_9 + Acknowledge_3_10 + Acknowledge_3_11 + Acknowledge_3_12 + Acknowledge_3_13 + Acknowledge_3_14 + Acknowledge_3_15 + Acknowledge_3_16 + Acknowledge_3_17 + Acknowledge_3_18 + Acknowledge_3_19 + Acknowledge_3_20 + Acknowledge_3_21 + Acknowledge_3_22 + Acknowledge_3_23 + Acknowledge_3_24 + Acknowledge_3_25 + Acknowledge_3_26 + Acknowledge_3_27 + Acknowledge_3_28 + Acknowledge_3_29 + Acknowledge_3_30 + Acknowledge_3_31 + Acknowledge_3_32 + Acknowledge_3_33 + Acknowledge_3_34 + Acknowledge_3_35 + Acknowledge_3_36 + Acknowledge_3_37 + Acknowledge_3_38 + Acknowledge_3_39 + Acknowledge_3_40 + Acknowledge_4_1 + Acknowledge_4_2 + Acknowledge_4_3 + Acknowledge_4_4 + Acknowledge_4_5 + Acknowledge_4_6 + Acknowledge_4_7 + Acknowledge_4_8 + Acknowledge_40_1 + Acknowledge_40_2 + Acknowledge_40_3 + Acknowledge_40_4 + Acknowledge_40_5 + Acknowledge_40_6 + Acknowledge_40_7 + Acknowledge_40_8 + Acknowledge_40_9 + Acknowledge_40_10 + Acknowledge_40_11 + Acknowledge_40_12 + Acknowledge_40_13 + Acknowledge_40_14 + Acknowledge_40_15 + Acknowledge_40_16 + Acknowledge_40_17 + Acknowledge_40_18 + Acknowledge_40_19 + Acknowledge_40_20 + Acknowledge_40_21 + Acknowledge_40_22 + Acknowledge_40_23 + Acknowledge_40_24 + Acknowledge_40_25 + Acknowledge_40_26 + Acknowledge_40_27 + Acknowledge_40_28 + Acknowledge_40_29 + Acknowledge_40_30 + Acknowledge_40_31 + Acknowledge_40_32 + Acknowledge_40_33 + Acknowledge_40_34 + Acknowledge_40_35 + Acknowledge_40_36 + Acknowledge_40_37 + Acknowledge_40_38 + Acknowledge_40_39 + Acknowledge_40_40 + Acknowledge_18_1 + Acknowledge_18_2 + Acknowledge_18_3 + Acknowledge_18_4 + Acknowledge_18_5 + Acknowledge_18_6 + Acknowledge_18_7 + Acknowledge_18_8 + Acknowledge_18_9 + Acknowledge_19_9 + Acknowledge_19_8 + Acknowledge_19_7 + Acknowledge_19_6 + Acknowledge_19_5 + Acknowledge_19_4 + Acknowledge_19_3 + Acknowledge_19_2 + Acknowledge_19_1 + Acknowledge_5_1 + Acknowledge_5_2 + Acknowledge_5_3 + Acknowledge_5_4 + Acknowledge_5_5 + Acknowledge_5_6 + Acknowledge_5_7 + Acknowledge_5_8 + Acknowledge_8_10 + Acknowledge_8_11 + Acknowledge_8_12 + Acknowledge_8_13 + Acknowledge_8_14 + Acknowledge_8_15 + Acknowledge_8_16 + Acknowledge_8_17 + Acknowledge_8_18 + Acknowledge_8_19 + Acknowledge_8_20 + Acknowledge_8_21 + Acknowledge_8_22 + Acknowledge_8_23 + Acknowledge_8_24 + Acknowledge_8_25 + Acknowledge_8_26 + Acknowledge_8_27 + Acknowledge_8_28 + Acknowledge_8_29 + Acknowledge_8_30 + Acknowledge_8_31 + Acknowledge_8_32 + Acknowledge_8_33 + Acknowledge_8_34 + Acknowledge_8_35 + Acknowledge_8_36 + Acknowledge_8_37 + Acknowledge_8_38 + Acknowledge_8_39 + Acknowledge_8_40 + Acknowledge_21_10 + Acknowledge_21_11 + Acknowledge_21_12 + Acknowledge_21_13 + Acknowledge_21_14 + Acknowledge_21_15 + Acknowledge_21_16 + Acknowledge_21_17 + Acknowledge_21_18 + Acknowledge_21_19 + Acknowledge_21_20 + Acknowledge_21_21 + Acknowledge_21_22 + Acknowledge_21_23 + Acknowledge_21_24 + Acknowledge_21_25 + Acknowledge_21_26 + Acknowledge_21_27 + Acknowledge_21_28 + Acknowledge_21_29 + Acknowledge_21_30 + Acknowledge_33_10 + Acknowledge_21_31 + Acknowledge_21_32 + Acknowledge_33_11 + Acknowledge_21_33 + Acknowledge_33_12 + Acknowledge_21_34 + Acknowledge_33_13 + Acknowledge_33_14 + Acknowledge_21_35 + Acknowledge_33_15 + Acknowledge_21_36 + Acknowledge_21_37 + Acknowledge_33_16 + Acknowledge_21_38 + Acknowledge_33_17 + Acknowledge_33_18 + Acknowledge_21_39 + Acknowledge_33_19 + Acknowledge_21_40 + Acknowledge_33_20 + Acknowledge_33_21 + Acknowledge_33_22 + Acknowledge_33_23 + Acknowledge_33_24 + Acknowledge_33_25 + Acknowledge_33_26 + Acknowledge_33_27 + Acknowledge_33_28 + Acknowledge_33_29 + Acknowledge_33_30 + Acknowledge_33_31 + Acknowledge_33_32 + Acknowledge_33_33 + Acknowledge_33_34 + Acknowledge_33_35 + Acknowledge_33_36 + Acknowledge_33_37 + Acknowledge_33_38 + Acknowledge_33_39 + Acknowledge_33_40 + Acknowledge_5_9 + Acknowledge_6_1 + Acknowledge_6_2 + Acknowledge_6_3 + Acknowledge_6_4 + Acknowledge_6_5 + Acknowledge_6_6 + Acknowledge_6_7 + Acknowledge_6_8 + Acknowledge_6_9 + Acknowledge_4_9 + Acknowledge_3_9 + Acknowledge_14_10 + Acknowledge_14_11 + Acknowledge_14_12 + Acknowledge_14_13 + Acknowledge_14_14 + Acknowledge_14_15 + Acknowledge_14_16 + Acknowledge_14_17 + Acknowledge_14_18 + Acknowledge_14_19 + Acknowledge_14_20 + Acknowledge_14_21 + Acknowledge_14_22 + Acknowledge_14_23 + Acknowledge_14_24 + Acknowledge_14_25 + Acknowledge_14_26 + Acknowledge_14_27 + Acknowledge_14_28 + Acknowledge_14_29 + Acknowledge_14_30 + Acknowledge_26_10 + Acknowledge_14_31 + Acknowledge_14_32 + Acknowledge_26_11 + Acknowledge_14_33 + Acknowledge_26_12 + Acknowledge_26_13 + Acknowledge_14_34 + Acknowledge_26_14 + Acknowledge_14_35 + Acknowledge_26_15 + Acknowledge_14_36 + Acknowledge_26_16 + Acknowledge_14_37 + Acknowledge_14_38 + Acknowledge_26_17 + Acknowledge_26_18 + Acknowledge_14_39 + Acknowledge_26_19 + Acknowledge_14_40 + Acknowledge_26_20 + Acknowledge_26_21 + Acknowledge_26_22 + Acknowledge_26_23 + Acknowledge_26_24 + Acknowledge_26_25 + Acknowledge_26_26 + Acknowledge_26_27 + Acknowledge_26_28 + Acknowledge_26_29 + Acknowledge_26_30 + Acknowledge_38_10 + Acknowledge_26_31 + Acknowledge_26_32 + Acknowledge_38_11 + Acknowledge_38_12 + Acknowledge_26_33 + Acknowledge_26_34 + Acknowledge_38_13 + Acknowledge_26_35 + Acknowledge_38_14 + Acknowledge_38_15 + Acknowledge_26_36 + Acknowledge_38_16 + Acknowledge_26_37 + Acknowledge_38_17 + Acknowledge_26_38 + Acknowledge_38_18 + Acknowledge_26_39 + Acknowledge_38_19 + Acknowledge_26_40 + Acknowledge_38_20 + Acknowledge_38_21 + Acknowledge_38_22 + Acknowledge_38_23 + Acknowledge_38_24 + Acknowledge_38_25 + Acknowledge_38_26 + Acknowledge_38_27 + Acknowledge_38_28 + Acknowledge_38_29 + Acknowledge_38_30 + Acknowledge_38_31 + Acknowledge_38_32 + Acknowledge_38_33 + Acknowledge_38_34 + Acknowledge_38_35 + Acknowledge_38_36 + Acknowledge_38_37 + Acknowledge_38_38 + Acknowledge_38_39 + Acknowledge_38_40 + Acknowledge_2_10 + Acknowledge_2_11 + Acknowledge_2_12 + Acknowledge_2_13 + Acknowledge_2_14 + Acknowledge_2_15 + Acknowledge_2_16 + Acknowledge_2_17 + Acknowledge_2_18 + Acknowledge_2_19 + Acknowledge_2_20 + Acknowledge_2_21 + Acknowledge_2_22 + Acknowledge_2_23 + Acknowledge_2_24 + Acknowledge_2_25 + Acknowledge_2_26 + Acknowledge_2_27 + Acknowledge_2_28 + Acknowledge_2_29 + Acknowledge_2_30 + Acknowledge_2_31 + Acknowledge_2_32 + Acknowledge_2_33 + Acknowledge_2_34 + Acknowledge_2_35 + Acknowledge_2_36 + Acknowledge_2_37 + Acknowledge_2_38 + Acknowledge_2_39 + Acknowledge_2_40 + Acknowledge_7_1 + Acknowledge_7_2 + Acknowledge_7_3 + Acknowledge_7_4 + Acknowledge_7_5 + Acknowledge_7_6 + Acknowledge_7_7 + Acknowledge_7_8 + Acknowledge_7_9 + Acknowledge_30_1 + Acknowledge_30_2 + Acknowledge_30_3 + Acknowledge_30_4 + Acknowledge_30_5 + Acknowledge_30_6 + Acknowledge_30_7 + Acknowledge_30_8 + Acknowledge_30_9 + Acknowledge_19_10 + Acknowledge_19_11 + Acknowledge_19_12 + Acknowledge_19_13 + Acknowledge_19_14 + Acknowledge_19_15 + Acknowledge_19_16 + Acknowledge_19_17 + Acknowledge_19_18 + Acknowledge_19_19) : MAX(Active_27_10 + Active_15_31 + Active_15_32 + Active_27_11 + Active_27_12 + Active_15_33 + Active_15_34 + Active_27_13 + Active_15_35 + Active_27_14 + Active_27_15 + Active_15_36 + Active_27_16 + Active_15_37 + Active_15_38 + Active_27_17 + Active_27_18 + Active_15_39 + Active_27_19 + Active_15_40 + Active_27_20 + Active_27_21 + Active_27_22 + Active_27_23 + Active_27_24 + Active_27_25 + Active_27_26 + Active_27_27 + Active_27_28 + Active_27_29 + Active_27_30 + Active_39_10 + Active_27_31 + Active_39_11 + Active_27_32 + Active_27_33 + Active_39_12 + Active_27_34 + Active_39_13 + Active_39_14 + Active_27_35 + Active_27_36 + Active_39_15 + Active_27_37 + Active_39_16 + Active_27_38 + Active_39_17 + Active_39_18 + Active_27_39 + Active_39_19 + Active_27_40 + Active_39_20 + Active_39_21 + Active_39_22 + Active_39_23 + Active_39_24 + Active_39_25 + Active_39_26 + Active_39_27 + Active_39_28 + Active_39_29 + Active_39_30 + Active_39_31 + Active_39_32 + Active_39_33 + Active_39_34 + Active_39_35 + Active_39_36 + Active_39_37 + Active_39_38 + Active_39_39 + Active_39_40 + Active_40_10 + Active_40_11 + Active_40_12 + Active_40_13 + Active_40_14 + Active_40_15 + Active_40_16 + Active_40_17 + Active_40_18 + Active_40_19 + Active_40_20 + Active_40_21 + Active_40_22 + Active_40_23 + Active_40_24 + Active_40_25 + Active_40_26 + Active_40_27 + Active_40_28 + Active_40_29 + Active_40_30 + Active_40_31 + Active_40_32 + Active_40_33 + Active_40_34 + Active_40_35 + Active_40_36 + Active_40_37 + Active_40_38 + Active_40_39 + Active_40_40 + Active_27_1 + Active_27_2 + Active_27_3 + Active_27_4 + Active_27_5 + Active_27_6 + Active_27_7 + Active_27_8 + Active_27_9 + Active_14_1 + Active_14_2 + Active_14_3 + Active_14_4 + Active_14_5 + Active_14_6 + Active_14_7 + Active_14_8 + Active_14_9 + Active_2_1 + Active_2_2 + Active_2_3 + Active_2_4 + Active_2_5 + Active_2_6 + Active_2_7 + Active_2_8 + Active_2_9 + Active_4_10 + Active_4_11 + Active_4_12 + Active_4_13 + Active_4_14 + Active_4_15 + Active_4_16 + Active_4_17 + Active_4_18 + Active_4_19 + Active_4_20 + Active_4_21 + Active_4_22 + Active_4_23 + Active_4_24 + Active_4_25 + Active_4_26 + Active_4_27 + Active_4_28 + Active_4_29 + Active_4_30 + Active_4_31 + Active_4_32 + Active_4_33 + Active_4_34 + Active_4_35 + Active_4_36 + Active_4_37 + Active_4_38 + Active_4_39 + Active_4_40 + Active_21_10 + Active_21_11 + Active_21_12 + Active_21_13 + Active_21_14 + Active_21_15 + Active_21_16 + Active_21_17 + Active_21_18 + Active_21_19 + Active_28_1 + Active_28_2 + Active_28_3 + Active_28_4 + Active_28_5 + Active_28_6 + Active_28_7 + Active_28_8 + Active_28_9 + Active_21_20 + Active_21_21 + Active_21_22 + Active_21_23 + Active_21_24 + Active_21_25 + Active_21_26 + Active_21_27 + Active_21_28 + Active_21_29 + Active_21_30 + Active_33_10 + Active_21_31 + Active_21_32 + Active_33_11 + Active_21_33 + Active_33_12 + Active_21_34 + Active_33_13 + Active_21_35 + Active_33_14 + Active_33_15 + Active_21_36 + Active_33_16 + Active_21_37 + Active_33_17 + Active_21_38 + Active_33_18 + Active_21_39 + Active_33_19 + Active_21_40 + Active_33_20 + Active_33_21 + Active_33_22 + Active_33_23 + Active_33_24 + Active_33_25 + Active_33_26 + Active_33_27 + Active_33_28 + Active_33_29 + Active_15_1 + Active_15_2 + Active_15_3 + Active_15_4 + Active_15_5 + Active_15_6 + Active_15_7 + Active_15_8 + Active_15_9 + Active_33_30 + Active_33_31 + Active_33_32 + Active_33_33 + Active_33_34 + Active_33_35 + Active_33_36 + Active_33_37 + Active_33_38 + Active_33_39 + Active_33_40 + Active_3_1 + Active_3_2 + Active_3_3 + Active_3_4 + Active_3_5 + Active_3_6 + Active_3_7 + Active_3_8 + Active_3_9 + Active_9_10 + Active_9_11 + Active_9_12 + Active_9_13 + Active_9_14 + Active_9_15 + Active_9_16 + Active_9_17 + Active_9_18 + Active_9_19 + Active_9_20 + Active_9_21 + Active_9_22 + Active_9_23 + Active_9_24 + Active_9_25 + Active_9_26 + Active_9_27 + Active_9_28 + Active_9_29 + Active_9_30 + Active_9_31 + Active_9_32 + Active_9_33 + Active_9_34 + Active_9_35 + Active_9_36 + Active_9_37 + Active_9_38 + Active_9_39 + Active_9_40 + Active_29_1 + Active_29_2 + Active_29_3 + Active_29_4 + Active_29_5 + Active_29_6 + Active_29_7 + Active_29_8 + Active_29_9 + Active_16_1 + Active_16_2 + Active_16_3 + Active_16_4 + Active_16_5 + Active_16_6 + Active_16_7 + Active_16_8 + Active_16_9 + Active_4_1 + Active_4_2 + Active_4_3 + Active_4_4 + Active_4_5 + Active_4_6 + Active_4_7 + Active_4_8 + Active_4_9 + Active_14_10 + Active_14_11 + Active_14_12 + Active_14_13 + Active_14_14 + Active_14_15 + Active_14_16 + Active_14_17 + Active_14_18 + Active_14_19 + Active_14_20 + Active_14_21 + Active_14_22 + Active_14_23 + Active_14_24 + Active_14_25 + Active_14_26 + Active_14_27 + Active_14_28 + Active_14_29 + Active_14_30 + Active_26_10 + Active_14_31 + Active_26_11 + Active_14_32 + Active_26_12 + Active_14_33 + Active_26_13 + Active_14_34 + Active_26_14 + Active_14_35 + Active_26_15 + Active_14_36 + Active_26_16 + Active_14_37 + Active_14_38 + Active_26_17 + Active_26_18 + Active_14_39 + Active_26_19 + Active_14_40 + Active_26_20 + Active_26_21 + Active_26_22 + Active_26_23 + Active_26_24 + Active_26_25 + Active_26_26 + Active_26_27 + Active_26_28 + Active_26_29 + Active_26_30 + Active_26_31 + Active_38_10 + Active_38_11 + Active_26_32 + Active_38_12 + Active_26_33 + Active_38_13 + Active_26_34 + Active_38_14 + Active_26_35 + Active_26_36 + Active_38_15 + Active_38_16 + Active_26_37 + Active_38_17 + Active_26_38 + Active_38_18 + Active_26_39 + Active_38_19 + Active_26_40 + Active_38_20 + Active_38_21 + Active_38_22 + Active_38_23 + Active_38_24 + Active_38_25 + Active_38_26 + Active_38_27 + Active_38_28 + Active_38_29 + Active_38_30 + Active_38_31 + Active_38_32 + Active_38_33 + Active_38_34 + Active_38_35 + Active_38_36 + Active_38_37 + Active_38_38 + Active_38_39 + Active_38_40 + Active_17_1 + Active_17_2 + Active_17_3 + Active_17_4 + Active_17_5 + Active_17_6 + Active_17_7 + Active_17_8 + Active_17_9 + Active_5_1 + Active_5_2 + Active_5_3 + Active_5_4 + Active_5_5 + Active_5_6 + Active_5_7 + Active_5_8 + Active_5_9 + Active_3_10 + Active_3_11 + Active_3_12 + Active_3_13 + Active_3_14 + Active_3_15 + Active_3_16 + Active_3_17 + Active_3_18 + Active_3_19 + Active_3_20 + Active_3_21 + Active_3_22 + Active_3_23 + Active_3_24 + Active_3_25 + Active_3_26 + Active_3_27 + Active_3_28 + Active_3_29 + Active_3_30 + Active_3_31 + Active_3_32 + Active_3_33 + Active_3_34 + Active_3_35 + Active_3_36 + Active_3_37 + Active_3_38 + Active_3_39 + Active_3_40 + Active_40_1 + Active_40_2 + Active_40_3 + Active_40_4 + Active_40_5 + Active_40_6 + Active_40_7 + Active_40_8 + Active_40_9 + Active_19_10 + Active_19_11 + Active_19_12 + Active_19_13 + Active_19_14 + Active_19_15 + Active_19_16 + Active_19_17 + Active_19_18 + Active_19_19 + Active_19_20 + Active_19_21 + Active_19_22 + Active_19_23 + Active_19_24 + Active_19_25 + Active_19_26 + Active_19_27 + Active_19_28 + Active_19_29 + Active_19_30 + Active_19_31 + Active_19_32 + Active_19_33 + Active_19_34 + Active_19_35 + Active_19_36 + Active_19_37 + Active_19_38 + Active_19_39 + Active_19_40 + Active_20_10 + Active_20_11 + Active_20_12 + Active_20_13 + Active_20_14 + Active_20_15 + Active_20_16 + Active_20_17 + Active_20_18 + Active_20_19 + Active_18_1 + Active_18_2 + Active_18_3 + Active_18_4 + Active_18_5 + Active_18_6 + Active_18_7 + Active_18_8 + Active_18_9 + Active_20_20 + Active_20_21 + Active_20_22 + Active_20_23 + Active_20_24 + Active_20_25 + Active_20_26 + Active_20_27 + Active_20_28 + Active_20_29 + Active_20_30 + Active_20_31 + Active_32_10 + Active_32_11 + Active_20_32 + Active_20_33 + Active_32_12 + Active_32_13 + Active_20_34 + Active_32_14 + Active_20_35 + Active_32_15 + Active_20_36 + Active_20_37 + Active_32_16 + Active_20_38 + Active_32_17 + Active_20_39 + Active_32_18 + Active_32_19 + Active_20_40 + Active_32_20 + Active_32_21 + Active_32_22 + Active_32_23 + Active_32_24 + Active_32_25 + Active_32_26 + Active_32_27 + Active_32_28 + Active_32_29 + Active_32_30 + Active_32_31 + Active_32_32 + Active_32_33 + Active_32_34 + Active_32_35 + Active_32_36 + Active_32_37 + Active_32_38 + Active_32_39 + Active_6_1 + Active_6_2 + Active_6_3 + Active_6_4 + Active_6_5 + Active_6_6 + Active_6_7 + Active_6_8 + Active_6_9 + Active_32_40 + Active_8_10 + Active_8_11 + Active_8_12 + Active_8_13 + Active_8_14 + Active_8_15 + Active_8_16 + Active_8_17 + Active_8_18 + Active_8_19 + Active_8_20 + Active_8_21 + Active_8_22 + Active_8_23 + Active_8_24 + Active_8_25 + Active_8_26 + Active_8_27 + Active_8_28 + Active_8_29 + Active_8_30 + Active_8_31 + Active_8_32 + Active_8_33 + Active_8_34 + Active_8_35 + Active_8_36 + Active_8_37 + Active_8_38 + Active_8_39 + Active_8_40 + Active_19_1 + Active_19_2 + Active_19_3 + Active_19_4 + Active_19_5 + Active_19_6 + Active_19_7 + Active_19_8 + Active_19_9 + Active_7_1 + Active_7_2 + Active_7_3 + Active_7_4 + Active_7_5 + Active_7_6 + Active_7_7 + Active_7_8 + Active_7_9 + Active_13_10 + Active_13_11 + Active_13_12 + Active_13_13 + Active_13_14 + Active_13_15 + Active_13_16 + Active_13_17 + Active_13_18 + Active_13_19 + Active_13_20 + Active_13_21 + Active_13_22 + Active_13_23 + Active_13_24 + Active_13_25 + Active_13_26 + Active_13_27 + Active_13_28 + Active_13_29 + Active_13_30 + Active_25_10 + Active_13_31 + Active_25_11 + Active_13_32 + Active_13_33 + Active_25_12 + Active_25_13 + Active_13_34 + Active_25_14 + Active_13_35 + Active_13_36 + Active_25_15 + Active_25_16 + Active_13_37 + Active_25_17 + Active_13_38 + Active_13_39 + Active_25_18 + Active_25_19 + Active_13_40 + Active_25_20 + Active_25_21 + Active_25_22 + Active_25_23 + Active_25_24 + Active_25_25 + Active_25_26 + Active_25_27 + Active_25_28 + Active_25_29 + Active_25_30 + Active_25_31 + Active_37_10 + Active_37_11 + Active_25_32 + Active_25_33 + Active_37_12 + Active_25_34 + Active_37_13 + Active_37_14 + Active_25_35 + Active_37_15 + Active_25_36 + Active_37_16 + Active_25_37 + Active_37_17 + Active_25_38 + Active_25_39 + Active_37_18 + Active_37_19 + Active_25_40 + Active_37_20 + Active_37_21 + Active_37_22 + Active_37_23 + Active_37_24 + Active_37_25 + Active_37_26 + Active_37_27 + Active_37_28 + Active_37_29 + Active_37_30 + Active_37_31 + Active_37_32 + Active_37_33 + Active_37_34 + Active_37_35 + Active_37_36 + Active_37_37 + Active_37_38 + Active_37_39 + Active_37_40 + Active_8_1 + Active_8_2 + Active_8_3 + Active_8_4 + Active_8_5 + Active_8_6 + Active_8_7 + Active_8_8 + Active_8_9 + Active_2_10 + Active_2_11 + Active_2_12 + Active_2_13 + Active_2_14 + Active_2_15 + Active_2_16 + Active_2_17 + Active_2_18 + Active_2_19 + Active_2_20 + Active_2_21 + Active_2_22 + Active_2_23 + Active_2_24 + Active_2_25 + Active_2_26 + Active_2_27 + Active_2_28 + Active_2_29 + Active_2_30 + Active_2_31 + Active_2_32 + Active_2_33 + Active_2_34 + Active_2_35 + Active_2_36 + Active_2_37 + Active_2_38 + Active_2_39 + Active_2_40 + Active_30_1 + Active_30_2 + Active_30_3 + Active_30_4 + Active_30_5 + Active_30_6 + Active_30_7 + Active_30_8 + Active_30_9 + Active_18_10 + Active_18_11 + Active_18_12 + Active_18_13 + Active_18_14 + Active_18_15 + Active_18_16 + Active_18_17 + Active_18_18 + Active_18_19 + Active_18_20 + Active_18_21 + Active_18_22 + Active_18_23 + Active_18_24 + Active_18_25 + Active_18_26 + Active_18_27 + Active_18_28 + Active_18_29 + Active_18_30 + Active_18_31 + Active_18_32 + Active_18_33 + Active_18_34 + Active_18_35 + Active_18_36 + Active_18_37 + Active_18_38 + Active_18_39 + Active_18_40 + Active_9_1 + Active_9_2 + Active_9_3 + Active_9_4 + Active_9_5 + Active_9_6 + Active_9_7 + Active_9_8 + Active_9_9 + Active_31_10 + Active_31_11 + Active_31_12 + Active_31_13 + Active_31_14 + Active_31_15 + Active_31_16 + Active_31_17 + Active_31_18 + Active_31_19 + Active_31_20 + Active_31_21 + Active_31_22 + Active_31_23 + Active_31_24 + Active_31_25 + Active_31_26 + Active_31_27 + Active_31_28 + Active_31_29 + Active_31_30 + Active_31_31 + Active_31_32 + Active_31_33 + Active_31_34 + Active_31_35 + Active_31_36 + Active_31_37 + Active_31_38 + Active_31_39 + Active_31_40 + Active_31_1 + Active_31_2 + Active_31_3 + Active_31_4 + Active_31_5 + Active_31_6 + Active_31_7 + Active_31_8 + Active_31_9 + Active_7_10 + Active_7_11 + Active_7_12 + Active_7_13 + Active_7_14 + Active_7_15 + Active_7_16 + Active_7_17 + Active_7_18 + Active_7_19 + Active_7_20 + Active_7_21 + Active_7_22 + Active_7_23 + Active_7_24 + Active_7_25 + Active_7_26 + Active_7_27 + Active_7_28 + Active_7_29 + Active_7_30 + Active_7_31 + Active_7_32 + Active_7_33 + Active_7_34 + Active_7_35 + Active_7_36 + Active_7_37 + Active_7_38 + Active_7_39 + Active_7_40 + Active_12_10 + Active_12_11 + Active_12_12 + Active_12_13 + Active_12_14 + Active_12_15 + Active_12_16 + Active_12_17 + Active_12_18 + Active_12_19 + Active_12_20 + Active_12_21 + Active_12_22 + Active_12_23 + Active_12_24 + Active_12_25 + Active_12_26 + Active_12_27 + Active_12_28 + Active_12_29 + Active_12_30 + Active_24_10 + Active_12_31 + Active_24_11 + Active_12_32 + Active_12_33 + Active_24_12 + Active_12_34 + Active_24_13 + Active_24_14 + Active_12_35 + Active_12_36 + Active_24_15 + Active_24_16 + Active_12_37 + Active_24_17 + Active_12_38 + Active_12_39 + Active_24_18 + Active_24_19 + Active_12_40 + Active_24_20 + Active_24_21 + Active_24_22 + Active_24_23 + Active_24_24 + Active_24_25 + Active_24_26 + Active_24_27 + Active_24_28 + Active_24_29 + Active_24_30 + Active_36_10 + Active_24_31 + Active_24_32 + Active_36_11 + Active_36_12 + Active_24_33 + Active_36_13 + Active_24_34 + Active_24_35 + Active_36_14 + Active_36_15 + Active_24_36 + Active_36_16 + Active_24_37 + Active_36_17 + Active_24_38 + Active_36_18 + Active_24_39 + Active_36_19 + Active_24_40 + Active_36_20 + Active_36_21 + Active_36_22 + Active_36_23 + Active_36_24 + Active_36_25 + Active_36_26 + Active_36_27 + Active_36_28 + Active_36_29 + Active_36_30 + Active_36_31 + Active_36_32 + Active_36_33 + Active_36_34 + Active_36_35 + Active_36_36 + Active_36_37 + Active_36_38 + Active_36_39 + Active_36_40 + Active_32_1 + Active_32_2 + Active_32_3 + Active_32_4 + Active_32_5 + Active_32_6 + Active_32_7 + Active_32_8 + Active_32_9 + Active_1_10 + Active_1_11 + Active_1_12 + Active_1_13 + Active_1_14 + Active_1_15 + Active_1_16 + Active_1_17 + Active_1_18 + Active_1_19 + Active_1_20 + Active_1_21 + Active_1_22 + Active_1_23 + Active_1_24 + Active_1_25 + Active_1_26 + Active_1_27 + Active_1_28 + Active_1_29 + Active_1_30 + Active_1_31 + Active_1_32 + Active_1_33 + Active_1_34 + Active_1_35 + Active_1_36 + Active_1_37 + Active_1_38 + Active_1_39 + Active_1_40 + Active_33_1 + Active_33_2 + Active_33_3 + Active_33_4 + Active_33_5 + Active_33_6 + Active_33_7 + Active_33_8 + Active_33_9 + Active_20_1 + Active_20_2 + Active_20_3 + Active_20_4 + Active_20_5 + Active_20_6 + Active_20_7 + Active_20_8 + Active_20_9 + Active_17_10 + Active_17_11 + Active_17_12 + Active_17_13 + Active_17_14 + Active_17_15 + Active_17_16 + Active_17_17 + Active_17_18 + Active_17_19 + Active_17_20 + Active_17_21 + Active_17_22 + Active_17_23 + Active_17_24 + Active_17_25 + Active_17_26 + Active_17_27 + Active_17_28 + Active_17_29 + Active_17_30 + Active_17_31 + Active_29_10 + Active_17_32 + Active_29_11 + Active_17_33 + Active_29_12 + Active_29_13 + Active_17_34 + Active_29_14 + Active_17_35 + Active_17_36 + Active_29_15 + Active_17_37 + Active_29_16 + Active_17_38 + Active_29_17 + Active_17_39 + Active_29_18 + Active_29_19 + Active_17_40 + Active_29_20 + Active_29_21 + Active_29_22 + Active_29_23 + Active_29_24 + Active_29_25 + Active_29_26 + Active_29_27 + Active_29_28 + Active_29_29 + Active_29_30 + Active_29_31 + Active_29_32 + Active_29_33 + Active_29_34 + Active_29_35 + Active_29_36 + Active_29_37 + Active_29_38 + Active_29_39 + Active_29_40 + Active_30_10 + Active_30_11 + Active_30_12 + Active_30_13 + Active_30_14 + Active_30_15 + Active_30_16 + Active_30_17 + Active_30_18 + Active_30_19 + Active_30_20 + Active_30_21 + Active_30_22 + Active_30_23 + Active_30_24 + Active_30_25 + Active_30_26 + Active_30_27 + Active_30_28 + Active_30_29 + Active_30_30 + Active_30_31 + Active_30_32 + Active_30_33 + Active_30_34 + Active_30_35 + Active_30_36 + Active_30_37 + Active_30_38 + Active_30_39 + Active_30_40 + Active_34_1 + Active_34_2 + Active_34_3 + Active_34_4 + Active_34_5 + Active_34_6 + Active_34_7 + Active_34_8 + Active_34_9 + Active_21_1 + Active_21_2 + Active_21_3 + Active_21_4 + Active_21_5 + Active_21_6 + Active_21_7 + Active_21_8 + Active_21_9 + Active_6_10 + Active_6_11 + Active_6_12 + Active_6_13 + Active_6_14 + Active_6_15 + Active_6_16 + Active_6_17 + Active_6_18 + Active_6_19 + Active_6_20 + Active_6_21 + Active_6_22 + Active_6_23 + Active_6_24 + Active_6_25 + Active_6_26 + Active_6_27 + Active_6_28 + Active_6_29 + Active_6_30 + Active_6_31 + Active_6_32 + Active_6_33 + Active_6_34 + Active_6_35 + Active_6_36 + Active_6_37 + Active_6_38 + Active_6_39 + Active_6_40 + Active_11_10 + Active_11_11 + Active_11_12 + Active_11_13 + Active_11_14 + Active_11_15 + Active_11_16 + Active_11_17 + Active_11_18 + Active_11_19 + Active_11_20 + Active_11_21 + Active_11_22 + Active_11_23 + Active_11_24 + Active_11_25 + Active_11_26 + Active_11_27 + Active_11_28 + Active_11_29 + Active_11_30 + Active_11_31 + Active_23_10 + Active_11_32 + Active_23_11 + Active_11_33 + Active_23_12 + Active_23_13 + Active_11_34 + Active_11_35 + Active_23_14 + Active_23_15 + Active_11_36 + Active_11_37 + Active_23_16 + Active_23_17 + Active_11_38 + Active_11_39 + Active_23_18 + Active_23_19 + Active_11_40 + Active_23_20 + Active_23_21 + Active_23_22 + Active_23_23 + Active_23_24 + Active_23_25 + Active_23_26 + Active_23_27 + Active_23_28 + Active_23_29 + Active_23_30 + Active_23_31 + Active_35_10 + Active_23_32 + Active_35_11 + Active_23_33 + Active_35_12 + Active_35_13 + Active_23_34 + Active_23_35 + Active_35_14 + Active_23_36 + Active_35_15 + Active_35_16 + Active_23_37 + Active_35_17 + Active_23_38 + Active_23_39 + Active_35_18 + Active_35_19 + Active_23_40 + Active_35_20 + Active_35_21 + Active_35_22 + Active_35_23 + Active_35_24 + Active_35_25 + Active_35_26 + Active_35_27 + Active_35_28 + Active_35_29 + Active_35_1 + Active_35_2 + Active_35_3 + Active_35_4 + Active_35_5 + Active_35_6 + Active_35_7 + Active_35_8 + Active_35_9 + Active_35_30 + Active_35_31 + Active_35_32 + Active_35_33 + Active_35_34 + Active_35_35 + Active_35_36 + Active_35_37 + Active_35_38 + Active_35_39 + Active_35_40 + Active_22_1 + Active_22_2 + Active_22_3 + Active_22_4 + Active_22_5 + Active_22_6 + Active_22_7 + Active_22_8 + Active_22_9 + Active_36_1 + Active_36_2 + Active_36_3 + Active_36_4 + Active_36_5 + Active_36_6 + Active_36_7 + Active_36_8 + Active_36_9 + Active_23_1 + Active_23_2 + Active_23_3 + Active_23_4 + Active_23_5 + Active_23_6 + Active_23_7 + Active_23_8 + Active_23_9 + Active_10_1 + Active_10_2 + Active_10_3 + Active_10_4 + Active_10_5 + Active_10_6 + Active_10_7 + Active_10_8 + Active_10_9 + Active_16_10 + Active_16_11 + Active_16_12 + Active_16_13 + Active_16_14 + Active_16_15 + Active_16_16 + Active_16_17 + Active_16_18 + Active_16_19 + Active_16_20 + Active_16_21 + Active_16_22 + Active_16_23 + Active_16_24 + Active_16_25 + Active_16_26 + Active_16_27 + Active_16_28 + Active_16_29 + Active_16_30 + Active_16_31 + Active_28_10 + Active_16_32 + Active_28_11 + Active_28_12 + Active_16_33 + Active_16_34 + Active_28_13 + Active_16_35 + Active_28_14 + Active_16_36 + Active_28_15 + Active_16_37 + Active_28_16 + Active_28_17 + Active_16_38 + Active_16_39 + Active_28_18 + Active_28_19 + Active_28_20 + Active_28_21 + Active_28_22 + Active_28_23 + Active_28_24 + Active_28_25 + Active_28_26 + Active_28_27 + Active_28_28 + Active_28_29 + Active_28_30 + Active_28_31 + Active_28_32 + Active_28_33 + Active_28_34 + Active_28_35 + Active_28_36 + Active_28_37 + Active_28_38 + Active_28_39 + Active_5_29 + Active_5_28 + Active_5_27 + Active_5_26 + Active_5_25 + Active_5_24 + Active_5_23 + Active_5_22 + Active_5_21 + Active_5_20 + Active_5_19 + Active_5_18 + Active_5_17 + Active_5_16 + Active_5_15 + Active_5_14 + Active_5_13 + Active_5_12 + Active_5_11 + Active_5_10 + Active_11_8 + Active_11_7 + Active_11_6 + Active_11_5 + Active_11_4 + Active_11_3 + Active_11_2 + Active_11_1 + Active_24_8 + Active_24_7 + Active_24_6 + Active_24_5 + Active_24_4 + Active_24_3 + Active_24_2 + Active_24_1 + Active_37_8 + Active_37_7 + Active_37_6 + Active_37_5 + Active_37_4 + Active_37_3 + Active_37_2 + Active_37_1 + Active_37_9 + Active_24_9 + Active_11_9 + Active_5_30 + Active_5_31 + Active_5_32 + Active_5_33 + Active_5_34 + Active_5_35 + Active_5_36 + Active_5_37 + Active_5_38 + Active_5_39 + Active_5_40 + Active_28_40 + Active_16_40 + Active_10_10 + Active_10_11 + Active_10_12 + Active_10_13 + Active_10_14 + Active_10_15 + Active_10_16 + Active_10_17 + Active_10_18 + Active_10_19 + Active_10_20 + Active_10_21 + Active_10_22 + Active_10_23 + Active_10_24 + Active_10_25 + Active_10_26 + Active_10_27 + Active_10_28 + Active_10_29 + Active_10_30 + Active_22_10 + Active_10_31 + Active_22_11 + Active_10_32 + Active_22_12 + Active_10_33 + Active_22_13 + Active_10_34 + Active_10_35 + Active_22_14 + Active_10_36 + Active_22_15 + Active_22_16 + Active_10_37 + Active_10_38 + Active_22_17 + Active_10_39 + Active_22_18 + Active_22_19 + Active_38_1 + Active_38_2 + Active_38_3 + Active_38_4 + Active_38_5 + Active_38_6 + Active_38_7 + Active_38_8 + Active_38_9 + Active_10_40 + Active_22_20 + Active_22_21 + Active_22_22 + Active_22_23 + Active_22_24 + Active_22_25 + Active_22_26 + Active_22_27 + Active_22_28 + Active_22_29 + Active_22_30 + Active_34_10 + Active_22_31 + Active_22_32 + Active_34_11 + Active_22_33 + Active_34_12 + Active_34_13 + Active_22_34 + Active_34_14 + Active_22_35 + Active_34_15 + Active_22_36 + Active_22_37 + Active_34_16 + Active_22_38 + Active_34_17 + Active_34_18 + Active_22_39 + Active_34_19 + Active_22_40 + Active_34_20 + Active_34_21 + Active_34_22 + Active_34_23 + Active_34_24 + Active_34_25 + Active_34_26 + Active_34_27 + Active_34_28 + Active_34_29 + Active_25_1 + Active_25_2 + Active_25_3 + Active_25_4 + Active_25_5 + Active_25_6 + Active_25_7 + Active_25_8 + Active_25_9 + Active_34_30 + Active_34_31 + Active_34_32 + Active_34_33 + Active_34_34 + Active_34_35 + Active_34_36 + Active_34_37 + Active_34_38 + Active_34_39 + Active_34_40 + Active_12_1 + Active_12_2 + Active_12_3 + Active_12_4 + Active_12_5 + Active_12_6 + Active_12_7 + Active_12_8 + Active_12_9 + Active_39_1 + Active_39_2 + Active_39_3 + Active_39_4 + Active_39_5 + Active_39_6 + Active_39_7 + Active_39_8 + Active_39_9 + Active_26_1 + Active_26_2 + Active_26_3 + Active_26_4 + Active_26_5 + Active_26_6 + Active_26_7 + Active_26_8 + Active_26_9 + Active_13_1 + Active_13_2 + Active_13_3 + Active_13_4 + Active_13_5 + Active_13_6 + Active_13_7 + Active_13_8 + Active_13_9 + Active_1_1 + Active_1_2 + Active_1_3 + Active_1_4 + Active_1_5 + Active_1_6 + Active_1_7 + Active_1_8 + Active_1_9 + Active_15_10 + Active_15_11 + Active_15_12 + Active_15_13 + Active_15_14 + Active_15_15 + Active_15_16 + Active_15_17 + Active_15_18 + Active_15_19 + Active_15_20 + Active_15_21 + Active_15_22 + Active_15_23 + Active_15_24 + Active_15_25 + Active_15_26 + Active_15_27 + Active_15_28 + Active_15_29 + Active_15_30) : MAX(all_active_10 + all_active_11 + all_active_12 + all_active_13 + all_active_14 + all_active_15 + all_active_16 + all_active_17 + all_active_18 + all_active_19 + all_active_20 + all_active_21 + all_active_22 + all_active_23 + all_active_24 + all_active_25 + all_active_26 + all_active_27 + all_active_28 + all_active_29 + all_active_30 + all_active_31 + all_active_32 + all_active_33 + all_active_34 + all_active_35 + all_active_36 + all_active_37 + all_active_38 + all_active_39 + all_active_40 + all_active_1 + all_active_2 + all_active_4 + all_active_5 + all_active_6 + all_active_8 + all_active_9 + all_active_7 + all_active_3) : MAX(all_active_10 + all_active_11 + all_active_12 + all_active_13 + all_active_14 + all_active_15 + all_active_16 + all_active_17 + all_active_18 + all_active_19 + all_active_20 + all_active_21 + all_active_22 + all_active_23 + all_active_24 + all_active_25 + all_active_26 + all_active_27 + all_active_28 + all_active_29 + all_active_30 + all_active_31 + all_active_32 + all_active_33 + all_active_34 + all_active_35 + all_active_36 + all_active_37 + all_active_38 + all_active_39 + all_active_40 + all_active_1 + all_active_2 + all_active_4 + all_active_5 + all_active_6 + all_active_8 + all_active_9 + all_active_7 + all_active_3) : MAX(Acknowledge_19_20 + Acknowledge_19_21 + Acknowledge_19_22 + Acknowledge_19_23 + Acknowledge_19_24 + Acknowledge_19_25 + Acknowledge_19_26 + Acknowledge_19_27 + Acknowledge_19_28 + Acknowledge_19_29 + Acknowledge_19_30 + Acknowledge_19_31 + Acknowledge_19_32 + Acknowledge_19_33 + Acknowledge_19_34 + Acknowledge_19_35 + Acknowledge_19_36 + Acknowledge_19_37 + Acknowledge_19_38 + Acknowledge_19_39 + Acknowledge_19_40 + Acknowledge_8_1 + Acknowledge_8_2 + Acknowledge_8_3 + Acknowledge_8_4 + Acknowledge_8_5 + Acknowledge_8_6 + Acknowledge_8_7 + Acknowledge_8_8 + Acknowledge_8_9 + Acknowledge_31_1 + Acknowledge_31_2 + Acknowledge_31_3 + Acknowledge_31_4 + Acknowledge_31_5 + Acknowledge_31_6 + Acknowledge_31_7 + Acknowledge_31_8 + Acknowledge_31_9 + Acknowledge_7_10 + Acknowledge_7_11 + Acknowledge_7_12 + Acknowledge_7_13 + Acknowledge_7_14 + Acknowledge_7_15 + Acknowledge_7_16 + Acknowledge_7_17 + Acknowledge_7_18 + Acknowledge_7_19 + Acknowledge_7_20 + Acknowledge_7_21 + Acknowledge_7_22 + Acknowledge_7_23 + Acknowledge_7_24 + Acknowledge_7_25 + Acknowledge_7_26 + Acknowledge_7_27 + Acknowledge_7_28 + Acknowledge_7_29 + Acknowledge_7_30 + Acknowledge_7_31 + Acknowledge_7_32 + Acknowledge_7_33 + Acknowledge_7_34 + Acknowledge_7_35 + Acknowledge_7_36 + Acknowledge_7_37 + Acknowledge_7_38 + Acknowledge_7_39 + Acknowledge_7_40 + Acknowledge_20_10 + Acknowledge_20_11 + Acknowledge_20_12 + Acknowledge_20_13 + Acknowledge_20_14 + Acknowledge_20_15 + Acknowledge_20_16 + Acknowledge_20_17 + Acknowledge_20_18 + Acknowledge_20_19 + Acknowledge_20_20 + Acknowledge_20_21 + Acknowledge_20_22 + Acknowledge_20_23 + Acknowledge_20_24 + Acknowledge_20_25 + Acknowledge_20_26 + Acknowledge_20_27 + Acknowledge_20_28 + Acknowledge_20_29 + Acknowledge_20_30 + Acknowledge_32_10 + Acknowledge_20_31 + Acknowledge_20_32 + Acknowledge_32_11 + Acknowledge_20_33 + Acknowledge_32_12 + Acknowledge_32_13 + Acknowledge_20_34 + Acknowledge_20_35 + Acknowledge_32_14 + Acknowledge_20_36 + Acknowledge_32_15 + Acknowledge_20_37 + Acknowledge_32_16 + Acknowledge_20_38 + Acknowledge_32_17 + Acknowledge_20_39 + Acknowledge_32_18 + Acknowledge_32_19 + Acknowledge_20_40 + Acknowledge_32_20 + Acknowledge_32_21 + Acknowledge_32_22 + Acknowledge_32_23 + Acknowledge_32_24 + Acknowledge_32_25 + Acknowledge_32_26 + Acknowledge_32_27 + Acknowledge_32_28 + Acknowledge_32_29 + Acknowledge_32_30 + Acknowledge_32_31 + Acknowledge_32_32 + Acknowledge_32_33 + Acknowledge_32_34 + Acknowledge_32_35 + Acknowledge_32_36 + Acknowledge_32_37 + Acknowledge_32_38 + Acknowledge_32_39 + Acknowledge_32_40 + Acknowledge_9_1 + Acknowledge_9_2 + Acknowledge_9_3 + Acknowledge_9_4 + Acknowledge_9_5 + Acknowledge_9_6 + Acknowledge_9_7 + Acknowledge_9_8 + Acknowledge_9_9 + Acknowledge_32_1 + Acknowledge_32_2 + Acknowledge_32_3 + Acknowledge_32_4 + Acknowledge_32_5 + Acknowledge_32_6 + Acknowledge_32_7 + Acknowledge_32_8 + Acknowledge_32_9 + Acknowledge_13_10 + Acknowledge_13_11 + Acknowledge_13_12 + Acknowledge_13_13 + Acknowledge_13_14 + Acknowledge_13_15 + Acknowledge_13_16 + Acknowledge_13_17 + Acknowledge_13_18 + Acknowledge_13_19 + Acknowledge_13_20 + Acknowledge_13_21 + Acknowledge_13_22 + Acknowledge_13_23 + Acknowledge_13_24 + Acknowledge_13_25 + Acknowledge_13_26 + Acknowledge_13_27 + Acknowledge_13_28 + Acknowledge_13_29 + Acknowledge_13_30 + Acknowledge_25_10 + Acknowledge_13_31 + Acknowledge_13_32 + Acknowledge_25_11 + Acknowledge_13_33 + Acknowledge_25_12 + Acknowledge_25_13 + Acknowledge_13_34 + Acknowledge_25_14 + Acknowledge_13_35 + Acknowledge_25_15 + Acknowledge_13_36 + Acknowledge_13_37 + Acknowledge_25_16 + Acknowledge_25_17 + Acknowledge_13_38 + Acknowledge_13_39 + Acknowledge_25_18 + Acknowledge_25_19 + Acknowledge_13_40 + Acknowledge_25_20 + Acknowledge_25_21 + Acknowledge_25_22 + Acknowledge_25_23 + Acknowledge_25_24 + Acknowledge_25_25 + Acknowledge_25_26 + Acknowledge_25_27 + Acknowledge_25_28 + Acknowledge_25_29 + Acknowledge_25_30 + Acknowledge_25_31 + Acknowledge_37_10 + Acknowledge_37_11 + Acknowledge_25_32 + Acknowledge_37_12 + Acknowledge_25_33 + Acknowledge_25_34 + Acknowledge_37_13 + Acknowledge_37_14 + Acknowledge_25_35 + Acknowledge_25_36 + Acknowledge_37_15 + Acknowledge_25_37 + Acknowledge_37_16 + Acknowledge_25_38 + Acknowledge_37_17 + Acknowledge_37_18 + Acknowledge_25_39 + Acknowledge_37_19 + Acknowledge_25_40 + Acknowledge_37_20 + Acknowledge_37_21 + Acknowledge_37_22 + Acknowledge_37_23 + Acknowledge_37_24 + Acknowledge_37_25 + Acknowledge_37_26 + Acknowledge_37_27 + Acknowledge_37_28 + Acknowledge_37_29 + Acknowledge_37_30 + Acknowledge_37_31 + Acknowledge_37_32 + Acknowledge_37_33 + Acknowledge_37_34 + Acknowledge_37_35 + Acknowledge_37_36 + Acknowledge_37_37 + Acknowledge_37_38 + Acknowledge_37_39 + Acknowledge_37_40 + Acknowledge_1_10 + Acknowledge_1_11 + Acknowledge_1_12 + Acknowledge_1_13 + Acknowledge_1_14 + Acknowledge_1_15 + Acknowledge_1_16 + Acknowledge_1_17 + Acknowledge_1_18 + Acknowledge_1_19 + Acknowledge_1_20 + Acknowledge_1_21 + Acknowledge_1_22 + Acknowledge_1_23 + Acknowledge_1_24 + Acknowledge_1_25 + Acknowledge_1_26 + Acknowledge_1_27 + Acknowledge_1_28 + Acknowledge_1_29 + Acknowledge_1_30 + Acknowledge_1_31 + Acknowledge_1_32 + Acknowledge_1_33 + Acknowledge_1_34 + Acknowledge_1_35 + Acknowledge_1_36 + Acknowledge_1_37 + Acknowledge_1_38 + Acknowledge_1_39 + Acknowledge_1_40 + Acknowledge_33_1 + Acknowledge_33_2 + Acknowledge_33_3 + Acknowledge_33_4 + Acknowledge_33_5 + Acknowledge_33_6 + Acknowledge_33_7 + Acknowledge_33_8 + Acknowledge_33_9 + Acknowledge_20_1 + Acknowledge_20_2 + Acknowledge_20_3 + Acknowledge_20_4 + Acknowledge_20_5 + Acknowledge_20_6 + Acknowledge_20_7 + Acknowledge_20_8 + Acknowledge_20_9 + Acknowledge_18_10 + Acknowledge_18_11 + Acknowledge_18_12 + Acknowledge_18_13 + Acknowledge_18_14 + Acknowledge_18_15 + Acknowledge_18_16 + Acknowledge_18_17 + Acknowledge_18_18 + Acknowledge_18_19 + Acknowledge_18_20 + Acknowledge_18_21 + Acknowledge_18_22 + Acknowledge_18_23 + Acknowledge_18_24 + Acknowledge_18_25 + Acknowledge_18_26 + Acknowledge_18_27 + Acknowledge_18_28 + Acknowledge_18_29 + Acknowledge_18_30 + Acknowledge_18_31 + Acknowledge_18_32 + Acknowledge_18_33 + Acknowledge_18_34 + Acknowledge_18_35 + Acknowledge_18_36 + Acknowledge_18_37 + Acknowledge_18_38 + Acknowledge_18_39 + Acknowledge_18_40 + Acknowledge_34_1 + Acknowledge_34_2 + Acknowledge_34_3 + Acknowledge_34_4 + Acknowledge_34_5 + Acknowledge_34_6 + Acknowledge_34_7 + Acknowledge_34_8 + Acknowledge_34_9 + Acknowledge_21_1 + Acknowledge_21_2 + Acknowledge_21_3 + Acknowledge_21_4 + Acknowledge_21_5 + Acknowledge_21_6 + Acknowledge_21_7 + Acknowledge_21_8 + Acknowledge_21_9 + Acknowledge_6_10 + Acknowledge_6_11 + Acknowledge_6_12 + Acknowledge_6_13 + Acknowledge_6_14 + Acknowledge_6_15 + Acknowledge_6_16 + Acknowledge_6_17 + Acknowledge_6_18 + Acknowledge_6_19 + Acknowledge_6_20 + Acknowledge_6_21 + Acknowledge_6_22 + Acknowledge_6_23 + Acknowledge_6_24 + Acknowledge_6_25 + Acknowledge_6_26 + Acknowledge_6_27 + Acknowledge_6_28 + Acknowledge_6_29 + Acknowledge_6_30 + Acknowledge_6_31 + Acknowledge_6_32 + Acknowledge_6_33 + Acknowledge_6_34 + Acknowledge_6_35 + Acknowledge_6_36 + Acknowledge_6_37 + Acknowledge_6_38 + Acknowledge_6_39 + Acknowledge_6_40 + Acknowledge_31_10 + Acknowledge_31_11 + Acknowledge_31_12 + Acknowledge_31_13 + Acknowledge_31_14 + Acknowledge_31_15 + Acknowledge_31_16 + Acknowledge_31_17 + Acknowledge_31_18 + Acknowledge_31_19 + Acknowledge_31_20 + Acknowledge_31_21 + Acknowledge_31_22 + Acknowledge_31_23 + Acknowledge_31_24 + Acknowledge_31_25 + Acknowledge_31_26 + Acknowledge_31_27 + Acknowledge_31_28 + Acknowledge_31_29 + Acknowledge_31_30 + Acknowledge_31_31 + Acknowledge_31_32 + Acknowledge_31_33 + Acknowledge_31_34 + Acknowledge_31_35 + Acknowledge_31_36 + Acknowledge_31_37 + Acknowledge_31_38 + Acknowledge_31_39 + Acknowledge_31_40 + Acknowledge_35_1 + Acknowledge_35_2 + Acknowledge_35_3 + Acknowledge_35_4 + Acknowledge_35_5 + Acknowledge_35_6 + Acknowledge_35_7 + Acknowledge_35_8 + Acknowledge_35_9 + Acknowledge_22_1 + Acknowledge_22_2 + Acknowledge_22_3 + Acknowledge_22_4 + Acknowledge_22_5 + Acknowledge_22_6 + Acknowledge_22_7 + Acknowledge_22_8 + Acknowledge_22_9 + Acknowledge_12_10 + Acknowledge_12_11 + Acknowledge_12_12 + Acknowledge_12_13 + Acknowledge_12_14 + Acknowledge_12_15 + Acknowledge_12_16 + Acknowledge_12_17 + Acknowledge_12_18 + Acknowledge_12_19 + Acknowledge_12_20 + Acknowledge_12_21 + Acknowledge_12_22 + Acknowledge_12_23 + Acknowledge_12_24 + Acknowledge_12_25 + Acknowledge_12_26 + Acknowledge_12_27 + Acknowledge_12_28 + Acknowledge_12_29 + Acknowledge_12_30 + Acknowledge_24_10 + Acknowledge_12_31 + Acknowledge_12_32 + Acknowledge_24_11 + Acknowledge_12_33 + Acknowledge_24_12 + Acknowledge_24_13 + Acknowledge_12_34 + Acknowledge_12_35 + Acknowledge_24_14 + Acknowledge_24_15 + Acknowledge_12_36 + Acknowledge_24_16 + Acknowledge_12_37 + Acknowledge_24_17 + Acknowledge_12_38 + Acknowledge_24_18 + Acknowledge_12_39 + Acknowledge_24_19 + Acknowledge_12_40 + Acknowledge_24_20 + Acknowledge_24_21 + Acknowledge_24_22 + Acknowledge_24_23 + Acknowledge_24_24 + Acknowledge_24_25 + Acknowledge_24_26 + Acknowledge_24_27 + Acknowledge_24_28 + Acknowledge_24_29 + Acknowledge_24_30 + Acknowledge_36_10 + Acknowledge_24_31 + Acknowledge_36_11 + Acknowledge_24_32 + Acknowledge_36_12 + Acknowledge_24_33 + Acknowledge_36_13 + Acknowledge_24_34 + Acknowledge_36_14 + Acknowledge_24_35 + Acknowledge_36_15 + Acknowledge_24_36 + Acknowledge_36_16 + Acknowledge_24_37 + Acknowledge_24_38 + Acknowledge_36_17 + Acknowledge_24_39 + Acknowledge_36_18 + Acknowledge_36_19 + Acknowledge_24_40 + Acknowledge_36_20 + Acknowledge_36_21 + Acknowledge_36_22 + Acknowledge_36_23 + Acknowledge_36_24 + Acknowledge_36_25 + Acknowledge_36_26 + Acknowledge_36_27 + Acknowledge_36_28 + Acknowledge_36_29 + Acknowledge_36_30 + Acknowledge_36_31 + Acknowledge_36_32 + Acknowledge_36_33 + Acknowledge_36_34 + Acknowledge_36_35 + Acknowledge_36_36 + Acknowledge_36_37 + Acknowledge_36_38 + Acknowledge_36_39 + Acknowledge_36_40 + Acknowledge_36_1 + Acknowledge_36_2 + Acknowledge_36_3 + Acknowledge_36_4 + Acknowledge_36_5 + Acknowledge_36_6 + Acknowledge_36_7 + Acknowledge_36_8 + Acknowledge_36_9 + Acknowledge_23_1 + Acknowledge_23_2 + Acknowledge_23_3 + Acknowledge_23_4 + Acknowledge_23_5 + Acknowledge_23_6 + Acknowledge_23_7 + Acknowledge_23_8 + Acknowledge_23_9 + Acknowledge_10_1 + Acknowledge_10_2 + Acknowledge_10_3 + Acknowledge_10_4 + Acknowledge_10_5 + Acknowledge_10_6 + Acknowledge_10_7 + Acknowledge_10_8 + Acknowledge_10_9 + Acknowledge_17_10 + Acknowledge_17_11 + Acknowledge_17_12 + Acknowledge_17_13 + Acknowledge_17_14 + Acknowledge_17_15 + Acknowledge_17_16 + Acknowledge_17_17 + Acknowledge_17_18 + Acknowledge_17_19 + Acknowledge_17_20 + Acknowledge_17_21 + Acknowledge_17_22 + Acknowledge_17_23 + Acknowledge_17_24 + Acknowledge_17_25 + Acknowledge_17_26 + Acknowledge_17_27 + Acknowledge_17_28 + Acknowledge_17_29 + Acknowledge_17_30 + Acknowledge_29_10 + Acknowledge_17_31 + Acknowledge_17_32 + Acknowledge_29_11 + Acknowledge_29_12 + Acknowledge_17_33 + Acknowledge_29_13 + Acknowledge_17_34 + Acknowledge_29_14 + Acknowledge_17_35 + Acknowledge_29_15 + Acknowledge_17_36 + Acknowledge_17_37 + Acknowledge_29_16 + Acknowledge_17_38 + Acknowledge_29_17 + Acknowledge_17_39 + Acknowledge_29_18 + Acknowledge_29_19 + Acknowledge_17_40 + Acknowledge_29_20 + Acknowledge_29_21 + Acknowledge_29_22 + Acknowledge_29_23 + Acknowledge_29_24 + Acknowledge_29_25 + Acknowledge_29_26 + Acknowledge_29_27 + Acknowledge_29_28 + Acknowledge_29_29 + Acknowledge_29_30 + Acknowledge_29_31 + Acknowledge_29_32 + Acknowledge_29_33 + Acknowledge_29_34 + Acknowledge_29_35 + Acknowledge_29_36 + Acknowledge_29_37 + Acknowledge_29_38 + Acknowledge_29_39 + Acknowledge_29_40 + Acknowledge_37_1 + Acknowledge_37_2 + Acknowledge_37_3 + Acknowledge_37_4 + Acknowledge_37_5 + Acknowledge_37_6 + Acknowledge_37_7 + Acknowledge_37_8 + Acknowledge_37_9 + Acknowledge_24_1 + Acknowledge_24_2 + Acknowledge_24_3 + Acknowledge_24_4 + Acknowledge_24_5 + Acknowledge_24_6 + Acknowledge_24_7 + Acknowledge_24_8 + Acknowledge_24_9 + Acknowledge_11_1 + Acknowledge_11_2 + Acknowledge_11_3 + Acknowledge_11_4 + Acknowledge_11_5 + Acknowledge_11_6 + Acknowledge_11_7 + Acknowledge_11_8 + Acknowledge_11_9 + Acknowledge_5_10 + Acknowledge_5_11 + Acknowledge_5_12 + Acknowledge_5_13 + Acknowledge_5_14 + Acknowledge_5_15 + Acknowledge_5_16 + Acknowledge_5_17 + Acknowledge_5_18 + Acknowledge_5_19 + Acknowledge_5_20 + Acknowledge_5_21 + Acknowledge_5_22 + Acknowledge_5_23 + Acknowledge_5_24 + Acknowledge_5_25 + Acknowledge_5_26 + Acknowledge_5_27 + Acknowledge_5_28 + Acknowledge_5_29 + Acknowledge_5_30 + Acknowledge_5_31 + Acknowledge_5_32 + Acknowledge_5_33 + Acknowledge_5_34 + Acknowledge_5_35 + Acknowledge_5_36 + Acknowledge_5_37 + Acknowledge_5_38 + Acknowledge_5_39 + Acknowledge_5_40 + Acknowledge_30_10 + Acknowledge_30_11 + Acknowledge_30_12 + Acknowledge_30_13 + Acknowledge_30_14 + Acknowledge_30_15 + Acknowledge_30_16 + Acknowledge_30_17 + Acknowledge_30_18 + Acknowledge_30_19 + Acknowledge_30_20 + Acknowledge_30_21 + Acknowledge_30_22 + Acknowledge_30_23 + Acknowledge_30_24 + Acknowledge_30_25 + Acknowledge_30_26 + Acknowledge_30_27 + Acknowledge_30_28 + Acknowledge_30_29 + Acknowledge_30_30 + Acknowledge_30_31 + Acknowledge_30_32 + Acknowledge_30_33 + Acknowledge_30_34 + Acknowledge_30_35 + Acknowledge_30_36 + Acknowledge_30_37 + Acknowledge_30_38 + Acknowledge_30_39 + Acknowledge_30_40 + Acknowledge_38_1 + Acknowledge_38_2 + Acknowledge_38_3 + Acknowledge_38_4 + Acknowledge_38_5 + Acknowledge_38_6 + Acknowledge_38_7 + Acknowledge_38_8 + Acknowledge_38_9 + Acknowledge_25_1 + Acknowledge_25_2 + Acknowledge_25_3 + Acknowledge_25_4 + Acknowledge_25_5 + Acknowledge_25_6 + Acknowledge_25_7 + Acknowledge_25_8 + Acknowledge_25_9 + Acknowledge_12_1 + Acknowledge_12_2 + Acknowledge_12_3 + Acknowledge_12_4 + Acknowledge_12_5 + Acknowledge_12_6 + Acknowledge_12_7 + Acknowledge_12_8 + Acknowledge_12_9 + Acknowledge_11_10 + Acknowledge_11_11 + Acknowledge_11_12 + Acknowledge_11_13 + Acknowledge_11_14 + Acknowledge_11_15 + Acknowledge_11_16 + Acknowledge_11_17 + Acknowledge_11_18 + Acknowledge_11_19 + Acknowledge_11_20 + Acknowledge_11_21 + Acknowledge_11_22 + Acknowledge_11_23 + Acknowledge_11_24 + Acknowledge_11_25 + Acknowledge_11_26 + Acknowledge_11_27 + Acknowledge_11_28 + Acknowledge_11_29 + Acknowledge_11_30 + Acknowledge_23_10 + Acknowledge_11_31 + Acknowledge_23_11 + Acknowledge_11_32 + Acknowledge_23_12 + Acknowledge_11_33 + Acknowledge_23_13 + Acknowledge_11_34 + Acknowledge_23_14 + Acknowledge_11_35 + Acknowledge_23_15 + Acknowledge_11_36 + Acknowledge_23_16 + Acknowledge_11_37 + Acknowledge_11_38 + Acknowledge_23_17 + Acknowledge_11_39 + Acknowledge_23_18 + Acknowledge_23_19 + Acknowledge_11_40 + Acknowledge_23_20 + Acknowledge_23_21 + Acknowledge_23_22 + Acknowledge_23_23 + Acknowledge_23_24 + Acknowledge_23_25 + Acknowledge_23_26 + Acknowledge_23_27 + Acknowledge_23_28 + Acknowledge_23_29 + Acknowledge_23_30 + Acknowledge_35_10 + Acknowledge_23_31 + Acknowledge_35_11 + Acknowledge_23_32 + Acknowledge_35_12 + Acknowledge_23_33 + Acknowledge_23_34 + Acknowledge_35_13 + Acknowledge_23_35 + Acknowledge_35_14 + Acknowledge_23_36 + Acknowledge_35_15 + Acknowledge_35_16 + Acknowledge_23_37 + Acknowledge_35_17 + Acknowledge_23_38 + Acknowledge_23_39 + Acknowledge_35_18 + Acknowledge_35_19 + Acknowledge_23_40 + Acknowledge_35_20 + Acknowledge_35_21 + Acknowledge_35_22 + Acknowledge_35_23 + Acknowledge_35_24 + Acknowledge_35_25 + Acknowledge_35_26 + Acknowledge_35_27 + Acknowledge_35_28 + Acknowledge_35_29 + Acknowledge_35_30 + Acknowledge_35_31 + Acknowledge_35_32 + Acknowledge_35_33 + Acknowledge_35_34 + Acknowledge_35_35 + Acknowledge_35_36 + Acknowledge_35_37 + Acknowledge_35_38 + Acknowledge_35_39 + Acknowledge_35_40 + Acknowledge_39_1 + Acknowledge_39_2 + Acknowledge_39_3 + Acknowledge_39_4 + Acknowledge_39_5 + Acknowledge_39_6 + Acknowledge_39_7 + Acknowledge_39_8 + Acknowledge_39_9 + Acknowledge_26_1 + Acknowledge_26_2 + Acknowledge_26_3 + Acknowledge_26_4 + Acknowledge_26_5 + Acknowledge_26_6 + Acknowledge_26_7 + Acknowledge_26_8 + Acknowledge_26_9 + Acknowledge_13_1 + Acknowledge_13_2 + Acknowledge_13_3 + Acknowledge_13_4 + Acknowledge_13_5 + Acknowledge_13_6 + Acknowledge_13_7 + Acknowledge_13_8 + Acknowledge_13_9 + Acknowledge_16_10 + Acknowledge_16_11 + Acknowledge_16_12 + Acknowledge_16_13 + Acknowledge_16_14 + Acknowledge_16_15 + Acknowledge_16_16 + Acknowledge_16_17 + Acknowledge_16_18 + Acknowledge_16_19 + Acknowledge_16_20 + Acknowledge_16_21 + Acknowledge_16_22 + Acknowledge_16_23 + Acknowledge_16_24 + Acknowledge_16_25 + Acknowledge_16_26 + Acknowledge_16_27 + Acknowledge_16_28 + Acknowledge_16_29 + Acknowledge_16_30 + Acknowledge_16_31 + Acknowledge_28_10 + Acknowledge_16_32 + Acknowledge_28_11 + Acknowledge_28_12 + Acknowledge_16_33 + Acknowledge_16_34 + Acknowledge_28_13 + Acknowledge_28_14 + Acknowledge_16_35 + Acknowledge_28_15 + Acknowledge_16_36 + Acknowledge_28_16 + Acknowledge_16_37 + Acknowledge_16_38 + Acknowledge_28_17 + Acknowledge_28_18 + Acknowledge_16_39 + Acknowledge_28_19 + Acknowledge_16_40 + Acknowledge_28_20 + Acknowledge_28_21 + Acknowledge_28_22 + Acknowledge_28_23 + Acknowledge_28_24 + Acknowledge_28_25 + Acknowledge_28_26 + Acknowledge_28_27 + Acknowledge_28_28 + Acknowledge_28_29 + Acknowledge_28_30 + Acknowledge_28_31 + Acknowledge_28_32 + Acknowledge_28_33 + Acknowledge_28_34 + Acknowledge_28_35 + Acknowledge_28_36 + Acknowledge_28_37 + Acknowledge_28_38 + Acknowledge_28_39 + Acknowledge_28_40 + Acknowledge_27_1 + Acknowledge_27_2 + Acknowledge_27_3 + Acknowledge_27_4 + Acknowledge_27_5 + Acknowledge_27_6 + Acknowledge_27_7 + Acknowledge_27_8 + Acknowledge_27_9 + Acknowledge_14_1 + Acknowledge_14_2 + Acknowledge_14_3 + Acknowledge_14_4 + Acknowledge_14_5 + Acknowledge_14_6 + Acknowledge_14_7 + Acknowledge_14_8 + Acknowledge_14_9 + Acknowledge_4_10 + Acknowledge_4_11 + Acknowledge_4_12 + Acknowledge_4_13 + Acknowledge_4_14 + Acknowledge_4_15 + Acknowledge_4_16 + Acknowledge_4_17 + Acknowledge_4_18 + Acknowledge_4_19 + Acknowledge_4_20 + Acknowledge_4_21 + Acknowledge_4_22 + Acknowledge_4_23 + Acknowledge_4_24 + Acknowledge_4_25 + Acknowledge_4_26 + Acknowledge_4_27 + Acknowledge_4_28 + Acknowledge_4_29 + Acknowledge_4_30 + Acknowledge_4_31 + Acknowledge_4_32 + Acknowledge_4_33 + Acknowledge_4_34 + Acknowledge_4_35 + Acknowledge_4_36 + Acknowledge_4_37 + Acknowledge_4_38 + Acknowledge_4_39 + Acknowledge_4_40 + Acknowledge_1_1 + Acknowledge_1_2 + Acknowledge_1_3 + Acknowledge_1_4 + Acknowledge_1_5 + Acknowledge_1_6 + Acknowledge_1_7 + Acknowledge_1_8 + Acknowledge_1_9 + Acknowledge_28_1 + Acknowledge_28_2 + Acknowledge_28_3 + Acknowledge_28_4 + Acknowledge_28_5 + Acknowledge_28_6 + Acknowledge_28_7 + Acknowledge_28_8 + Acknowledge_28_9 + Acknowledge_15_1 + Acknowledge_15_2 + Acknowledge_15_3 + Acknowledge_15_4 + Acknowledge_15_5 + Acknowledge_15_6 + Acknowledge_15_7 + Acknowledge_15_8 + Acknowledge_15_9 + Acknowledge_2_1 + Acknowledge_2_2 + Acknowledge_2_3 + Acknowledge_2_4 + Acknowledge_2_5 + Acknowledge_2_6 + Acknowledge_2_7 + Acknowledge_2_8 + Acknowledge_2_9 + Acknowledge_9_10 + Acknowledge_9_11 + Acknowledge_9_12 + Acknowledge_9_13 + Acknowledge_9_14 + Acknowledge_9_15 + Acknowledge_9_16 + Acknowledge_9_17 + Acknowledge_9_18 + Acknowledge_9_19 + Acknowledge_9_20 + Acknowledge_9_21 + Acknowledge_9_22 + Acknowledge_9_23 + Acknowledge_9_24 + Acknowledge_9_25 + Acknowledge_9_26 + Acknowledge_9_27 + Acknowledge_9_28 + Acknowledge_9_29 + Acknowledge_9_30 + Acknowledge_9_31 + Acknowledge_9_32 + Acknowledge_9_33 + Acknowledge_9_34 + Acknowledge_9_35 + Acknowledge_9_36 + Acknowledge_9_37 + Acknowledge_9_38 + Acknowledge_9_39 + Acknowledge_9_40 + Acknowledge_10_10 + Acknowledge_10_11 + Acknowledge_10_12 + Acknowledge_10_13 + Acknowledge_10_14 + Acknowledge_10_15 + Acknowledge_10_16 + Acknowledge_10_17 + Acknowledge_10_18 + Acknowledge_10_19 + Acknowledge_10_20 + Acknowledge_10_21 + Acknowledge_10_22 + Acknowledge_10_23 + Acknowledge_10_24 + Acknowledge_10_25 + Acknowledge_10_26 + Acknowledge_10_27 + Acknowledge_10_28 + Acknowledge_10_29 + Acknowledge_10_30 + Acknowledge_22_10 + Acknowledge_10_31 + Acknowledge_22_11 + Acknowledge_10_32 + Acknowledge_10_33 + Acknowledge_22_12 + Acknowledge_10_34 + Acknowledge_22_13 + Acknowledge_10_35 + Acknowledge_22_14 + Acknowledge_22_15 + Acknowledge_10_36 + Acknowledge_10_37 + Acknowledge_22_16 + Acknowledge_10_38 + Acknowledge_22_17 + Acknowledge_10_39 + Acknowledge_22_18 + Acknowledge_22_19 + Acknowledge_10_40 + Acknowledge_22_20 + Acknowledge_22_21 + Acknowledge_22_22 + Acknowledge_22_23 + Acknowledge_22_24 + Acknowledge_22_25 + Acknowledge_22_26 + Acknowledge_22_27 + Acknowledge_22_28 + Acknowledge_22_29 + Acknowledge_22_30 + Acknowledge_34_10 + Acknowledge_22_31 + Acknowledge_22_32 + Acknowledge_34_11 + Acknowledge_34_12 + Acknowledge_22_33 + Acknowledge_34_13 + Acknowledge_22_34 + Acknowledge_34_14 + Acknowledge_22_35 + Acknowledge_22_36 + Acknowledge_34_15 + Acknowledge_22_37 + Acknowledge_34_16 + Acknowledge_22_38 + Acknowledge_34_17 + Acknowledge_22_39 + Acknowledge_34_18 + Acknowledge_34_19 + Acknowledge_22_40 + Acknowledge_34_20 + Acknowledge_34_21 + Acknowledge_34_22 + Acknowledge_34_23 + Acknowledge_34_24 + Acknowledge_34_25 + Acknowledge_34_26 + Acknowledge_34_27 + Acknowledge_34_28 + Acknowledge_34_29 + Acknowledge_34_30 + Acknowledge_34_31 + Acknowledge_34_32 + Acknowledge_34_33 + Acknowledge_34_34 + Acknowledge_34_35 + Acknowledge_34_36 + Acknowledge_34_37 + Acknowledge_34_38 + Acknowledge_34_39 + Acknowledge_34_40 + Acknowledge_29_1 + Acknowledge_29_2 + Acknowledge_29_3 + Acknowledge_29_4 + Acknowledge_29_5 + Acknowledge_29_6 + Acknowledge_29_7 + Acknowledge_29_8 + Acknowledge_29_9 + Acknowledge_16_1 + Acknowledge_16_2 + Acknowledge_16_3 + Acknowledge_16_4 + Acknowledge_16_5 + Acknowledge_16_6 + Acknowledge_16_7 + Acknowledge_16_8 + Acknowledge_16_9 + Acknowledge_3_1 + Acknowledge_3_2 + Acknowledge_3_3 + Acknowledge_3_4 + Acknowledge_3_5 + Acknowledge_3_6 + Acknowledge_3_7 + Acknowledge_3_8 + Acknowledge_15_10 + Acknowledge_15_11 + Acknowledge_15_12 + Acknowledge_15_13 + Acknowledge_15_14 + Acknowledge_15_15 + Acknowledge_15_16 + Acknowledge_15_17 + Acknowledge_15_18 + Acknowledge_15_19 + Acknowledge_15_20 + Acknowledge_15_21 + Acknowledge_15_22 + Acknowledge_15_23 + Acknowledge_15_24 + Acknowledge_15_25 + Acknowledge_15_26 + Acknowledge_15_27 + Acknowledge_15_28 + Acknowledge_15_29 + Acknowledge_15_30 + Acknowledge_15_31 + Acknowledge_27_10 + Acknowledge_27_11 + Acknowledge_15_32 + Acknowledge_15_33 + Acknowledge_27_12 + Acknowledge_27_13 + Acknowledge_15_34 + Acknowledge_27_14 + Acknowledge_15_35 + Acknowledge_27_15 + Acknowledge_15_36 + Acknowledge_27_16 + Acknowledge_15_37 + Acknowledge_27_17 + Acknowledge_15_38 + Acknowledge_27_18 + Acknowledge_15_39 + Acknowledge_27_19 + Acknowledge_15_40 + Acknowledge_27_20 + Acknowledge_27_21 + Acknowledge_27_22 + Acknowledge_27_23 + Acknowledge_27_24 + Acknowledge_27_25 + Acknowledge_27_26 + Acknowledge_27_27 + Acknowledge_27_28 + Acknowledge_27_29 + Acknowledge_27_30 + Acknowledge_39_10 + Acknowledge_27_31 + Acknowledge_39_11 + Acknowledge_27_32 + Acknowledge_39_12 + Acknowledge_27_33 + Acknowledge_39_13 + Acknowledge_27_34 + Acknowledge_27_35 + Acknowledge_39_14 + Acknowledge_39_15 + Acknowledge_27_36 + Acknowledge_39_16 + Acknowledge_27_37 + Acknowledge_39_17 + Acknowledge_27_38 + Acknowledge_39_18 + Acknowledge_27_39 + Acknowledge_39_19 + Acknowledge_27_40 + Acknowledge_39_20 + Acknowledge_39_21 + Acknowledge_39_22 + Acknowledge_39_23 + Acknowledge_39_24 + Acknowledge_39_25 + Acknowledge_39_26 + Acknowledge_39_27 + Acknowledge_39_28 + Acknowledge_39_29 + Acknowledge_39_30 + Acknowledge_39_31 + Acknowledge_39_32 + Acknowledge_39_33 + Acknowledge_39_34 + Acknowledge_39_35 + Acknowledge_39_36 + Acknowledge_39_37 + Acknowledge_39_38 + Acknowledge_39_39 + Acknowledge_39_40 + Acknowledge_17_1 + Acknowledge_17_2 + Acknowledge_17_3 + Acknowledge_17_4 + Acknowledge_17_5 + Acknowledge_17_6 + Acknowledge_17_7 + Acknowledge_17_8 + Acknowledge_17_9 + Acknowledge_3_10 + Acknowledge_3_11 + Acknowledge_3_12 + Acknowledge_3_13 + Acknowledge_3_14 + Acknowledge_3_15 + Acknowledge_3_16 + Acknowledge_3_17 + Acknowledge_3_18 + Acknowledge_3_19 + Acknowledge_3_20 + Acknowledge_3_21 + Acknowledge_3_22 + Acknowledge_3_23 + Acknowledge_3_24 + Acknowledge_3_25 + Acknowledge_3_26 + Acknowledge_3_27 + Acknowledge_3_28 + Acknowledge_3_29 + Acknowledge_3_30 + Acknowledge_3_31 + Acknowledge_3_32 + Acknowledge_3_33 + Acknowledge_3_34 + Acknowledge_3_35 + Acknowledge_3_36 + Acknowledge_3_37 + Acknowledge_3_38 + Acknowledge_3_39 + Acknowledge_3_40 + Acknowledge_4_1 + Acknowledge_4_2 + Acknowledge_4_3 + Acknowledge_4_4 + Acknowledge_4_5 + Acknowledge_4_6 + Acknowledge_4_7 + Acknowledge_4_8 + Acknowledge_40_1 + Acknowledge_40_2 + Acknowledge_40_3 + Acknowledge_40_4 + Acknowledge_40_5 + Acknowledge_40_6 + Acknowledge_40_7 + Acknowledge_40_8 + Acknowledge_40_9 + Acknowledge_40_10 + Acknowledge_40_11 + Acknowledge_40_12 + Acknowledge_40_13 + Acknowledge_40_14 + Acknowledge_40_15 + Acknowledge_40_16 + Acknowledge_40_17 + Acknowledge_40_18 + Acknowledge_40_19 + Acknowledge_40_20 + Acknowledge_40_21 + Acknowledge_40_22 + Acknowledge_40_23 + Acknowledge_40_24 + Acknowledge_40_25 + Acknowledge_40_26 + Acknowledge_40_27 + Acknowledge_40_28 + Acknowledge_40_29 + Acknowledge_40_30 + Acknowledge_40_31 + Acknowledge_40_32 + Acknowledge_40_33 + Acknowledge_40_34 + Acknowledge_40_35 + Acknowledge_40_36 + Acknowledge_40_37 + Acknowledge_40_38 + Acknowledge_40_39 + Acknowledge_40_40 + Acknowledge_18_1 + Acknowledge_18_2 + Acknowledge_18_3 + Acknowledge_18_4 + Acknowledge_18_5 + Acknowledge_18_6 + Acknowledge_18_7 + Acknowledge_18_8 + Acknowledge_18_9 + Acknowledge_19_9 + Acknowledge_19_8 + Acknowledge_19_7 + Acknowledge_19_6 + Acknowledge_19_5 + Acknowledge_19_4 + Acknowledge_19_3 + Acknowledge_19_2 + Acknowledge_19_1 + Acknowledge_5_1 + Acknowledge_5_2 + Acknowledge_5_3 + Acknowledge_5_4 + Acknowledge_5_5 + Acknowledge_5_6 + Acknowledge_5_7 + Acknowledge_5_8 + Acknowledge_8_10 + Acknowledge_8_11 + Acknowledge_8_12 + Acknowledge_8_13 + Acknowledge_8_14 + Acknowledge_8_15 + Acknowledge_8_16 + Acknowledge_8_17 + Acknowledge_8_18 + Acknowledge_8_19 + Acknowledge_8_20 + Acknowledge_8_21 + Acknowledge_8_22 + Acknowledge_8_23 + Acknowledge_8_24 + Acknowledge_8_25 + Acknowledge_8_26 + Acknowledge_8_27 + Acknowledge_8_28 + Acknowledge_8_29 + Acknowledge_8_30 + Acknowledge_8_31 + Acknowledge_8_32 + Acknowledge_8_33 + Acknowledge_8_34 + Acknowledge_8_35 + Acknowledge_8_36 + Acknowledge_8_37 + Acknowledge_8_38 + Acknowledge_8_39 + Acknowledge_8_40 + Acknowledge_21_10 + Acknowledge_21_11 + Acknowledge_21_12 + Acknowledge_21_13 + Acknowledge_21_14 + Acknowledge_21_15 + Acknowledge_21_16 + Acknowledge_21_17 + Acknowledge_21_18 + Acknowledge_21_19 + Acknowledge_21_20 + Acknowledge_21_21 + Acknowledge_21_22 + Acknowledge_21_23 + Acknowledge_21_24 + Acknowledge_21_25 + Acknowledge_21_26 + Acknowledge_21_27 + Acknowledge_21_28 + Acknowledge_21_29 + Acknowledge_21_30 + Acknowledge_33_10 + Acknowledge_21_31 + Acknowledge_21_32 + Acknowledge_33_11 + Acknowledge_21_33 + Acknowledge_33_12 + Acknowledge_21_34 + Acknowledge_33_13 + Acknowledge_33_14 + Acknowledge_21_35 + Acknowledge_33_15 + Acknowledge_21_36 + Acknowledge_21_37 + Acknowledge_33_16 + Acknowledge_21_38 + Acknowledge_33_17 + Acknowledge_33_18 + Acknowledge_21_39 + Acknowledge_33_19 + Acknowledge_21_40 + Acknowledge_33_20 + Acknowledge_33_21 + Acknowledge_33_22 + Acknowledge_33_23 + Acknowledge_33_24 + Acknowledge_33_25 + Acknowledge_33_26 + Acknowledge_33_27 + Acknowledge_33_28 + Acknowledge_33_29 + Acknowledge_33_30 + Acknowledge_33_31 + Acknowledge_33_32 + Acknowledge_33_33 + Acknowledge_33_34 + Acknowledge_33_35 + Acknowledge_33_36 + Acknowledge_33_37 + Acknowledge_33_38 + Acknowledge_33_39 + Acknowledge_33_40 + Acknowledge_5_9 + Acknowledge_6_1 + Acknowledge_6_2 + Acknowledge_6_3 + Acknowledge_6_4 + Acknowledge_6_5 + Acknowledge_6_6 + Acknowledge_6_7 + Acknowledge_6_8 + Acknowledge_6_9 + Acknowledge_4_9 + Acknowledge_3_9 + Acknowledge_14_10 + Acknowledge_14_11 + Acknowledge_14_12 + Acknowledge_14_13 + Acknowledge_14_14 + Acknowledge_14_15 + Acknowledge_14_16 + Acknowledge_14_17 + Acknowledge_14_18 + Acknowledge_14_19 + Acknowledge_14_20 + Acknowledge_14_21 + Acknowledge_14_22 + Acknowledge_14_23 + Acknowledge_14_24 + Acknowledge_14_25 + Acknowledge_14_26 + Acknowledge_14_27 + Acknowledge_14_28 + Acknowledge_14_29 + Acknowledge_14_30 + Acknowledge_26_10 + Acknowledge_14_31 + Acknowledge_14_32 + Acknowledge_26_11 + Acknowledge_14_33 + Acknowledge_26_12 + Acknowledge_26_13 + Acknowledge_14_34 + Acknowledge_26_14 + Acknowledge_14_35 + Acknowledge_26_15 + Acknowledge_14_36 + Acknowledge_26_16 + Acknowledge_14_37 + Acknowledge_14_38 + Acknowledge_26_17 + Acknowledge_26_18 + Acknowledge_14_39 + Acknowledge_26_19 + Acknowledge_14_40 + Acknowledge_26_20 + Acknowledge_26_21 + Acknowledge_26_22 + Acknowledge_26_23 + Acknowledge_26_24 + Acknowledge_26_25 + Acknowledge_26_26 + Acknowledge_26_27 + Acknowledge_26_28 + Acknowledge_26_29 + Acknowledge_26_30 + Acknowledge_38_10 + Acknowledge_26_31 + Acknowledge_26_32 + Acknowledge_38_11 + Acknowledge_38_12 + Acknowledge_26_33 + Acknowledge_26_34 + Acknowledge_38_13 + Acknowledge_26_35 + Acknowledge_38_14 + Acknowledge_38_15 + Acknowledge_26_36 + Acknowledge_38_16 + Acknowledge_26_37 + Acknowledge_38_17 + Acknowledge_26_38 + Acknowledge_38_18 + Acknowledge_26_39 + Acknowledge_38_19 + Acknowledge_26_40 + Acknowledge_38_20 + Acknowledge_38_21 + Acknowledge_38_22 + Acknowledge_38_23 + Acknowledge_38_24 + Acknowledge_38_25 + Acknowledge_38_26 + Acknowledge_38_27 + Acknowledge_38_28 + Acknowledge_38_29 + Acknowledge_38_30 + Acknowledge_38_31 + Acknowledge_38_32 + Acknowledge_38_33 + Acknowledge_38_34 + Acknowledge_38_35 + Acknowledge_38_36 + Acknowledge_38_37 + Acknowledge_38_38 + Acknowledge_38_39 + Acknowledge_38_40 + Acknowledge_2_10 + Acknowledge_2_11 + Acknowledge_2_12 + Acknowledge_2_13 + Acknowledge_2_14 + Acknowledge_2_15 + Acknowledge_2_16 + Acknowledge_2_17 + Acknowledge_2_18 + Acknowledge_2_19 + Acknowledge_2_20 + Acknowledge_2_21 + Acknowledge_2_22 + Acknowledge_2_23 + Acknowledge_2_24 + Acknowledge_2_25 + Acknowledge_2_26 + Acknowledge_2_27 + Acknowledge_2_28 + Acknowledge_2_29 + Acknowledge_2_30 + Acknowledge_2_31 + Acknowledge_2_32 + Acknowledge_2_33 + Acknowledge_2_34 + Acknowledge_2_35 + Acknowledge_2_36 + Acknowledge_2_37 + Acknowledge_2_38 + Acknowledge_2_39 + Acknowledge_2_40 + Acknowledge_7_1 + Acknowledge_7_2 + Acknowledge_7_3 + Acknowledge_7_4 + Acknowledge_7_5 + Acknowledge_7_6 + Acknowledge_7_7 + Acknowledge_7_8 + Acknowledge_7_9 + Acknowledge_30_1 + Acknowledge_30_2 + Acknowledge_30_3 + Acknowledge_30_4 + Acknowledge_30_5 + Acknowledge_30_6 + Acknowledge_30_7 + Acknowledge_30_8 + Acknowledge_30_9 + Acknowledge_19_10 + Acknowledge_19_11 + Acknowledge_19_12 + Acknowledge_19_13 + Acknowledge_19_14 + Acknowledge_19_15 + Acknowledge_19_16 + Acknowledge_19_17 + Acknowledge_19_18 + Acknowledge_19_19) : MAX(WaitMutex_38_32) : MAX(MesBuffReply_18_20) : MAX(Acknowledge_34_19) : MAX(Acknowledge_12_39) : MAX(Message_13_35) : MAX(Acknowledge_11_14) : MAX(Acknowledge_13_4) : MAX(Acknowledge_10_10)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(WaitMutex_38_32)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(WaitMutex_38_32)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file DatabaseWithMutex-PT-40-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================
FORMULA DatabaseWithMutex-PT-40-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 233 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(MesBuffReply_18_20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(MesBuffReply_18_20)
lola: processed formula length: 23
lola: 0 rewrites
lola: closed formula file DatabaseWithMutex-PT-40-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 7 markings, 6 edges
lola: ========================================
FORMULA DatabaseWithMutex-PT-40-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 249 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Acknowledge_34_19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Acknowledge_34_19)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file DatabaseWithMutex-PT-40-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 8 markings, 7 edges
lola: ========================================
FORMULA DatabaseWithMutex-PT-40-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 268 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Acknowledge_12_39)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Acknowledge_12_39)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file DatabaseWithMutex-PT-40-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 8 markings, 7 edges
FORMULA DatabaseWithMutex-PT-40-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 4 will run for 289 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Message_13_35)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Message_13_35)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file DatabaseWithMutex-PT-40-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 4 markings, 3 edges
lola: ========================================
FORMULA DatabaseWithMutex-PT-40-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 315 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Acknowledge_11_14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Acknowledge_11_14)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file DatabaseWithMutex-PT-40-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 8 markings, 7 edges
FORMULA DatabaseWithMutex-PT-40-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 345 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Acknowledge_13_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Acknowledge_13_4)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file DatabaseWithMutex-PT-40-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 8 markings, 7 edges
FORMULA DatabaseWithMutex-PT-40-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 383 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Acknowledge_10_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Acknowledge_10_10)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file DatabaseWithMutex-PT-40-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 8 markings, 7 edges
FORMULA DatabaseWithMutex-PT-40-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 8 will run for 430 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(all_active_10 + all_active_11 + all_active_12 + all_active_13 + all_active_14 + all_active_15 + all_active_16 + all_active_17 + all_active_18 + all_active_19 + all_active_20 + all_active_21 + all_active_22 + all_active_23 + all_active_24 + all_active_25 + all_active_26 + all_active_27 + all_active_28 + all_active_29 + all_active_30 + all_active_31 + all_active_32 + all_active_33 + all_active_3... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(all_active_10 + all_active_11 + all_active_12 + all_active_13 + all_active_14 + all_active_15 + all_active_16 + all_active_17 + all_active_18 + all_active_19 + all_active_20 + all_active_21 + all_active_22 + all_active_23 + all_active_24 + all_active_25 + all_active_26 + all_active_27 + all_active_28 + all_active_29 + all_active_30 + all_active_31 + all_active_32 + all_active_33 + all_active_3... (shortened)
lola: processed formula length: 633
lola: 0 rewrites
lola: closed formula file DatabaseWithMutex-PT-40-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: Structural Bound: 40
lola: SUBRESULT
lola: result: 40
lola: produced by: state space
lola: The maximum value of the given expression is 40
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DatabaseWithMutex-PT-40-UpperBounds-0 40 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 488 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(all_passive_1 + all_passive_2 + all_passive_3 + all_passive_4 + all_passive_5 + all_passive_7 + all_passive_8 + all_passive_9 + all_passive_14 + all_passive_15 + all_passive_17 + all_passive_18 + all_passive_19 + all_passive_20 + all_passive_21 + all_passive_26 + all_passive_27 + all_passive_30 + all_passive_31 + all_passive_32 + all_passive_33 + all_passive_38 + all_passive_39 + all_passive_4... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(all_passive_1 + all_passive_2 + all_passive_3 + all_passive_4 + all_passive_5 + all_passive_7 + all_passive_8 + all_passive_9 + all_passive_14 + all_passive_15 + all_passive_17 + all_passive_18 + all_passive_19 + all_passive_20 + all_passive_21 + all_passive_26 + all_passive_27 + all_passive_30 + all_passive_31 + all_passive_32 + all_passive_33 + all_passive_38 + all_passive_39 + all_passive_4... (shortened)
lola: processed formula length: 673
lola: 0 rewrites
lola: closed formula file DatabaseWithMutex-PT-40-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: Structural Bound: 40
lola: SUBRESULT
lola: result: 40
lola: produced by: state space
lola: The maximum value of the given expression is 40
lola: 0 markings, 0 edges
FORMULA DatabaseWithMutex-PT-40-UpperBounds-2 40 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 567 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(all_active_10 + all_active_11 + all_active_12 + all_active_13 + all_active_14 + all_active_15 + all_active_16 + all_active_17 + all_active_18 + all_active_19 + all_active_20 + all_active_21 + all_active_22 + all_active_23 + all_active_24 + all_active_25 + all_active_26 + all_active_27 + all_active_28 + all_active_29 + all_active_30 + all_active_31 + all_active_32 + all_active_33 + all_active_3... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(all_active_10 + all_active_11 + all_active_12 + all_active_13 + all_active_14 + all_active_15 + all_active_16 + all_active_17 + all_active_18 + all_active_19 + all_active_20 + all_active_21 + all_active_22 + all_active_23 + all_active_24 + all_active_25 + all_active_26 + all_active_27 + all_active_28 + all_active_29 + all_active_30 + all_active_31 + all_active_32 + all_active_33 + all_active_3... (shortened)
lola: processed formula length: 633
lola: 0 rewrites
lola: closed formula file DatabaseWithMutex-PT-40-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: Structural Bound: 40
lola: SUBRESULT
lola: result: 40
lola: produced by: state space
lola: The maximum value of the given expression is 40
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DatabaseWithMutex-PT-40-UpperBounds-5 40 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 676 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(all_active_10 + all_active_11 + all_active_12 + all_active_13 + all_active_14 + all_active_15 + all_active_16 + all_active_17 + all_active_18 + all_active_19 + all_active_20 + all_active_21 + all_active_22 + all_active_23 + all_active_24 + all_active_25 + all_active_26 + all_active_27 + all_active_28 + all_active_29 + all_active_30 + all_active_31 + all_active_32 + all_active_33 + all_active_3... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(all_active_10 + all_active_11 + all_active_12 + all_active_13 + all_active_14 + all_active_15 + all_active_16 + all_active_17 + all_active_18 + all_active_19 + all_active_20 + all_active_21 + all_active_22 + all_active_23 + all_active_24 + all_active_25 + all_active_26 + all_active_27 + all_active_28 + all_active_29 + all_active_30 + all_active_31 + all_active_32 + all_active_33 + all_active_3... (shortened)
lola: processed formula length: 633
lola: 0 rewrites
lola: closed formula file DatabaseWithMutex-PT-40-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: Structural Bound: 40
lola: SUBRESULT
lola: result: 40
lola: produced by: state space
lola: The maximum value of the given expression is 40
lola: 0 markings, 0 edges
FORMULA DatabaseWithMutex-PT-40-UpperBounds-6 40 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 840 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Active_27_10 + Active_15_31 + Active_15_32 + Active_27_11 + Active_27_12 + Active_15_33 + Active_15_34 + Active_27_13 + Active_15_35 + Active_27_14 + Active_27_15 + Active_15_36 + Active_27_16 + Active_15_37 + Active_15_38 + Active_27_17 + Active_27_18 + Active_15_39 + Active_27_19 + Active_15_40 + Active_27_20 + Active_27_21 + Active_27_22 + Active_27_23 + Active_27_24 + Active_27_25 + Active... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Active_27_10 + Active_15_31 + Active_15_32 + Active_27_11 + Active_27_12 + Active_15_33 + Active_15_34 + Active_27_13 + Active_15_35 + Active_27_14 + Active_27_15 + Active_15_36 + Active_27_16 + Active_15_37 + Active_15_38 + Active_27_17 + Active_27_18 + Active_15_39 + Active_27_19 + Active_15_40 + Active_27_20 + Active_27_21 + Active_27_22 + Active_27_23 + Active_27_24 + Active_27_25 + Active... (shortened)
lola: processed formula length: 23282
lola: 0 rewrites
lola: closed formula file DatabaseWithMutex-PT-40-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: Structural Bound: 40
lola: SUBRESULT
lola: result: 40
lola: produced by: state space
lola: The maximum value of the given expression is 40
lola: 121 markings, 120 edges
lola: ========================================
FORMULA DatabaseWithMutex-PT-40-UpperBounds-4 40 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1114 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(RecBuff_20_10 + RecBuff_20_11 + RecBuff_20_12 + RecBuff_20_13 + RecBuff_20_14 + RecBuff_20_15 + RecBuff_20_16 + RecBuff_20_17 + RecBuff_20_18 + RecBuff_20_19 + RecBuff_20_20 + RecBuff_20_21 + RecBuff_20_22 + RecBuff_20_23 + RecBuff_20_24 + RecBuff_20_25 + RecBuff_20_26 + RecBuff_20_27 + RecBuff_20_28 + RecBuff_20_29 + RecBuff_20_30 + RecBuff_32_10 + RecBuff_20_31 + RecBuff_32_11 + RecBuff_20_3... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(RecBuff_20_10 + RecBuff_20_11 + RecBuff_20_12 + RecBuff_20_13 + RecBuff_20_14 + RecBuff_20_15 + RecBuff_20_16 + RecBuff_20_17 + RecBuff_20_18 + RecBuff_20_19 + RecBuff_20_20 + RecBuff_20_21 + RecBuff_20_22 + RecBuff_20_23 + RecBuff_20_24 + RecBuff_20_25 + RecBuff_20_26 + RecBuff_20_27 + RecBuff_20_28 + RecBuff_20_29 + RecBuff_20_30 + RecBuff_32_10 + RecBuff_20_31 + RecBuff_32_11 + RecBuff_20_3... (shortened)
lola: processed formula length: 24882
lola: 0 rewrites
lola: closed formula file DatabaseWithMutex-PT-40-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 9231 markings, 9503 edges, 1846 markings/sec, 30 secs
lola: 19641 markings, 20135 edges, 2082 markings/sec, 35 secs
lola: 29932 markings, 30648 edges, 2058 markings/sec, 40 secs
lola: 40336 markings, 41193 edges, 2081 markings/sec, 45 secs
lola: 50620 markings, 51698 edges, 2057 markings/sec, 50 secs
lola: 61025 markings, 62245 edges, 2081 markings/sec, 55 secs
lola: 71302 markings, 72743 edges, 2055 markings/sec, 60 secs
lola: 81594 markings, 83176 edges, 2058 markings/sec, 65 secs
lola: 91957 markings, 93761 edges, 2073 markings/sec, 70 secs
lola: 102349 markings, 104374 edges, 2078 markings/sec, 75 secs
lola: 112758 markings, 114926 edges, 2082 markings/sec, 80 secs
lola: 123170 markings, 125559 edges, 2082 markings/sec, 85 secs
lola: 133576 markings, 136107 edges, 2081 markings/sec, 90 secs
lola: 143975 markings, 146728 edges, 2080 markings/sec, 95 secs
lola: 154293 markings, 157188 edges, 2064 markings/sec, 100 secs
lola: 164640 markings, 167757 edges, 2069 markings/sec, 105 secs
lola: 175082 markings, 178420 edges, 2088 markings/sec, 110 secs
lola: 185448 markings, 188927 edges, 2073 markings/sec, 115 secs
lola: 195818 markings, 199519 edges, 2074 markings/sec, 120 secs
lola: 206117 markings, 209959 edges, 2060 markings/sec, 125 secs
lola: 216405 markings, 220468 edges, 2058 markings/sec, 130 secs
lola: 226797 markings, 231078 edges, 2078 markings/sec, 135 secs
lola: 237146 markings, 241573 edges, 2070 markings/sec, 140 secs
lola: 247469 markings, 252116 edges, 2065 markings/sec, 145 secs
lola: 257923 markings, 262713 edges, 2091 markings/sec, 150 secs
lola: 267718 markings, 277866 edges, 1959 markings/sec, 155 secs
lola: 277534 markings, 292467 edges, 1963 markings/sec, 160 secs
lola: 287184 markings, 307793 edges, 1930 markings/sec, 165 secs
lola: 297360 markings, 318110 edges, 2035 markings/sec, 170 secs
lola: 307585 markings, 328557 edges, 2045 markings/sec, 175 secs
lola: 317813 markings, 338925 edges, 2046 markings/sec, 180 secs
lola: 328064 markings, 349396 edges, 2050 markings/sec, 185 secs
lola: 338296 markings, 359955 edges, 2046 markings/sec, 190 secs
lola: 348379 markings, 373271 edges, 2017 markings/sec, 195 secs
lola: 358835 markings, 383949 edges, 2091 markings/sec, 200 secs
lola: 369278 markings, 394534 edges, 2089 markings/sec, 205 secs
lola: 379663 markings, 405141 edges, 2077 markings/sec, 210 secs
lola: 390096 markings, 415717 edges, 2087 markings/sec, 215 secs
lola: 400448 markings, 426291 edges, 2070 markings/sec, 220 secs
lola: 410800 markings, 436863 edges, 2070 markings/sec, 225 secs
lola: 421317 markings, 447523 edges, 2103 markings/sec, 230 secs
lola: 431727 markings, 458154 edges, 2082 markings/sec, 235 secs
lola: 442069 markings, 468638 edges, 2068 markings/sec, 240 secs
lola: 452397 markings, 479187 edges, 2066 markings/sec, 245 secs
lola: 462827 markings, 489840 edges, 2086 markings/sec, 250 secs
lola: 473269 markings, 500424 edges, 2088 markings/sec, 255 secs
lola: 483675 markings, 511051 edges, 2081 markings/sec, 260 secs
lola: 494073 markings, 521591 edges, 2080 markings/sec, 265 secs
lola: 504457 markings, 532197 edges, 2077 markings/sec, 270 secs
lola: 514943 markings, 542825 edges, 2097 markings/sec, 275 secs
lola: 525406 markings, 553510 edges, 2093 markings/sec, 280 secs
lola: 535910 markings, 564236 edges, 2101 markings/sec, 285 secs
lola: 546302 markings, 574770 edges, 2078 markings/sec, 290 secs
lola: 556556 markings, 585245 edges, 2051 markings/sec, 295 secs
lola: 566974 markings, 595805 edges, 2084 markings/sec, 300 secs
lola: 577387 markings, 606440 edges, 2083 markings/sec, 305 secs
lola: 587722 markings, 616996 edges, 2067 markings/sec, 310 secs
lola: 598068 markings, 627485 edges, 2069 markings/sec, 315 secs
lola: 607959 markings, 640792 edges, 1978 markings/sec, 320 secs
lola: 618227 markings, 651202 edges, 2054 markings/sec, 325 secs
lola: 628527 markings, 661722 edges, 2060 markings/sec, 330 secs
lola: 638883 markings, 672220 edges, 2071 markings/sec, 335 secs
lola: 649242 markings, 682801 edges, 2072 markings/sec, 340 secs
lola: 659549 markings, 693249 edges, 2061 markings/sec, 345 secs
lola: 669674 markings, 703594 edges, 2025 markings/sec, 350 secs
lola: 679910 markings, 714051 edges, 2047 markings/sec, 355 secs
lola: 690286 markings, 724569 edges, 2075 markings/sec, 360 secs
lola: 700616 markings, 735121 edges, 2066 markings/sec, 365 secs
lola: 710931 markings, 745577 edges, 2063 markings/sec, 370 secs
lola: 721123 markings, 755990 edges, 2038 markings/sec, 375 secs
lola: 731413 markings, 766420 edges, 2058 markings/sec, 380 secs
lola: 741665 markings, 776893 edges, 2050 markings/sec, 385 secs
lola: 751934 markings, 787383 edges, 2054 markings/sec, 390 secs
lola: 762236 markings, 797827 edges, 2060 markings/sec, 395 secs
lola: 772522 markings, 808333 edges, 2057 markings/sec, 400 secs
lola: 782951 markings, 818904 edges, 2086 markings/sec, 405 secs
lola: 793430 markings, 829605 edges, 2096 markings/sec, 410 secs
lola: 803758 markings, 840075 edges, 2066 markings/sec, 415 secs
lola: 814044 markings, 850582 edges, 2057 markings/sec, 420 secs
lola: 824504 markings, 861264 edges, 2092 markings/sec, 425 secs
lola: 834738 markings, 871639 edges, 2047 markings/sec, 430 secs
lola: 845076 markings, 882198 edges, 2068 markings/sec, 435 secs
lola: 855374 markings, 892639 edges, 2060 markings/sec, 440 secs
lola: 865556 markings, 904197 edges, 2036 markings/sec, 445 secs
lola: 875611 markings, 916434 edges, 2011 markings/sec, 450 secs
lola: 885876 markings, 926920 edges, 2053 markings/sec, 455 secs
lola: 896094 markings, 937358 edges, 2044 markings/sec, 460 secs
lola: 906333 markings, 947739 edges, 2048 markings/sec, 465 secs
lola: 916520 markings, 958146 edges, 2037 markings/sec, 470 secs
lola: 926725 markings, 968493 edges, 2041 markings/sec, 475 secs
lola: 936908 markings, 978895 edges, 2037 markings/sec, 480 secs
lola: 947195 markings, 989323 edges, 2057 markings/sec, 485 secs
lola: 957474 markings, 999823 edges, 2056 markings/sec, 490 secs
lola: 967732 markings, 1010223 edges, 2052 markings/sec, 495 secs
lola: 977993 markings, 1020704 edges, 2052 markings/sec, 500 secs
lola: 988372 markings, 1031304 edges, 2076 markings/sec, 505 secs
lola: 998706 markings, 1041780 edges, 2067 markings/sec, 510 secs
lola: 1009070 markings, 1052366 edges, 2073 markings/sec, 515 secs
lola: 1019456 markings, 1062894 edges, 2077 markings/sec, 520 secs
lola: 1029755 markings, 1073414 edges, 2060 markings/sec, 525 secs
lola: 1040137 markings, 1083939 edges, 2076 markings/sec, 530 secs
lola: 1050555 markings, 1094577 edges, 2084 markings/sec, 535 secs
lola: 1060828 markings, 1105072 edges, 2055 markings/sec, 540 secs
lola: 1071078 markings, 1115462 edges, 2050 markings/sec, 545 secs
lola: 1081292 markings, 1125896 edges, 2043 markings/sec, 550 secs
lola: 1091472 markings, 1136217 edges, 2036 markings/sec, 555 secs
lola: 1101614 markings, 1146579 edges, 2028 markings/sec, 560 secs
lola: 1111800 markings, 1156906 edges, 2037 markings/sec, 565 secs
lola: 1121913 markings, 1167239 edges, 2023 markings/sec, 570 secs
lola: 1131854 markings, 1180276 edges, 1988 markings/sec, 575 secs
lola: 1142082 markings, 1190967 edges, 2046 markings/sec, 580 secs
lola: 1152301 markings, 1201407 edges, 2044 markings/sec, 585 secs
lola: 1162582 markings, 1211829 edges, 2056 markings/sec, 590 secs
lola: 1172849 markings, 1222316 edges, 2053 markings/sec, 595 secs
lola: 1183028 markings, 1232636 edges, 2036 markings/sec, 600 secs
lola: 1193217 markings, 1243046 edges, 2038 markings/sec, 605 secs
lola: 1203555 markings, 1253525 edges, 2068 markings/sec, 610 secs
lola: 1213882 markings, 1264074 edges, 2065 markings/sec, 615 secs
lola: 1224202 markings, 1274597 edges, 2064 markings/sec, 620 secs
lola: 1234476 markings, 1285030 edges, 2055 markings/sec, 625 secs
lola: 1244767 markings, 1295543 edges, 2058 markings/sec, 630 secs
lola: 1255090 markings, 1306007 edges, 2065 markings/sec, 635 secs
lola: 1265458 markings, 1316596 edges, 2074 markings/sec, 640 secs
lola: 1275811 markings, 1327091 edges, 2071 markings/sec, 645 secs
lola: 1286113 markings, 1337615 edges, 2060 markings/sec, 650 secs
lola: 1296405 markings, 1348115 edges, 2058 markings/sec, 655 secs
lola: 1306724 markings, 1358587 edges, 2064 markings/sec, 660 secs
lola: 1316999 markings, 1369083 edges, 2055 markings/sec, 665 secs
lola: 1327393 markings, 1379619 edges, 2079 markings/sec, 670 secs
lola: 1337573 markings, 1390019 edges, 2036 markings/sec, 675 secs
lola: 1347585 markings, 1400171 edges, 2002 markings/sec, 680 secs
lola: 1357824 markings, 1410631 edges, 2048 markings/sec, 685 secs
lola: 1368087 markings, 1421035 edges, 2053 markings/sec, 690 secs
lola: 1378290 markings, 1431458 edges, 2041 markings/sec, 695 secs
lola: 1388476 markings, 1441924 edges, 2037 markings/sec, 700 secs
lola: 1398340 markings, 1455067 edges, 1973 markings/sec, 705 secs
lola: 1408582 markings, 1465530 edges, 2048 markings/sec, 710 secs
lola: 1418786 markings, 1475874 edges, 2041 markings/sec, 715 secs
lola: 1428938 markings, 1486246 edges, 2030 markings/sec, 720 secs
lola: 1439262 markings, 1496712 edges, 2065 markings/sec, 725 secs
lola: 1449476 markings, 1507146 edges, 2043 markings/sec, 730 secs
lola: 1459774 markings, 1517586 edges, 2060 markings/sec, 735 secs
lola: 1470080 markings, 1528113 edges, 2061 markings/sec, 740 secs
lola: 1480402 markings, 1538656 edges, 2064 markings/sec, 745 secs
lola: 1490674 markings, 1549069 edges, 2054 markings/sec, 750 secs
lola: 1500959 markings, 1559575 edges, 2057 markings/sec, 755 secs
lola: 1511167 markings, 1569925 edges, 2042 markings/sec, 760 secs
lola: 1521521 markings, 1580499 edges, 2071 markings/sec, 765 secs
lola: 1531862 markings, 1590982 edges, 2068 markings/sec, 770 secs
lola: 1542275 markings, 1601617 edges, 2083 markings/sec, 775 secs
lola: 1552578 markings, 1612140 edges, 2061 markings/sec, 780 secs
lola: 1562712 markings, 1622415 edges, 2027 markings/sec, 785 secs
lola: 1572759 markings, 1632681 edges, 2009 markings/sec, 790 secs
lola: 1582905 markings, 1642968 edges, 2029 markings/sec, 795 secs
lola: 1592971 markings, 1653253 edges, 2013 markings/sec, 800 secs
lola: 1602952 markings, 1663374 edges, 1996 markings/sec, 805 secs
lola: 1612656 markings, 1673295 edges, 1941 markings/sec, 810 secs
lola: 1622372 markings, 1683150 edges, 1943 markings/sec, 815 secs
lola: 1632330 markings, 1693327 edges, 1992 markings/sec, 820 secs
lola: 1642486 markings, 1703623 edges, 2031 markings/sec, 825 secs
lola: 1652613 markings, 1714818 edges, 2025 markings/sec, 830 secs
lola: 1662589 markings, 1727285 edges, 1995 markings/sec, 835 secs
lola: 1672774 markings, 1737690 edges, 2037 markings/sec, 840 secs
lola: 1682902 markings, 1747958 edges, 2026 markings/sec, 845 secs
lola: 1693130 markings, 1758408 edges, 2046 markings/sec, 850 secs
lola: 1703297 markings, 1768746 edges, 2033 markings/sec, 855 secs
lola: 1713376 markings, 1779013 edges, 2016 markings/sec, 860 secs
lola: 1723610 markings, 1789468 edges, 2047 markings/sec, 865 secs
lola: 1733835 markings, 1799834 edges, 2045 markings/sec, 870 secs
lola: 1744067 markings, 1810286 edges, 2046 markings/sec, 875 secs
lola: 1754281 markings, 1820641 edges, 2043 markings/sec, 880 secs
lola: 1764382 markings, 1830963 edges, 2020 markings/sec, 885 secs
lola: 1774331 markings, 1841051 edges, 1990 markings/sec, 890 secs
lola: 1784216 markings, 1851155 edges, 1977 markings/sec, 895 secs
lola: 1794455 markings, 1861534 edges, 2048 markings/sec, 900 secs
lola: 1804712 markings, 1872012 edges, 2051 markings/sec, 905 secs
lola: 1815018 markings, 1882539 edges, 2061 markings/sec, 910 secs
lola: 1825325 markings, 1892988 edges, 2061 markings/sec, 915 secs
lola: 1835584 markings, 1903467 edges, 2052 markings/sec, 920 secs
lola: 1846006 markings, 1914032 edges, 2084 markings/sec, 925 secs
lola: 1856307 markings, 1924554 edges, 2060 markings/sec, 930 secs
lola: 1866597 markings, 1934985 edges, 2058 markings/sec, 935 secs
lola: 1876768 markings, 1945376 edges, 2034 markings/sec, 940 secs
lola: 1887115 markings, 1955903 edges, 2069 markings/sec, 945 secs
lola: 1897286 markings, 1966256 edges, 2034 markings/sec, 950 secs
lola: 1907580 markings, 1976771 edges, 2059 markings/sec, 955 secs
lola: 1917653 markings, 1989044 edges, 2015 markings/sec, 960 secs
lola: 1927747 markings, 2000497 edges, 2019 markings/sec, 965 secs
lola: 1937981 markings, 2010872 edges, 2047 markings/sec, 970 secs
lola: 1948187 markings, 2021298 edges, 2041 markings/sec, 975 secs
lola: 1958340 markings, 2031592 edges, 2031 markings/sec, 980 secs
lola: 1968651 markings, 2042125 edges, 2062 markings/sec, 985 secs
lola: 1978865 markings, 2052479 edges, 2043 markings/sec, 990 secs
lola: 1989192 markings, 2063027 edges, 2065 markings/sec, 995 secs
lola: 1999625 markings, 2073682 edges, 2087 markings/sec, 1000 secs
lola: 2010010 markings, 2084209 edges, 2077 markings/sec, 1005 secs
lola: 2020252 markings, 2094671 edges, 2048 markings/sec, 1010 secs
lola: 2030568 markings, 2105129 edges, 2063 markings/sec, 1015 secs
lola: 2040847 markings, 2115629 edges, 2056 markings/sec, 1020 secs
lola: 2051173 markings, 2126123 edges, 2065 markings/sec, 1025 secs
lola: 2061521 markings, 2136666 edges, 2070 markings/sec, 1030 secs
lola: 2071751 markings, 2147116 edges, 2046 markings/sec, 1035 secs
lola: 2082188 markings, 2157696 edges, 2087 markings/sec, 1040 secs
lola: 2092632 markings, 2168362 edges, 2089 markings/sec, 1045 secs
lola: 2103152 markings, 2179025 edges, 2104 markings/sec, 1050 secs
lola: 2113601 markings, 2189695 edges, 2090 markings/sec, 1055 secs
lola: 2123969 markings, 2200284 edges, 2074 markings/sec, 1060 secs
lola: 2134275 markings, 2210732 edges, 2061 markings/sec, 1065 secs
lola: 2144613 markings, 2221291 edges, 2068 markings/sec, 1070 secs
lola: 2155002 markings, 2231822 edges, 2078 markings/sec, 1075 secs
lola: 2165350 markings, 2242391 edges, 2070 markings/sec, 1080 secs
lola: 2175700 markings, 2252883 edges, 2070 markings/sec, 1085 secs
lola: 2185626 markings, 2266227 edges, 1985 markings/sec, 1090 secs
lola: 2195971 markings, 2276794 edges, 2069 markings/sec, 1095 secs
lola: 2206166 markings, 2287130 edges, 2039 markings/sec, 1100 secs
lola: 2216525 markings, 2297710 edges, 2072 markings/sec, 1105 secs
lola: local time limit reached - aborting
lola:
preliminary result: 40 unknown 40 unknown 40 40 40 unknown 1 1 1 1 1 1 1 1
lola: memory consumption: 3376092 KB
lola: time consumption: 1340 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 1114 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Acknowledge_19_20 + Acknowledge_19_21 + Acknowledge_19_22 + Acknowledge_19_23 + Acknowledge_19_24 + Acknowledge_19_25 + Acknowledge_19_26 + Acknowledge_19_27 + Acknowledge_19_28 + Acknowledge_19_29 + Acknowledge_19_30 + Acknowledge_19_31 + Acknowledge_19_32 + Acknowledge_19_33 + Acknowledge_19_34 + Acknowledge_19_35 + Acknowledge_19_36 + Acknowledge_19_37 + Acknowledge_19_38 + Acknowledge_19_3... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Acknowledge_19_20 + Acknowledge_19_21 + Acknowledge_19_22 + Acknowledge_19_23 + Acknowledge_19_24 + Acknowledge_19_25 + Acknowledge_19_26 + Acknowledge_19_27 + Acknowledge_19_28 + Acknowledge_19_29 + Acknowledge_19_30 + Acknowledge_19_31 + Acknowledge_19_32 + Acknowledge_19_33 + Acknowledge_19_34 + Acknowledge_19_35 + Acknowledge_19_36 + Acknowledge_19_37 + Acknowledge_19_38 + Acknowledge_19_3... (shortened)
lola: processed formula length: 31282
lola: 0 rewrites
lola: closed formula file DatabaseWithMutex-PT-40-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 1560
lola: 4305 markings, 5726 edges, 861 markings/sec, 25 secs
lola: 14053 markings, 21766 edges, 1950 markings/sec, 30 secs
lola: 24104 markings, 36659 edges, 2010 markings/sec, 35 secs
lola: 33774 markings, 52409 edges, 1934 markings/sec, 40 secs
lola: 43262 markings, 67605 edges, 1898 markings/sec, 45 secs
lola: 52861 markings, 83194 edges, 1920 markings/sec, 50 secs
lola: 62840 markings, 97162 edges, 1996 markings/sec, 55 secs
lola: 72015 markings, 114756 edges, 1835 markings/sec, 60 secs
lola: 80819 markings, 135501 edges, 1761 markings/sec, 65 secs
lola: 90646 markings, 149639 edges, 1965 markings/sec, 70 secs
lola: 100124 markings, 165062 edges, 1896 markings/sec, 75 secs
lola: 110090 markings, 178446 edges, 1993 markings/sec, 80 secs
lola: 119623 markings, 194162 edges, 1907 markings/sec, 85 secs
lola: 128668 markings, 210709 edges, 1809 markings/sec, 90 secs
lola: 138233 markings, 226560 edges, 1913 markings/sec, 95 secs
lola: 147821 markings, 241301 edges, 1918 markings/sec, 100 secs
lola: 157422 markings, 255466 edges, 1920 markings/sec, 105 secs
lola: 166463 markings, 273558 edges, 1808 markings/sec, 110 secs
lola: 176103 markings, 287951 edges, 1928 markings/sec, 115 secs
lola: 185303 markings, 304610 edges, 1840 markings/sec, 120 secs
lola: 195058 markings, 318505 edges, 1951 markings/sec, 125 secs
lola: 204741 markings, 332973 edges, 1937 markings/sec, 130 secs
lola: 214208 markings, 349692 edges, 1893 markings/sec, 135 secs
lola: 223181 markings, 369363 edges, 1795 markings/sec, 140 secs
lola: 232101 markings, 389140 edges, 1784 markings/sec, 145 secs
lola: 241547 markings, 405727 edges, 1889 markings/sec, 150 secs
lola: 250946 markings, 422675 edges, 1880 markings/sec, 155 secs
lola: 259965 markings, 441453 edges, 1804 markings/sec, 160 secs
lola: 269424 markings, 457452 edges, 1892 markings/sec, 165 secs
lola: 279250 markings, 471560 edges, 1965 markings/sec, 170 secs
lola: 288486 markings, 488921 edges, 1847 markings/sec, 175 secs
lola: 297908 markings, 504355 edges, 1884 markings/sec, 180 secs
lola: 307278 markings, 521248 edges, 1874 markings/sec, 185 secs
lola: 317229 markings, 534584 edges, 1990 markings/sec, 190 secs
lola: 326676 markings, 551923 edges, 1889 markings/sec, 195 secs
lola: 336299 markings, 567830 edges, 1925 markings/sec, 200 secs
lola: 345766 markings, 584868 edges, 1893 markings/sec, 205 secs
lola: 355139 markings, 602016 edges, 1875 markings/sec, 210 secs
lola: 364162 markings, 621183 edges, 1805 markings/sec, 215 secs
lola: 373367 markings, 637839 edges, 1841 markings/sec, 220 secs
lola: 382562 markings, 655523 edges, 1839 markings/sec, 225 secs
lola: 391670 markings, 674942 edges, 1822 markings/sec, 230 secs
lola: 400936 markings, 693710 edges, 1853 markings/sec, 235 secs
lola: 410312 markings, 711328 edges, 1875 markings/sec, 240 secs
lola: 419107 markings, 731993 edges, 1759 markings/sec, 245 secs
lola: 427659 markings, 753132 edges, 1710 markings/sec, 250 secs
lola: 436865 markings, 770977 edges, 1841 markings/sec, 255 secs
lola: 446161 markings, 786667 edges, 1859 markings/sec, 260 secs
lola: 455560 markings, 802860 edges, 1880 markings/sec, 265 secs
lola: 465217 markings, 816915 edges, 1931 markings/sec, 270 secs
lola: 474761 markings, 832021 edges, 1909 markings/sec, 275 secs
lola: 483665 markings, 851462 edges, 1781 markings/sec, 280 secs
lola: 493288 markings, 866785 edges, 1925 markings/sec, 285 secs
lola: 502900 markings, 882313 edges, 1922 markings/sec, 290 secs
lola: 512690 markings, 896992 edges, 1958 markings/sec, 295 secs
lola: 521788 markings, 915072 edges, 1820 markings/sec, 300 secs
lola: 531632 markings, 928616 edges, 1969 markings/sec, 305 secs
lola: 540997 markings, 943928 edges, 1873 markings/sec, 310 secs
lola: 550762 markings, 956986 edges, 1953 markings/sec, 315 secs
lola: 560071 markings, 972772 edges, 1862 markings/sec, 320 secs
lola: 569348 markings, 989476 edges, 1855 markings/sec, 325 secs
lola: 578721 markings, 1005175 edges, 1875 markings/sec, 330 secs
lola: 588180 markings, 1019671 edges, 1892 markings/sec, 335 secs
lola: 597620 markings, 1033551 edges, 1888 markings/sec, 340 secs
lola: 606451 markings, 1051412 edges, 1766 markings/sec, 345 secs
lola: 615905 markings, 1065346 edges, 1891 markings/sec, 350 secs
lola: 624907 markings, 1081657 edges, 1800 markings/sec, 355 secs
lola: 634344 markings, 1094987 edges, 1887 markings/sec, 360 secs
lola: 643729 markings, 1109244 edges, 1877 markings/sec, 365 secs
lola: 652882 markings, 1125235 edges, 1831 markings/sec, 370 secs
lola: 661675 markings, 1143220 edges, 1759 markings/sec, 375 secs
lola: 670414 markings, 1162959 edges, 1748 markings/sec, 380 secs
lola: 679507 markings, 1180933 edges, 1819 markings/sec, 385 secs
lola: 688765 markings, 1196783 edges, 1852 markings/sec, 390 secs
lola: 697832 markings, 1214177 edges, 1813 markings/sec, 395 secs
lola: 706995 markings, 1229997 edges, 1833 markings/sec, 400 secs
lola: 716164 markings, 1245796 edges, 1834 markings/sec, 405 secs
lola: 725655 markings, 1260229 edges, 1898 markings/sec, 410 secs
lola: 734726 markings, 1277414 edges, 1814 markings/sec, 415 secs
lola: 744026 markings, 1293054 edges, 1860 markings/sec, 420 secs
lola: 753367 markings, 1307466 edges, 1868 markings/sec, 425 secs
lola: 762877 markings, 1321352 edges, 1902 markings/sec, 430 secs
lola: 771879 markings, 1338834 edges, 1800 markings/sec, 435 secs
lola: 781224 markings, 1354803 edges, 1869 markings/sec, 440 secs
lola: 790578 markings, 1370193 edges, 1871 markings/sec, 445 secs
lola: 799328 markings, 1389417 edges, 1750 markings/sec, 450 secs
lola: 808434 markings, 1406493 edges, 1821 markings/sec, 455 secs
lola: 817453 markings, 1422462 edges, 1804 markings/sec, 460 secs
lola: 826222 markings, 1441000 edges, 1754 markings/sec, 465 secs
lola: 835069 markings, 1459470 edges, 1769 markings/sec, 470 secs
lola: 843969 markings, 1477867 edges, 1780 markings/sec, 475 secs
lola: 853029 markings, 1494519 edges, 1812 markings/sec, 480 secs
lola: 861465 markings, 1514630 edges, 1687 markings/sec, 485 secs
lola: 869903 markings, 1536555 edges, 1688 markings/sec, 490 secs
lola: 879041 markings, 1552833 edges, 1828 markings/sec, 495 secs
lola: 887984 markings, 1568035 edges, 1789 markings/sec, 500 secs
lola: 897167 markings, 1583151 edges, 1837 markings/sec, 505 secs
lola: 906760 markings, 1596236 edges, 1919 markings/sec, 510 secs
lola: 915935 markings, 1612107 edges, 1835 markings/sec, 515 secs
lola: 924459 markings, 1629995 edges, 1705 markings/sec, 520 secs
lola: 933877 markings, 1645434 edges, 1884 markings/sec, 525 secs
lola: 943222 markings, 1660495 edges, 1869 markings/sec, 530 secs
lola: 952726 markings, 1674659 edges, 1901 markings/sec, 535 secs
lola: 961518 markings, 1692266 edges, 1758 markings/sec, 540 secs
lola: 970975 markings, 1705524 edges, 1891 markings/sec, 545 secs
lola: 980206 markings, 1720622 edges, 1846 markings/sec, 550 secs
lola: 989835 markings, 1733544 edges, 1926 markings/sec, 555 secs
lola: 999212 markings, 1748281 edges, 1875 markings/sec, 560 secs
lola: 1008172 markings, 1765312 edges, 1792 markings/sec, 565 secs
lola: 1017371 markings, 1780810 edges, 1840 markings/sec, 570 secs
lola: 1026570 markings, 1795414 edges, 1840 markings/sec, 575 secs
lola: 1035816 markings, 1808392 edges, 1849 markings/sec, 580 secs
lola: 1044542 markings, 1825027 edges, 1745 markings/sec, 585 secs
lola: 1053530 markings, 1839251 edges, 1798 markings/sec, 590 secs
lola: 1062479 markings, 1854996 edges, 1790 markings/sec, 595 secs
lola: 1071646 markings, 1868368 edges, 1833 markings/sec, 600 secs
lola: 1080677 markings, 1882357 edges, 1806 markings/sec, 605 secs
lola: 1089712 markings, 1896979 edges, 1807 markings/sec, 610 secs
lola: 1098544 markings, 1913471 edges, 1766 markings/sec, 615 secs
lola: 1106879 markings, 1932634 edges, 1667 markings/sec, 620 secs
lola: 1115400 markings, 1951282 edges, 1704 markings/sec, 625 secs
lola: 1124567 markings, 1966305 edges, 1833 markings/sec, 630 secs
lola: 1133384 markings, 1982518 edges, 1763 markings/sec, 635 secs
lola: 1142115 markings, 1999486 edges, 1746 markings/sec, 640 secs
lola: 1151011 markings, 2015844 edges, 1779 markings/sec, 645 secs
lola: 1160419 markings, 2028978 edges, 1882 markings/sec, 650 secs
lola: 1169219 markings, 2045926 edges, 1760 markings/sec, 655 secs
lola: 1178395 markings, 2060538 edges, 1835 markings/sec, 660 secs
lola: 1187243 markings, 2076646 edges, 1770 markings/sec, 665 secs
lola: 1196764 markings, 2089472 edges, 1904 markings/sec, 670 secs
lola: 1205786 markings, 2105084 edges, 1804 markings/sec, 675 secs
lola: 1214621 markings, 2120505 edges, 1767 markings/sec, 680 secs
lola: 1223650 markings, 2136433 edges, 1806 markings/sec, 685 secs
lola: 1232561 markings, 2152256 edges, 1782 markings/sec, 690 secs
lola: 1241104 markings, 2170981 edges, 1709 markings/sec, 695 secs
lola: 1249970 markings, 2186726 edges, 1773 markings/sec, 700 secs
lola: 1258887 markings, 2202779 edges, 1783 markings/sec, 705 secs
lola: 1267293 markings, 2220829 edges, 1681 markings/sec, 710 secs
lola: 1276037 markings, 2239230 edges, 1749 markings/sec, 715 secs
lola: 1284734 markings, 2257055 edges, 1739 markings/sec, 720 secs
lola: 1293605 markings, 2273705 edges, 1774 markings/sec, 725 secs
lola: 1301991 markings, 2293266 edges, 1677 markings/sec, 730 secs
lola: 1310157 markings, 2314669 edges, 1633 markings/sec, 735 secs
lola: 1319056 markings, 2330473 edges, 1780 markings/sec, 740 secs
lola: 1328232 markings, 2345741 edges, 1835 markings/sec, 745 secs
lola: 1337565 markings, 2360865 edges, 1867 markings/sec, 750 secs
lola: 1347211 markings, 2374768 edges, 1929 markings/sec, 755 secs
lola: 1356216 markings, 2390947 edges, 1801 markings/sec, 760 secs
lola: 1365585 markings, 2405013 edges, 1874 markings/sec, 765 secs
lola: 1374871 markings, 2418815 edges, 1857 markings/sec, 770 secs
lola: 1383774 markings, 2435931 edges, 1781 markings/sec, 775 secs
lola: 1393031 markings, 2450645 edges, 1851 markings/sec, 780 secs
lola: 1402436 markings, 2463747 edges, 1881 markings/sec, 785 secs
lola: 1411552 markings, 2479634 edges, 1823 markings/sec, 790 secs
lola: 1420836 markings, 2494394 edges, 1857 markings/sec, 795 secs
lola: 1430203 markings, 2508245 edges, 1873 markings/sec, 800 secs
lola: 1439225 markings, 2524563 edges, 1804 markings/sec, 805 secs
lola: 1448149 markings, 2540993 edges, 1785 markings/sec, 810 secs
lola: 1456821 markings, 2559258 edges, 1734 markings/sec, 815 secs
lola: 1465674 markings, 2576330 edges, 1771 markings/sec, 820 secs
lola: 1475175 markings, 2591425 edges, 1900 markings/sec, 825 secs
lola: 1484593 markings, 2606963 edges, 1884 markings/sec, 830 secs
lola: 1494328 markings, 2621159 edges, 1947 markings/sec, 835 secs
lola: 1503313 markings, 2639674 edges, 1797 markings/sec, 840 secs
lola: 1511747 markings, 2660279 edges, 1687 markings/sec, 845 secs
lola: 1520226 markings, 2681052 edges, 1696 markings/sec, 850 secs
lola: 1528934 markings, 2700196 edges, 1742 markings/sec, 855 secs
lola: 1537563 markings, 2719619 edges, 1726 markings/sec, 860 secs
lola: 1545988 markings, 2740668 edges, 1685 markings/sec, 865 secs
lola: 1555175 markings, 2757138 edges, 1837 markings/sec, 870 secs
lola: 1564494 markings, 2772578 edges, 1864 markings/sec, 875 secs
lola: 1573903 markings, 2788012 edges, 1882 markings/sec, 880 secs
lola: 1583365 markings, 2803981 edges, 1892 markings/sec, 885 secs
lola: 1593087 markings, 2817993 edges, 1944 markings/sec, 890 secs
lola: 1602139 markings, 2835877 edges, 1810 markings/sec, 895 secs
lola: 1611657 markings, 2851005 edges, 1904 markings/sec, 900 secs
lola: 1621059 markings, 2867231 edges, 1880 markings/sec, 905 secs
lola: 1630344 markings, 2883206 edges, 1857 markings/sec, 910 secs
lola: 1639680 markings, 2898635 edges, 1867 markings/sec, 915 secs
lola: 1648371 markings, 2919516 edges, 1738 markings/sec, 920 secs
lola: 1657710 markings, 2935508 edges, 1868 markings/sec, 925 secs
lola: 1666334 markings, 2954732 edges, 1725 markings/sec, 930 secs
lola: 1675946 markings, 2968097 edges, 1922 markings/sec, 935 secs
lola: 1685270 markings, 2983190 edges, 1865 markings/sec, 940 secs
lola: 1694245 markings, 2999724 edges, 1795 markings/sec, 945 secs
lola: 1703309 markings, 3015557 edges, 1813 markings/sec, 950 secs
lola: 1712392 markings, 3031658 edges, 1817 markings/sec, 955 secs
lola: 1721459 markings, 3048156 edges, 1813 markings/sec, 960 secs
lola: 1730490 markings, 3064386 edges, 1806 markings/sec, 965 secs
lola: 1739076 markings, 3083229 edges, 1717 markings/sec, 970 secs
lola: 1747606 markings, 3102101 edges, 1706 markings/sec, 975 secs
lola: 1756741 markings, 3117729 edges, 1827 markings/sec, 980 secs
lola: 1765606 markings, 3135550 edges, 1773 markings/sec, 985 secs
lola: 1774933 markings, 3149815 edges, 1865 markings/sec, 990 secs
lola: 1784150 markings, 3166815 edges, 1843 markings/sec, 995 secs
lola: 1793275 markings, 3184139 edges, 1825 markings/sec, 1000 secs
lola: 1802349 markings, 3201685 edges, 1815 markings/sec, 1005 secs
lola: 1811911 markings, 3215750 edges, 1912 markings/sec, 1010 secs
lola: 1821024 markings, 3233351 edges, 1823 markings/sec, 1015 secs
lola: 1830377 markings, 3249341 edges, 1871 markings/sec, 1020 secs
lola: 1839652 markings, 3264600 edges, 1855 markings/sec, 1025 secs
lola: 1848299 markings, 3283779 edges, 1729 markings/sec, 1030 secs
lola: 1856960 markings, 3302563 edges, 1732 markings/sec, 1035 secs
lola: 1865041 markings, 3324525 edges, 1616 markings/sec, 1040 secs
lola: 1873716 markings, 3343185 edges, 1735 markings/sec, 1045 secs
lola: 1882178 markings, 3362930 edges, 1692 markings/sec, 1050 secs
lola: 1890511 markings, 3384303 edges, 1667 markings/sec, 1055 secs
lola: 1899420 markings, 3401006 edges, 1782 markings/sec, 1060 secs
lola: 1908767 markings, 3416998 edges, 1869 markings/sec, 1065 secs
lola: 1917655 markings, 3435269 edges, 1778 markings/sec, 1070 secs
lola: 1926780 markings, 3451857 edges, 1825 markings/sec, 1075 secs
lola: 1935669 markings, 3470234 edges, 1778 markings/sec, 1080 secs
lola: 1944901 markings, 3486270 edges, 1846 markings/sec, 1085 secs
lola: 1954410 markings, 3500030 edges, 1902 markings/sec, 1090 secs
lola: 1963914 markings, 3514060 edges, 1901 markings/sec, 1095 secs
lola: 1973043 markings, 3530429 edges, 1826 markings/sec, 1100 secs
lola: 1982651 markings, 3543823 edges, 1922 markings/sec, 1105 secs
lola: local time limit reached - aborting
lola:
preliminary result: 40 unknown 40 unknown 40 40 40 unknown 1 1 1 1 1 1 1 1
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1114 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Acknowledge_19_20 + Acknowledge_19_21 + Acknowledge_19_22 + Acknowledge_19_23 + Acknowledge_19_24 + Acknowledge_19_25 + Acknowledge_19_26 + Acknowledge_19_27 + Acknowledge_19_28 + Acknowledge_19_29 + Acknowledge_19_30 + Acknowledge_19_31 + Acknowledge_19_32 + Acknowledge_19_33 + Acknowledge_19_34 + Acknowledge_19_35 + Acknowledge_19_36 + Acknowledge_19_37 + Acknowledge_19_38 + Acknowledge_19_3... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Acknowledge_19_20 + Acknowledge_19_21 + Acknowledge_19_22 + Acknowledge_19_23 + Acknowledge_19_24 + Acknowledge_19_25 + Acknowledge_19_26 + Acknowledge_19_27 + Acknowledge_19_28 + Acknowledge_19_29 + Acknowledge_19_30 + Acknowledge_19_31 + Acknowledge_19_32 + Acknowledge_19_33 + Acknowledge_19_34 + Acknowledge_19_35 + Acknowledge_19_36 + Acknowledge_19_37 + Acknowledge_19_38 + Acknowledge_19_3... (shortened)
lola: processed formula length: 31282
lola: 0 rewrites
lola: closed formula file DatabaseWithMutex-PT-40-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 1560
lola: 3633 markings, 4907 edges, 727 markings/sec, 25 secs
lola: 13351 markings, 20996 edges, 1944 markings/sec, 30 secs
lola: 23480 markings, 35552 edges, 2026 markings/sec, 35 secs
lola: 33273 markings, 51129 edges, 1959 markings/sec, 40 secs
lola: 42840 markings, 66809 edges, 1913 markings/sec, 45 secs
lola: 52405 markings, 82407 edges, 1913 markings/sec, 50 secs
lola: 62362 markings, 96559 edges, 1991 markings/sec, 55 secs
lola: 71651 markings, 113879 edges, 1858 markings/sec, 60 secs
lola: 80443 markings, 134858 edges, 1758 markings/sec, 65 secs
lola: 90261 markings, 149253 edges, 1964 markings/sec, 70 secs
lola: 99810 markings, 164744 edges, 1910 markings/sec, 75 secs
lola: 109703 markings, 177934 edges, 1979 markings/sec, 80 secs
lola: 119326 markings, 193330 edges, 1925 markings/sec, 85 secs
lola: 128639 markings, 210658 edges, 1863 markings/sec, 90 secs
lola: 138247 markings, 226586 edges, 1922 markings/sec, 95 secs
lola: 147853 markings, 241349 edges, 1921 markings/sec, 100 secs
lola: 157471 markings, 255543 edges, 1924 markings/sec, 105 secs
lola: 166461 markings, 273556 edges, 1798 markings/sec, 110 secs
lola: 176110 markings, 287962 edges, 1930 markings/sec, 115 secs
lola: 185382 markings, 304750 edges, 1854 markings/sec, 120 secs
lola: 194929 markings, 318277 edges, 1909 markings/sec, 125 secs
lola: 204603 markings, 332835 edges, 1935 markings/sec, 130 secs
lola: 213976 markings, 349107 edges, 1875 markings/sec, 135 secs
lola: 222880 markings, 368645 edges, 1781 markings/sec, 140 secs
lola: 231628 markings, 388269 edges, 1750 markings/sec, 145 secs
lola: 240963 markings, 404782 edges, 1867 markings/sec, 150 secs
lola: 250283 markings, 421702 edges, 1864 markings/sec, 155 secs
lola: 259235 markings, 440188 edges, 1790 markings/sec, 160 secs
lola: 268660 markings, 456102 edges, 1885 markings/sec, 165 secs
lola: 278285 markings, 470426 edges, 1925 markings/sec, 170 secs
lola: 287559 markings, 486672 edges, 1855 markings/sec, 175 secs
lola: 296939 markings, 502733 edges, 1876 markings/sec, 180 secs
lola: 305986 markings, 518897 edges, 1809 markings/sec, 185 secs
lola: 315608 markings, 532712 edges, 1924 markings/sec, 190 secs
lola: 325079 markings, 548428 edges, 1894 markings/sec, 195 secs
lola: 334322 markings, 564726 edges, 1849 markings/sec, 200 secs
lola: 343536 markings, 580880 edges, 1843 markings/sec, 205 secs
lola: 352753 markings, 597430 edges, 1843 markings/sec, 210 secs
lola: 361473 markings, 616395 edges, 1744 markings/sec, 215 secs
lola: 370609 markings, 632939 edges, 1827 markings/sec, 220 secs
lola: 379779 markings, 649418 edges, 1834 markings/sec, 225 secs
lola: 388566 markings, 668920 edges, 1757 markings/sec, 230 secs
lola: 397415 markings, 687125 edges, 1770 markings/sec, 235 secs
lola: 406695 markings, 705040 edges, 1856 markings/sec, 240 secs
lola: 415570 markings, 723956 edges, 1775 markings/sec, 245 secs
lola: 424275 markings, 743522 edges, 1741 markings/sec, 250 secs
lola: 432950 markings, 763932 edges, 1735 markings/sec, 255 secs
lola: 442161 markings, 780365 edges, 1842 markings/sec, 260 secs
lola: 451514 markings, 795303 edges, 1871 markings/sec, 265 secs
lola: 460815 markings, 810923 edges, 1860 markings/sec, 270 secs
lola: 470447 markings, 824597 edges, 1926 markings/sec, 275 secs
lola: 479366 markings, 842321 edges, 1784 markings/sec, 280 secs
lola: 488359 markings, 859433 edges, 1799 markings/sec, 285 secs
lola: 497880 markings, 875421 edges, 1904 markings/sec, 290 secs
lola: 507674 markings, 888674 edges, 1959 markings/sec, 295 secs
lola: 517100 markings, 905140 edges, 1885 markings/sec, 300 secs
lola: 526312 markings, 921502 edges, 1842 markings/sec, 305 secs
lola: 535977 markings, 935235 edges, 1933 markings/sec, 310 secs
lola: 545418 markings, 950078 edges, 1888 markings/sec, 315 secs
lola: 555066 markings, 963994 edges, 1930 markings/sec, 320 secs
lola: 564159 markings, 982031 edges, 1819 markings/sec, 325 secs
lola: 573843 markings, 996251 edges, 1937 markings/sec, 330 secs
lola: 583107 markings, 1012989 edges, 1853 markings/sec, 335 secs
lola: 592602 markings, 1025605 edges, 1899 markings/sec, 340 secs
lola: 601836 markings, 1041344 edges, 1847 markings/sec, 345 secs
lola: 610940 markings, 1057749 edges, 1821 markings/sec, 350 secs
lola: 620266 markings, 1073351 edges, 1865 markings/sec, 355 secs
lola: 629555 markings, 1088067 edges, 1858 markings/sec, 360 secs
lola: 639036 markings, 1101947 edges, 1896 markings/sec, 365 secs
lola: 648457 markings, 1116907 edges, 1884 markings/sec, 370 secs
lola: 657573 markings, 1133908 edges, 1823 markings/sec, 375 secs
lola: 666272 markings, 1153490 edges, 1740 markings/sec, 380 secs
lola: 674982 markings, 1172492 edges, 1742 markings/sec, 385 secs
lola: 684328 markings, 1188232 edges, 1869 markings/sec, 390 secs
lola: 693496 markings, 1205039 edges, 1834 markings/sec, 395 secs
lola: 702374 markings, 1222239 edges, 1776 markings/sec, 400 secs
lola: 711403 markings, 1239146 edges, 1806 markings/sec, 405 secs
lola: 721061 markings, 1252454 edges, 1932 markings/sec, 410 secs
lola: 730043 markings, 1270350 edges, 1796 markings/sec, 415 secs
lola: 739462 markings, 1284204 edges, 1884 markings/sec, 420 secs
lola: 748471 markings, 1300882 edges, 1802 markings/sec, 425 secs
lola: 758232 markings, 1313697 edges, 1952 markings/sec, 430 secs
lola: 767435 markings, 1331419 edges, 1841 markings/sec, 435 secs
lola: 776922 markings, 1346544 edges, 1897 markings/sec, 440 secs
lola: 786181 markings, 1363216 edges, 1852 markings/sec, 445 secs
lola: 795342 markings, 1380120 edges, 1832 markings/sec, 450 secs
lola: 804303 markings, 1399173 edges, 1792 markings/sec, 455 secs
lola: 813400 markings, 1415664 edges, 1819 markings/sec, 460 secs
lola: 822429 markings, 1432940 edges, 1806 markings/sec, 465 secs
lola: 831275 markings, 1452064 edges, 1769 markings/sec, 470 secs
lola: 840393 markings, 1470236 edges, 1824 markings/sec, 475 secs
lola: 849626 markings, 1487888 edges, 1847 markings/sec, 480 secs
lola: 858235 markings, 1507944 edges, 1722 markings/sec, 485 secs
lola: 866786 markings, 1528427 edges, 1710 markings/sec, 490 secs
lola: 875792 markings, 1546573 edges, 1801 markings/sec, 495 secs
lola: 884946 markings, 1562077 edges, 1831 markings/sec, 500 secs
lola: 894077 markings, 1577588 edges, 1826 markings/sec, 505 secs
lola: 903335 markings, 1592177 edges, 1852 markings/sec, 510 secs
lola: 912707 markings, 1606070 edges, 1874 markings/sec, 515 secs
lola: 921302 markings, 1625467 edges, 1719 markings/sec, 520 secs
lola: 930619 markings, 1640558 edges, 1863 markings/sec, 525 secs
lola: 940019 markings, 1655813 edges, 1880 markings/sec, 530 secs
lola: 949771 markings, 1669567 edges, 1950 markings/sec, 535 secs
lola: 958917 markings, 1686605 edges, 1829 markings/sec, 540 secs
lola: 968135 markings, 1701603 edges, 1844 markings/sec, 545 secs
lola: 977517 markings, 1715702 edges, 1876 markings/sec, 550 secs
lola: 986853 markings, 1729481 edges, 1867 markings/sec, 555 secs
lola: 996461 markings, 1743426 edges, 1922 markings/sec, 560 secs
lola: 1005447 markings, 1761344 edges, 1797 markings/sec, 565 secs
lola: 1014882 markings, 1775703 edges, 1887 markings/sec, 570 secs
lola: 1023941 markings, 1792104 edges, 1812 markings/sec, 575 secs
lola: 1033515 markings, 1804343 edges, 1915 markings/sec, 580 secs
lola: 1042649 markings, 1820583 edges, 1827 markings/sec, 585 secs
lola: 1051793 markings, 1836310 edges, 1829 markings/sec, 590 secs
lola: 1060746 markings, 1851812 edges, 1791 markings/sec, 595 secs
lola: 1069896 markings, 1866144 edges, 1830 markings/sec, 600 secs
lola: 1079142 markings, 1879746 edges, 1849 markings/sec, 605 secs
lola: 1088385 markings, 1894392 edges, 1849 markings/sec, 610 secs
lola: 1097327 markings, 1911090 edges, 1788 markings/sec, 615 secs
lola: 1105866 markings, 1930352 edges, 1708 markings/sec, 620 secs
lola: 1114443 markings, 1948830 edges, 1715 markings/sec, 625 secs
lola: 1123551 markings, 1964499 edges, 1822 markings/sec, 630 secs
lola: 1132581 markings, 1981063 edges, 1806 markings/sec, 635 secs
lola: 1141462 markings, 1998704 edges, 1776 markings/sec, 640 secs
lola: 1150443 markings, 2014614 edges, 1796 markings/sec, 645 secs
lola: 1159825 markings, 2027808 edges, 1876 markings/sec, 650 secs
lola: 1168787 markings, 2044916 edges, 1792 markings/sec, 655 secs
lola: 1177999 markings, 2059876 edges, 1842 markings/sec, 660 secs
lola: 1186994 markings, 2076285 edges, 1799 markings/sec, 665 secs
lola: 1196592 markings, 2089300 edges, 1920 markings/sec, 670 secs
lola: 1205858 markings, 2105266 edges, 1853 markings/sec, 675 secs
lola: 1215031 markings, 2121036 edges, 1835 markings/sec, 680 secs
lola: 1224179 markings, 2137376 edges, 1830 markings/sec, 685 secs
lola: 1233149 markings, 2153508 edges, 1794 markings/sec, 690 secs
lola: 1241736 markings, 2172215 edges, 1717 markings/sec, 695 secs
lola: 1250706 markings, 2188434 edges, 1794 markings/sec, 700 secs
lola: 1259652 markings, 2204431 edges, 1789 markings/sec, 705 secs
lola: 1268303 markings, 2223491 edges, 1730 markings/sec, 710 secs
lola: 1277047 markings, 2241605 edges, 1749 markings/sec, 715 secs
lola: 1286015 markings, 2258956 edges, 1794 markings/sec, 720 secs
lola: 1294839 markings, 2276812 edges, 1765 markings/sec, 725 secs
lola: 1303306 markings, 2296325 edges, 1693 markings/sec, 730 secs
lola: 1311562 markings, 2317234 edges, 1651 markings/sec, 735 secs
lola: 1320496 markings, 2333485 edges, 1787 markings/sec, 740 secs
lola: 1329878 markings, 2348123 edges, 1876 markings/sec, 745 secs
lola: 1339162 markings, 2363563 edges, 1857 markings/sec, 750 secs
lola: 1348786 markings, 2376981 edges, 1925 markings/sec, 755 secs
lola: 1357879 markings, 2394167 edges, 1819 markings/sec, 760 secs
lola: 1367359 markings, 2407898 edges, 1896 markings/sec, 765 secs
lola: 1376644 markings, 2422040 edges, 1857 markings/sec, 770 secs
lola: 1385596 markings, 2439412 edges, 1790 markings/sec, 775 secs
lola: 1395089 markings, 2453019 edges, 1899 markings/sec, 780 secs
lola: 1404520 markings, 2466690 edges, 1886 markings/sec, 785 secs
lola: 1413559 markings, 2483433 edges, 1808 markings/sec, 790 secs
lola: 1422967 markings, 2497872 edges, 1882 markings/sec, 795 secs
lola: 1432341 markings, 2512109 edges, 1875 markings/sec, 800 secs
lola: 1441441 markings, 2528359 edges, 1820 markings/sec, 805 secs
lola: 1450560 markings, 2544879 edges, 1824 markings/sec, 810 secs
lola: 1459281 markings, 2563628 edges, 1744 markings/sec, 815 secs
lola: 1468481 markings, 2580410 edges, 1840 markings/sec, 820 secs
lola: 1477862 markings, 2596315 edges, 1876 markings/sec, 825 secs
lola: 1487508 markings, 2611231 edges, 1929 markings/sec, 830 secs
lola: 1497123 markings, 2625759 edges, 1923 markings/sec, 835 secs
lola: 1505814 markings, 2645805 edges, 1738 markings/sec, 840 secs
lola: 1514386 markings, 2666266 edges, 1714 markings/sec, 845 secs
lola: 1523042 markings, 2686927 edges, 1731 markings/sec, 850 secs
lola: 1531879 markings, 2706154 edges, 1767 markings/sec, 855 secs
lola: 1540377 markings, 2727361 edges, 1700 markings/sec, 860 secs
lola: 1549158 markings, 2746199 edges, 1756 markings/sec, 865 secs
lola: 1558407 markings, 2762350 edges, 1850 markings/sec, 870 secs
lola: 1567664 markings, 2777586 edges, 1851 markings/sec, 875 secs
lola: 1576916 markings, 2794106 edges, 1850 markings/sec, 880 secs
lola: 1586526 markings, 2808177 edges, 1922 markings/sec, 885 secs
lola: 1596003 markings, 2823638 edges, 1895 markings/sec, 890 secs
lola: 1605126 markings, 2840469 edges, 1825 markings/sec, 895 secs
lola: 1614571 markings, 2856112 edges, 1889 markings/sec, 900 secs
lola: 1623899 markings, 2871837 edges, 1866 markings/sec, 905 secs
lola: 1633171 markings, 2887794 edges, 1854 markings/sec, 910 secs
lola: 1642362 markings, 2904664 edges, 1838 markings/sec, 915 secs
lola: 1651224 markings, 2923928 edges, 1772 markings/sec, 920 secs
lola: 1660450 markings, 2941148 edges, 1845 markings/sec, 925 secs
lola: 1669368 markings, 2958773 edges, 1784 markings/sec, 930 secs
lola: 1678767 markings, 2972737 edges, 1880 markings/sec, 935 secs
lola: 1688229 markings, 2987016 edges, 1892 markings/sec, 940 secs
lola: 1696938 markings, 3004949 edges, 1742 markings/sec, 945 secs
lola: 1705974 markings, 3021694 edges, 1807 markings/sec, 950 secs
lola: 1715256 markings, 3035923 edges, 1856 markings/sec, 955 secs
lola: 1724221 markings, 3053110 edges, 1793 markings/sec, 960 secs
lola: 1733252 markings, 3069370 edges, 1806 markings/sec, 965 secs
lola: 1741804 markings, 3089351 edges, 1710 markings/sec, 970 secs
lola: 1750712 markings, 3107034 edges, 1782 markings/sec, 975 secs
lola: 1759889 markings, 3122723 edges, 1835 markings/sec, 980 secs
lola: 1768700 markings, 3140630 edges, 1762 markings/sec, 985 secs
lola: 1778170 markings, 3154797 edges, 1894 markings/sec, 990 secs
lola: 1787240 markings, 3172719 edges, 1814 markings/sec, 995 secs
lola: 1796199 markings, 3190868 edges, 1792 markings/sec, 1000 secs
lola: 1805668 markings, 3205891 edges, 1894 markings/sec, 1005 secs
lola: 1814960 markings, 3222220 edges, 1858 markings/sec, 1010 secs
lola: 1824265 markings, 3238118 edges, 1861 markings/sec, 1015 secs
lola: 1833535 markings, 3254752 edges, 1854 markings/sec, 1020 secs
lola: 1842555 markings, 3271009 edges, 1804 markings/sec, 1025 secs
lola: 1851326 markings, 3290042 edges, 1754 markings/sec, 1030 secs
lola: 1859784 markings, 3310717 edges, 1692 markings/sec, 1035 secs
lola: 1868119 markings, 3331052 edges, 1667 markings/sec, 1040 secs
lola: 1876748 markings, 3349702 edges, 1726 markings/sec, 1045 secs
lola: 1885226 markings, 3370257 edges, 1696 markings/sec, 1050 secs
lola: 1893744 markings, 3390384 edges, 1704 markings/sec, 1055 secs
lola: 1902853 markings, 3406755 edges, 1822 markings/sec, 1060 secs
lola: 1912184 markings, 3423174 edges, 1866 markings/sec, 1065 secs
lola: 1921173 markings, 3441019 edges, 1798 markings/sec, 1070 secs
lola: 1930048 markings, 3458852 edges, 1775 markings/sec, 1075 secs
lola: 1938810 markings, 3477592 edges, 1752 markings/sec, 1080 secs
lola: 1948396 markings, 3491058 edges, 1917 markings/sec, 1085 secs
lola: 1957910 markings, 3505139 edges, 1903 markings/sec, 1090 secs
lola: 1967155 markings, 3520860 edges, 1849 markings/sec, 1095 secs
lola: 1976595 markings, 3535732 edges, 1888 markings/sec, 1100 secs
lola: 1986151 markings, 3549789 edges, 1911 markings/sec, 1105 secs
lola: local time limit reached - aborting
lola:
preliminary result: 40 unknown 40 unknown 40 40 40 unknown 1 1 1 1 1 1 1 1
lola: time limit reached - aborting
lola:
preliminary result: 40 unknown 40 unknown 40 40 40 unknown 1 1 1 1 1 1 1 1
lola:
preliminary result: 40 unknown 40 unknown 40 40 40 unknown 1 1 1 1 1 1 1 1
lola: memory consumption: 65536 KB
lola: time consumption: 3570 seconds
BK_STOP 1554388408469
--------------------
content from stderr:
grep: GenericPropertiesVerdict.xml: No such file or directory
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="DatabaseWithMutex-PT-40"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# 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-3954"
echo " Executing tool win2018"
echo " Input is DatabaseWithMutex-PT-40, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r055-oct2-155234418800280"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DatabaseWithMutex-PT-40.tgz
mv DatabaseWithMutex-PT-40 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; 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 [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 '
echo "FORMULA_NAME $x"
done
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 ;